Loe M. G. Feijs

2009
51	EE	Omar Mubin, Suleman Shahid, Christoph Bartneck, Emiel Krahmer, Marc Swerts, Loe M. G. Feijs: Using language tests and emotional expressions to determine the learnability of artificial languages. CHI Extended Abstracts 2009: 4075-4080
50	EE	Jun Hu, Loe M. G. Feijs: IPML: Structuring Distributed Multimedia Presentations in Ambient Intelligent Environments. IJCINI 3(2): 37-60 (2009)
2008
49		Joran van Aart, Eelco R. G. Klaver, Christoph Bartneck, Loe M. G. Feijs, Peter J. F. Peters: EEG Headset for Neurofeedback Therapy - Enabling Easy Use in the Home Environment. BIOSIGNALS (2) 2008: 23-30
48	EE	Bram van der Vlist, Rick van de Westelaken, Christoph Bartneck, Jun Hu, René M. C. Ahn, Emilia I. Barakova, Frank Delbressine, Loe M. G. Feijs: Teaching Machine Learning to Design Students. Edutainment 2008: 206-217
47	EE	Emilia I. Barakova, Jan Gillesen, Loe M. G. Feijs: Use of goals and dramatic elements in behavioral training of children with ASD. IDC 2008: 37-40
2007
46	EE	Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian: UML in Action: Integrating Formal Methods in Industrial Design Education. Edutainment 2007: 489-498
2006
45	EE	Jun Hu, Loe M. G. Feijs: IPML: Extending SMIL for Distributed Multimedia Presentations. VSMM 2006: 60-70
2004
44	EE	Loe M. G. Feijs, Jun Hu: Component-Wise Mapping of Media-Needs to a Distributed Presentation Environment. COMPSAC 2004: 250-257
43	EE	Loe M. G. Feijs, Peter Peters, Berry Eggen: Size Variation and Flow Experience of Physical Game Support Objects. ICEC 2004: 283-295
42	EE	Yuechen Qian, Loe M. G. Feijs: Turning Photo Annotating Tasks into Instant Messaging Fun: Prototyping, User Trials, and Roadmapping. ICEC 2004: 610-613
41	EE	Yuechen Qian, Loe M. G. Feijs: Exploring the potentials of combining photo annotating tasks with instant messaging fun. MUM 2004: 11-17
2003
40	EE	Jun Hu, Loe M. G. Feijs: An agent-based architecture for distributed interfaces and timed media in a storytelling application. AAMAS 2003: 1012-1013
39	EE	Albert J. N. van Breemen, Loe M. G. Feijs: Architecture evaluation of an agent-based music gathering application. AAMAS 2003: 1146-1147
38		Jun Hu, Loe M. G. Feijs: An Adaptive Architecture for Presenting Interactive Media Onto Distributed Interfaces. Applied Informatics 2003: 899-904
37	EE	Berry Eggen, Loe M. G. Feijs, Mark de Graaf, Peter Peters: Breaking the flow: Intervention in computer game play through physical and Intervention in computer game play through physical and on-screen interaction. DIGRA Conf. 2003
36	EE	Berry Eggen, Loe M. G. Feijs, Peter Peters: Linking physical and virtual interaction spaces. ICEC 2003
2002
35		T. Tranmanh, Loe M. G. Feijs, Johan J. Lukkien: Implementation and Validation of UPnP for Embedded Systems in a Home Networking Environment. Communications, Internet, and Information Technology 2002: 279-284
34	EE	Loe M. G. Feijs, Paul Gorissen, Joachim Trescher: Specification and Simulation of Microprocessor Operations and Parallel Instructions. DSD 2002: 110-117
33		Yuechen Qian, Loe M. G. Feijs, Rob T. Udink: Characteristic-entry Logs in the Memorysafe Information System. IASTED PDCS 2002: 180-185
32		Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans: Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282
31		Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel: Automatic generation of MPEG test streams from high-level grammars. Information & Software Technology 44(12): 671-682 (2002)
30		Loe M. G. Feijs, Yuechen Qian: Component algebra. Sci. Comput. Program. 42(2-3): 173-228 (2002)
2001
29		Rob C. van Ommering, René L. Krikhaar, Loe M. G. Feijs: Languages for formalizing, visualizing and verifying software architectures. Comput. Lang. 27(1/3): 3-18 (2001)
28		Loe M. G. Feijs: Mechanisms for naming - An algebraic approach with an application to Java. Sci. Comput. Program. 39(2-3): 149-188 (2001)
2000
27	EE	Reinder J. Bril, Loe M. G. Feijs, André Glas, René L. Krikhaar, Thijs Winter: Hiding Expressed Using Relation Algebra with Multi-Relations - Oblique Lifting and Lowering for Unbalanced Systems. CSMR 2000: 33-44
26	EE	Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs: IC Design Validation Using Message Sequence Charts. EUROMICRO 2000: 1122-
25		Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw: Probabilities In The Torx Test Derivation Algorithm. SAM 2000: 173-188
24		Tijn Borghuis, Loe M. G. Feijs: A Constructive Logic for Services and Information Flow in Computer Networks. Comput. J. 43(4): 274-289 (2000)
23		Loe M. G. Feijs: Natural language and message sequence chart representation of use cases. Information & Software Technology 42(9): 633-647 (2000)
22		Reinder J. Bril, Loe M. G. Feijs, André Glas, René L. Krikhaar, Thijs Winter: Maintaining a legacy: towards support at the architectural level. Journal of Software Maintenance 12(3): 143-170 (2000)
1999
21	EE	René L. Krikhaar, Loe M. G. Feijs, Roel de Jong, J. Medema: Architecture Comprehension Tools for a PBX System. CSMR 1999: 31-41
20		Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink: Formal Test Automation: A Simple Experiment. IWTCS 1999: 179-196
19		André Engels, Loe M. G. Feijs, Sjouke Mauw: MSC and data: dynamic variables. SDL Forum 1999: 105-
18	EE	Loe M. G. Feijs: Modelling Microsoft COM Using pi-Calculus. World Congress on Formal Methods 1999: 1343-1363
17	EE	Loe M. G. Feijs: Generating FSMs from Interworkings. Distributed Computing 12(1): 31-40 (1999)
16		Loe M. G. Feijs, Rob C. van Ommering: Relation Partition Algebra - Mathematical Aspects of Uses and Part-Of Relations. Sci. Comput. Program. 33(2): 163-212 (1999)
1998
15		Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel: Conformance Testing of a Multimedia System Using PHACT. IWTCS 1998: 193-210
14		Loe M. G. Feijs, Roel de Jong: 3D Visualization of Software Architectures. Commun. ACM 41(12): 72-78 (1998)
13	EE	Loe M. G. Feijs, H. B. M. Jonkers: History, principles and application of the SPRINT method. Journal of Systems and Software 41(3): 199-219 (1998)
12		Loe M. G. Feijs, René L. Krikhaar, Rob C. van Ommering: A Relational Approach to Support Software Architecture Analysis. Softw., Pract. Exper. 28(4): 371-400 (1998)
1997
11		André Engels, Loe M. G. Feijs, Sjouke Mauw: Test Generation for Intelligent Networks Using Model Checking. TACAS 1997: 384-398
10		Loe M. G. Feijs, Michel A. Reniers: Lazy Functional Programs in a Concurrent Environment. Comput. J. 40(9): 572-584 (1997)
9	EE	Loe M. G. Feijs, Rob C. van Ommering: Abstract Derivation of Transitive Closure Algorithms. Inf. Process. Lett. 63(3): 159-164 (1997)
8	EE	Loe M. G. Feijs: Synchronous sequence charts in action. Information & Software Technology 39(9): 583-606 (1997)
1993
7		Loe M. G. Feijs: An Overview of the Development of COLD. Semantics of Specification Languages 1993: 15-22
1991
6		Jan A. Bergstra, Loe M. G. Feijs: Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989] Springer 1991
1989
5		Loe M. G. Feijs: Transformations of Designs. Algebraic Methods 1989: 167-199
4		Loe M. G. Feijs: Norman's Database Modularised in COLD-K. Algebraic Methods 1989: 205-231
3		R. D. van den Bos, Loe M. G. Feijs, Rob C. van Ommering: POLAR: A Picture-Oriented Language for Abstract Representations. Algebraic Methods 1989: 233-276
1987
2		W. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen: A Formal Specifications of INGRES. Algebraic Methods 1987: 207-245
1		Loe M. G. Feijs: The Calculus lambda-pi. Algebraic Methods 1987: 307-330

Coauthor Index

1	Joran van Aart	[49]
2	René M. C. Ahn	[48]
3	W. E. Baats	[2]
4	Emilia I. Barakova	[47] [48]
5	Christoph Bartneck	[48] [49] [51]
6	Axel Belinfante	[20]
7	Jan A. Bergstra	[6]
8	Tijn Borghuis	[24]
9	R. D. van den Bos	[3]
10	Albert J. N. van Breemen	[39]
11	Reinder J. Bril	[22] [27]
12	Frank Delbressine	[48]
13	Berry Eggen	[36] [37] [43]
14	André Engels	[11] [19]
15	Jan Feenstra	[20]
16	Tomás Garciá Garciá	[26]
17	J. H. A. Gelissen	[2]
18	Jan Gillesen	[47]
19	André Glas	[22] [27]
20	Nicolae Goga	[20] [25] [32]
21	Paul Gorissen	[34]
22	Mark de Graaf	[37]
23	Lex Heerink	[20]
24	Jun Hu	[38] [40] [44] [45] [46] [48] [50]
25	Roel de Jong	[14] [21]
26	H. B. M. Jonkers (Hans Jonkers)	[13]
27	Eelco R. G. Klaver	[49]
28	Emiel Krahmer	[51]
29	René L. Krikhaar	[12] [21] [22] [27] [29]
30	Johan J. Lukkien (Johan Lukkien)	[35]
31	Sjouke Mauw	[11] [19] [20] [25] [26] [32]
32	J. Medema	[21]
33	Frans A. C. Meijs	[15] [31]
34	Jean R. Moonen	[15] [31]
35	Omar Mubin	[51]
36	Rob C. van Ommering	[3] [9] [12] [16] [29]
37	Peter Peters	[36] [37] [43]
38	Peter J. F. Peters	[49]
39	Yuechen Qian	[30] [33] [41] [42] [46]
40	Michel A. Reniers	[10]
41	Philip Ross	[46]
42	Suleman Shahid	[51]
43	Marc Swerts	[51]
44	T. Tranmanh	[35]
45	Joachim Trescher	[34]
46	Jan Tretmans	[20] [32]
47	Rob T. Udink	[33]
48	Bram van der Vlist	[48]
49	Harald P. E. Vranken	[26]
50	René G. de Vries	[20]
51	Jos van Wamel	[15] [31]
52	Rick van de Westelaken	[48]
53	Thijs Winter	[22] [27]

Colors in the list of coauthors