print · login   

Bibtex actions:
  edit    source    raw source    raw html

2012

  1. CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. 2012, Maciej Koutny and Irek Ulidowski, 7454, Lecture Notes in Computer Science, Springer, CONCUR.
  2. Collaborative Modeling, proceedings of the 2012 minitrack in the proceedings of the 45th Hawaiian International Conference on the System Sciences, HICSS-45; Collaborative Systems track. 2012, S. Hoppenbrouwers, E. Rouwette and P. Rittgen, IEEE.
  3. FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. 2012, Dimitra Giannakopoulou and Dominique Méry, 7436, Lecture Notes in Computer Science, Springer, FM.
  4. Fourth Summer School Central European Functional Programming School, CEFP 2011, Revised Selected Papers. Springer-Verlag, 2012, Viktória Zsók, Zoltán Horváth and Rinus Plasmeijer, 7241, LNCS.
  5. A.J. Hommersom, A. van Altena and P.J.F. Lucas. A Semi-Causal Bayesian Network Approach to Prognosis. Proceedings of the ICML=9212 Workshop on Machine Learning for Clinical Data Analysis, 2012.
  6. F. Aarts, H. Kuppens, J. Tretmans, F. Vaandrager and S. Verwer. Learning and Testing the Bounded Retransmission Protocol. Procs.\ of the Eleventh Int.\ Conf.\ on Grammatical Inference - ICGI 2012, 2012, J. Heinz, C. de la Higuera and T. Oates, 21, JMLR Workshop and Conference Proceedings, 4-18, Journal of Machine Learning Research.
  7. Aigerim Issabayeva, Ariadi Nugroho and Joost Visser. Issue handling performance in proprietary software projects. 9th IEEE Working Conference o Mining Software Repositories, MSR 2012, June 2-3, 2012, Zurich, Switzerland, 2012, Michele Lanza, Massimiliano Di Penta and Tao Xi, 209-212, IEEE.
  8. Andrzej Olszak, Eric Bouwers, Bo N\orregaard J\orgensen and Joost Visser. Detection of Seed Methods for Quantification of Feature Confinement. Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings, 2012, Carlo A. Furia and Sebastian Nanz, 7304, Lecture Notes in Computer Science, 252-268, Springer.
  9. M. Bjekovic, E. Proper and J.-S. Sottel. Towards a coherent enterprise modelling landscape. K. Sandkuhl, 5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling (PoEM), Rostock, Germany, November 7-8, 2012, CEUR Workshop Proceedings, 2012, CEUR, 933, 1-12, Towards a coherent enterprise modelling landscape.
  10. Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Labarre, Anthony, Jan Ramon and Sicco Verwer. Modeling Machine Learning and Data Mining Problems with FO(\cdot). Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), 2012, Agostino Dovier and V\'itor Santos Costa, 17, Leibniz International Proceedings in Informatics (LIPIcs), 14-25, Dagstuhl, Germany, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Keywords: Knowledge representation and reasoning, declarative modeling, logic programming, knowledge base systems, FO(ยท), IDP framework, stemmatology, phylogene, http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.14.
  11. M. Bozga, A. David, A. Hartmanns, H. Hermanns, Larsen, K.G., A. Legay and J. Tretmans. State-of-the-Art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems. Design, Automation & Test in Europe, Conference & Exhibition - DATE 2012, 2012, W. Rosenstiel and L. Thiele, 370-375, Leuven, Belgium, European Design and Automation Association (EDAA).
  12. Christophe Costa Florencio and Sicco Verwer. Regular Inference as Vertex Coloring. Algorithmic Learning Theory, Springer Berlin Heidelberg, 2012, NaderH. Bshouty, Gilles Stoltz, Nicolas Vayatis and Zeugmann, Thomas, 7568, Lecture Notes in Computer Science, 81-95, 10.1007/978-3-642-34106-9_10.
  13. Eduardo P. Costa, Sicco Verwer and Hendrik Blockeel. Redefining the calculation of prediction certainty for decision trees. Proceedings of the 21st Belgian-Dutch Conference on Machine Learning, BeneLearn 2012, 2012, AAMAS '12.
  14. Dennis Bijlsma, Miguel Alexandre Ferreira, Bart Luijten and Joost Visser. Faster issue resolution with higher technical quality of software. Software Quality Journal, 2012, 20, 265-285, 2.
  15. Dirk van der Dirk van der Linden, Stijn Hoppenbrouwers, Lartseva, Alina and Wolfgang Molnar. Using Psychometrics to Explicate Personal Ontologies in Enterprise Modeling. Applied Ontology, 2012, 7, 1-15.
  16. L. Domoszlai and R. Plasmeijer. Compiling Haskell to JavaScript through Clean's core. Selected papers of 9th Joint Conference on Mathematics and Computer Science, MaCS 2012, 2012, 36, 117-142, Siófok, Hungary, February 9-12.
  17. Eric Bouwers, Joost Visser and Arie van Deursen. Getting what you measure. Commun. ACM, 2012, 55, 54-59, 7.
  18. F. Aarts, F. Heidarian and F.W. Vaandrager. A Theory of History Dependent Abstractions for Learning Interface Automata. 23rd International Conference on Concurrency Theory (CONCUR), Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings, 2012, M. Koutny and I. Ulidowski, 7454, Lecture Notes in Computer Science, 240-255, September, Springer.
  19. F. Aarts, F. Heidarian, H. Kuppens, P. Olsen and F.W. Vaandrager. Automata Learning Through Counterexample-Guided Abstraction Refinement. 18th International Symposium on Formal Methods (FM 2012), Paris, France, August 27-31, 2012. Proceedings, 2012, D. Giannakopoulou and D. Méry, 7436, Lecture Notes in Computer Science, 10-27, August, Springer.
  20. F. Aarts, H. Kuppens, G.J. Tretmans, F.W. Vaandrager and S. Verwer. Learning and Testing the Bounded Retransmission Protocol. Proceedings 11th International Conference on Grammatical Inference (ICGI 2012), September 5-8, 2012. University of Maryland, College Park, USA, 2012, J. Heinz, C. de la Higuera and T. Oates, 21, JMLR Workshop and Conference Proceedings, 4-18.
  21. F. Heidarian, J. Schmaltz and F.W. Vaandrager. Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. Theoretical Computer Science, TCS , 2012, 413, 87-105, http://dx.doi.org/10.1016/j.tcs.2011.07.018.
  22. F. Houben, G. Igna and F.W. Vaandrager. Modeling Task Systems Using Parameterized Partial Orders. Proceedings 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012), \rm Beijing China, April 16-19, 2012, 2012, Marco Di Natale, 317-327, IEEE Computer Society, http://doi.ieeecomputersociety.org/10.1109/RTAS.2012.34.
  23. F. Houben, G. Igna and F.W. Vaandrager. Modeling task systems using parameterized partial orders. International Journal on Software Tools for Technology Transfer, 2012, 1-18, 10.1007/s10009-012-0264-8, Springer-Verlag.
  24. F.W. Vaandrager. Active Learning of Extended Finite State Machines. Proceedings 24th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2012), \rm Aalborg, Denmark, November 19-21, 2012, Springer Berlin Heidelberg, 2012, B. Nielsen and C. Weise, 7641, Lecture Notes in Computer Science, 5-7, 10.1007/978-3-642-34691-0_2.
  25. F.W. Vaandrager. Model Checkers als Slimme Schroevendraaiers. Bits & Chips, 2012, 8, 56-57, October/November.
  26. C. Feltus, E. Dubois, E. Proper, I. Band and M. Petit. Enhancing the ArchiMate standard with a responsibility modeling language for access rights management. SIN '12 : Fifth International Conference on Security of Information and Networks, 22-27 October 2012, Jaipur, India, 2388577, 2012, ACM, New York, 12-19, Enhancing the ArchiMate standard with a responsibility modeling language for access rights management.
  27. M. A. Ferreira and J. Visser. Governance of Spreadsheets through Spreadsheet Change Reviews. ArXiv e-prints, 2012, 1211.7100, November.
  28. K. Gaaloul, E. Proper and F. Charoy. Secondary An Extended RBAC Model for Task Delegation in Workflow Systems. L. Niedrite, R. Strazdina and B. Wangler, Lecture Notes in Business Information Processing, 2012, Springer, Berlin, 106, 51-63.
  29. T. O. Group, M. E. Iacob, H. Jonkers, M. Lankhorst, E. Proper and D. A. C. Quartel. ArchiMate 2.0 Specification. 2012, Van Haren Publishin.
  30. M. Hendriks and F.W. Vaandrager. Reconstructing Critical Paths from Execution Traces. Proceedings 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC'12), \rm 5-7 December 2012, Paphos, Cyprus, 2012, 524-531, IEEE Computer Society, 10.1109/ICCSE.2012.78.
  31. M. Hendriks and F.W. Vaandrager. Reconstructing Critical Paths from Execution Traces. Radboud University Nijmegen, 2012, ICIS-R12007, December.
  32. Jeroen Henrix, Rinus Plasmeijer and Peter Achten. GiN: a graphical language and tool for defining iTask workflows. Proceedings of the 12th Symposium on Trends in Functional Programming, TFP '11, Selected Papers, 2012, Ricardo Peña, 7193, LNCS, Madrid, Spain, Springer.
  33. Marijn J.H. Heule and Sicco Verwer. Software model synthesis using satisfiability solvers. Empirical Software Engineering, 2012, 1-32, 10.1007/s10664-012-9222-z, Springer US.
  34. J. Hooman, R. Huis in 't Veld and M. Schuts. Experiences with a Compositional Model Checker in the Healthcare Domain. Foundations of Health Information Engineering and Systems (FHIES 2011), 2012, Z. Liu and A. Wassyng, 93-110, LNCS 7151, Springer-Verlag.
  35. S. Hoppenbrouwers and E. Rouwette. A Dialogue Game for Analysing Group Model Building: Framing Collaborative Modelling and its Facilitation. International Journal of Organisational Design and Engineering (IJODE), 2012, 2, 19-40, 1.
  36. S. Hoppenbrouwers, W van Stokkum, M. Iacob, Wilmont, I., Dirk van der Linden and C. Amrit. Stakeholder Communication. Agile Service Development - Combining Adaptive Methods and Flexible Solutions, Springer Verlag, 2012, M. Lankhorst, 7, Berlin Heidelberg.
  37. Stijn Hoppenbrouwers. Asking Questions about Asking Questions in Collaborative Enterprise Modelling. The Practice of Enterprise Modeling, 5th IFIP WG8.1 Working Conference, PoEM 2012 (Rostock, Germany), 2012, Kurt Sandkuhl, Ulf Seigerroth and Janis Stirna, 134, 16-30.
  38. Jácome Cunha, João Saraiva and Joost Visser. Model-Based Programming Environments for Spreadsheets. Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, 2012, Francisco Heron de Carvalho Junior and Lu\'\is Soares Barbosa, 7554, Lecture Notes in Computer Science, 117-133, Springer.
  39. J. Hooman, A.J. Mooij and H. van Wezep. Early Fault Detection in Industry using Models at Various Abstraction Levels. Proceedings 9th International Conference on Integrated Formal Methods (iFM 2012), 2012, J. Derrick, S. Gnesi, D. Latella and H. Treharne, 268-282, LNCS 7321, Springer-Verlag.
  40. David N. Jansen, Flemming Nielson and Lijun Zhang. Belief bisimulation for hidden Markov models: logical characterisation and decision algorithm. NASA formal methods: 4th international symposium, NFM 2012; Norfolk, VA, USA, April 3-5, 2012; Proceedings, 2012, Alwyn E. Goodloe and Suzette Person, 7226, Lecture notes in computer science, 326-340, Berlin, Springer, In de METIS-database staat de verkeerde booktitle., 10.1007/978-3-642-28891-3_31.
  41. David N. Jansen, Flemming Nielson and Lijun Zhang. Belief bisimulation for hidden Markov models: logical characterisation and decision algorithm. Radboud Universiteit: Institute for Computing and Information Sciences, 2012, ICIS-R12002, Nijmegen.
  42. Joost Visser. Change is the Constant - keynote article. ERCIM News, 2012, 2012, 88.
  43. Faisal Kamiran, Asim Karim, Sicco Verwer and Goudriaan, Heike. Avoiding discrimination when classifying socially sensitive data. Workshop on Discimination and Privacy-Aware Data Mining at ICDM, 2012.
  44. S. Kinderen, K. Gaaloul and H. A. Proper. Bridging value modelling to ArchiMate via transaction modelling. Software & Systems Modeling, 2012, 2012/11/01, 1-15.
  45. S. Kinderen, K. Gaaloul and H. A. Proper. Secondary On Transforming DEMO Models to ArchiMate. I. Bider, Lecture Notes in Business Information Processing, 2012, Springer, Berlin, 113, 270-284, Scientific publication.
  46. S. Kinderen, K. Gaaloul and H. A. E. Proper. Secondary Integrating Value Modelling into ArchiMate Exploring Services Science. M. Snene, Lecture Notes in Business Information Processing, 2012, Springer, Berlin, 103, 125-139.
  47. J. Kwisthout. Relevancy in problem solving : a computational framework. The Journal of Problem Solving, 2012, 5, 1, 18-33.
  48. J. Kwisthout and I. van Rooij. Secondary Scaling models of cognition to the real world : Complexity-theoretic tools for dealing with intractability. N. Russwinkel, 2012, Universitatsbibliothek, Berlin, XVII-XVII, Scientific publication.
  49. Bas Lijnse, Jan Martin Jansen and Rinus Plasmeijer. Incidone: A Task-Oriented Incident Coordination Tool. Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management, ISCRAM '12, 2012, Leon Rothkrantz, Jozef Ristvej and Zeno Franco, Vancouver, Canada, April, pdf.
  50. Bas Lijnse, Patrick van Bommel and Rinus Plasmeijer. CCL: A Lightweight ORM Embedding in Clean. On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012, Pilar Herrero, Hervé Panetto, Robert Meersman and Tharam Dillon, 7567, Lecture Notes in Computer Science, 338-347, Rome, Italy, September, Springer.
  51. Dirk van der Linden and Stijn Hoppenbrouwers. Challenges of Identifying Communities with Shared Semantics in Enterprise Modeling. The Practice of Enterprise Modeling, 5th IFIP WG8.1 Working Conference, PoEM 2012 (Rostock, Germany), 2012, Kurt Sandkuhl, Ulf Seigerroth and Janis Stirna, 134, LNBIP, 160-171, Berlin, Heidelberg, Springer Verlag.
  52. M Lappenschaar, A Hommersom and PJF Lucas. Probabilistic Causal Models of Multimorbidity Concepts. AMIA Proceedings of the 2012 Annual Symposium, 2012, 475-484, Chicago, United States, November.
  53. M Lappenschaar, A Hommersom and PJF Lucas. Qualitative chain graphs and their use in medicine. Proceedings of the 6th European Workshop on Probabilistic Graphical Models, 2012, 179-186, Granada, Spain, September.
  54. M. Velikova, P. J. F. Lucas, M. Samulski and N. Karssemeijer. A probabilistic framework for image information fusion with an application to mammographic analysis. Medical Image Analysis, 2012, 16, 865-875.
  55. M. Velikova, P.J.F. Lucas, R. Smeets and J. Terwisscha van Schelting. Fully-automated interpretation of biochemical tests for decision support by smartphones. CBMS 2012, 25th IEEE International Symposium on Computer-Based Medical Systems, 2012, 1-6, 10.1109/CBMS.2012.6266352.
  56. Maarten van der Heijden and Peter J.F. Lucas. Probabilistic Models for Smart Monitoring. CBMS '12: Proceedings of the 25th IEEE International Symposium on Computer-Based Medical Systems, 2012, 1-6, 10.1109/CBMS.2012.6266348.
  57. Maarten van der Heijden and Peter J.F. Lucas. Probabilistic Reasoning with Temporal Indeterminacy. PGM '12: Proceedings of the 6th European Workshop on Probabilistic Graphical Models, 2012, A. Cano, M. Gómez-Olmedo and Th.D. Nielsen, 131-138.
  58. S. Michels, M. Velikova, A.J. Hommersom and Lucas, P.J.F.. A Probabilistic Logic-based Model for Fusing Attribute Information of Objects Under Surveillance. Radboud University Nijmegen, 2012, ICIS-R12006, December.
  59. S. Overbeek, M. Janssen and P. van Bommel. A standard language for service delivery: Enabling understanding among stakeholders. Computer Standards and Interfaces, 2012, 34, 355-366, 4.
  60. S. Overbeek, M. Janssen and P. van Bommel. Designing, formalizing, and evaluating a flexible architecture for integrated service delivery. Service Oriented Computing and Applications, 2012, 6, 167-188, 3.
  61. Perry Groot and Peter J.F. Lucas. Gaussian process regression with censored data using expectation propagation. PGM '12: Proceedings of the 6th European Workshop on Probabilistic Graphical Models, 2012, A. Cano, M. Gómez-Olmedo and Th.D. Nielsen, 115-122.
  62. Philippe Kruchten, Robert L. Nord, Ipek Ozkaya and Joost Visser. Technical debt in software development: from metaphor to theory report on the third international workshop on managing technical debt. ACM SIGSOFT Software Engineering Notes, 2012, 37, 36-38, 5.
  63. Rinus Plasmeijer, Peter Achten, Bas Lijnse and Michels, Steffen. Defining multi-user web applications with itasks. Proceedings of the 4th Summer School conference on Central European Functional Programming School, 2012, CEFP'11, 46-92, Berlin, Heidelberg, Springer-Verlag, 10.1007/978-3-642-32096-5_2.
  64. Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Achten, Peter and Pieter Koopman. Task-Oriented Programming in a Pure Functional Language. Proceedings of the 2012 ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP '12, 2012, 195-206, Leuven, Belgium, September, ACM.
  65. Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Achten, Peter and Pieter Koopman. Task-oriented programming in a pure functional language. Proceedings of the 14th symposium on Principles and practice of declarative programming, 2012, PPDP '12, 195-206, New York, NY, USA, ACM, 10.1145/2370776.2370801.
  66. E. Proper, K. Gaaloul, F. Harmsen and S. Wrycza. Practice-Driven Research on Enterprise Transformation. E. Proper, Practice-Driven Research on Enterprise Transformation : 4th Working Conference, PRET 2012 Gdansk, Poland, June 27, 2012 : Proceedings, 2012, Springer, Berlin, 120, 119, Practice-Driven Research on Enterprise Transformation, (Erik).
  67. R. Doornbos, J. Hooman and B. van Vlimmeren. Complementary Verification of Embedded Software using ASD and Uppaal. Proceedings 8th International Conference on Innovations in Information Technology (IIT'12), 2012, 60-65.
  68. Robert Baggen, José Pedro Correia, Katrin Schill and Joost Visser. Standardized code quality benchmarking for improving software maintainability. Software Quality Journal, 2012, 20, 287-307, 2.
  69. S. Michels, M. Velikova, A.J. Hommersom and P.J.F. Lucas. A Probabilistic Logic-based Model for Fusing Attribute Information of Objects Under Surveillance. Radboud University Nijmegen, 2012, ICIS-R12006, December.
  70. Sander Evers and Peter J.F. Lucas. A framework for development, teaching and deployment of inference algorithms. PGM '12: Proceedings of the 6th European Workshop on Probabilistic Graphical Models, 2012, A. Cano, M. Gómez-Olmedo and Th.D. Nielsen, 99-106.
  71. Steffen Michels, Marina Velikova and Peter J.F. Lucas. Probabilistic Model-Based Assessment of Information Quality in Uncertain Domains. AI 2012: Advances in Artificial Intelligence, 2012, Michael Thielscher and Dongmo Zhang, 7691, Lecture Notes in Computer Science, 890-901, Springer.
  72. Steven Raemaekers, Arie van Deursen and Joost Visser. Measuring Library Stability Through Historical Version Analysis. Proceedings of the International Conference on Software Engineering (ICSE), 2012, ACM, IEEE Computer Society.
  73. Tiago L. Alves, Paulo F. Silva and Joost Visser. Constraint-aware Schema Transformation. Electr. Notes Theor. Comput. Sci., 2012, 290, 3-18.
  74. F. Tulinayo, P. van Bommel and H.A. Proper. From a system dynamics causal loop diagram to an object-role model. Journal of Digital Information Management, 2012, 10, 174-186, 3.
  75. J. M. J. Van Der Meer, A. M. Oerlemans, D. J. Van Steijn, M. G. A. Lappenschaar, L. M. J. De Sonneville, J. K. Buitelaar and N. N. J. Rommelse. Are autism spectrum disorder and attention-deficit/hyperactivity disorder different manifestations of one overarching disorder?: Cognitive and symptom evidence from a clinical and population-based sample. Journal of the American Academy of Child and Adolescent Psychiatry, 2012, 51, 11, 1160-1172.
  76. F. Verbeek and J. Schmaltz. Easy formal specification and validation of unbounded networks-on-chips architectures. ACM Transactions on Design Automation of Electronic Systems, 2012, 17, 1, Article no.1 (1-28), Scientific publication, 10.1145/2071356.2071357.
  77. F. Verbeek and J. Schmaltz. Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. Journal of Automated Reasoning, 2012, Apr, 48, 4, 419-439, Scientific publication, 10.1007/s10817-010-9206-x.
  78. F. Verbeek and J. Schmaltz. Towards the Formal Verification of Cache Coherency at the Architectural Level. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2012, 17, 3, 20.
  79. Sicco Verwer, Remi Eyraud and Colin de la Higuera. Results of the PAutomaC Probabilistic Automaton Learning Competition. 11th International Conference on Grammatical Inference, 2012, Jeffrey Heinz, Colin de la Higuera and Tim Oates, 21, JMLR Workshop and Conference Proceedings, 243-248.
  80. Sicco Verwer, Mathijs Weerdt and Cees Witteveen. Efficiently identifying deterministic real-time automata from labeled data. Machine Learning, 2012, 86, 295-333, 10.1007/s10994-011-5265-4, Springer US.
  81. Sicco Verwer and Yingqian Zhang. Revenue prediction in budget-constrained sequential auctions with complementarities. Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3, 2012, AAMAS '12, 1399-1400, Richland, SC, International Foundation for Autonomous Agents and Multiagent Systems.
  82. R. Wagter, H. A. Proper and D. Witte. Secondary A Practice-Based Framework for Enterprise Coherence. E. Proper, Lecture Notes in Business Information Processing, 2012, Springer, Berlin, 120, 77-95, (Erik).
  83. R. Wagter, H. A. Proper and D. Witte. Secondary Enterprise Coherence in the Dutch Ministry of Social Affairs and Employment. M. Bajec and J. Eder, Lecture Notes in Business Information Processing, 2012, Springer, Berlin, 112, 600-607, Scientific publication.
  84. R. Wagter, H. A. Proper and D. Witte. Secondary The Extended Enterprise Coherence-Governance Assessment. S. Aier, M. Ekstedt, F. Matthes, E. Proper and J. Sanz, Lecture Notes in Business Information Processing, 2012, Springer, Berlin, 131, 218-235.
  85. I. Wilmont, E. Barendsen and S. J. B. A. Hoppenbrouwers. Abstraction and Executive Control in Formal Modeling. Poster Presentation at International Society for the Psychology of Science and Technology 2012 Conference, July, 2012.
  86. I. Wilmont, E. Barendsen and S. J. B. A. Hoppenbrouwers. Determining the Role of Abstraction and Executive Control in Process Modeling. CEUR Workshop Proceedings of the 5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modelling, 2012, November.
  87. I. Wilmont, E. Barendsen, S. J. B. A. Hoppenbrouwers and S. Hengeveld. Abstract Reasoning in Collaborative Modeling. Proceedings of the 45th Hawaii International Conference on System Sciences, 2012, S. Hoppenbrouwers, E. Rouwette and P. Rittgen, 170-179, January, IEEE Computer Society, 10.1109/HICSS.2012.88.
  88. Ilona Wilmont, Erik Barendsen and Stijn Hoppenbrouwers. On the Role of Abstraction and Executive Control in Process Modeling. Proceedings of The Practice of Enterprise Modeling, 5th IFIP WG8.1 Working Conference, PoEM 2012 (Rostock, Germany), 2012, Kurt Sandkuhl, Ulf Seigerroth and Janis Stirna, 933, CEUR digital proceedings.
  89. Lijun Zhang, David N. Jansen, Flemming Nielson and Hermanns, Holger. Efficient CSL model checking using stratification. Logical methods in computer science, 2012, 8, 2, Paper 17, 10.2168/LMCS-8(2:17)2012.
  90. Yingqian Zhang and Sicco Verwer. Mechanism for Robust Procurements. PRIMA 2012: Principles and Practice of Multi-Agent Systems, Springer Berlin Heidelberg, 2012, Iyad Rahwan, Wayne Wobcke, Sandip Sen and Toshiharu Sugawara, 7455, Lecture Notes in Computer Science, 77-91, 10.1007/978-3-642-32729-2_6.
  91. M Zoet, A Heerink, M. Lankhorst, S. Hoppenbrouwers and W van Stokkum. An Agile Way of Working. Agile Service Development - Combining Adaptive Methods and Flexible Solutions, Springer Verlag, 2012, M. Lankhorst, 6, Berlin Heidelberg.
  92. M. M. Zoet, A. W. Heerink, M. M. Lankhorst, S. J. B. A. Hoppenbrouwers and W. Stokkum. Secondary An Agile Way of Working : Combining Adaptive Methods and Flexible Solutions. M. Lankhorst, The Enterprise Engineering Series, 2012, Springer, Berlin, 111-140, Scientific publication.
  93. J. de Groot, A. Nugroho, T. Back and J. Visser. What is the value of your software?. Managing Technical Debt (MTD), 2012 Third International Workshop on, 2012, 37 -44, june, 10.1109/MTD.2012.6225998.
  94. Thomas van Noort. Dynamic Typing in Type-Driven Programming. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands , 2012, May, ISBN 978-94-6108-279-4.
  95. Susan van den Braak, Sunil Choenni and Sicco Verwer. Combining and Analyzing Judicial Databases . Discrimination and Privacy in the Information Society, Springer, 2012, 3, Studies in Applied Philosophy, Epistemology and Rational Ethics, 10, 191-206.