print · login   

Bibtex actions:
  edit    source    raw source    raw html

2016

  1. Deductive Software Verification - The KeY Book - From Theory to Practice. Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt and Mattias Ulbrich, Lecture Notes in Computer Science, 10001, Springer, 2016, 10.1007/978-3-319-49812-6.
  2. Henk Barendregt. Keys to two intimacies: Mathesis and Mysticism. Studies in Spirituality, 2016, 26, 15-32.
  3. E. Barendsen and J. Tolboom. Advies Examenprogramma Informatica vwo-havo: inhoud en invoering. Enschede: SLO, 2016.
  4. Erik Barendsen, Nata\vsa Grgurina and Jos Tolboom. A New Informatics Curriculum for Secondary Education in The Netherlands. Informatics in Schools: Improvement of Informatics Knowledge and Perception, A. Brodnik and F. Tort, 105-117, Springer, 2016.
  5. Erik Barendsen and Tim Steenvoorden. Analyzing Conceptual Content of International Informatics Curricula for Secondary Education. International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, Andrej Brodnik and Fran\ccoise Tort, 14-27, 2016, Springer, 10.1007/978-3-319-46747-4_2.
  6. Henning Basold and Helle Hvid Hansen. Well-Definedness and Observational Equivalence for Inductive-Coinductive Programs. 10.1093/logcom/exv091, Journal of Logic and Computation, April, 2016.
  7. Marcos LP Bueno, Arjen Hommersom, Peter JF Lucas, Martijn Lappenschaar and Joost GE Janzing. Understanding disease processes by partitioned dynamic Bayesian networks. Journal of biomedical informatics, 61, 283-297, 2016, Elsevier.
  8. Marcos LP Bueno, Arjen Hommersom, Peter JF Lucas, Sicco Verwer and Alexis Linard. Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case. Proceedings of the International Conference on Probabilistic Graphical Models (PGM'16), 52, 50-61, 2016, JMLR: Workshop and Conference Proceedings.
  9. A. Corradini and H. Zantema. TERMGRAPH 2016: Proceedings 9th International Workshop on Computing with Terms and Graphs Eindhoven, The Netherlands, April 8, 2016. S.l., Electronic Proceedings in Theoretical Computer Science, 225, 62, EPTCS, 2016.
  10. R. W. Ettema, H. A. Proper, J. Verelst, F. Russo and J. B. F. Mulder. Using triangulation in lean six sigma to explain quality problems. 2016-02, 201, s.n., 2016.
  11. H. Faller, H. A. Proper, S. Kinderen and C. Constantinidis. Organizational Subcultures and Enterprise Architecture Effectiveness: an Explanatory Theory. 185, s.n., 2016.
  12. Freek Wiedijk, Herman Geuvers and Josef Urban. Een wiskundig bewijs correct bewezen: De meest efficiënte manier om bollen op te stapelen (in Dutch). Nieuw Archief voor Wiskunde, 177-183, 5/17, 3, KWG, 2016.
  13. Georgios Gousios, Dominik Safaric and Joost Visser. Streaming software analytics. Proceedings of the 2nd International Workshop on BIG Data Software Engineering, 8-11, 2016, ACM.
  14. Nata\vsa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas Van Veen and Cor Suhre. Defining and Observing Modeling and Simulation in Informatics. Informatics in Schools: Improvement of Informatics Knowledge and Perception, A. Brodnik and F. Tort, 130-141, Springer, 2016.
  15. J. F. Groote, F. Wiedijk and H. Zantema. A Probabilistic Analysis of the Game of the Goose. Siam Review, 1, 143-155, 58, 2016.
  16. Henning Basold and Herman Geuvers. Type Theory based on Dependent Inductive and Coinductive Types. LICS, 327-336, ACM, 2016.
  17. R. T. W. Hinze and D. Marsden. Dragging Proofs Out of Pictures. Cham, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, S. Lindley, C. McBride, P. Trinder and D. Sannella, 152-168, Springer International Publishing, 2016.
  18. Arjen Hommersom and Marcos LP Bueno. Toward Computing Conflict-Based Diagnoses in Probabilistic Logic Programming. Proceedings of the 3rd International Workshop on Probabilistic Logic Programming, 29-38, 2016, CEUR, 1661.
  19. A. Hommersom and S. Abdallah. PLP 2016 : Probabilistic Logic Programming Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016) London, UK, September 3, 2016. S.l., CEUR Workshop Proceedings, 1661, 58, CEUR, 2016.
  20. J. Hooman. Industrial Application of Formal Models Generated from Domain Specific Languages. Theory and Practice of Formal Methods - de Boer Festschrift, LNCS 9660, 277-293, Springer International Publishing, 2016.
  21. Jurriaan Rot and Marcello Bonsangue. Structural congruence for bialgebraic semantics . Journal of Logical and Algebraic Methods in Programming , 85, 6, 1268 - 1291, 2016, NWPT 2013 , http://dx.doi.org/10.1016/j.jlamp.2016.08.001.
  22. Bartek Klin and Jurriaan Rot. Coalgebraic trace semantics via forgetful logics. 10.2168/LMCS-12(4:10)2016, Logical Methods in Computer Science, Volume 12, Issue 4, 2016, December.
  23. P. Koopman and R. Plasmeijer. A Shallow Embedded Type Safe Extendable DSL for the Arduino. Cham, Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, M. Serrano and J. Hage, 104-123, Springer International Publishing, 2016.
  24. G. Leal, W. Gu\~A\copyrightdria, H. Panetto and E. Proper. Towards a Meta-Model for Networked Enterprise. Cham, Enterprise, Business-Process and Information Systems Modeling: 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings, R. Schmidt, W. Gu\~A\copyrightdria, I. Bider and S. Guerreiro, 417-431, Springer International Publishing, 2016.
  25. Alexis Linard and Marcos LP Bueno. Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, 2016, Springer International Publishing, 134-150, 10.1007/978-3-319-47166-2_9.
  26. Manxia Liu, Arjen Hommersom, Maarten van der Heijden and Peter JF Lucas. Learning Parameters of Hybrid Time Bayesian Networks. Proceedings of the International Conference on Probabilistic Graphical Models (PGM'16), 52, 287-298, 2016, JMLR: Workshop and Conference Proceedings.
  27. M. Schuts and J. Hooman. Industrial Application of Domain Specific Languages Combined with Formal Techniques. 2:1-2:8, Proc. Workshop on Real World Domain Specific Languages (RWDSL), Symposium on Code Generation and Optimization (CGO), 2016.
  28. M. Schuts, J. Hooman and V. Vaandrager. Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report. Proc. 12th Conference on integrated Formal Methods (iFM 2016), LNCS 9681, 311-325, Springer International Publishing, 2016.
  29. Steffen Michels. Hybrid Probabilistic Logics: Theoretical Aspects, Algorithms and Experiments. 2016, Radboud University.
  30. Steffen Michels, Arjen Hommersom and Peter J. F. Lucas. Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. 25th International Joint Conference on Artificial Intelligence (IJCAI'16), 3616-3622, AAAI Press, 2016.
  31. Claudia Mónica Necco, José R Oliveira, Joost Visser and Roberto Uzal. Computer Aided Verification of Relational Models. XXII Congreso Argentino de Ciencias de la Computación (CACIC 2016)., 2016.
  32. S. Oppl and S. Hoppenbrouwers. Scaffolding Stakeholder-Centric Enterprise Model Articulation. Cham, The Practice of Enterprise Modeling : 9th IFIP WG 8.1. Working Conference, PoEM 2016, Sk\~A¶vde, Sweden, November 8-10, 2016, Proceedings, J. Horkoff, M. A. Jeusfeld and A. Persson, 133-147, Springer International Publishing, 2016.
  33. P. Fiter\uau-Bro\cstean, R. Janssen and F.W. Vaandrager. Combining Model Learning and Model Checking to Analyze TCP Implementations. 2016, Proceedings 28th International Conference on Computer Aided Verification (CAV'16), \rm Toronto, Ontario, Canada, S. Chaudhuri and A. Farzan, Springer, Lecture Notes in Computer Science, 9780, 454-471, 10.1007/978-3-319-41540-6_25.
  34. S Raemaekers, A van Deursen and J Visser. Semantic Versioning and Impact of Breaking Changes in the Maven Repository. Journal of Systems and Software, 2016, Elsevier.
  35. Ebrahim Rahimi, Erik Barendsen and Ineke Henze. Typifying Informatics Teachers' PCK of Designing Digital Artefacts in Dutch Upper Secondary Education. Informatics in Schools: Improvement of Informatics Knowledge and Perception, A. Brodnik and F. Tort, 65-77, Springer, 2016.
  36. S. Keshishzadeh, A.J. Mooij and J. Hooman. Industrial Experiences with a Formal DSL Semantics to Check the Correctness of Generated DSL Artifacts. 16-30, Proc. 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA), Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 205, 2016.
  37. K. Sandkuhl, H. -G. Fill, S. Hoppenbrouwers, J. Krogstie, A. Leue, F. Matthes, A. L. Opdahl, G. Schwabe, \~A-. Uludag and R. Winter. Enterprise Modelling for the Masses \^a€``From Elitist Discipline to Common Practice. Cham, The Practice of Enterprise Modeling : 9th IFIP WG 8.1. Working Conference, PoEM 2016, Sk\~A¶vde, Sweden, November 8-10, 2016, Proceedings, J. Horkoff, M. A. Jeusfeld and A. Persson, 225-240, Springer International Publishing, 2016.
  38. Poppy Schoenberg and Henk Barendregt. Mindful Disintegration and the Decomposition of Self in Healthy Populations: Conception and Preliminary Study. Psychological Studies, 2016, doi: 10.1007/s12646-016-0374-6.
  39. Rick Smetsers, Joshua Moerman and David N. Jansen. Minimal Separating Sequences for All Pairs of States. Adrian-Horia Dediu, Jan Janou\vsek, Carlos Mart\'in-Vide and Bianca Truthe, Language and Automata Theory and Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, 2016, Springer International Publishing, 181-193, 10.1007/978-3-319-30000-9_14.
  40. Martijn Stegeman, Erik Barendsen and Sjaak Smetsers. Designing a rubric for feedback on code quality in programming courses. Proceedings of the 16th Koli Calling International Conference on Computing Education Research, ACM, 160-164, 2016.
  41. Stijn de Gouw, Frank S. de Boer and Jurriaan Rot. Verification of Counting Sort and Radix Sort. Deductive Software Verification - The KeY Book - From Theory to Practice, 609-618, 2016, DBLP:series/lncs/10001, 10.1007/978-3-319-49812-6_19.
  42. Jurriën Stutterheim, Rinus Plasmeijer and Peter Achten. Static and Dynamic Visualisations of Monadic Programs. 2016, Implementation and Application of Functional Languages, 10.1145/2897336.2897337, ACM.
  43. Sylvia Stuurman, Harrie Passier and Erik Barendsen. Analyzing students' software redesign strategies. Proceedings of the 16th Koli Calling International Conference on Computing Education Research, ACM, 110-119, 2016.
  44. J. Vahrenhold and E. Barendsen. WiPSCE '16: Proceedings of the 11th Workshop in Primary and Secondary Computing Education, WiPSCE 2016, M\~A¼nster, Germany, October 13-15, 2016. New York, Event: WiPSCE '16: The 11th Workshop in Primary and Secondary Computing Education, WiPSCE 2016, M\~A¼nster, Germany, October 13-15, 2016, WiPSCE '16: The 11th Workshop in Primary and Secondary Computing Education, WiPSCE 2016, M\~A¼nster, Germany, October 13-15, 2016, 124, ACM, 2016.
  45. Joost Visser, Sylvan Rigal, Gijs Wijnholds and Zeeger Lubsen. Building Software Teams: Ten Best-Practices for Effective Software Development. 2016, " O'Reilly Media, Inc.".
  46. Joost Visser, Sylvan Rigal, Rob van der Leek, Pascal van Eck and Gijs Wijnholds. Building Maintainable Software, C\# Edition: Ten Guidelines for Future-Proof Code. 2016, " O'Reilly Media, Inc.".
  47. Joost Visser, Sylvan Rigal, Rob van der Leek, Pascal van Eck and Gijs Wijnholds. Building Maintainable Software, Java Edition: Ten Guidelines for Future-Proof Code. 2016, " O'Reilly Media, Inc.".
  48. M. Xu, L. Zhang, D. N. Jansen, H. Zhu and Z Yang. Multiphase until formulas over Markov reward models: An algebraic approach. Theoretical Computer Science, 116-135, 611, 2016.
  49. H. Zantema. TURTLE GRAPHICS OF MORPHIC SEQUENCES. Fractals, 1, 1-16, 24, 2016.
  50. L. Zhang and D. N. Jansen. A space-efficient simulation algorithm on probabilistic automata. Information and Computation, August, 138-159, 249, 2016.
  51. F. van den Berg, , B.R. Haverkort and J. Hooman. Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques. 158-163, VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).
  52. Petra van den Bos, Rick Smetsers and Frits Vaandrager. Enhancing Automata Learning by Log-Based Metrics. Erika \'Abrahám and Marieke Huisman, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, Springer International Publishing, 295-310, 10.1007/978-3-319-33693-0_19.
  53. T. van der Weide, F. P. Tulinayo and P. van Bommel. Static and Dynamic Aspects of Application Domains: An Inductively Defined Modeling Technique That Allows Decomposition. Complex Systems Informatics and Modeling Quarterly, 7, 25-50, 2016, 2016.

2015

  1. Luca Anselma, Alessio Bottrighi, Laura Giordano, Arjen Hommersom, Gianpaolo Molino, Stefania Montani, Paolo Terenziani and Mauro Torchio. A Hybrid Approach to the Verification of Computer Interpretable Guidelines. Foundations of Biomedical Knowledge Representation, 287-315, 2015, Springer.
  2. E. Barendsen, L. Mannila, B. Demo, N. Grgurina, C. Izu, C. Mirolo, S. Sentance, A. Settle and G. e Stupurien. Concepts in K-9 Computer Science Education. New York, ITICSE '15 : Proceedings of the 2015 ACM Conferrence on Innovation and Technology in Computer Science Education Conference 2015 Vilnius, Lithuania \^a€''July 04 - 08, 2015, V. Dagiene, 85-116, ACM, 2015.
  3. Arjen Hommersom and Peter JF Lucas. An Introduction to Knowledge Representation and Reasoning in Healthcare. Foundations of Biomedical Knowledge Representation, 9-32, 2015, Springer.
  4. P. J. F. Lucas and A. Hommersom. How to Read the Book \^a€\oeFoundations of Biomedical Knowledge Representation\^a€. Cham, Foundations of Biomedical Knowledge Representation: Methods and Applications, A. Hommersom and J. F. P. Lucas, 3-7, Springer International Publishing, 2015.
  5. P. J. F. Lucas and F. Orihuela-Espina. Representing Knowledge for Clinical Diagnostic Reasoning. Cham, Foundations of Biomedical Knowledge Representation: Methods and Applications, A. Hommersom and J. F. P. Lucas, 35-45, Springer International Publishing, 2015.
  6. M. Schuts and J. Hooman. Formal Modelling in the Concept Phase of Product Development. Herndon, WORLDCOMP'15 - The 2015 World Congress in Computer Science, Computer Engineering, and Applied Computing, 3-9, CSREA Press, 2015.