print · login   

Bibtex actions:
  edit    source    raw source    raw html

2011

  1. P. Achten, M. van Eekelen, P. Koopman, M.T. Morazán and P. JOHANN. Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. Higher-Order and Symbolic Computation, 2011, Online first, 1-23.
  2. Peter Achten. Educational Pearl - The Soccer-Fun project. Journal of Functional Programming, Cambridge University Press, 21, 2011, 1-19, 10.1017/S0956796810000055, doi:10.1017/S0956796810000055.
  3. J. Berendsen, B. Gebremichael, F.W. Vaandrager and Zhang, M.. Formal specification and analysis of zeroconf using uppaal. ACM Transactions on Embedded Computing Systems, 2011, 10, 34-34, 3, 10.1145/1952522.1952527 .
  4. M. Blokpoel, J. Kwisthout, T. Wareham, P. Haselager, I. Toni and I. van Rooij. The computational costs of recipient design and intention recognition in communication. Expanding the Space of Cognitive Science : Proceedings of the 33rd Annual Meeting of the Cognitive Science Society Boston, Massachusetts, July 20-23, 2011, 2011, 465-470, Austin, TX, Cognitive Science Society.
  5. D.P. Bos, M. Duvinage, O. Oktay, J.D. Saa, Guruler, H., A. Istanbullu, M. van Vliet, B. van de Laar, Poel, M., L. Roijendijk, L. Tonin, A. Bahramisharif and Reuderink, B.. Looking around with your brain in a virtual world. CCMB 2011 : 2011 IEEE Symposium on Computational Intelligence, Cognitive Algorithms, Mind, and Brain (CCMB), 2011, 106-113, Piscataway, IEEE.
  6. László Domoszlai, Eddy Bruël and Jan Martin Jansen. Implementing a non-strict purely functional language in JavaScript. Acta Universitatis Sapientiae, 3, 2011, 76-98, Sapienta University, Scienta Publishing House.
  7. S. Evers and P.J.F. Lucas. Marginalization without Summation Exploiting Determinism in Factor Algebra. ECSQARU 2011, Springer, 2011, LNCS, 6717, 251-262, Berlin, 10.1007/978-3-642-22152-1_22.
  8. D. Greefhorst and H.A. Proper. A practical approach to the formulation and use of architecture principles. Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC, 2011, 330-339, [S.l.], IEEE.
  9. T. Halpin, S. Nurcan and E. Proper. Enterprise, Business-Process and Information Systems Modeling : 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings. Springer, 2011, 81, 537, Berlin, Lecture Notes in Business Information Processing.
  10. M. Hendriks, M. Geilen and T. Basten. Pareto Analysis wih Uncertainty. Eindhoven, ES Reports, 1-12, Technische Universiteit Eindhoven., 2011.
  11. A. Hommersom. Toward Probabilistic Analysis of Guidelines. Knowledge Representation for Health-Care, 2011, 6512, 139-152, Springer, Berlin, 10.1007/978-3-642-18050-7_11.
  12. A. Hommersom and P.J.F. Lucas. Generalising the Interaction Rules in Probabilistic Logic. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, 2011, 912-917, Menlo Park, AAAI Press.
  13. A. Hommersom, P.J.F. Lucas, R. Waarsing and P. Koopman. Applying Bayesian Networks for Intelligent Adaptable Printing Systems. Lecture Notes in Electrical Engineering, Springer, 2011, 81, 201-213, Berlin, 10.1007/978-94-007-0638-5_14.
  14. A. Hommersom, H. Weigand and E.A.J.A. Rouwette. Hershey, E-Collaboration Technologies and Organizational Performance: Current and Future Trends, 292-317, IGI Global, 2011.
  15. S. Hoppenbrouwers, A. Oscar, D. Adisuryo and J. Zwart. A Dialogue Game Prototype for FCO-IM. In: On the Move to Meaningful Internet Systems. OTM 2011 Workshops; Object Role Modeling ORM 2011, Hersonissos, Crete, Greece, Springer, 2011, October 19-21, 7046, LNCS, 339-349.
  16. S. Hoppenbrouwers, M. Zoet, J. Versendaal and van de Weerd, I.. IFIP Advances in Information and Communication Technology, Springer, 2011, 351, 184-189, Boston.
  17. S. Hoppenbrouwers and W. van Stokkum. Towards Combining ThinkLets and Dialogue Games in Collaborative Modeling : an explorative case. CollabViz 2011 : Proceedings of the 1st International Workshop on Collaborative Usage and Development of Models and Visualizations held at the ECSCW 2011, 2011, 777, 11-18, CEUR.
  18. D.N. Jansen. Erratum to: Model-checking continuous-time Markov chains by Aziz et al.. arXiv, 2011, 1102.2079, 1-6.
  19. D.N. Jansen. Understanding Fox and Glynn's "Computing Poisson probabilities". Nijmegen, Technical Report, 1-11, ICIS, 2011.
  20. Jan Martin Jansen, Rinus Plasmeijer and Pieter Koopman. iEditors: extending iTask with interactive plug-ins. Revised Selected Papers of the 20th International Symposium on the Implementation and Application of Functional Languages, IFL '08, Sven-Bodo Scholz and Olaf Chitil, Hatfield, UK, 2011, Springer, LNCS, 5836, 192-211.
  21. J.P. Katoen, I.S. Zapreev, E.M. Hahn, H. Hermanns and D.N. Jansen. The ins and outs of the probabilistic model checker MRMC. Performance Evaluation, 2011, 68, 90-104, 2.
  22. Pieter Koopman, Peter Achten and Rinus Plasmeijer. Model Based Testing with Logical Properties versus State Machines. Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '11, Andy Gill, The University of Kansas, Springer-Verlag, LNCS, 2011, October, 7257, 116-133.
  23. Pieter Koopman, Peter Achten and Rinus Plasmeijer. Model Based Testing with Logical Properties versus State Machines - Extended Abstract. Draft Proceedings of the 23rd International Symposium on the Implementation and Application of Functional Languages, IFL '11, 2011, Andy Gill, October, The University of Kansas, Technical Report ITTC-FY2012-TR-29952012-01, Accepted as selected paper.
  24. Pieter Koopman and Rinus Plasmeijer. Testing with Functional Reference Implementations. Selected Papers of the 11th Symposium on Trends in Functional Programming, TFP '10, Rex Page, University of Oklahoma, May 17-19, 2011, Springer, LNCS, 6546, 134-149.
  25. Pieter Koopman, Rinus Plasmeijer and Peter Achten. An executable and testable semantics for iTasks. Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '08, Hertfordshire, UK, Hatfield, UK, Sven-Bodo Scholz and Olaf Chitil, 2011, Springer, LNCS, 5836, 212-232.
  26. J. Kwisthout. Most probable explanations in Bayesian networks: Complexity and tractability. International Journal of Approximate Reasoning, 2011, 52, 1452-1469, 9.
  27. J. Kwisthout, H. Bodlaender and L. van der Gaag. The Complexity of Finding kth Most Probable Explanations in Probabilistic Networks . Lecture Notes in Computer Science, Springer, 2011, LNCS, 6543, 356-367, Berlin.
  28. J. Kwisthout and P.J.F. Lucas. Reasoning With Different Time Granularities in Industrial Applications. Proceedings of the 23rd Benelux Conference on Artificial Intelligence, 2011, 120-127.
  29. J. Kwisthout, T. Wareham and I. van Rooij. Bayesian Intractability Is Not an Ailment That Approximation Can Cure. Cognitive Science, 2011, 35, 779-784, 5.
  30. M. Lappenschaar, A. Hommersom, S. Visscher and P.J.F. Lucas. Modelling Inter-practice Variation of Disease Interactions using Multilevel Bayesian Networks. Probabilistic Problem Solving in BioMedicine, 2011, 93-106.
  31. B. Lijnse, J.M. Jansen, R. Nanne and R. Plasmeijer. Capturing the Netherlands Coast Guard's SAR Workflow with iTasks. Proceedings of the 8th International ISCRAM Conference - Lisbon, Portugal, May 2011, 2011, 1-10, Lisbon, National Civil Engineering Laboratory.
  32. B. Lijnse and R. Plasmeijer. Lecture Notes in Computer Science, Springer, 2011, 5836, 272-290, Berlin.
  33. Bas Lijnse and Rinus Plasmeijer. Between types and tables - Using generic programming for automated mapping between data types and relational databases. Revised Selected Papers of the 20th International Symposium on the Implementation and Application of Functional Languages, IFL '08, Hatfield, UK, Sven-Bodo Scholz and Olaf Chitil, 2011, Springer, 5836, LNCS, 272-290.
  34. D.J.T. Linden, S.J.B.A. Hoppenbrouwers, A. Lartseva and H.A. Proper. Lecture Notes in Business Information Processing, Springer, 2011, 81, 526-535, Berlin.
  35. S. Michels, R. Plasmeijer and P. Achten. iTask as a new paradigm for building GUI applications. Proceedings of the 22nd International Symposium on the Implementation and Application of Functional Languages, IFL '10, Selected Papers, Alphen aan den Rijn, The Netherlands, 2011, 2011, 6647, 153-168, Berlin, Springer.
  36. J. Nabukenya, P. van Bommel, H.A. Proper and de Vreede, G.J.. An Evaluation Instrument for Collaborative Processes: Application to Organizational Policy-Making. Group Decision and Negotiation, 2011, 20, 465-488, 4.
  37. A. Nakakawa, P. Van Bommel and H.A. Erik Proper. Definition and validation of requirements for collaborative decision-making in enterprise architecture creation. International Journal of Cooperative Information Systems, 2011, 20, 83-136, 1.
  38. T.v. Noort, W. Swierstra, P. Achten and R. Plasmeijer. Embedding polymorphic dynamic typing. ICFP '11 ACM SIGPLAN International Conference on Functional Programming Tokyo, Japan - September 19 - 21, 2011 : Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011, 25-36, Tokyo, Japan, ACM.
  39. S. Overbeek, M. Janssen and P. van Bommel. Service Intelligence and Service Science: Evolutionary Technologies and Challenges, IGI Global, 2011, 79-94, [S.l.].
  40. S. Overbeek and P. Van Bommel. Elementary patterns for converting textual and visual formalisms based on set theory and ORM. Journal of Digital Information Management, 2011, 9, 64-71, 2.
  41. S.J. Overbeek, P. Van Bommel and H.A. Proper. Statics and dynamics of cognitive and qualitative matchmaking in task fulfillment. Information Sciences, 2011, 181, 129-149, 1.
  42. R. Plasmeijer, P. Achten, P. Koopman, B. Lijnse, T. Van Noort and J. Van Groningen. iTasks for a change: Type-safe run-time change in dynamically evolving workflows. PEPM '11 : Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, 2011, 151-160, New York, ACM.
  43. R. Plasmeijer, B. Lijnse, P. Achten and S. Michels. Getting a grip on tasks that coordinate tasks. LDTA'11 : Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications, 2011, 1-7, New York, ACM.
  44. H.A. Proper and D. Greefhorst. Principles in an Enterprise Architecture Context. Journal of Enterprise Architecture, 2011, February, 8-16.
  45. N. Radstake, P.J.F. Lucas, M. Velikova and M. Samulski. Critiquing Knowledge Representation in Medical Image Interpretation using Structure Learning. Proceedings Workshop Knowledge Representation for Health Care 2010 (KR4HC 2010), LNAI 6512, Springer, 2011, 56-69, Berlin, 10.1007/978-3-642-18050-7_5.
  46. S. Robben, M. Velikova, P.J.F. Lucas and M. Samulski. Discretisation does affect the performance of Bayesian networks. Research and Development in Intelligent Systems XXVII, Springer, London, M. Bramer et al., 2011, 6, 237-250, 10.1007/978-0-85729-130-1_17.
  47. L. Scheinholtz and I. Wilmont. Interview Patterns for Requirements Elicitation. LNCS 6606, Springer,Berlin, 2011, 6606, 72-77, Berlin, 10.1007/978-3-642-19858-8_9.
  48. T.R.J. Schermer, P.J.F. Lucas and Y.F. Heijdra. Relapse after hospital admission for COPD: Are routine outpatient follow-up visits the way to go?. Archives of Internal Medicine, 2011, 171, 10.1001/archinternmed.2011.145, 789-790, 8.
  49. P. Soffer and E. Proper. Information Systems Evolution : CAiSE Forum 2010, Hammamet, Tunisia, June 2010 : selected extended papers. Springer, 2011, 283, Berlin, Lecture notes in business information processing.
  50. N. Trcka, M. Hendriks, T. Basten, M. Geilen and Somers, L.. Integrated model-driven design-space exploration for embedded systems. Proceedings 2011 International Conference on Embedded Computer Systems : Architectures, Modeling and Simulation, IC-SAMOS 2011, July 18-21, 2011, Samos, Greece, 2011, 339-346, IEEE.
  51. E.L. Van Den Broek and T.E. Schouten. Modeling internal radiation therapy. BIOINFORMATICS 2011 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, 2011, 228-233, [S.l.], INSTICC.
  52. I. Van Rooij, J. Kwisthout, M. Blokpoel, J. Szymanik, T. Wareham and I. Toni. Intentional Communication: Computationally Easy or Difficult?. Frontiers in Human Neuroscience, 2011, 5, 1-18, 52.
  53. M. Velikova, P.J.F. Lucas and M. Spaanderman. A predictive Bayesian network model for home management of preeclampsia. Proceedings AIME 2011, M. Peleg, N. Lavra\vc and C. Combi, LNCS, Springer, Berlin, 2011, 6747, 179-183, 10.1007/978-3-642-22218-4_22.
  54. F. Verbeek and J. Schmaltz. A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free. 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing PDP 2011, 2011, 3-10, Los Alamitos, IEEE Computer Society.
  55. F. Verbeek and J. Schmaltz. A comment on "a necessary and sufficient condition for deadlock-free adaptive routing in wormhole networks". IEEE Transactions on Parallel and Distributed Systems, 2011, 22, 1775-1776, 10.
  56. F. Verbeek and J. Schmaltz. Automatic verification for deadlock in Networks-on-Chips with adaptive routing and wormhole switching. Proceedings of the Fifth ACM/IEEE International Symposium on Networks-on-Chip, 2011, 25-32, New York, ACM.
  57. F. Verbeek and J. Schmaltz. Formal verification of a deadlock detection algorithm. Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2011), november 2011, 2011, 70, 103-112.
  58. F. Verbeek and J. Schmaltz. Hunting deadlocks efficiently in microarchitectural models of communication fabrics. Proceedings of the 11th Conference on Formal Methods in Computer Aided Design (FMCAD 2011), 2011, 223-231, IEEE/ACM.
  59. F. Verbeek and J. Schmaltz. On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks. IEEE Transactions on Parallel and Distributed Systems, 2011, 22, 2022-2032.
  60. R. Wagter, H.A. Proper and D. Witte. Lecture Notes in Business Information Processing, Springer, 2011, 89, 28-52, Berlin.
  61. T. Wareham, J. Kwisthout, P. Haselager and I. van Rooij. Ignorance is bliss: A complexity perspective on adapting reactive architectures. ICDL 2011 IEEE International Conference on Development and Learning, 2011, 2, 1-5, IEEE.
  62. L. Zhang, D. Jansen, F. Nielson and H. Hermanns. Lecture Notes in Computer Science, Springer, 2011, 6756, 271-282, Berlin.
  63. L. Zhang, D. Jansen, F. Nielson and H. Hermanns. Automata-Based CSL Model Checking. arXiv, 2011, 1104.4983, 1-18.
  64. T. van Noort, P. Achten and R. Plasmeijer. A Typical Synergy : Dynamic types and generalised algebraic datatypes. Lecture Notes in Computer Science, Springer, 2011, Marco Morazán and Sven-Bodo Scholz, 6041, 179-197, Berlin.
  65. M. van der Heijden, B. Lijnse, P. Lucas, Y. Heijdra and T. Schermer. Managing COPD exacerbations with telemedicine. Artificial Intelligence in Medicine 2011 (AIME-2011), LNCS, 6747, Springer, Berlin, 2011, 169-178, 10.1007/978-3-642-22218-4_21.
  66. M. van der Heijden and P.J.F. Lucas. A Probabilistic logic of qualitative time. Probabilistic Problem Solving in BioMedicine, 2011, 69-82.

2011

  1. Viktoriá Zsók, Pieter Koopman and Rinus Plasmeijer. Generic Executable Semantics for D-Clean . Proceedings of the 3rd International Workshop on Generative Technologies, WGT '11 , 1-12 , 2011 .