print · login   

Bibtex actions:
  edit    source    raw source    raw html

2005

  1. Perspectives of Model-Based Testing - Summary and Abstracts Collection. E. Brinksma, W. Grieskamp and J. Tretmans, 2005, Dagstuhl Seminar Proceedings, 04371, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany.
  2. Transformation of knowledge, information and data: theory and applications. IGI Global, 2005, P. van Bommel, Hershey, PA, USA.
  3. A. J. Hommersom, P. J. F. Lucas, P. van Bommel and Weide, Th. P. van der. A History-based algebra for quality-checking medical guidelines. Artificial Intelligence in Medicine (AIME 2005), LNAI , 3581 , 2005, S. Miksch, J. Hunter and E Keravnou, 161-165, Springer-Verlag, Berlin, 10.1007/11527770_24.
  4. P. M. Achten, M. C. J. D. van Eekelen, M. J. Plasmeijer and A. van Weelden. Programming generic graphical user interfaces. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands, 2005, Internal report, February.
  5. A. Alimarine. Generic functional programming: conceptual design, implementation and applications. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands, 2005.
  6. A. Alimarine and J. E. W. Smetsers. Improved fusion for optimizing generics. Practical aspects of declarative programming: 7th international symposium, PADL'05, 2005, Manuel Hermenegildo and Daniel Cabeza, 3350, LNCS, 203-218, Berlin, Jan, Springer.
  7. A. Alimarine, J. E. W. Smetsers, A. van Weelden, M. C. J. D. van Eekelen and M. J. Plasmeijer. There and back again - Arrows for invertible programming. Proceedings of the 9th Haskell Workshop, Haskell '05, 2005, Daan Leijen, 86-98, September, Tallinn, Estonia, ACM Press.
  8. S. Andova and T. A. C. Willemse. Equivalences for silent transitions in probabilistic systems (extended abstract). Proceedings of EXPRESS 2004, 2005, J. Baeten and F. Corradini, 128(2), Electronic notes in theoretical computer science, 53-66, http://dx.doi.org/10.1016/j.entcs.2004.11.028.
  9. G. Behrmann, E. Brinksma, M. Hendriks and A. Mader. Production scheduling by reachability analysis: a case study. 19th IEEE international parallel and distributed processing symposium (IPDPS'05), 2005, 140a, IEEE Computer Society Press, http://www.cs.ru.nl/ita/publications/papers/martijnh/AXXOM/WPDRTS05.ps.gz, http://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.363.
  10. G. Behrmann, E. Brinksma, M. Hendriks and A. Mader. Scheduling lacquer production by reachability analysis: a case study. Proceedings of the 16th IFAC world congress, 2005, http://eprints.eemcs.utwente.nl/689/01/00000119.pdf, http://eprints.eemcs.utwente.nl/689/.
  11. G. Behrmann, E. Brinksma, M. Hendriks and A. Mader. Scheduling lacquer production by reachability analysis: a case study. CTIT, University Twente, 2005, 05-05, Enschede, http://www.ub.utwente.nl/webdocs/ctit/1/00000131.pdf.
  12. A. Belinfante, L. Frantzen and C. Schallhart. Tools for test case generation. Model-Based Testing of Reactive Systems - A Seminar Volume, 2005, M. Broy, B. Jonsson, J. -P. Katoen, M. Leucker and Pretschner, A., 3472, LNCS, 391-438, Springer-Verlag.
  13. M. van der Bijl, A. Rensink and G. J. Tretmans. Action refinement in conformance testing. Testing of communicating systems: 17th IFIP int'l conf.\@, TestCom 2005, 2005, F. Khendek and R. Dssouli, 3502, LNCS, 81-96, Springer.
  14. P. van Bommel, B. van Gils, H. A. Proper, Vliet, M. van and Th. P. van der Weide. The Information Market: Its Basic Concepts and Its Challenges. Web Information Systems Engineering - WISE 2005, New York, NY, USA, 2005, A. H. H. Ngu, M. Kitsuregawa, E. J. Neuhold, Chung, J.-Y. and Q. Z. Sheng, 3806, LNCS, 577-583, November, Springer-Verlag.
  15. P. van Bommel, B. van Gils, H. A. Proper, E. Schabell D., M. van Vliet and Th. P. van der Weide. Towards an Information Market Paradigm. Forum proceedings of the 17th Conference on Advanced Information Systems 2005 (CAiSE 2005), 2005, O. Belo, J. Eder, O. Pastor and J. Falcao e Cunha, 27-32, Porto, Portugal, June, FEUP, Porto, Portugal.
  16. E. L. van den Broek, E. M. van Rikxoort and Th. E. Schouten . Human-centered object-based image retrieval. Radboud University Nijmegen, 2005, ICIS-R05038, Nijmegen, http://www.cs.ru.nl/research/reports/info/ICIS-R05038.html.
  17. E. L. van den Broek, Th. E. Schouten, P. M. F. Kisters and H. C. W. Kuppens. Weighted distance mapping (WDM). Proceedings of the IEE international conferenceon visual information engineering (VIE2005): Glasgow, UK, 2005, N. Canagarajah, A. Chalmers, F. Deravi, S. Gibson, P. Hobson, M. Mirmehdi and S. Marshall, 157-164, Earls Barton, UK, Wrightsons, http://www.cs.ru.nl/ita/publications/papers/ths/Broe05a/Broe05a.html.
  18. E. L. van den Broek, T. Kok, E. Hoenkamp, Th. Schouten E., P. J. Petiet and L. G. Vuurpijl. Content-based art retrieval (C-BAR). Proceedings of the XVIth international conference of the association for history and computing, 2005, Amsterdam, September 14-17, http://www.cs.ru.nl/ita/publications/papers/ths/Broe05i/Broe05i.html.
  19. E. L. van den Broek, Th. E. Schouten, P. M. F. Kisters and H. C. W. Kuppens. Weighted distance mapping (WDM). Radboud University Nijmegen, 2005, ICIS-R05036, Nijmegen, http://www.cs.ru.nl/research/reports/info/ICIS-R05036.html.
  20. E. L. van den Broek, E. M. van Rikxoort, P. M. F. Kisters, Th. E. Schouten and L. G. Vuurpijl. Human-centered content-based image retrieval. Proceedings of fourth NWO ToKeN symposium, 2005, C. Klöditz, 5, Eindhoven, http://www.cs.ru.nl/ita/publications/papers/ths/Broe05c/Broe05c.html.
  21. E. L. van den Broek, E. M. van van Rikxoort and Th. Schouten E.. Human-centered object-based image retrieval. Pattern Recognition and Image Analysis, 2005, S. Singh, P. Perner and C. Apte, 3687, LNCS, 492-501, Berlin, Springer, http://www.cs.ru.nl/ita/publications/papers/ths/Broe05b/Broe05b.html.
  22. C.A.M. Schurink, P. J. F. Lucas, I.M. Hoepelman and M.J.M. Bonten. Computer-assisted decision support for the diagnosis and treatment of infectious disease in intensive care units. The Lancet of Infectious Disease, 2005, 5, 305-312, 10.1016/S1473-3099(05)70115-8.
  23. C.J. Price, L. Travié-Massuy\`es, R. Milne, L. Ironi, B. Bredeweg, M.H. Lee, P. Struss, N. Snooke, P. J. F. Lucas and M. Cavazza. Qualitative futures. Proceedings of the 19th International Workshop on Qualitative Reasoning (QR-05), Graz, Austria, 18-20th May, 2005, 2005, M. Hofbaur, B. Rinner and F. Wotawa, 29-37.
  24. R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira and R. Segala. Using probabilistic I/O automata to analyze an oblivious transfer protocol. CSAIL, MIT, 2005, MIT-LCS-TR-1001, http://www.lcs.mit.edu/specpub.php?id=1792.
  25. R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira and R. Segala. Using task-structured probabilistic I/O automata to analyzean oblivious transfer protocol. Cryptology ePrint Archive, 2005, 2005/452, Available at \tt http://eprint.iacr.org/.
  26. R. Canetti, L. Cheung, D. Kaynar, M. Liskov, Nancy Lynch, Olivier Pereira and Roberto Segala. Using probabilistic I/O automata to improve the analysisof cryptographic protocols. ERCIM News, 2005, 63, 40-41, October, http://www.ercim.org/publication/Ercim_News/enw63/pereira.html.
  27. P. Caspi, A. Sangiovanni-Vincentelli, L. Almeida, A. Benveniste, B. Bouyssounouse, G. Buttazzo, I. Crnkovic, W. Damm, J. Engblom, G. Folher, M. Garcia-Valls, H. Kopetz, Y. Lakhnech, F. Laroussinie, L. Lavagno, G. Lipari, F. Maraninchi, Ph. Peti, J. De La Puente, N. Scaife, J. Sifakis, R. De Simone, M. Torngren, P. Verissimo, A. J. Wellings, R. Wilhelm, T. Willemse and W. Yi. Guidelines for a graduate curriculum on embedded software and systems. ACM Transactions on Embedded Computing Systems, 2005, 4, 587-611, 3, http://doi.acm.org/10.1145/1086519.1086526.
  28. L. Cheung. Randomized wait-free consensus using an atomicity assumption. NIII, Radboud University, 2005, ICIS-R05035, Nijmegen, November, http://www.niii.ru.nl/research/reports/info/ICIS-R05035.html.
  29. L. Cheung and M. Hendriks. Causal dependencies in parallel composition of stochastic processes. ICIS, Raboud University, 2005, ICIS-R05020, Nijmegen, http://www.niii.kun.nl/research/reports/info/ICIS-R05020.html.
  30. L. Cheung, N. A. Lynch, R. Segala and F. W. Vaandrager. Switched probabilistic I/O automata. Theoretical aspects of computing: first int'l colloquium, ICTAC2004; Guiyang, China, 20-24 Sept.\@ 2004; proceedings, 2005, Zhiming Liu and Keijiro Araki, 3407, LNCS, 494-510, Berlin, Springer, http://www.cs.ru.nl/ita/publications/papers/fvaan/switched.html.
  31. P. R. D'Argenio and B. Gebremichael. The coarsest congruence for timed automatawith deadlines contained in bisimulation. Concurrency theory, CONCUR 2005: 16th int'l conf.\@, 2005, M. Abadi and L. de Alfaro, 3653, LNCS, 125-140, Berlin, August, Springer, http://www.cs.ru.nl/ita/publications/papers/biniam/CONCUR05.pdf, http://www.springerlink.com/link.asp?id=3cvl5ve3yap6y5hc.
  32. C. Daws. Symbolic and parametric model checking of discrete time Markov chains. Theoretical aspects of computing:first int'l colloquium, ICTAC2004;Guiyang, China, 20-24 Sept.\@ 2004;proceedings, 2005, Z. Liu and K. Araki, 3407, LNCS, 280-294, Berlin, Springer, http://springerlink.metapress.com/link.asp?id=0he7hkwht7605vw4.
  33. M. C. J. D. van Eekelen, G. J. Tretmans and T. Willemse. Vastleggen en controleren van kwaliteit essentieel voor outsourcing en offshoring. Automatisering Gids, 2005, 38, 13, 11, http://www.cs.ru.nl/ tretmans/papers/outsourcing.txt.
  34. J. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat and M. H. G. Verhoef. Validated designs for object-oriented systems. Springer, 2005, New York, vdmbook, http://www.vdmbook.com.
  35. L. Frantzen, G. J. Tretmans and T. A. C. Willemse. Test generation based on symbolic specifications. Formal Approaches to Software Testing - FATES 2004, 2005, J. Grabowski and B. Nielsen, 3395, LNCS, 1-15, Berlin, Springer, http://www.cs.ru.nl/%7elf/publications/FTW05.pdf, http://springerlink.metapress.com/link.asp?id=uu3va76k39megkke.
  36. G. Frehse. Compositional verification of hybrid systems using simulation relations. Radboud University, 2005, Nijmegen, October, http://www.cs.ru.nl/ita/publications/papers/goranf/frehse_thesis_a4.pdf.
  37. B. Gebremichael and F. W. Vaandrager. Specifying urgency in timed I/O automata. 3rd IEEE international conference on software engineering and formal methods (SEFM05), 2005, B.K. Aichernig and B. Beckert, 64-73, Koblenz, Germany, September, IEEE Computer Society, http://www.cs.ru.nl/ita/publications/papers/fvaan/urgency.html.
  38. B. Gebremichael, F. W. Vaandrager, M. Zhang, K. Goossens, E. Rijpkema and A. R\uadulescu. Deadlock prevention in \sc \AEthereal protocol. Correct hardware design and verification methods: 13th IFIP advanced research working conf.\@,CHARME05; proceedings, 2005, D. Borrione and W. Paul, 3725, LNCS, 345-348, Berlin, Springer, http://www.cs.ru.nl/ita/publications/papers/fvaan/noc.html.
  39. B. Gebremichael, F. W. Vaandrager and M. Zhang. Formal models of guaranteed and best-effort services for network on chip. Radboud University, 2005, ICIS-R05016, Nijmegen, http://www.cs.ru.nl/research/reports/info/ICIS-R05016.html.
  40. M. A. J. van Gerven, P. J. F. Lucas and Th. P. Weide van der. A Qualitative Characterisation of Causal Independence Models using Boolean Polynomials. Symbolic and Qualitative Approaches to Reasoning with Uncertainty (Proc of the 8th ECSQARU 2005), 2005, LNAI, 3571, 244-256, Springer-Verlag, Berlin, 10.1007/11518655_22.
  41. B. van Gils, H .A. Proper, P. van Bommel and Vrieze, P. de. Transformation selection for aptness-based web retrieval. Proceedings of the Sixteenth Australasian Database Conference (ADC2005), Newcastle, New South Wales, Australia, 2005, H. E. Williams and G. Dobbie, 39, Conferences in Research and Practice in Information Technology Series, 115-124, Sydney, New South Wales, Australia, January, Australian Computer Society.
  42. B. van Gils, H. A. Proper, P. van Bommel and Th. Weide P. van der. Aptness based search on the Web. Radboud University Nijmegen, 2005, ICIS-R06005, Nijmegen, The Netherlands, November.
  43. P. C. Groot, H. Stuckenschmidt and H. Wache. Approximating Description Logic Classification for Semantic Web Reasoning. The Semantic Web: Research and Applications: Second European Web Conference, 2005, LNCS, 3532, 318-332, Springer Verlag, 10.1007/11431053_22.
  44. P. C. Groot, A. ten Teije and F. van Harmelen. A quantitative analysis of the robustness of knowledge-based systems through degradation studies. Knowledge and Information Systems, 2005, 7, 224-245, 10.1007/s10115-003-0140-7.
  45. J.-F. Groote and T. A. C. Willemse. Model-checking processes with data. Science of computer programming, 2005, 56, 251-273, http://www.win.tue.nl/%7Etimw/articles/CSR02-16.pdf, http://dx.doi.org/10.1016/j.scico.2004.08.002.
  46. J.-F. Groote and T. A. C. Willemse. Parameterised Boolean equation systems. Theoretical Computer Science, 2005, 343, 332-369, http://www.cs.ru.nl/ timw/articles/CSR04-09.pdf.
  47. M. Hendriks. Model checking the time to reach agreement. Formal modeling and analysis of timed systems: 3rd int'l conf.\@, FORMATS'05, 2005, P. Pettersson and W. Yi, 3829, LNCS, 98-111, Berlin, Springer, http://www.cs.ru.nl/ita/publications/papers/martijnh/Agreement/formats05.pdf, http://www.cs.ru.nl/ita/publications/papers/martijnh/Agreement/.
  48. M. Hendriks. Model checking the time to reach agreement. ICIS, University of Nijmegen, 2005, ICIS-R05014, http://www.cs.ru.nl/research/reports/info/ICIS-R05014.html.
  49. A. J. Hommersom, P. J. F. Lucas and P. van Bommel. Argumentation Systems for History-Based Construction of Medical Guidelines. Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC-05), 135-142, 2005.
  50. A. J. Hommersom, P. J. F. Lucas and P. van Bommel. Automated Theorem Proving for Quality-checking Medical Guidelines. CADE 2005 WS - Empirically Successful Classical Automated Reasoning (ESCAR), 2005, B. Fischer, S. Schulz and G. Sutcliffe, CADE-20.
  51. A. J. Hommersom, J.-J.Ch. Meyer and E. P. de Vink. Towards Reasoning about Security Protocols: A Semantic Approach. Logic and Communication in Multi-Agent Systems, LCMAS'04, 2005, W. van der Hoek, A. Lomuscio, E.P. Vink and Wooldridge, M., 126, ENTCS, 53-75, Elsevier, 10.1016/j.entcs.2004.11.013.
  52. J. J. M. Hooman and J. van de Pol. Semantic models of a timed distributed dataspace. Theoretical Computer Science, 2005, 331, 291-323, http://www.cs.ru.nl/ita/publications/papers/hooman/HoomanPolTCS.pdf, http://www.cs.ru.nl/ hooman/HoomanPolTCS.html.
  53. S. B. J. A. Hoppenbrouwers, A. I. Bleeker and H. A. Proper. Facing the Conceptual Complexities in Business Domain Modeling. Computing Letters, 2005, 1, 59-68, 2.
  54. S. B. J. A. Hoppenbrouwers, H. A. Proper and van Reijswoud, V. E.. Navigating the Methodology Jungle: The communicative role of modelling techniques in information system development. Computing Letters, 2005, 1, 97-106, 3.
  55. S. B. J. A. Hoppenbrouwers, H. A. Proper and van der Weide, Th. P.. Formal Modelling as a Grounded Conversation. Proceedings of the 10th International Working Conference on the Language Action Perspective on Communication Modelling (LAP`05), 2005, G. Goldkuhl, M. Lind and S. Haraldson, 139-155, Kiruna, Sweden, June, Linköpings Universitet and Hogskolan I Boras, Linköping, Sweden.
  56. S. B. J. A. Hoppenbrouwers, H. A. Proper and van der Weide, Th. P.. Fundamental Understanding of the Act of Modelling. Radboud University Nijmegen, 2005, ICIS-R05006, Nijmegen, The Netherlands, January, Radboud University Nijmegen.
  57. S. J .B .A. Hoppenbrouwers, Th. P. van der Weide and Proper, H. A.. Dealing with Uncertainty in Information Modelling. Institute for Information and Computing Sciences, Radboud University, 2005, ICIS-R05013, Nijmegen, The Netherlands.
  58. S. J. B. A. Hoppenbrouwers, H. A. Proper and Bleeker, A. I.. Modelleertalen als communicatiemiddel in architectuurprocessen. Informatie & Architectuur, 2005, 1, 4-6, 1, In Dutch.
  59. S. J. B. A. Hoppenbrouwers, H. A. Proper and Th. Weide P. van der. A Fundamental View on the Process of Conceptual Modeling. Conceptual Modeling - ER 2005 - 24th International Conference on Conceptual Modeling, 2005, 3716, LNCS, 128-143, June.
  60. S. J. B. A. Hoppenbrouwers, H. A. Proper and Th. Weide P. van der. Fact Calculus: Using ORM and Lisa-D to Reason About Domains. On the Move to Meaningful Internet Systems 2005: OTM Workshops - OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, 2005, R. Meersman, Z. Tari and P. Herrero, 3762, LNCS, 720-729, October/November, Springer-Verlag.
  61. S. J. B. A. Hoppenbrouwers, H. A. Proper and Th. Weide P. van der. Towards explicit strategies for modeling. Proceedings of the Workshop on Evaluating Modeling Methods for Systems Analysis and Design (EMMSAD`05), held in conjunctiun with the 17th Conference on Advanced Information Systems 2005 (CAiSE 2005), 2005, T.A. Halpin, K. Siau and J. Krogstie, 485-492, Porto, Portugal, FEUP, Porto, Portugal.
  62. S. J. B. A. Hoppenbrouwers, H. A. Proper and Th. Weide P. van der. Understanding the Requirements on Modelling Techniques. 17th International Conference on Advanced Information Systems Engineering, CAiSE 2005, Porto, Portugal, 2005, O. Pastor and J. Falcao e Cunha, 3520, LNCS, 262-276, June, Springer-Verlag.
  63. I. Flesch and P. J. F. Lucas. Problem solving as structural reasoning with Bayesian networks. Proc of 11th Conference of the Spanish Association for Artificial Intelligence (CAEPIA'05), 2005, 373-382, CopyNino, Santiago de Compostella.
  64. J. M. Jansen, P. W. M. Koopman and M. J. Plasmeijer. Data types and pattern matching by function application. Proceedings of the 17th international symposium on the implementation and application of functional languages, IFL'05, 2005, Andrew Butterfield, Dublin, Ireland, September  19-21,, Technical report No: TCD-CS-2005-60, Department of Computer Science, Trinity College, University of Dublin.
  65. P. W. M. Koopman. Testing with functions as specifications. Perspectives of model-based testing, 2005, Ed Brinksma, Wolfgang Grieskamp and G. J. Tretmans, 04371, Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany.
  66. P. W. M. Koopman and M. J. Plasmeijer. Generic generation of elements of types. Proceedings of the 6th Symposium on Trends in Functional Programming, TFP '05, 2005, M. C. J. D. van Eekelen, 163-178, Tallin, Estonia, 23-24,  September, Intellect Books.
  67. P. W. M. Koopman and M. J. Plasmeijer. Testing higher order functions (extended abstract). Proceedings of the 17th international symposium on the implementation and application of functional languages, IFL'05, 2005, Andrew Butterfield, Dublin, Ireland, September  19-21,, Technical report No: TCD-CS-2005-60, Department of Computer Science, Trinity College, University of Dublin.
  68. M. Kyas, H. Fecher, F. S. de Boer, J. Jacob, Hooman, J. J. M., M. van der Zwaag, T. Arons and H. Kugler. Formalizing UML models and OCL constraints in PVS. Proceedings semantic foundationsof engineering design languages (SFEDL 04), 2005, 115, Electronic notes in theoretical computer science, 39-47, http://www.cs.ru.nl/ita/publications/papers/hooman/SFEDL2004.pdf, http://www.cs.ru.nl/ hooman/SFEDL2004.html.
  69. M. M. Lankhorst et al.. Enterprise Architecture at Work: Modelling, Communication and Analysis. Springer, 2005.
  70. M. M. Lankhorst, L. van der Torre, H. A. Proper, F. Arbab, F. S. de Boer and Bonsague M.. Foundations (of ArchiMate). Enterprise Architecture at Work: Modelling, Communication and Analysis, Berlin, Germany, Springer, 2005, M.M. Lankhorst, 47-66.
  71. M. M. Lankhorst, L. van der Torre, H. A. Proper, Arbab, F. and M. W. A. Steen. Viewpoints and Visualisation. Enterprise Architecture at Work: Modelling, Communication and Analysis, Springer, 2005, M.M. Lankhorst, 147-190, Berlin, Germany.
  72. J. Nabukenya. Collaboration Engineering for Policy Making: A Theory of Good Policy in a Collaborative Action. Proceedings of the 12th Doctoral Consortium, held in conjunction with the 17th Conference on Advanced Information Systems Engineering (CAiSE?05), 2005, 54-61, June.
  73. S. J. Overbeek and S. van Middendorp. Digitale Architectuur en de Netwerkorganisatie: onlosmakelijk verbonden. Informatie & Architectuur, 2005, 1, 8-12, 4, December, In Dutch.
  74. S. J. Overbeek, S. van Middendorp and D. B. Rijsenbrij B.. De Digitale Werkruimte, noodzaak voor een moderne manager. 2005, Proceedings of the 7th National Architecture Congress, Nieuwegein, The Netherlands, November, In Dutch.
  75. S. J. Overbeek, S. van Middendorp and D. B. Rijsenbrij B.. De digitale werkruimte, een nieuw architectuur artefact. Informatie & Architectuur, 2005, 1, 28-31, 2, In Dutch.
  76. S. J. Overbeek, S. van Middendorp and D. B. Rijsenbrij B.. The Digital Workspace, in the financial sector. IT Management Select, 2005, 11, 38-51, 4, December.
  77. S. J. Overbeek, D. B. B. Rijsenbrij and H. A. Proper. Sophia: Towards a Personal Digital Workspace for Knowledge Workers. Radboud University Nijmegen, 2005, ICIS-R06007, Nijmegen, The Netherlands, January.
  78. P. J. F. Lucas. Bayesian network modelling through qualitative patterns. Artificial Intelligence, 2005, 163, 233-263, 10.1016/j.artint.2004.10.011.
  79. B. Pepels and M. J. Plasmeijer. Generating applications from Object Role Models. Proceedings of the OnTheMove - Federated Conferences and Workshops, OTM '05, 2005, Robert Meersman, 3762, LNCS, 656-665, Agia Napa, Cyprus, 31,  October 4,  November, Springer-Verlag.
  80. M. J. Plasmeijer, P. M. Achten and Javier Pomer Tendillo. iData for the world wide web: generic programming techniques for high-level server-side web scripting. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands, 2005, Internal report, February.
  81. H. A. Proper. An Overview of the DaVinci Series. Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, 2005, DaVinci Series, Nijmegen, The Netherlands, An Overview of the DaVinci Series.
  82. H. A. Proper, S. J. B. A. Hoppenbrouwers and Veldhuijzen G. E. van Zanten. Communication of Enterprise Architectures. Enterprise Architecture at Work: Modelling, Communication and Analysis, Berlin, Germany, Springer, 2005, M.M. Lankhorst, 67-82.
  83. H. A. Proper, S. J. B. A. Hoppenbrouwers and Th. Weide P. van der. A Fact-Oriented Approach to Activity Modeling. On the Move to Meaningful Internet Systems 2005: OTM Workshops - OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, 2005, R. Meersman, Z. Tari and P. Herrero, 3762, LNCS, 666-675, October/November, Springer-Verlag.
  84. H. A. Proper, A. A. Verrijn-Stuart and S. B. Hoppenbrouwers J. A.. Towards Utility-based Selection of Architecture: Modelling Concepts. Proceedings of the Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, New South Wales, Australia, 2005, S. Hartmann and M. Stumptner, 42, Conferences in Research and Practice in Information Technology Series, 25-36, Sydney, New South Wales, Australia, January, Australian Computer Society.
  85. H. A. Proper and Th. P. van der Weide. Schema Equivalence as a Counting Problem. On the Move to Meaningful Internet Systems 2005: OTM Workshops - OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, 2005, R. Meersman, Z. Tari and P. Herrero, 3762, LNCS, 730-739, October/November, Springer-Verlag.
  86. R. Jurgelenaite and P. J. F. Lucas. Exploiting causal independence in large Bayesian networks. Knowledge-Based Systems, 2005, 18, 153-162, 10.1016/j.knosys.2004.10.009.
  87. R. Jurgelenaite, P. J. F. Lucas and T. M. Heskes. Exploring the noisy threshold function in designing Bayesian networks. Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 2005, 133-146, 10.1007/978-1-84628-226-3_11.
  88. V. E. van Reijswoud, R. van Alteren and H. A. Proper. ICT in ontwikkelingslanden. Informatie, 2005, 47, 10-16, 4, In Dutch.
  89. E. M. van Rikxoort, E. L. van den Broek and Th. E. Schouten. Mimicking human texture classification. Proceedings of human vision andelectronic imaging X, 2005, B. E. Rogowitz, T. N. Pappas and S. J. Daly, 5666, 215-226, San Jose, CA, USA, http://www.cs.ru.nl/ita/publications/papers/ths/Rikx05/Rikx05.html.
  90. E. M. van Rikxoort, E. L. van den Broek and Th. E. Schouten. The development of a human-centered object-based image retrieval engine. Proceedings of the eleventh annual conference of the advanced school for computing and imaging, 2005, B. Kröse, E. Hendriks and H. Bos, Heijen, http://www.cs.ru.nl/ita/publications/papers/ths/Rikx05a/Rikx05a.html.
  91. E. M. van Rikxoort, E. L. van den Broek and Th. E. Schouten. The development of a human-centered object-based image retrieval engine. Radboud University Nijmegen, 2005, ICIS-R05037, Nijmegen, http://www.cs.ru.nl/research/reports/info/ICIS-R05037.html.
  92. S. Visscher, P. J. F. Lucas, C.A.M. Schurink and M.J.M. Bonten. Application of the close-world assumption to a Bayesian network for optimal treatment selection. Proc of the 3rd European Medical & Biological Engineering Conference - EMBEC'05 (IFMBE European Conference on Biomedical Engineering), 20-25th November, 2005 Prague, 2005, IFMBE.
  93. S. Visscher, P. J. F. Lucas, K. Schurink and M.J.M. Bonten. Using a Bayesian-network model for the analysis of clinical time-series data. Artificial Intelligence in Medicine (AIME 2005), LNAI , 3581 , 2005, S. Miksch, J. Hunter and E Keravnou, 48-52, Springer-Verlag, Berlin, 10.1007/11527770_7.
  94. S. Visscher, P. J. F. Lucas, M.J.M. Bonten and C.A.M. Schurink. Improving the therapeutic performance of a medical Bayesian network using noisy threshold functions. 6th International symposium on Biological and Medical Data Analysis ISBMDA), LNBI , 3745 , 2005, J.L. Oliveira, V. Maojo, F. Martin-Sanchez and A. Sousa Pereira, 161-172, Springer-Verlag, Berlin, 10.1007/11573067_17.
  95. Th. E. Schouten, H. C. W. Kuppens and E. L. van den Broek. Timed fast exact euclidean distance (tFEED) maps. Proceedings of real time electronic imaging X, 2005, N. Kehtarnavaz andP. A. Laplante, 5671, 52-63, San Jose, CA, USA, http://www.cs.ru.nl/ita/publications/papers/ths/Scho05a/Scho05a.html.
  96. R.J. Slagter, S.J.B.A. Hoppenbrouwers, M.M. Lankhorst and J. Compschroer. Guidelines for Modelling. Enterprise Architecture at Work: Modelling, Communication and Analysis, Springer, 2005, M.M. Lankhorst, 115-146, Berlin, Germany.
  97. T. Charitos, L. C. van der Gaag, S. Visscher, K. Schurink and P. J. F. Lucas. A dynamic Bayesian network for diagnosing ventilator associated pneumonia in ICU patients. Proceedings of IDAMAP 2005, Aberdeen, 23rd July, 2005, 2005, IDAMAP.
  98. M. H. G. Verhoef. On the use of VDM++ for specifying real-time systems. Radboud University, 2005, ICIS-R05033, Nijmegen, http://www.cs.ru.nl/research/reports/full/ICIS-R05033.pdf, http://www.cs.ru.nl/research/reports/info/ICIS-R05033.html.
  99. P.T de Vrieze, P. van Bommel, J. Klok and Weide, Th.P. van der. Adaptation in Multimedia Systems. Multimedia Tools and Applications, 2005, 25, 333-343, 3, June.
  100. E. Wandeler, L. Thiele, M. H. G. Verhoef and P. Lieverse. System architecture evaluation using modular performance analysis:a case study. ICIS, Radboud University, 2005, ICIS-R05005, Nijmegen, http://www.niii.kun.nl/research/reports/info/ICIS-R05005.html.
  101. A. van Weelden, M. Oostdijk, L. Frantzen, Koopman, P. W. M. and G. J. Tretmans. On-the-fly formal testing of a smart card applet. Security and Privacy in the Age of Ubiquitous Computing - Procs.\ of the 20^th IFIP TC11 Int.\ Information Security Conference, 2005, R. Sasaki, S. Qing, E. Okamoto and H. Yoshiura, 564-576, Makuhari Messe, Chiba, Japan, May, IFIP Series, Springer-Verlag, Also available as Technical Report NIII-R0428.
  102. A. van Weelden, J. E. W. Smetsers and M. J. Plasmeijer. A generic approach to syntax tree operations. Proceedings of the 17th international symposium on the implementation and application of functional languages, IFL'05, 2005, Andrew Butterfield, Dublin, Ireland, September  19-21,, Technical report No: TCD-CS-2005-60, Department of Computer Science, Trinity College, University of Dublin.
  103. A. van Weelden, J. E. W. Smetsers and M. J. Plasmeijer. Polytypic syntax tree operations. Selected papers of the 17th international symposium on the implementation and application of functional languages, IFL'05, 2005, A. Butterfield, 4015, LNCS, 142-159, Dublin, Ireland, September  19-21,, Springer.