default search action
Marinus J. Plasmeijer
Rinus Plasmeijer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c114]Mart Lubbers
, Pieter W. M. Koopman
First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. IFL 2022: 3:1-3:12 - [i1]Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
Writing Internet of Things Applicatations with Task-Oriented Programming. CoRR abs/2212.04193 (2022) - 2021
- [c113]Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer:
Dynamic Editors for Well-Typed Expressions. TFP 2021: 44-66 - 2020
- [c112]Bas Lijnse, Rinus Plasmeijer:
Typed Directional Composable Editors in iTasks. IFL 2020: 115-126
2010 – 2019
- 2019
- [c111]Mart Lubbers
Writing Internet of Things Applications with Task Oriented Programming. CEFP 2019: 3-52 - [c110]Mart Lubbers
Interpreting task oriented programs on tiny computers. IFL 2019: 4:1-4:12 - [c109]Pieter W. M. Koopman, Rinus Plasmeijer:
A new view on parser combinators. IFL 2019: 6:1-6:11 - [c108]Camil Staps
Lazy interworking of compiled and interpreted code for sandboxing and distributed systems. IFL 2019: 9:1-9:12 - [c107]Mart Lubbers
Multitasking on Microcontrollers using Task Oriented Programming. MIPRO 2019: 1587-1592 - 2018
- [c106]Pieter W. M. Koopman, Mart Lubbers
A Task-Based DSL for Microcomputers. RWDSL@CGO 2018: 4:1-4:11 - [c105]Mart Lubbers
Task Oriented Programming and the Internet of Things. IFL 2018: 83-94 - 2017
- [c104]Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer:
A Distributed Dynamic Architecture for Task Oriented Programming. IFL 2017: 7:1-7:12 - [c103]Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer:
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. IFL 2017: 8:1-8:12 - [c102]Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer:
Predicting resource consumption of higher-order workflows. PEPM 2017: 99-110 - [c101]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Maintaining Separation of Concerns Through Task Oriented Software Development. TFP 2017: 19-38 - 2016
- [c100]Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer:
Towards the Layout of Things. IFL 2016: 3:1-3:13 - 2015
- [c99]Pieter W. M. Koopman, Rinus Plasmeijer:
Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors. CEFP 2015: 283-340 - [c98]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Static and Dynamic Visualisations of Monadic Programs. CEFP 2015: 341-379 - [c97]Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer:
Static and dynamic visualisations of monadic programs. IFL 2015: 1:1-1:13 - [c96]Pieter W. M. Koopman, Rinus Plasmeijer:
A Shallow Embedded Type Safe Extendable DSL for the Arduino. TFP 2015: 104-123 - 2014
- [c95]Jurriaan van Diggelen, Wilfried Post, Marleen Rakhorst, Rinus Plasmeijer, Wessel van Staal:
Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels. AMT 2014: 442-452 - [c94]Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen:
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. IFL 2014: 4:1-4:12 - [c93]László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
Editlets: type-based, client-side editors for iTasks. IFL 2014: 6:1-6:13 - [c92]Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer:
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. IFL 2014: 7:1-7:13 - [c91]László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
Parametric lenses: change notification for bidirectional lenses. IFL 2014: 9:1-9:11 - [c90]Jurriën Stutterheim, Rinus Plasmeijer, Peter Achten:
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. Trends in Functional Programming 2014: 122-141 - 2013
- [j9]Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer:
EditorArrow: An arrow-based model for editor-based programming. J. Funct. Program. 23(2): 185-224 (2013) - [c89]Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer:
An Introduction to Task Oriented Programming. CEFP 2013: 187-245 - [c88]László Domoszlai, Rinus Plasmeijer:
Tasklets: Client-Side Evaluation for iTask3. CEFP 2013: 428-445 - [c87]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model-Based Shrinking for State-Based Testing. Trends in Functional Programming 2013: 107-124 - [e7]Rinus Plasmeijer:
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013. ACM 2013, ISBN 978-1-4503-2988-0 [contents] - 2012
- [c86]Bas Lijnse, Patrick van Bommel, Rinus Plasmeijer:
CCL: A Lightweight ORM Embedding in Clean. OTM Workshops 2012: 338-347 - [c85]Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman:
Task-oriented programming in a pure functional language. PPDP 2012: 195-206 - [e6]Viktória Zsók, Zoltán Horváth
Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7241, Springer 2012, ISBN 978-3-642-32095-8 [contents] - 2011
- [c84]Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels:
Defining Multi-user Web Applications with iTasks. CEFP 2011: 46-92 - [c83]Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer:
Embedding polymorphic dynamic typing. WGP@ICFP 2011: 25-36 - [c82]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model Based Testing with Logical Properties versus State Machines. IFL 2011: 116-133 - [c81]Bas Lijnse, Jan Martin Jansen, Ruud Nanne, Rinus Plasmeijer:
Capturing the Netherlands Coast Guard's SAR workflow with iTasks. ISCRAM 2011 - [c80]Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels:
Getting a grip on tasks that coordinate tasks. LDTA 2011: 1 - [c79]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen:
iTasks for a change: type-safe run-time change in dynamically evolving workflows. PEPM 2011: 151-160 - [c78]Jeroen Henrix, Rinus Plasmeijer, Peter Achten:
GiN: A Graphical Language and Tool for Defining iTask Workflows. Trends in Functional Programming 2011: 163-178 - [c77]Viktória Zsók
Generic Executable Semantics for D-Clean. WGT@ETAPS 2011: 85-95 - 2010
- [c76]John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer:
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. Haskell 2010: 49-60 - [c75]Thomas van Noort, Peter Achten, Rinus Plasmeijer:
Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP 2010: 73-84 - [c74]Steffen Michels, Rinus Plasmeijer, Peter Achten:
iTask as a New Paradigm for Building GUI Applications. IFL 2010: 153-168 - [c73]Jan Martin Jansen, Bas Lijnse, Rinus Plasmeijer:
Towards dynamic workflow support for crisis management. ISCRAM 2010 - [c72]Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten:
Embedding a web-based workflow management system in a functional language. LDTA 2010: 7 - [c71]Pieter W. M. Koopman, Rinus Plasmeijer:
Testing with Functional Reference Implementations. Trends in Functional Programming 2010: 134-149 - [e5]Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer:
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Lecture Notes in Computer Science 5812, Springer 2010, ISBN 978-3-642-11930-9 [contents] - [e4]Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures. Lecture Notes in Computer Science 6299, Springer 2010, ISBN 978-3-642-17684-5 [contents]
2000 – 2009
- 2009
- [c70]Pieter W. M. Koopman, Rinus Plasmeijer:
Synthesis of Functions Using Generic Programming. AAIP 2009: 25-49 - [c69]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267 - [c68]Bas Lijnse, Rinus Plasmeijer:
iTasks 2: iTasks for End-users. IFL 2009: 36-54 - [c67]Thomas van Noort, Peter Achten, Rinus Plasmeijer:
A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. IFL 2009: 179-197 - [e3]Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra:
Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Lecture Notes in Computer Science 5832, Springer 2009, ISBN 978-3-642-04651-3 [contents] - 2008
- [c66]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort:
An iTask Case Study: A Conference Management System. Advanced Functional Programming 2008: 306-329 - [c65]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Testing and Validating the Quality of Specifications. ICST Workshops 2008: 41-52 - [c64]Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman:
iEditors: Extending iTask with Interactive Plug-ins. IFL 2008: 192-211 - [c63]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Executable and Testable Semantics for iTasks. IFL 2008: 212-232 - [c62]Bas Lijnse, Rinus Plasmeijer:
Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases. IFL 2008: 272-290 - [c61]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315 - [c60]Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten:
Declarative Ajax and client side evaluation of workflows using iTasks. PPDP 2008: 56-66 - [c59]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231 - [c58]Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer:
Efficient and Type-Safe Generic Data Storage. WGT@ETAPS 2008: 59-70 - [e2]Zoltán Horváth
Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures. Lecture Notes in Computer Science 5161, Springer 2008, ISBN 978-3-540-88058-5 [contents] - 2007
- [c57]Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200 - [c56]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40 - [c55]Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86 - [c54]Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
From Interpretation to Compilation. CEFP 2007: 286-301 - [c53]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152 - [c52]Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Simplified. IFL 2007: 201-218 - 2006
- [c51]Pieter W. M. Koopman, Rinus Plasmeijer:
Automatic Testing of Higher Order Functions. APLAS 2006: 148-164 - [c50]Johan Jeuring, Rinus Plasmeijer:
Generic Programming for Software Evolution. EVOL 2006: 97-104 - [c49]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132 - [c48]Rinus Plasmeijer, Peter Achten:
iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258 - [c47]Rinus Plasmeijer, Peter Achten:
A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125 - [c46]Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Redefined. IFL 2006: 181-198 - [c45]Betsy Pepels, Rinus Plasmeijer, Henderik Alex Proper:
Fact-Oriented Modeling from a Programming Language Designer's Perspective. OTM Workshops (2) 2006: 1170-1180 - [c44]Pieter W. M. Koopman, Rinus Plasmeijer:
Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54 - [c43]Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
Efficient interpretation by transforming data types and patterns to functions. Trends in Functional Programming 2006: 73-90 - 2005
- [c42]Rinus Plasmeijer, Peter Achten:
Generic Editors for the World Wide Web. CEFP 2005: 1-34 - [c41]Pieter W. M. Koopman, Rinus Plasmeijer:
Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61 - [c40]Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
There and back again: arrows for invertible programming. Haskell 2005: 86-97 - [c39]Rinus Plasmeijer, Peter Achten:
The Implementation of iData. IFL 2005: 106-123 - [c38]Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer:
Polytypic Syntax Tree Operations. IFL 2005: 142-159 - [c37]Betsy Pepels, Rinus Plasmeijer:
Generating Applications from Object Role Models. OTM Workshops 2005: 656-665 - [c36]Pieter W. M. Koopman, Rinus Plasmeijer:
Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178 - 2004
- [c35]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Advanced Functional Programming 2004: 210-244 - [c34]Rinus Plasmeijer, Arjen van Weelden:
A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272 - [c33]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
Automatic Generation of Editors for Higher-Order Data Structures. APLAS 2004: 262-279 - [c32]Ronny Wichers Schreur, Marinus J. Plasmeijer:
Dynamic Construction of Generic Functions. IFL 2004: 160-176 - [c31]Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55 - [c30]Sander Evers, Peter Achten, Rinus Plasmeijer:
Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128 - 2003
- [c29]Arjen van Weelden, Rinus Plasmeijer:
A Functional Shell That Dynamically Combines Compiled Code. IFL 2003: 36-52 - [c28]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Generic Graphical User Interfaces. IFL 2003: 152-167 - [c27]Pieter W. M. Koopman, Rinus Plasmeijer:
Testing reactive systems with GAST. Trends in Functional Programming 2003: 111-129 - 2002
- [c26]Peter Achten, Artem Alimarine, Marinus J. Plasmeijer:
When Generic Functions Use Dynamic Values. IFL 2002: 17-33 - [c25]Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer:
Gast: Generic Automated Software Testing. IFL 2002: 84-100 - [c24]Martijn Vervoort, Marinus J. Plasmeijer:
Lazy Dynamic Input/Output in the Lazy Functional Language Clean. IFL 2002: 101-117 - [c23]Arjen van Weelden, Marinus J. Plasmeijer:
Towards a Strongly Typed Functional Operating System. IFL 2002: 215-231 - 2001
- [c22]Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Theorem Proving for Functional Programmers. IFL 2001: 55-71 - [c21]Artem Alimarine, Marinus J. Plasmeijer:
A Generic Programming Extension for Clean. IFL 2001: 168-185 - 2000
- [c20]Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Polygonizing Implicit Surfaces in a Purely Functional Way. IFL 2000: 158-175
1990 – 1999
- 1999
- [j8]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Keep it Clean: A Unique Approach to Functional Programming. ACM SIGPLAN Notices 34(6): 23-31 (1999) - [c19]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13 - [c18]Mike Wiering, Peter Achten, Marinus J. Plasmeijer:
Using Clean for Platform Games. IFL 1999: 1-17 - [c17]Peter Achten, Marinus J. Plasmeijer:
The Implementation of Interactive Local State Transition Systems in Clean. IFL 1999: 115-130 - [p1]Rinus Plasmeijer, Marko C. J. D. van Eekelen, Marco Pil, Pascal R. Serrarens:
Parallel and Distributed Programming in Concurrent Clean. Research Directions in Parallel Functional Programming 1999: 323-338 - 1998
- [c16]Pieter W. M. Koopman, Marinus J. Plasmeijer:
Efficient Combinator Parsers. IFL 1998: 120-136 - [c15]Pascal R. Serrarens, Marinus J. Plasmeijer:
Explicit Message Passing for Concurrent Clean. IFL 1998: 229-245 - 1997
- [c14]Peter Achten, Marinus J. Plasmeijer:
Interactive Functional Objects in Clean. Implementation of Functional Languages 1997: 304-321 - 1996
- [c13]Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer:
Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128 - 1995
- [j7]Peter Achten, Marinus J. Plasmeijer:
The Ins and Outs of Clean I/O. J. Funct. Program. 5(1): 81-110 (1995) - [j6]Pieter H. Hartel
Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. J. Funct. Program. 5(3): 279-281 (1995) - [j5]Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Operational Machine Specification in a Functional Programming Language. Softw. Pract. Exp. 25(5): 463-499 (1995) - [c12]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227 - [c11]Marinus J. Plasmeijer:
CLEAN: a programming environment based on term graph rewriting. SEGRAGRA 1995: 215-221 - [e1]Pieter H. Hartel, Marinus J. Plasmeijer:
Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings. Lecture Notes in Computer Science 1022, Springer 1995, ISBN 3-540-60675-0 [contents] - 1994
- [c10]Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze:
Efficient Distributed Memory Implementation of a Data Parallel Functional Language. PARLE 1994: 464-477 - 1993
- [b1]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Functional Programming and Parallel Graph Rewriting. Addison-Wesley 1993, ISBN 0-201-41663-8 - [c9]Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 358-379 - 1992
- [c8]Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer:
High Level Specification of I/O in Functional Languages. Functional Programming 1992: 1-17 - 1991
- [c7]Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer:
Generating Efficient Code for Lazy Functional Languages. FPCA 1991: 592-617 - [c6]E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Concurrent Clean. PARLE (2) 1991: 202-219 - 1990
- [c5]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers:
Parallel Graph Rewriting on Loosely Coupled Machine Architectures. CTRS 1990: 354-369
1980 – 1989
- 1989
- [j4]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep:
LEAN: an intermediate language based on graph rewriting. Parallel Comput. 9(2): 163-177 (1989) - 1987
- [j3]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, Pieter H. Hartel
The Dutch parallel reduction machine project. Future Gener. Comput. Syst. 3(4): 261-270 (1987) - [c4]T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer:
CLEAN: A language for functional graph writing. FPCA 1987: 364-384 - [c3]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep:
Term Graph Rewriting. PARLE (2) 1987: 141-158 - [c2]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep:
Towards an Intermediate Language based on Graph Rewriting. PARLE (2) 1987: 159-175 - 1986
- [c1]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Specification of reduction strategies in term rewriting systems. Graph Reduction 1986: 215-239 - 1983
- [j2]Jan van den Bos, Marinus J. Plasmeijer, Pieter H. Hartel
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. IEEE Trans. Software Eng. 9(3): 247-259 (1983) - 1981
- [j1]Jan van den Bos, Marinus J. Plasmeijer, Jan Stroet:
Process Communication Based on Input Specifications. ACM Trans. Program. Lang. Syst. 3(3): 224-250 (1981)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-26 18:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: