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 |