The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Loe M. G. Feijs: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. W. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen
    A Formal Specifications of INGRES. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:207-245 [Conf]
  2. R. D. van den Bos, Loe M. G. Feijs, Rob C. van Ommering
    POLAR: A Picture-Oriented Language for Abstract Representations. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1989, pp:233-276 [Conf]
  3. Loe M. G. Feijs
    The Calculus lambda-pi. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:307-330 [Conf]
  4. Loe M. G. Feijs
    Transformations of Designs. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1989, pp:167-199 [Conf]
  5. Loe M. G. Feijs
    Norman's Database Modularised in COLD-K. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1989, pp:205-231 [Conf]
  6. Jun Hu, Loe M. G. Feijs
    An Adaptive Architecture for Presenting Interactive Media Onto Distributed Interfaces. [Citation Graph (0, 0)][DBLP]
    Applied Informatics, 2003, pp:899-904 [Conf]
  7. Jun Hu, Loe M. G. Feijs
    An agent-based architecture for distributed interfaces and timed media in a storytelling application. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1012-1013 [Conf]
  8. Albert J. N. van Breemen, Loe M. G. Feijs
    Architecture evaluation of an agent-based music gathering application. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1146-1147 [Conf]
  9. Loe M. G. Feijs, Jun Hu
    Component-Wise Mapping of Media-Needs to a Distributed Presentation Environment. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:250-257 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    CSMR, 2000, pp:33-44 [Conf]
  11. René L. Krikhaar, Loe M. G. Feijs, Roel de Jong, J. Medema
    Architecture Comprehension Tools for a PBX System. [Citation Graph (0, 0)][DBLP]
    CSMR, 1999, pp:31-41 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    DIGRA Conf., 2003, pp:- [Conf]
  13. Loe M. G. Feijs, Paul Gorissen, Joachim Trescher
    Specification and Simulation of Microprocessor Operations and Parallel Instructions. [Citation Graph (0, 0)][DBLP]
    DSD, 2002, pp:110-117 [Conf]
  14. Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs
    IC Design Validation Using Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2000, pp:1122-0 [Conf]
  15. Loe M. G. Feijs
    Modelling Microsoft COM Using pi-Calculus. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1343-1363 [Conf]
  16. Berry Eggen, Loe M. G. Feijs, Peter Peters
    Linking physical and virtual interaction spaces. [Citation Graph (0, 0)][DBLP]
    ICEC, 2003, pp:- [Conf]
  17. Loe M. G. Feijs, Peter Peters, Berry Eggen
    Size Variation and Flow Experience of Physical Game Support Objects. [Citation Graph (0, 0)][DBLP]
    ICEC, 2004, pp:283-295 [Conf]
  18. Yuechen Qian, Loe M. G. Feijs
    Turning Photo Annotating Tasks into Instant Messaging Fun: Prototyping, User Trials, and Roadmapping. [Citation Graph (0, 0)][DBLP]
    ICEC, 2004, pp:610-613 [Conf]
  19. Yuechen Qian, Loe M. G. Feijs, Rob T. Udink
    Characteristic-entry Logs in the Memorysafe Information System. [Citation Graph (0, 0)][DBLP]
    IASTED PDCS, 2002, pp:180-185 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:179-196 [Conf]
  21. Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans
    Test Selection, Trace Distance and Heuristics. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:267-282 [Conf]
  22. Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel
    Conformance Testing of a Multimedia System Using PHACT. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:193-210 [Conf]
  23. Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw
    Probabilities In The Torx Test Derivation Algorithm. [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:173-188 [Conf]
  24. André Engels, Loe M. G. Feijs, Sjouke Mauw
    MSC and data: dynamic variables. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:105-0 [Conf]
  25. Loe M. G. Feijs
    An Overview of the Development of COLD. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:15-22 [Conf]
  26. André Engels, Loe M. G. Feijs, Sjouke Mauw
    Test Generation for Intelligent Networks Using Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:384-398 [Conf]
  27. Jun Hu, Loe M. G. Feijs
    IPML: Extending SMIL for Distributed Multimedia Presentations. [Citation Graph (0, 0)][DBLP]
    VSMM, 2006, pp:60-70 [Conf]
  28. T. Tranmanh, Loe M. G. Feijs, Johan J. Lukkien
    Implementation and Validation of UPnP for Embedded Systems in a Home Networking Environment. [Citation Graph (0, 0)][DBLP]
    Communications, Internet, and Information Technology, 2002, pp:279-284 [Conf]
  29. Loe M. G. Feijs, Roel de Jong
    3D Visualization of Software Architectures. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1998, v:41, n:12, pp:72-78 [Journal]
  30. Tijn Borghuis, Loe M. G. Feijs
    A Constructive Logic for Services and Information Flow in Computer Networks. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2000, v:43, n:4, pp:274-289 [Journal]
  31. Loe M. G. Feijs, Michel A. Reniers
    Lazy Functional Programs in a Concurrent Environment. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1997, v:40, n:9, pp:572-584 [Journal]
  32. Rob C. van Ommering, René L. Krikhaar, Loe M. G. Feijs
    Languages for formalizing, visualizing and verifying software architectures. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2001, v:27, n:1/3, pp:3-18 [Journal]
  33. Loe M. G. Feijs
    Generating FSMs from Interworkings. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1999, v:12, n:1, pp:31-40 [Journal]
  34. Loe M. G. Feijs
    Natural language and message sequence chart representation of use cases. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:9, pp:633-647 [Journal]
  35. Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel
    Automatic generation of MPEG test streams from high-level grammars. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:12, pp:671-682 [Journal]
  36. Loe M. G. Feijs
    Synchronous sequence charts in action. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1997, v:39, n:9, pp:583-606 [Journal]
  37. Loe M. G. Feijs, Rob C. van Ommering
    Abstract Derivation of Transitive Closure Algorithms. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:63, n:3, pp:159-164 [Journal]
  38. Loe M. G. Feijs, H. B. M. Jonkers
    History, principles and application of the SPRINT method. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:41, n:3, pp:199-219 [Journal]
  39. Loe M. G. Feijs
    Mechanisms for naming - An algebraic approach with an application to Java. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:39, n:2-3, pp:149-188 [Journal]
  40. Loe M. G. Feijs, Rob C. van Ommering
    Relation Partition Algebra - Mathematical Aspects of Uses and Part-Of Relations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:33, n:2, pp:163-212 [Journal]
  41. Loe M. G. Feijs, Yuechen Qian
    Component algebra. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:2-3, pp:173-228 [Journal]
  42. Reinder J. Bril, Loe M. G. Feijs, André Glas, René L. Krikhaar, Thijs Winter
    Maintaining a legacy: towards support at the architectural level. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 2000, v:12, n:3, pp:143-170 [Journal]
  43. Loe M. G. Feijs, René L. Krikhaar, Rob C. van Ommering
    A Relational Approach to Support Software Architecture Analysis. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1998, v:28, n:4, pp:371-400 [Journal]
  44. Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
    UML in Action: Integrating Formal Methods in Industrial Design Education. [Citation Graph (0, 0)][DBLP]
    Edutainment, 2007, pp:489-498 [Conf]

  45. Using language tests and emotional expressions to determine the learnability of artificial languages. [Citation Graph (, )][DBLP]


  46. Using word spotting to evaluate roila: a speech recognition friendly artificial language. [Citation Graph (, )][DBLP]


  47. Non-invasive blood oxygen saturation monitoring for neonates using reflectance pulse oximeter. [Citation Graph (, )][DBLP]


  48. A Distributed Multi-agent Architecture in Simulation Based Medical Training. [Citation Graph (, )][DBLP]


  49. Teaching Machine Learning to Design Students. [Citation Graph (, )][DBLP]


  50. Design of a Medical Simulator Hard- and Software Architecture. [Citation Graph (, )][DBLP]


  51. Designing an Artificial Robotic Interaction Language. [Citation Graph (, )][DBLP]


  52. Towards the Design and Evaluation of ROILA: A Speech Recognition Friendly Artificial Language. [Citation Graph (, )][DBLP]


  53. Smart Jacket Design for Neonatal Monitoring with Wearable Sensors. [Citation Graph (, )][DBLP]


  54. Exploring the potentials of combining photo annotating tasks with instant messaging fun. [Citation Graph (, )][DBLP]


  55. EEG Headset for Neurofeedback Therapy - Enabling Easy Use in the Home Environment. [Citation Graph (, )][DBLP]


  56. Use of goals and dramatic elements in behavioral training of children with ASD. [Citation Graph (, )][DBLP]


Search in 0.125secs, Finished in 0.128secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002