print · login   

Bibtex actions:
  edit    source    raw source    raw html

2003

  1. Information Modeling for Internet Applications. IGI Global, 2003, P. van Bommel, Hershey, PA, USA.
  2. Proceedings of BNAIC'03. SNN, Nijmegen, 2003, T. M. Heskes, P. J. F. Lucas, L. J. Vuurpijl and W. Wiegerinck.
  3. Proceedings of the AIME'03 Workshop on Model-based and Qualitative Reasoning in Biomedicine. AIME 2003, Nicosia, Cyprus, 2003, P. J. F. Lucas.
  4. P. M. Achten, M. C. J. D. van Eekelen and M. Plasmeijer J.. Generic graphical user interfaces. Selected Papers of the 15th International Workshop on the Implementation of Functional Languages, IFL '03, 2003, Greg Michaelson and Phil Trinder, 3145, LNCS, 152-167, Edinburgh, Scotland, 8-10,  September, Springer-Verlag.
  5. P. M. Achten, A. Alimarine and M. J. Plasmeijer. When generic functions use dynamic values. Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, 2003, Ricardo Peña, 2670, LNCS, 17-33, September, Springer-Verlag.
  6. D. van Arkel, J. H. G. van Groningen and J. E. Smetsers W.. Fusion in practice. Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, 2003, Ricardo Peña and Thomas Arts, 2670, LNCS, 51-67, Springer-Verlag.
  7. J. A. Bergstra, A. Ponse and M. B. van der Zwaag. Branching time and orthogonal bisimulation equivalence. Theoretical Computer Science, 2003, 309, 313-355.
  8. M. van der Bijl, A. Rensink and G. J. Tretmans. Compositional testing with IOCO. Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software, FATES '03, 2003, A. Petrenko and A. Ulrich, 2931, LNCS, 86-100, Montréal, Québec, Canada, 6,  October, Springer.
  9. H. Bohnenkamp, P. van der Stok, H. Hermans and Vaandrager, F.W.. Cost-optimisation of the IPv4 zeroconf protocol. Proceedings of the international conference on dependable systems and networks (DSN2003), 2003, 531-540, Los Alamitos, California, IEEE Computer Society.
  10. P. van Bommel. Bible information modelling. Journal of Digital Information Management, 2003, 1, 103-113, 2.
  11. C. Bielza, J. A. F. del Pozo and P. J. F. Lucas. Finding and explaining optimal treatments. Proceedings of Artificial Intelligence in Medicine (AIME 2003), 2003, LNAI , 2780 , 299-303, Springer-Verlag, Berlin, 10.1007/978-3-540-39907-0_41.
  12. C. Bielza, J. A. F. del Pozo and P. J. F. Lucas. Optimal decision explanation by extracting regularity patterns. Proceedings of AI-2003 (Research and Developments in Intelligent Systems XX), 2003, F. Coenen, A. Preece and A. L. Mackintosh, 283-294, Springer, London, 10.1007/978-0-85729-412-8_21.
  13. L. Cheung and J. Hughes. Concise graphs and functional bisimulations. Proceedings CMCIM/GETCO 2003, Marseille, France, 2003, 100, Electronic notes in theoretical computer science, 5-29, http://dx.doi.org/10.1016/j.entcs.2004.09.003.
  14. D. Chkliaev, J. J. M. Hooman and E. de Vink. Verification and improvement of the sliding window protocol. TACAS'03; proceedings, 2003, 2619, 113-127, Berlin, LNCS, Springer.
  15. A. Fehnker, F. W. Vaandrager and M. Zhang. Modeling and verifying a Lego car using hybrid I/O automata. Models, algebras, and logic of engineering software, 2003, 191, NATO ASI series III, 385-402, IOS Press.
  16. A. Fehnker, F. W. Vaandrager and M. Zhang. Modeling and verifying a Lego car using hybrid I/O automata. Third international conference on quality software(QSIC 2003), Dallas, Texas, USA, November 6-7, 2003, 280-289, IEEE Computer Society Press.
  17. A. Fehnker, F. W. Vaandrager and M. Zhang. Modeling and verifying a Lego car using hybrid I/O automata. Institute for Computing and Information Sciences, University of Nijmegen, 2003, Report, NIII-R0308, March.
  18. B. Gebremichael, H. Hermanns, T. Krilavicius and Y. S. Usenko. Hybrid modeling of a vehicle surveillance system with real-time data processing. Proceedings international conference on dynamical systems modeling and stabilityinvestigation, (DSMSI 2003), 2003.
  19. B. Gebremichael and F. W. Vaandrager. Control synthesis for a smart card personalization system using symbolic model checking. Institute for Computing and Information Sciences, University of Nijmegen, 2003, Report, NIII-R0312, May.
  20. B. van Gils, H. A. Proper and P. van Bommel. Towards a General Theory for Information Supply. Proceedings of the 10th International Conference on Human-Computer Interaction, 2003, C. Stephanidis, 720-724.
  21. B. van Gils, H. A. Proper, P. van Bommel and Schabell, E. D.. Profile-based retrieval on the World Wide Web. Proceedings of the Conferentie Informatiewetenschap (INFWET2003), 2003, P.M.E. de Bra, 91-98.
  22. B. van Gils and E. D. Schabell. User-profiles for Information Retrieval. The 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC`03), T. Heskes, P. Lucas, L. Vuurpijl and W. Wiegerinck, 2003, 139-146, October.
  23. R. J. van Glabbeek and F. W. Vaandrager. Bundle events structures and CCSP. Concurrency Theory, CONCUR 2003: 14th int'l Conf.\@, CONCUR 2003; September 3-5, Marseille, France; proceedings, 2003, R. Amadio and D. Lugiez, 2761, LNCS, 52-72, Springer.
  24. J.-F. Groote and T. A. C. Willemse. A checker for modal formulas for processes with data. Proceedings of the 2nd International Symposium on Formal Methods for Components and Objects, FMCO '03, 2003, F. de Boer, M.O Bosangue, S. Graf and W. -P. de Roever, 3188, LNCS, 223-239, Springer-Verlag.
  25. M. Hendriks, N. J. M. van den Nieuwelaar and F. W. Vaandrager . Recognizing finite repetitive scheduling patterns in manufacturing systems. Proceedings of the 1st multidisciplinary international conference on scheduling: theory and applications (MISTA 2003), Nottingham, UK, Vol.\@ I, 2003, G. Kendall, E. Burke and S. Petrovic, 291-319, August, University of Nottingham.
  26. J. J. M. Hooman and J. van de Pol. Equivalent semantic models for a distributed dataspace architecture. Formal methods for objects and components:symp.\@, FMCO 2002;proceedings, 2003, 2852, LNCS, 182-201, Berlin, Springer.
  27. J. J. M. Hooman and M. B. van der Zwaag. A semantics of communicating reactive objects with timing. Proceedings SVERTS workshop of the sixth international conference on the unified modeling language, UML 2003, 2003.
  28. S. J. B. A. Hoppenbrouwers. Freezing Language; Conceptualisation processes across ICT supported organisations. University of Nijmegen, 2003, December.
  29. H. Jonkers, G. E. Veldhuijzen van Zanten, R. van Buuren, F. Arbab, F. de Boer, M. Bonsangue, H. Bosma, H. ter Doest, L. Groenewegen, J. Guillen Scholten, Hoppenbrouwers, S. J. B. A., M. -E. Iacob, W. Janssen, M. M. Lankhorst, D. van Leeuwen, H. A. Proper, A. Stam and L. Torre van der. Towards a Language for Coherent Enterprise Architecture Descriptions. 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2003), Brisbane, Queensland, Australia, 2003, M. Steen and B.R. Bryant, 28-39, Los Alamitos, California, USA, September, IEEE.
  30. K. Brown, P. J. F. Lucas and D. Fowler. Decision Network Semantics of Branching Constraint Satisfaction Problems. Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), 2003, Th. D. Nielsen and N. L. Zhang, LNAI 2711, 230-242, Springer, Berlin, 10.1007/978-3-540-45062-7_19.
  31. D. K. Kaynar, N. A. Lynch, R. Segala and F. W. Vaandrager. A framework for modelling timed systems with restricted hybrid automata. Proceedings of the 24th international IEEE real-time systems symposium (RTSS03),December 3-5, 2003, Cancun, Mexico, 2003, 166-178, IEEE Press.
  32. D. K. Kaynar, N. A. Lynch, R. Segala and F. W. Vaandrager. The theory of timed I/O automata. MIT Laboratory for Computer Science, 2003, MIT-LCS-TR-917, Cambridge, MA.
  33. P. W. M. Koopman, A. Alimarine, G. J. Tretmans and Plasmeijer, M. J.. Gast: generic automated software testing. Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, 2003, Ricardo Peña and Thomas Arts, 2670, LNCS, 84-100, Springer-Verlag.
  34. P. W. M. Koopman and M. J. Plasmeijer. Testing reactive systems with Gast. Draft Proceedings of the 15th international symposium on the implementation of functional languages, IFL'03, 2003, Phil Trinder and Greg Michaelson, 145-160, September.
  35. P. W. M. Koopman and G. J. Tretmans. Proceedings of the 9th Nederlandse Testdag. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands , 2003, NIII-R0328, 25,  November.
  36. M. M. Lankhorst and H. A. Proper. Sturen door Inzicht. IT Monitor, 2003, 3, 8-11, March, In Dutch.
  37. M. Layouni, J. J. M. Hooman and S. Tahar. Modeling and verification of leaders agreementin the intrusion-tolerant enclaves using PVS. Emerging trends proceedings of TPHOLs 2003, 2003, D. Basin and B. Wolff, 145-158, Technical Report No. 187, Universität Freiburg.
  38. M. Layouni, J. J. M. Hooman and S. Tahar. On the correctness of an intrusion-tolerant group communication protocol. Correct hardware design and verification methods:12th conference, CHARME 2003;proceedings, 2003, 2860, 231-246, Berlin, LNCS, Springer.
  39. N. A. Lynch, R. Segala and F. W. Vaandrager. Compositionality for probabilistic automata. Concurrency theory, CONCUR 2003:14th int'l conf.\@, CONCUR 2003;Marseille, France;proceedings, 2003, R. Amadio andD. Lugiez, 2761, LNCS, 208-221, September, Springer.
  40. N. A. Lynch, R. Segala and F. W. Vaandrager. Hybrid I/O automata. Information and Computation, 2003, 185, 105-157, 1.
  41. N. A. Lynch, R. Segala and F. W. Vaandrager. Hybrid I/O automata. MIT, Laboratory for Computer Science, 2003, MIT-LCS-TR-827d, January.
  42. P. J. F. Lucas. Quality checking of medical guidelines through logical abduction. Proceedings of AI-2003 (Research and Developments in Intelligent Systems XX), 2003, F. Coenen, A. Preece and A.L. Mackintosh, 309-321, Springer, London, 10.1007/978-0-85729-412-8_23.
  43. H. A. Proper. Architecture-driven Information System Development - Toward a framework for understanding. Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003, N. Callaos, D. Farsi, M. Eshagian-Wilner, Hanratty, T. and N. Rish, XII, 144-149, July.
  44. H. A. Proper. Informatiekunde; Exacte vaagheid. Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, 2003, Nijmegen, The Netherlands, November, In Dutch, Informatiekunde; Exacte vaagheid.
  45. H. A. Proper and S. B. J. A. Hoppenbrouwers. Information System Evolution as Language Evolution. Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, 2003, NIII-R0205, Nijmegen, The Netherlands.
  46. H. A. Proper and V. Kamphuis. Informatiekundigen: Vormgevers van de digitale samenleving. TINFON, 2003, 12, 106-109, 4, December, In Dutch.
  47. S. J. B. A. Hoppenbrouwers. Towards Improved Mechanisms for Communication about Language in Information Systems. Proceedings of the 15th International Conference on System Research, Informatics and Cybernetics, Baden-Baden, Germany, 2003, G.E. Lasker and A. Zgrzywa, 11-15, International Institute for Advanced Studies in Systems Research and Cybernetics.
  48. C.A.M. Schurink. Ventilator Associated Pneumonia: a Diagnostic Challenge. University Medical Center, Utrecht, 2003, \emphMore than 50\% supervision from RUN.
  49. M. I. A. Stoelinga and F. W. Vaandrager. A testing scenario for probabilistic automata. ICALP: 30th conference; proceedings, 2003, J.C.M. Baeten, J.K. Lenstra, J. Parrow and G.J. Woeginger, 2719, LNCS, 407-418, Springer, \textbfBest paper award.
  50. G. J. Tretmans and Ed Brinksma. TorX: Automated Model Based Testing. Proceedings of the First European Conference on Model-Driven software Engineering, 2003, A. Hartman and K. Dussa-Zieger, imbuss, Nurnberg, Germany, December 11-12, 13 pp..
  51. G. E. Veldhuijzen van Zanten, S.J.B.A. (Stijn) Hoppenbrouwers and H. A. Proper. System Development as a Rational Communicative Process. Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003, N. Callaos, D. Farsi, M. Eshagian-Wilner, Hanratty, T. and N. Rish, XVI, 126-130, July.
  52. M. Vervoort and M. J. Plasmeijer. Lazy dynamic input/output in the lazy functional language Clean. Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, 2003, Ricardo Peña and Thomas Arts, 2670, LNCS, 101-117, September, Springer-Verlag.
  53. P.T. de Vrieze, P. van Bommel, J. Klok and Weide, Th.P. van der. Towards a Two-Dimensional Framework for User Models. Proceedings of the MAWIS03 workshop attached to the OOIS03 conference, 2003, September.
  54. A. van Weelden and M. J. Plasmeijer. A type safe interactive interpreter for a functional language using compiled code. Proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL '03, 2003, Phil Trinder and Greg Michaelson, 363-378, September, Heriot Watt University, Edinburgh, UK, Technical Report.
  55. A. van Weelden and M. J. Plasmeijer. Towards a strongly typed functional operating system. Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, 2003, Ricardo Peña and Thomas Arts, 2670, LNCS, 215-231, September, Springer-Verlag.