print · login   

Bibtex actions:
  edit    source    raw source    raw html

2004

  1. Proceedings of the 2nd European Workshop on Probabilistic Graphical Models 2004 (PGM'04). 2004, P. J. F. Lucas, Leiden, PGM Organization.
  2. A. J. Hommersom, P. J. F. Lucas and M. Balster. Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. Logics in Artificial Intelligence, Proceedings of JELIA 2004, LNAI , 3581 , 2004, J.J. Alferes and J. Leite, 654-666, Springer-Verlag, Berlin Heidelberg, 10.1007/978-3-540-30227-8_54.
  3. P. M. Achten. The feasibility of interactively probing quiescent properties of GUI applications. Proceedings of the 16th International Symposium on the Implementation and Application of Functional Languages, IFL '04, 2004, C. Grelck, F. Huch, Greg Michaelson and Philip Trinder, 3474, LNCS, 17-34, 8-10,  September, Springer-Verlag.
  4. P. M. Achten, M. C. J. D. van Eekelen, M. Plasmeijer J. and A. van Weelden. Automatic generation of editors for higher-order data structures. Proceedings of the 2nd Asian Symposium on Programming Languages and Systems, APLAS '04, 2004, Wei-Ngan Chin, 3302, LNCS, 262-279, Springer-Verlag.
  5. P. M. Achten, M. C. J. D. van Eekelen, M. Plasmeijer J. and A. van Weelden. GEC: a toolkit for generic rapid prototyping of type safe interactive applications. Proceedings of the 5th International Summer School on Advanced Functional Programming, AFP '04, 2004, 3622, LNCS, 210-244, 14-21,  August, Springer-Verlag.
  6. P. M. Achten, M. C. J. D. van Eekelen and M. J. Plasmeijer. Compositional model-views with generic graphical user interfaces. Practical aspects of declarative programming:6th international symposium, PADL'04, 2004, Jayaraman, 3057, LNCS, 39-55, Texas, USA, Springer.
  7. P. M. Achten, M. C. J. D. van Eekelen, M. J. Plasmeijer and A. van Weelden. Arrows for generic graphical editor components. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands, 2004, Technical report NIII-R0416.
  8. A. Alimarine and J. E. W. Smetsers. Efficient generic functional programming. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands, 2004, Technical report NIII-R0425.
  9. A. Alimarine and J. E. W. Smetsers. Fusing generic functions. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands, 2004, Technical report NIII-R0434.
  10. A. Alimarine and J. E. W. Smetsers. Optimizing generic functions. Mathematics of program construction:7th international conference, MPC'04;Stirling, UK;proceedings, 2004, Dexter Kozen, 3125, LNCS, 16-31, Berlin, July, Springer.
  11. T. Arons, J. J. M. Hooman, H. Kugler, A. Pnueli and M. van der Zwaag. Deductive verification of UML models in TLPVS. UML 2004:proceedings, 2004, 3273, LNCS, 335-349, Berlin, Springer, http://www.cs.ru.nl/ita/publications/papers/hooman/UML2004.pdf, http://www.cs.ru.nl/ hooman/UML2004.html.
  12. G. Behrmann, E. Brinksma, M. Hendriks and A. Mader. Scheduling lacquer production by reachability analysis: a case study. NIII, Radboud University, 2004, NIII-R0455, Nijmegen, December, http://www.cs.ru.nl/research/reports/info/NIII-R0455.html.
  13. A. I. Bleeker, H. A. Proper and S. J. Hoppenbrouwers B. A.. The Role of Concept Management in System Development - A practical and a theoretical perspective. Forum proceedings of the 16th Conference on Advanced Information Systems 2004 (CAiSE 2004), 2004, J. Grabis, A. Persson and J. Stirna, 73-82, Riga, Latvia, June, Faculty of Computer Science and Information Technology.
  14. L. Cheung, N. A. Lynch, R. Segala and F. W. Vaandrager. Switched probabilistic I/O automata. NIII, Radboud University, 2004, NIII-R0437, Nijmegen, September, http://www.cs.ru.nl/ita/publications/papers/fvaan/switched.html.
  15. C. Daws, M. Z. Kwiatkowska and G. Norman. Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. International Journal on Software Tools for Technology Transfer, 2004, 5, 221-236, 2-3, http://www.springerlink.com/index/10.1007/s10009-003-0118-5.
  16. M. Dowse, A. Butterfield, M. C. J. D. van Eekelen, M. J. de Mol and M. J. Plasmeijer. Towards machine verified proofs for I/O. Proceedings of the 16th International Symposium on the Implementation and Application of Functional Languages, IFL '04, 2004, C. Grelck and F. Huch, 469-480, Lübeck, Germany, 8-10,  September, Christian-Albrechts-Universität zu Kiel, Technical Report 0408.
  17. M. C. J. D. van Eekelen and M. J. de Mol. Mixed Lazy/Strict Graph Semantics. Proceedings implementation and application of functional languages, 16th international workshop, IFL'04, 2004, C. Grelck and F. Huch, 245-260, Lübeck, Germany, Sep 8-10, Christian-Albrechts-Universität zu Kiel, Technical report 0408.
  18. S. Evers, P. M. Achten and J. Kuper. A functional programming technique for forms in graphical user interfaces. Proceedings of the 16th International Symposium on the Implementation and Application of Functional Languages, IFL '04, 2004, C. Grelck, F. Huch, G. Michaelson and P. Trinder, 3474, LNCS, 35-51, Lübeck, Germany, 8-10,  September, Springer-Verlag.
  19. S. Evers, P. M. Achten and M. J. Plasmeijer. Disjoint forms in graphical user interfaces. Proceedings of the 5th symposium on trends in functional programming, TFP'04, 2004, Hans-Wolfgang Loidl, 113-128, Munich, Germany.
  20. I. Flesch and P. J. F. Lucas. Markov Equivalence in Bayesian Networks. Institute for Computing and Information Science, University of Nijmegen, 2004, NIII-R0436, August.
  21. B. Gebremichael, T. Krilavicius and Y. S. Usenko. A Formal analysis of a car periphery supervision system. Seventh international workshopon discrete event systems WODES'04, Reims, France, 2004, J. Zaytoon, V. Carre-Menetrier, X. Cao and C. Cassandras, IFAC, 433-439, sept, Elsevier, Also available as Technical Report NIII-R0418, NIII, University of Nijmegen.
  22. B. Gebremichael, T. Krilavicius and Y. S. Usenko. A Formal analysis of a car periphery supervision system. Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, 2004, Report, NIII-R0418, Sept, http://www.cs.ru.nl/research/reports/info/NIII-R0418.html.
  23. B. Gebremichael and F. W. Vaandrager. Control synthesis for a smart card personalization system using symbolic model checking. Formal modeling and analysis of timed systems: first int'l workshop, FORMATS 2003; September 6-7 2003, Marseille, France; proceedings, 2004, K. G. Larsen and P. Niebert, 2791, LNCS, 189-203, Berlin, Springer, http://www.cs.ru.nl/ita/publications/papers/fvaan/smart.html.
  24. B. Gebremichael and F. W. Vaandrager. Specifying urgency in timed I/O automata. NIII, Radboud University, 2004, Report, NIII-R0459, Nijmegen, December, http://www.cs.ru.nl/ita/publications/papers/fvaan/urgency.html.
  25. M. A. J. van Gerven and P. J. F. Lucas. Employing Maximum Mutual Information for Bayesian Classification. Biological and Medical Data Analysis: Proceedings of the 5th international symposium ISBMDA 2004, 2004, LNCS, 3337, J.M. Barreiro, F. Martin-Sanchez, V. Maojo and F. Sanz, 188-199, Springer-Verlag, Berlin, 10.1007/978-3-540-30547-7_20.
  26. M. A. J. van Gerven and P. J. F. Lucas. Using background knowledge to construct Bayesian classifiers for data-poor domains. Research and Developments in Intelligent Systems XXI, Proceedings of AI-2004, 2004, M. Bramer, F. Coenen and T. Allen, 269-282, Springer-Verlag, London, 10.1007/1-84628-102-4_20.
  27. M.A.J. van Gerven and P. J. F. Lucas. Using Background Knowledge to Construct Bayesian Classifiers for Data-Poor Domains. Research and Developments in Intelligent Systems XXI, Proceedings of AI-2004, 2004, M. Bramer, F. Coenen and T. Allen, 269-282, Springer-Verlag, 10.1007/1-84628-102-4_20.
  28. B. van Gils, H .A. Proper, P. van Bommel and Weide, Th. P. van der. Transformations in Information Supply. Proceedings of the Workshop on Web Information Systems Modelling (WISM`04), held in conjunction with the 16th Conference on Advanced Information Systems 2004 (CAiSE 2004), 2004, J. Grundspenkis and M. Kirikova, 3, 60-78, Riga, Latvia, June, Faculty of Computer Science and Information Technology.
  29. B. van Gils, H. A. Proper and P. van Bommel. A conceptual model for information supply. Data & Knowledge Engineering, 2004, 51, 2, 189-222.
  30. S. Graf and J. J. M. Hooman. Correct development of embedded systems. Software architecture:first European workshop, EWSA 2004;proceedings, 2004, 3047, LNCS, 241-249, Berlin, Springer, http://www.cs.ru.nl/ita/publications/papers/hooman/ESWA2004.pdf, http://www.cs.ru.nl/ hooman/ESWA2004.html.
  31. W. O. D. Griffioen and F. W. Vaandrager. A theory of normed simulations. ACM Transactions on Computational Logic, 2004, 5, 577-610, 4, October, http://www.cs.ru.nl/ita/publications/papers/fvaan/normed.html.
  32. J. H. G. van Groningen. Faster Garbage Collection using Prefetching. Implementation and application of functional languages: 16th int'l workshop, IFL'04;Lübeck, Germany; proceedings, 2004, C. Grelck and F. Huch, 142-152, Berlin, Sep 8-10, Christian-Albrechts-Universität zu Kiel, Technical report 0408.
  33. J.-F. Groote and T. A. C. Willemse. Parameterised Boolean Equation Systems. Eindhoven University of Technology, Department of Computer Science, 2004, CSR 04-09.
  34. J.-F. Groote and T. A. C. Willemse. Parameterised boolean equation systems. Proceedings of the 15th International Conference on Concurrency Theory, CONCUR '04, 2004, Philippa Gardner and Nobuko Yoshida, 3170, LNCS, 308-324, Springer-Verlag.
  35. M. Hendriks, G. Behrmann, K.G. Larsen, P. Niebert and Vaandrager, F. W.. Adding symmetry reduction to Uppaal. Formal modeling and analysis of timed systems: first int'l workshop, FORMATS 2003; Sept.\@ 6-7 2003, Marseille, France; proceedings, 2004, K.G. Larsen and P. Niebert, 2791, LNCS, 46-59, Berlin, Springer, http://www.cs.ru.nl/ita/publications/papers/fvaan/symmetry.html.
  36. M. Hendriks, G. Behrmann, K.G. Larsen, P. Niebert and Vaandrager, F. W.. Adding symmetry reduction to Uppaal. Nijmegen Institute for Computingand Information Sciences, University of Nijmegen, 2004, Report, NIII-R0407, http://www.cs.ru.nl/ita/publications/papers/fvaan/symmetry.html.
  37. M. Hendriks, N. J. M. van den Nieuwelaar and F. Vaandrager W.. Model checker aided design of a controller for a wafer scanner. Preliminary proceedings international symposium on leveraging applications of formal methods(ISoLA 2004),October/November 2004, Paphos, Cyprus, 2004, T. Margaria, B. Steffen, A. Philippou and M. Reitenspiess, 201-209, Department of Computer Science, University of Cyprus, Technical Report TR-2004-6, http://www.cs.ru.nl/ita/publications/papers/fvaan/HNV04.html.
  38. M. Hendriks, N. J. M. van den Nieuwelaar and F. Vaandrager W.. Model checker aided design of a controller for a wafer scanner. NIII, University of Nijmegen, 2004, NIII-R0430, June, http://www.cs.ru.nl/ita/publications/papers/fvaan/HNV04.html.
  39. A. J. Hommersom, J.-J.Ch. Meyer and E. P. de Vink. Update Semantics of Security Protocols. Information, Interaction and Agency, 2004, 142, 229-267, 10.1007/s11229-004-2247-0.
  40. J. J. M. Hooman, N. Mulyar and L. Posta. Coupling Simulink and UML models. Proceedings of symposium FORMS/FORMATS 2004, 2004, B. Schnieder and G. Tarnai, 304-311, http://www.cs.ru.nl/ita/publications/papers/hooman/FORMS04.pdf, http://www.cs.ru.nl/ hooman/FORMS04.html.
  41. J. J. M. Hooman, N. Mulyar and L. Posta. Supporting model-based simulation of embedded systems by coupling tools. Proceedings of the 5th PROGRESS Symposium on Embedded Systems, 2004, 131-134, Technology Foundation STW, http://www.niii.ru.nl/ hooman/PROGRESS2004.html.
  42. J. J. M. Hooman, N. Mulyar and L. Posta. Validating UML models of embedded systems by coupling tools. Proceedings workshop on specification and validation of UML models for real-time and embedded systems (SVERTS 2004), 2004, Verimag, http://www.niii.ru.nl/ hooman/SVERTS2004.html.
  43. S. J. B. A. Hoppenbrouwers and H. A. Proper. A Communicative Perspective on Second Order Information Systems. Proceedings of the 16th International Conference on System Research, Informatics and Cybernetics, Baden-Baden, Germany, 2004, G.E. Lasker, IIAS.
  44. B. P. F. Jacobs and F. W. Vaandrager. Onderzoeksagenda remt innovatief onderzoek. Automatisering gids, 2004, 37, 13, 28, July.
  45. H. Jonkers, M. M. Lankhorst, R. van Buuren, Hoppenbrouwers, S. J. B. A., M. Bonsangue and L. van der Torre. Concepts for Modeling Enterprise Architectures. International Journal of Cooperative Information Systems, 2004, 13, 257-288, 3.
  46. K. Schurink, P. J. F. Lucas and M. Bonten. Bayesian decision-support system (BDSS) to reduce unnecessary antibiotic prescriptions for suspected ventilator associated pneumonia (VAP). 44th Intercience Conference on Antimicrobial Agents and Chemotherapy (ICAAC), 30th October-2nd November, Washington, DC, 2004, ICAAC.
  47. R. van Kesteren, M. C. J. D. van Eekelen and M. J. Mol de. Proof support for general type classes. Selected Papers of the 5th Symposium on Trends in Functional Programming, TFP '04, 2004, Hans-Wolfgang Loidl, 1-16, Munich, Germany, Intellect, \textbfBest student paper award.
  48. P. W. M. Koopman and M. J. Plasmeijer. Testing reactive systems with Gast. Proceedings of the 4th symposium on trends in functional programming, TFP'03, 2004, Stephen Gilmore, 111-129, Intellect Books.
  49. P. J. F. Lucas. Restricted Bayesian-network structure learning. Advances in Bayesian Networks, Springer-Verlag, Berlin, 2004, G.A. Gamez, S. Moral and A. Salmerón, 146, Studies in Fuzziness and Soft Computing, 217-232.
  50. M. Balster, O. Coltell, J. van Croonenborg, C. Duelliand F. van Harmelen, A. Jovell, P. J. F. Lucas, M. Marcos, S. Miksch, W. Reif, K. Rosenbrand, A. Seyfang and A. ten Teije. Protocure: supporting the development of medical protocols through formal methods. Proceedings of the symposium on Computerized Guidelines and Protocols (CGP 2004), Studies in Health technology and Informatics, vol. 101, 2004, K. Kaiser, S. Miksch and S.W. Tu, IOS Press, Amsterdam, 10.3233/978-1-60750-944-8-103.
  51. S. Mauw, W.T. Wiersma and T. A. C. Willemse. Language-driven system design. International Journal of Software Engineering and Knowledge Engineering, 2004, 14, 1-39, 6, http://www.worldscinet.com/ijseke/14/1406/S0218194004001828.html.
  52. P. J. F. Lucas. Bayesian analysis, pattern analysis and data mining in health care. Current Opinion in Critical Care, 2004, 10, 399-403, 10.1097/01.ccx.0000141546.74590.d6.
  53. P. J. F. Lucas. Expert Systems. UNESCO Publishing-EOLSS Publishers, Oxford, UK, 2004, Ecyclopedia of Life Support Systems (EOLSS).
  54. P. J. F. Lucas, L.C. van der Gaag and A. Abu-Hanna. Bayesian networks in biomedicine and health-care. Artificial Intelligence in Medicine, 2004, 30, 201-214, 10.1016/j.artmed.2003.11.001.
  55. P. J. F. Lucas, R. Kuipers and F. Feith. A system for pacemaker treatment advice. Proceedings of the 16th ECAI 2004, 2004, R. López de Mántaras and L. Saitta, 735-739, IOS Press, Amsterdam.
  56. M. J. Plasmeijer and A. van Weelden. A functional shell that operates on typed and compiled applications. Proceedings of the 5th International Summer School on Advanced Functional Programming, AFP '04, 2004, Varmo Vene and Tarmo Uustalu, 3622, LNCS, 245-272, Tartu, Estonia, 14-21,  August, Springer.
  57. H. A. Proper. Architecture-driven Information Systems Engineering. Institute for Information and Computing Sciences, Radboud University Nijmegen, 2004, DaVinci Series.
  58. H. A. Proper. Editor's Introduction. International Journal of Cooperative Information Systems, 2004, 13, 211-212, 3, 10.1142/S0218843004000948.
  59. H. A. Proper. Informatiekundigen in het digitale tijdperk. EGO: Magazine voor Informatiekundigen, 2004, 3, 4, 2, In Dutch, Tilburg, The Netherlands, SBIT, University of Tilburg.
  60. H. A. Proper. Systeemontwikkeling is evolutie. Informatie, 2004, 46, 44-48, 6, In Dutch.
  61. H. A. Proper, A.I. Bleeker and S. B. J. A. Hoppenbrouwers. Object-Role Modelling as a Domain Modelling Approach. Proceedings of the Workshop on Evaluating Modeling Methods for Systems Analysis and Design (EMMSAD'04), held in conjunctiun with the 16th Conference on Advanced Information Systems 2004 (CAiSE 2004), 2004, J. Grundspenkis and M. Kirikova, 3, 317-328, Riga, Latvia, June, Faculty of Computer Science and Information Technology.
  62. H. A. Proper and S. B. J. A. Hoppenbrouwers. Concept Evolution in Information System Evolution. Forum proceedings of the 16th Conference on Advanced Information Systems 2004 (CAiSE 2004), Riga, Latvia, 2004, J. Gravis, A. Persson and J. Stirna, 63-72, Riga, Latvia, June, Faculty of Computer Science and Information Technology.
  63. R. Jurgelenaite and P. J. F. Lucas. Exploiting causal independence in large Bayesian networks. Research and Developments in Intelligent Systems XXI, Proceedings of AI-2004, 2004, M. Bramer, F. Coenen and T. Allen, 157-170, Springer-Verlag, London, 10.1016/j.knosys.2004.10.009.
  64. R. Jurgelenaite and P. J. F. Lucas. Parameter Estimation in Large Causal Models. Proceedings of the 16th ECAI 2004, 2004, R. López de Mántaras and L. Saitta, 1037-1038, IOS Press, Amsterdam.
  65. V. E. van Reijswoud and H. A. Proper. Struggling in the Bush: ICT-onderwijs in Oeganda. TINFON, 2004, 13, 59-61, 2, June, In Dutch.
  66. E. M. van Rikxoort, E. L. van den Broek and Th. E. Schouten. Mimicking human texture classification. Radboud University Nijmegen, 2004, NIII-R0458, Nijmegen, http://www.cs.ru.nl/research/reports/info/NIII-R0458.html.
  67. S. Visscher, P. J. F. Lucas, C. Schurink, M. Bonten, J. Wolffelaar and P. van de Werken. Incorporating evaluation into the design of a decision support system. Health Continuum and Data Exchange in Belgium and the Netherlands: proceedings of MIC 2004, 2004, F.H. Roger France, E. De Clercq, G. De Moor and J. van der Lei, 54-60, IOS Press, Amsterdam.
  68. Th. E. Schouten and E. L. van den Broek. Fast exact euclidean distance (FEED) transformation. Proceedings of the 17th international conferenceon pattern recognition (ICPR 2004), 2004, J. Kittler andM. Petrou andM. Nixon, 3, 594-597, Cambridge, UK, IEEE Computer Society, http://www.cs.ru.nl/ita/publications/papers/ths/Scho04/Scho04.html.
  69. Th. E. Schouten and E. L. van den Broek. Fast exact euclidean distance (FEED) transformation. Radboud University, 2004, NIII-R0456, Nijmegen, http://www.cs.ru.nl/research/reports/info/NIII-R0456.html.
  70. Th. E. Schouten, H. C. W. Kuppens and E. L. van den Broek. Timed fast exact euclidean distance (tFEED) maps. Radboud University, 2004, NIII-R0457, Nijmegen, http://www.cs.ru.nl/research/reports/info/NIII-R0457.html.
  71. F. W. Vaandrager and A. L. de Groot. Analysis of a biphase mark protocol with Uppaal and PVS. NIII, Radboud University Nijmegen, 2004, NIII-R0445, November, http://www.cs.ru.nl/ita/publications/papers/fvaan/BMP.html.
  72. G. E. Veldhuijzen van Zanten, S. B. J. A. Hoppenbrouwers and H. A. Proper. System Development as a Rational Communicative Process. Journal of Systemics, Cybernetics and Informatics, 2004, 2, 4, 47-51, International Institute of Informatics and Systemics (IIIS).
  73. M. van Vliet. Software or Softwar? Dimensies en dilemma`s in softwareprojecten. Nijmegen Institute for Information and Computing Sciences, Radboud University Nijmegen, 2004, Nijmegen, The Netherlands, March, In Dutch.
  74. P. de Vrieze, P. van Bommel and van der Th. P. Weide. Generic engine for user model based adaptation. Proceedings of 8th ERCIM Workshop: UI4ALL, 2004, June.
  75. P.T. de Vrieze, P. van Bommel and T.P. van der Weide. A generic adaptivity model in adaptive hypermedia. 2004, LNCS , 3137 , Adaptive Hypermedia and Adaptive Web-Based Systems, 244-347, P. de Bra and W. Nejdl.
  76. P.T. de Vrieze, P. van Bommel and Th.P. van der Weide. A Method for Incorporating User Modelling. Nijmegen Institute for Computing and Information Sciences, 2004, NIII-R0448.
  77. E. Wandeler, L. Thiele, M. H. G. Verhoef and P. Lieverse. System architecture evaluation using modular performance analysis: a case study. International symposium on leveraging applications of formal methods: ISOLA 2004; preliminary proceedings, 2004, Tiziana Margaria, Bernard Steffen, Anna Philippou and Manfred Reitenspiess, 209-220, Department of Computer Science: University of Cyprus, TR-2004-6.
  78. A. van Weelden and M. J. Plasmeijer. A functional shell that dynamically combines compiled code. Selected papers of the 15th international symposium on the implementation of functional languages, IFL'03, 2004, P. Trinder and G. Michaelson, LNCS 3145, 36-52, September, Heriot Watt University, Edinburgh, UK.
  79. R. Wichers Schreur and M. J. Plasmeijer. Dynamic construction of generic functions. Proceedings of the 16th International Symposium on the Implementation and Application of Functional Languages, IFL '04, 2004, C. Grelck, F. Huch, Greg Michaelson and Phil Trinder, 3474, LNCS, 160-176, 8-10,  September, Springer-Verlag.
  80. T. A. C. Willemse. Embeddings of hybrid automata in process algebra. IFM2004: proceedings, 2004, E.A. Boiten, J. Derrick and G. Smith, 2999, LNCS, 343-362, Berlin, Springer, http://springerlink.metapress.com/(0ygowv55j4bs0fqb0jplngac)/app/home/contribution.asp?referrer=parent&backto=issue,19,28;journal,837,3275;linkingpublicationresults,1:105633,1.
  81. T. A. C. Willemse. Nederlandse top 25 informatici. Automatisering gids, 2004, 37, 15, 49, December.