- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Koopman, P.W.M."
Now showing items 1-50 of 73
-
Tiered versus tierless IoT stacks: comparing smart campus software architectures Lubbers, M. ; Koopman, P. ; Ramsingh, A.; Singer, J.; Trinder, P.2020, Article in monograph or in proceedings (Davidsson, P. (ed.), IoT '20: 10th International Conference on the Internet of Things: Proceedings of 10th International Conference on the Internet of Things, October 6-9, 2019, Malmö, Sweden, pp. 1-9) -
Multitasking on Microcontrollers using Task Oriented Programming 2019, Article in monograph or in proceedings (Koricic, M. (ed.), 2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO): May 20 – 24, 2019 Opatija, Croatia. Proceedings, pp. 1587-1592)
-
Task Oriented Programming and the Internet of Things 2018, Article in monograph or in proceedings (Cimini, M. (ed.), IFL 2018 Proceedings of the 30th Symposium on Implementation and Application of Functional Languages: Lowell, MA, USA — September 05 - 07, 2018, pp. 83-94) -
A Task-Based DSL for Microcomputers 2018, Article in monograph or in proceedings (Stewart, R. (ed.), RWDSL2018: Proceedings of the Real World Domain Specific Languages Workshop 2018, Vienna, Austria — February 24 - 24, 2018, pp. 1-11)
-
A Shallow Embedded Type Safe Extendable DSL for the Arduino 2016, Article in monograph or in proceedings (Serrano, M.; Hage, J. (ed.), Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 104-123)
-
An Introduction to Task Oriented Programming 2015, Part of book or chapter of book (Zsók, V.; Horváth, Z.; Csató, L. (ed.), Central European Functional Programming School, pp. 187-245)
-
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl 2015, Article in monograph or in proceedings (IFL '14 : Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages 4(, pp. 4(1)-4(12))
-
Model-Based Shrinking for State-Based Testing 2014, Part of book or chapter of book (McCarthy, J. (ed.), Trends in Functional Programming, pp. 107-124)
-
Church Encoding of Data Types Considered Harmful for Implementations 2014, Article in monograph or in proceedings (Tobin-Hochstadt, S. (ed.), IFL '14 : Proceedings 26th International Workshop on the Implementation of Functional Languages, IFL '14, Boston, U.S.A., pp. 117-127)
-
Functional semantics 2013, Part of book or chapter of book (Achten, P.; Koopman, P.W.M. (ed.), The beauty of functional code, pp. 60-78)
-
Inference for a New Probabilistic Constraint Logic 2013, Article in monograph or in proceedings (Rossi, F. (ed.), IJCAI-13: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Beijing, China, 3–9 August 2013, pp. 2540-2543) -
Model Based Testing with Logical Properties versus State Machines 2012, Part of book or chapter of book (Gill, A.; Hage, J. (ed.), Implementation and Application of Functional Languages, pp. 116-133)
-
Task-oriented programming in a pure functional language Plasmeijer, R. ; Lijnse, B.; Michels, S. ; Achten, P. ; Koopman, P.2012, Article in monograph or in proceedings (PPDP'12 : Proceedings of the 14th symposium on Principles and practice of declarative programming, pp. 195-206)
-
Testing with Functional Reference Implementations 2011, Part of book or chapter of book (Page, R.; Horváth, Z.; Zsók, V. (ed.), Trends in Functional Programming, pp. 134-149)
-
iTasks for a change: Type-safe run-time change in dynamically evolving workflows Plasmeijer, R. ; Achten, P. ; Koopman, P. ; Lijnse, B.; Noort, T. van; Groningen, J van2011, Article in monograph or in proceedings (Khoo, S.-C.; Siek, J. (ed.), PEPM '11 : Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, pp. 151-160)
-
An Executable and Testable Semantics for iTasks 2011, Part of book or chapter of book (Scholz, S.-B.; Chitil, O. (ed.), Implementation and Application of Functional Languages, pp. 212-232)
-
Generic Executable Semantics for D-Clean Zsók, V.; Koopman, P. ; Plasmeijer, R.2011, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 279, iss. 3, (2011), pp. 85-95)
-
Applying Bayesian networks for intelligent adaptable printing systems Hommersom, A.J. ; Lucas, P.J.F. ; Waarsing, R.; Koopman, P.2011, Part of book or chapter of book (Conti, M.; Orcioni, S. (ed.), Solutions on Embedded Systems, pp. 201-213)
-
iEditors: Extending iTask with interactive plug-ins 2011, Part of book or chapter of book (Scholz, S.-B.; Chitil, O. (ed.), Implementation and Application of Functional Languages, pp. 192-211)
-
Synthesis of functions using generic programming 2010, Article in monograph or in proceedings (Schmid, U.; Kitzelmann, E.; Plasmeijer, R. (ed.), Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers, pp. 25-49)
-
TFP 2009 : Proceedings 10th symposium on Trends in Functional programming, TFP'09, Selye Janos University, Komarno, Slovakia, June 2-4 2009 Horvath, Z.; Zsok, V.; Achten, P. ; Koopman, P.2010, Book (monograph)
-
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler Groningen, J van; Noort, T. van; Achten, P. ; Koopman, P. ; Plasmeijer, R.2010, Article in monograph or in proceedings (Gibbons, J. (ed.), Haskell '10 : proceedings of the third ACM Haskell symposium on Haskell, pp. 49-60)
-
An Effective Methodology for Defining Consistent Semantics of Complex Systems 2010, Part of book or chapter of book (Horvath, Z.; Plasmeijer, R.; Zsok, V. (ed.), Central European Functional Programming School, pp. 224-267)
-
Generic Functions Dynamically Applied - keynote talk 2010, Article in monograph or in proceedings (Porkolab, Z. (ed.), Proceedings Workshop on Generative Technologies, WGT'10, Paphos, Cyprus, March 27, 2010, pp. 1-2)
-
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008 Achten, P. ; Eekelen, M.C.J.D. van ; Koopman, P. ; Morazán, M.T.; Johann, P.2010, Article / Letter to editor (Higher-Order and Symbolic Computation, vol. 23, iss. 4, (2010), pp. 465-487)
-
Embedding a web-based workflow management system in a functional language 2010, Article in monograph or in proceedings (Brabrand, C. (ed.), Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, pp. 79-93)
-
Trends in Functional Programming Achten, Peter ; Koopman, Pieter ; Morazán, Marco2009, Book editorial
-
Applying Bayesian networks for intelligent adaptable printing systems Hommersom, A.J. ; Lucas, P.J.F. ; Waarsing, R.; Koopman, P.W.M.2009, Article in monograph or in proceedings (Conti, M.; Orcioni, S.; Grammatikakis, M.D. (ed.), Proceedings of the Seventh workshop on Intelligent solutions in embedded systems, Università Politecnica delle Marche, Ancona, Italy, June 25-26, 2009, pp. 127-133)
-
Declarative Ajax and Client Side Evaluation of Workflows using iTasks Plasmeijer, Rinus ; Jansen, Jan Martin; Koopman, Pieter ; Achten, Peter2008, Article in monograph or in proceedings (Antoy, S.; Albert, E. (ed.), PPDP '08 : Proceedings 10th International ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 56-66)
-
Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP'08) Achten, P.M. ; Koopman, P.W.M. ; Moraz'an, T. Marco2008, External research report
-
From interpretation to compilation Jansen, Jan Martin; Koopman, P.W.M. ; Plasmeijer, Rinus2008, Article in monograph or in proceedings (Horv'ath, Zolt'an; Plasmeijer, R. (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 286-301)
-
Specifying Interactive Work Flows for the Web Plasmeijer, Rinus ; Achten, P.M. ; Koopman, P.W.M. ; Lijnse, Bas; Noort, T.R. van2008, Article in monograph or in proceedings (Koopman, P.; Plasmeijer, R. (ed.), Draft Proceedings of the Sixth International Summer School on Advanced Functional Programming, AFP (2008), May 19-24 2008, Center Parcs “Het Heijderbos”, The Netherlands, pp. 7-47)
-
An introduction to iTasks: defining interactive work flows for the web 2008, Article in monograph or in proceedings (Horvath, Z.; Plasmeijer, R. (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 1-40)
-
An Executable and Testable Semantics for iTasks 2008, Article in monograph or in proceedings (Scholz, Sven-Bodo (ed.), IFL'08 :Proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages, pp. 53-64)
-
Web based dynamic workflow systems and applications in the military domain Jansen, Jan Martin; Koopman, P.W.M. ; Plasmeijer, M.J.2008, Part of book or chapter of book (Hupkens, Theo; Monsuur, Herman (ed.), Sensors, Weapons, C4I and Operations Research, pp. 43-59)
-
Draft Proceedings of the Sixth Advanced Functional Programming School (AFP'08) Koopman, P.W.M. ; Plasmeijer, M.J. ; Swierstra, Doaitse2008, External research report
-
Testing and validating the quality of specifications 2008, Article in monograph or in proceedings (Frantzen, Lars; Merayo, Mercedes; N'u, Manuel nez (ed.), ICSTW Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008 April 09 - 11, 2008, pp. 41-52)
-
Validating Specifications for Model-Based Testing 2008, Article in monograph or in proceedings (Arabnia, R. Hamid; Reza, Hassan (ed.), Proceedings of The 2008 International Conference on Software Engineering Research and Practice (SERP'08) : SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, pp. 225-231)
-
Model-based testing of thin-client web applications and navigation input 2008, Article in monograph or in proceedings (Hudak, Paul; Warren, David (ed.), Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings, pp. 299-315)
-
iEditors: extending iTask with interactive plug-ins Jansen, Jan Martin; Koopman, P.W.M. ; Plasmeijer, M.J.2008, Article in monograph or in proceedings (Scholz, Sven-Bodo (ed.), Proceedings Implementation and Application of Functional Languages : 20th International Symposium on the Implementation and Application of Functional Languages, IFL'08, pp. 170-186)
-
Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures Koopman, Pieter ; Plasmeijer, Rinus ; Swierstra, Doaitse2008, Book editorial
-
Model-Based Testing of Thin-Client Web Applications and Navigation Input 2007, Article in monograph or in proceedings (Moraz'an, Marco (ed.), Preliminary Proceedings 8th Symposium on Trends in Functional Programming, TFP 2007)
-
Transparant Ajax and Client-Site Evaluation of iTasks Plasmeijer, Rinus ; Jansen, Jan Martin; Koopman, Pieter ; Achten, Peter2007, Article in monograph or in proceedings (Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pp. 252-253)
-
An Introduction to iTasks: Defining Interactive Work Flows for the Web - Draft Version 2007, Article in monograph or in proceedings (Central European Functional Programming School, CEFP 2007)
-
On the Validation of Specifications used in Model-Based Testing 2007, Article in monograph or in proceedings (Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pp. 230-231)
-
iTasks: Executable Specifications of Interactive Work Flow Systems for the Web 2007, Article in monograph or in proceedings (Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), pp. 141-152)
-
Systematic Synthesis of lambda-Terms 2007, Article in monograph or in proceedings (Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind - Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, pp. 211-222)
-
Systematic Synthesis of Functions 2006, Article in monograph or in proceedings (Nilsson, H. (ed.), Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, pp. 68-83)
Now showing items 1-50 of 73
Search Repository
Browse
-
All of Repository
Upload Full Text