2017

1. Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe and Olaf Teschke, Lecture Notes in Computer Science, 10383, Springer, 2017, 10.1007/978-3-319-62075-6.
2. Proceedings of the 12th Workshop in Primary and Secondary Computing Education (WiPSCE 2017). Erik Barendsen and Peter Hubwieser, ACM, 2017.
3. Proceedings of the 13th International Conference on Grammatical Inference, ICGI 2016, Delft, The Netherlands, October 5-7, 2016. Sicco Verwer, Menno van Zaanen and Rick Smetsers, JMLR Workshop and Conference Proceedings, 57, JMLR.org, 2017.
4. Alexis Linard, Rick Smetsers, Frits W. Vaandrager, Umar Waqas, Joost van Pinxten and Sicco Verwer. Learning Pairwise Disjoint Simple Languages from Positive Examples. CoRR, abs/1706.01663, 2017, 1706.01663.
5. Hossein Amirkhani, Mohammad Rahmati, Peter Lucas and Arjen Hommersom. Exploiting Experts' Knowledge for Structure Learning of Bayesian Networks. IEEE transactions on pattern analysis and machine intelligence, 2017, 39, 2154-2170, IEEE.
6. E. Barendsen and I. Henze. Relating Teacher PCK and Teacher Practice using Classroom Observation. Research in Science Education, Published online: https://doi.org/10.1007/s11165-017-9637-z, 2017.
7. S. Bipat, L. Sneller and J. Visser. Towards a procedure for survey item selection in MIS. R. Alinda, PACIS 2017: 21st PACIFIC-ASIA CONFERENCE ON INFORMATION SYSTEMS, 16-20 JULY, LANGKAWI ISLAND, MALAYSIA. Proceedings, 2017, Association for Information Systems, S.l., 1-12.
8. Bram Westerbaan, Bas Westerbaan, R Kuyper, C Tankink, R Viehoff and H Barendregt. Statman's Hierarchy Theorem. Logical Methods in Computer Science, 2017, 13, 4, 1-39.
9. Marcos LP Bueno, Arjen Hommersom, Peter JF Lucas and Alexis Linard. Asymmetric hidden Markov models. International Journal of Approximate Reasoning, 2017, 88, 169-191, 10.1016/j.ijar.2017.05.011, Elsevier.
10. C. Fuhs, C. Kop and N. Nishida. Verifying Procedural Programs via Constrained Rewriting Induction. Transactions on Computational Logic, 2017, 18, 2, 14:1-14:50, 10.1145/3060143, ACM.
11. C. Kop, A. Middeldorp and T. Sternagel. Complexity of Conditional Term Rewriting. Logical Methods in Computer Science, 2017, 13, 1, 10.23638/LMCS-13(1:6)2017, Dagstuhl.
12. C. Kop and J. Simonsen. Complexity Hierarchies and Higher-order Cons-free Term Rewriting. Logical Methods in Computer Science, 2017, 13, 3, Dagstuhl, 10.23638/LMCS-13(3:8)2017, Special Issue for FSCD 2016.
13. C. Kop and J. Simonsen. The Power of Non-determinism in Higher-Order Implicit Complexity. Proceedings of the 26th European Symposium on Programming (ESOP), 2017, Lecture Notes in Computer Science, 10201, 668-695, 10.1007/978-3-662-54434-1_25, Springer.
14. Giso H Dal and Peter JF Lucas. Weighted positive binary decision diagrams for exact probabilistic inference. International Journal of Approximate Reasoning, 90, 411-432, 2017.
15. Giso H Dal, Steffen Michels and Peter JF Lucas. Reducing the Cost of Probabilistic Knowledge Compilation. Proceedings of Machine Learning Research, 73, 141-152, 2017.
16. Damien Pous and Jurriaan Rot. Companions, Codensity and Causality. Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, 106-123, 2017, Javier Esparza and Andrzej S. Murawski, 10.1007/978-3-662-54458-7_7.
17. F. van den Berg, B.R. Haverkort and J. Hooman. iDSL: Automated Performance Evaluation of Service-Oriented Systems. 214-236, ModelEd, TestEd, TrustEd, Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 2017, LNCS 10500, Springer International Publishing.
18. F.W. Vaandrager. Model Learning. Communications of the ACM, 60, 2, February, 2017, 86-95, 10.1145/2967606, ACM, New York, NY, USA.
19. Filippo Bonchi, Matias David Lee and Jurriaan Rot. Bisimilarity of Open Terms in Stream GSOS. Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, 35-50, 2017, Mehdi Dastani and Marjan Sirjani, 10.1007/978-3-319-68972-2_3.
20. Paul Fiter\uau-Bro\cstean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager and Patrick Verleg. Model Learning and Model Checking of SSH Implementations. Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, SPIN 2017, 2017, 142-151, 10.1145/3092282.3092289, ACM, New York, NY, USA.
21. Nata\vsa Grgurina, Erik Barendsen, Cor Suhre, Klaas van Veen and Bert Zwaneveld. Investigating Informatics Teachers' Initial Pedagogical Content Knowledge on Modeling and Simulation. International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, Valentina Dagien\.e and Arto Hellas, Springer, 65-76, 2017.
22. J. F. Groote, D. N. Jansen, J. J. A. Keiren and A. J. Wijs. An O(mlog n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Transactions on Computational Logic, 2017, 18, 2, 1-34, 10.1145/3060140.
23. H. Don and H. Zantema. Finding DFAs with maximal shortest synchronizing word length. Proceedings of the 11th International Conference on Language and Automata Theory and Applications (LATA), 249-260, Lecture Notes in Computer Science, Springer, 2017, 10168.
24. H. Zantema and W. Bosma. Classifying non-periodic sequences by permutation transducers. Proceedings of the 21st International Conference on Developments of Language Theory (DLT), 365-377, Lecture Notes in Computer Science, Springer, 2017, 10396.
25. Helle H. Hansen, C. Kupke and J. Rutten. STREAM DIFFERENTIAL EQUATIONS: SPECIFICATION FORMATS AND SOLUTION METHODS. Logical Methods in Computer Science, 2017, 13, 1, 1-51.
26. Henning Basold, Damien Pous and Jurriaan Rot. Monoidal Company for Accessible Functors. 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, 5:1-5:16, 2017, 10.4230/LIPIcs.CALCO.2017.5, Filippo Bonchi and Barbara König.
27. Henning Basold, Herman Geuvers and Niels van der Weide. Higher Inductive Types in Programming. J. UCS, 23, 1, 63-88, 2017.
28. Herman Geuvers and Tonny Hurkens. Deriving Natural Deduction Rules from Truth Tables. Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, 123-138, 2017, 10.1007/978-3-662-54069-5_10.
29. R. Hinze and C. Martin. A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring. Journal of Universal Computer Science, 2017, 23, 1, 21-41.
30. I. Kurtev, J. Hooman and M. Schuts. Runtime Monitoring Based on Interface Specifications. 335-356, ModelEd, TestEd, TrustEd, Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 2017, LNCS 10500, Springer International Publishing.
31. I. Kurtev, M. Schuts, J. Hooman and D.-J. Swagerman. Integrating Interface Modeling and Analysis in an Industrial Setting. Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2017), 345-352, 2017.
32. Jan Martin Jansen and John van Groningen. A Portable VM-based Implementation Platform for Non-strict Functional Programming Languages. Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, 2017, 4:1-4:14, 10.1145/3064899.3064903, ACM, New York, NY, USA.
33. Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin and Michal Szynwelski. Learning nominal automata. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, 613-625, 2017.
34. Jurriën Stutterheim. A Cocktail of Tools - Domain-Specific Languages for Task-Oriented Software Development. 2017, november, Radboud University.
35. Jurriën Stutterheim, Peter Achten and Rinus Plasmeijer. Maintaining Separation of Concerns Through Task Oriented Software Development. Proceedings of the 18th Symposium of Trends in Functional Programming, TFP'17, University of Kent at Canterbury, 2017, Scott Owens and Meng Wang, to appear.
36. Jurriaan Rot. Distributive Laws for Monotone Specifications. Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017., 83-97, 2017, Kirstin Peters and Simone Tini, 10.4204/EPTCS.255.6.
37. Markus Klinik, Jan Martin Jansen and Rinus Plasmeijer. The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2017, 2017, 8:1-8:12, 10.1145/3205368.3205376, ACM, New York, NY, USA.
38. Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen and Bernd Becker. Motion Planning under Partial Observability using Game-Based Abstraction. 56th IEEE Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, IEEE, 2017, to appear.
39. Manxia Liu, Arjen Hommersom, Maarten van der Heijden and Peter JF Lucas. Hybrid time Bayesian networks. International Journal of Approximate Reasoning, 80, 460-474, 10.1016/j.ijar.2016.02.009, 2017, Elsevier.
40. M. Schuts and J. Hooman. Improving Maintenance by Creating a DSL for Configuring a Fieldbus. Proc. Workshop on Domain-Specific Modeling (DSM2016), 28-34, ACM, 2017.
41. M. de Bondt, H. Don and H. Zantema. DFAs and PFAs with long shortest synchronizing word length. Proceedings of the 21st International Conference on Developments of Language Theory (DLT), 122-133, Lecture Notes in Computer Science, Springer, 2017, 10396.
42. Markus Klinik, Jurriaan Hage, Jan Martin Jansen and Rinus Plasmeijer. Predicting resource consumption of higher-order workflows. Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, ACM, 2017, Ulrik Pagh Schultz and Jeremy Yallop, 99-110.
43. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala and Ufuk Topcu. Sequential Convex Programming for the Efficient Verification of Parametric MDPs. Axel Legay and Tiziana Margaria, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II, Lecture Notes in Computer Science, 10206, 133-150, 2017, 10.1007/978-3-662-54580-5_8.
44. Myrthe van Delft, Herman Geuvers and Tim A. C. Willemse. A Formalisation of Consistent Consequence for Boolean Equation Systems. Interactive Theorem Proving - 8th International Conference, ITP 2017, Bras\'\ilia, Brazil, September 26-29, 2017, Proceedings, 462-478, 2017, 10.1007/978-3-319-66107-0_29.
45. C. M. Necco, J. N. Oliveira, J. Visser and R. Uzal. Computer Aided Verification of Relational Models by Strategic Rewriting. Journal of Computer Science & Technology, 2017, 17, 2, 140-148.
46. Nils Jansen, Murat Cubuktepe and Ufuk Topcu. Synthesis of shared control protocols with provable safety and performance guarantees. 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017, 1866-1873, IEEE, 2017, 10.23919/ACC.2017.7963224.
47. Stefan Oppl and Stijn Hoppenbrouwers. Introducing Fundamental Concepts of Process Modeling through Participatory Simulation. 1st T4SIS4T Worskhop; Teaching for smart information systems, smart information systems for teaching, in conjunction with CAiSE’17, A. Metzger and A. Person, Lecture Notes in Business Information Processing, Springer Verlag, 110-132, 2017, Conference Proceedings.
48. Paul Fiterau-Brostean and Falk Howar. Learning-Based Testing the Sliding Window Behavior of TCP Implementations. Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, 185-200, 2017, 10.1007/978-3-319-67113-0_12, Laure Petrucci, Cristina Seceleanu and Ana Cavalcanti, Lecture Notes in Computer Science, 10471, Springer.
49. Petra van den Bos, Ramon Janssen and Joshua Moerman. n-Complete Test Suites for IOCO. Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, 91-107, 2017, 10.1007/978-3-319-67549-7_6.
50. Simon Rabinowicz, Arjen Hommersom, Raphaela Butz and Matt Williams. A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks. Conference on Artificial Intelligence in Medicine, 81-85, 2017, Springer.
51. Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese and Massimo Tivoli. Synthesis and Verification of Self-aware Computing Systems. Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski and Xiaoyun Zhu, Self-Aware Computing Systems., 337-373, Springer International Publishing, 2017, 10.1007/978-3-319-47474-8_11.
52. Ebrahim Rahimi, Erik Barendsen and Ineke Henze. Identifying Students' Misconceptions on Basic Algorithmic Concepts Through Flowchart Analysis. International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, Valentina Dagien\.e and Arto Hellas, Springer, 155-168, 2017.
53. Rick Smetsers. Grammatical Inference as a Satisfiability Modulo Theories Problem. CoRR, abs/1705.10639, 2017, 1705.10639.
54. M. T. W. Schuts. Industrial Experiences in Applying Domain Specific Languages for System Evolution. 2017, s.n., 126.
55. Jonathan Seesink and Stijn Hoppenbrouwers. Using a Liquid Democracy Tool for End-user Involvement in Continuous RE. The 3rd Workshop on Continuous Requirements Engineering, CRE'17, held in conjunction with REFSQ 2017, CEUR Workshop Proceedings, CEUR, 2017, Conference Proceedings.
56. Renske Smetsers-Weeda and Sjaak Smetsers. Problem Solving and Algorithmic Development with Flowcharts. Proceedings of the 12th Workshop on Primary and Secondary Computing Education, WiPSCE '17, 2017, 25-34, 10.1145/3137065.3137080, ACM, New York, NY, USA.
57. H. Stammes, I. Henze, E. Barendsen and M. J. De Vries. Praktische kennis van scheikundedocenten over ontwerponderwijs. Paper presented at ORD 2017, Antwerpen, 2017.
58. Tim Steenvoorden, Jurriën Stutterheim, Erik Barendsen and Rinus Plasmeijer. Visual Support for Learning Monads. Proceedings of the International Conference on Computer Science Education Innovation & Technology (CSEIT), Global Science and Technology Forum, 130-139, 2017.
59. J. Stutterheim, F. Bolderheij and J. M. Jansen. Consequence Management: Declarative Modelling of Maritime C2-systems. S. Morimoto, MAST Asia 2017: Maritime/Air Systems & Technologies, Makuhari Messe, Tokyo, Japan Monday 12 June 2017 to Wednesday 14 June 2017, 2017, MAST, S.l., ?-?.
60. T. Nägele and J. Hooman. Co-simulation of Cyber-Physical Systems using HLA. Proc. 7th IEEE Annual Computing and Communication Workshop and Conference (CCWC 2017), 267-272, IEEE, 2017.
61. T. Nägele and J. Hooman. Rapid Construction of Co-simulations of Cyber-Physical Systems in HLA using a DSL. Proc. 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2017), 247-251, IEEE, 2017.
62. J. Tretmans. On the Existence of Practical Testers. J.-P. Katoen, R. Langerak and A. Rensink, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 2017, Lecture Notes in Computer Science, 10500, 87-106, Springer Int.\ Publishing, http://dx.doi.org/10.1007/978-3-319-68270-9_5.
63. J. C. Visser, N. N. J. Lambregts, M. Lappenschaar, I. J. Servatius-Oosterling, C. U. Greven and J. K. Buitelaar. Variation in the Early Trajectories of Autism Symptoms Is Related to the Development of Language, Cognition, and Behavior Problems. Journal of the American Academy of Child and Adolescent Psychiatry, 2017, 56, 8, 659-668, 10.1016/j.jaac.2017.05.022.
64. W. Bosma and H. Zantema. Ordering sequences by permutation transducers. Indagationes Mathematicae, 2017, 38, 38-54.
65. Ilona Wilmont, Stijn Hoppenbrouwers and Erik Barendsen. An Observation Method for Behavioral Analysis of Collaborative Modeling Skills. Advanced Information Systems Engineering Workshops. CAiSE 2017, A. Metzger and A. Persson, 286, 59-71, Springer, Lecture Notes in Business Information Processing, 2017.
66. B. Zwaneveld and E. Barendsen. Het afsluitend praktijkonderzoek van de lerarenopleidingen wiskunde onderzocht. Tijdschrift voor lerarenopleiders, 3, 47-59, 38, 2017.
67. Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot and Dominic Steinhöfel. Verifying OpenJDK's Sort Method for Generic Collections. Journal of Automated Reasoning, 2017, Aug, 10.1007/s10817-017-9426-4.