Loe M. G. Feijs Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmar 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Hu, Loe M. G. Feijs: A Distributed Multi-agent Architecture in Simulation Based Medical Training. Edutainment 2009: 49
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmar Mubin, Christoph Bartneck, Loe M. G. Feijs: Designing an Artificial Robotic Interaction Language. INTERACT (2) 2009: 848-851
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Hu, Loe M. G. Feijs: IPML: Structuring Distributed Multimedia Presentations in Ambient Intelligent Environments. IJCINI 3(2): 37-60 (2009)
2008
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoran 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBram 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmilia 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian: UML in Action: Integrating Formal Methods in Industrial Design Education. Edutainment 2007: 489-498
2006
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Hu, Loe M. G. Feijs: IPML: Extending SMIL for Distributed Multimedia Presentations. VSMM 2006: 60-70
2004
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Jun Hu: Component-Wise Mapping of Media-Needs to a Distributed Presentation Environment. COMPSAC 2004: 250-257
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Peter Peters, Berry Eggen: Size Variation and Flow Experience of Physical Game Support Objects. ICEC 2004: 283-295
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuechen Qian, Loe M. G. Feijs: Turning Photo Annotating Tasks into Instant Messaging Fun: Prototyping, User Trials, and Roadmapping. ICEC 2004: 610-613
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuechen Qian, Loe M. G. Feijs: Exploring the potentials of combining photo annotating tasks with instant messaging fun. MUM 2004: 11-17
2003
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Hu, Loe M. G. Feijs: An agent-based architecture for distributed interfaces and timed media in a storytelling application. AAMAS 2003: 1012-1013
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert J. N. van Breemen, Loe M. G. Feijs: Architecture evaluation of an agent-based music gathering application. AAMAS 2003: 1146-1147
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Hu, Loe M. G. Feijs: An Adaptive Architecture for Presenting Interactive Media Onto Distributed Interfaces. Applied Informatics 2003: 899-904
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerry 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerry Eggen, Loe M. G. Feijs, Peter Peters: Linking physical and virtual interaction spaces. ICEC 2003
2002
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Paul Gorissen, Joachim Trescher: Specification and Simulation of Microprocessor Operations and Parallel Instructions. DSD 2002: 110-117
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuechen Qian, Loe M. G. Feijs, Rob T. Udink: Characteristic-entry Logs in the Memorysafe Information System. IASTED PDCS 2002: 180-185
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans: Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe 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)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Yuechen Qian: Component algebra. Sci. Comput. Program. 42(2-3): 173-228 (2002)
2001
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob 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)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: Mechanisms for naming - An algebraic approach with an application to Java. Sci. Comput. Program. 39(2-3): 149-188 (2001)
2000
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinder 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs: IC Design Validation Using Message Sequence Charts. EUROMICRO 2000: 1122-
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Nicolae Goga, Sjouke Mauw: Probabilities In The Torx Test Derivation Algorithm. SAM 2000: 173-188
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTijn Borghuis, Loe M. G. Feijs: A Constructive Logic for Services and Information Flow in Computer Networks. Comput. J. 43(4): 274-289 (2000)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: Natural language and message sequence chart representation of use cases. Information & Software Technology 42(9): 633-647 (2000)
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinder 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRené L. Krikhaar, Loe M. G. Feijs, Roel de Jong, J. Medema: Architecture Comprehension Tools for a PBX System. CSMR 1999: 31-41
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Engels, Loe M. G. Feijs, Sjouke Mauw: MSC and data: dynamic variables. SDL Forum 1999: 105-
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: Modelling Microsoft COM Using pi-Calculus. World Congress on Formal Methods 1999: 1343-1363
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: Generating FSMs from Interworkings. Distributed Computing 12(1): 31-40 (1999)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe 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
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Roel de Jong: 3D Visualization of Software Architectures. Commun. ACM 41(12): 72-78 (1998)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe 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)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Engels, Loe M. G. Feijs, Sjouke Mauw: Test Generation for Intelligent Networks Using Model Checking. TACAS 1997: 384-398
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Michel A. Reniers: Lazy Functional Programs in a Concurrent Environment. Comput. J. 40(9): 572-584 (1997)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs, Rob C. van Ommering: Abstract Derivation of Transitive Closure Algorithms. Inf. Process. Lett. 63(3): 159-164 (1997)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: Synchronous sequence charts in action. Information & Software Technology 39(9): 583-606 (1997)
1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: An Overview of the Development of COLD. Semantics of Specification Languages 1993: 15-22
1991
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: Transformations of Designs. Algebraic Methods 1989: 167-199
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: Norman's Database Modularised in COLD-K. Algebraic Methods 1989: 205-231
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen: A Formal Specifications of INGRES. Algebraic Methods 1987: 207-245
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoe M. G. Feijs: The Calculus lambda-pi. Algebraic Methods 1987: 307-330

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Nov 23 18:13:59 2009 by Michael Ley (ley@uni-trier.de)