dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Peter Achten Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels: Getting a grip on tasks that coordinate tasks. LDTA 2011: 1
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten: The Soccer-Fun project. J. Funct. Program. 21(1): 1-19 (2011)
2010
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas van Noort, Peter Achten, Rinus Plasmeijer: Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP 2010: 73-84
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Michels, Rinus Plasmeijer, Peter Achten: iTask as a New Paradigm for Building GUI Applications. IFL 2010: 153-168
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten: Embedding a web-based workflow management system in a functional language. LDTA 2010: 7
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán: Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. Higher-Order and Symbolic Computation 23(4): 465-487 (2010)
2009
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267
2008
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Executable and Testable Semantics for iTasks. IFL 2008: 212-232
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten: Declarative Ajax and client side evaluation of workflows using iTasks. PPDP 2008: 56-66
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231
2007
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152
2006
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus Plasmeijer, Peter Achten: iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus Plasmeijer, Peter Achten: A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125
2005
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus Plasmeijer, Peter Achten: Generic Editors for the World Wide Web. CEFP 2005: 1-34
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinus Plasmeijer, Peter Achten: The Implementation of iData. IFL 2005: 106-123
2004
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten: The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. IFL 2004: 17-34
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSander Evers, Peter Achten, Jan Kuper: A Functional Programming Technique for Forms in Graphical User Interfaces. IFL 2004: 35-51
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSander Evers, Peter Achten, Rinus Plasmeijer: Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128
2003
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167
2002
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, Artem Alimarine, Marinus J. Plasmeijer: When Generic Functions Use Dynamic Values. IFL 2002: 17-33
2000
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, Simon L. Peyton Jones: Porting the Clean Object I/O Library to Haskell. IFL 2000: 194-213
1999
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Wiering, Peter Achten, Marinus J. Plasmeijer: Using Clean for Platform Games. IFL 1999: 1-17
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, Marinus J. Plasmeijer: The Implementation of Interactive Local State Transition Systems in Clean. IFL 1999: 115-130
1997
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, Marinus J. Plasmeijer: Interactive Functional Objects in Clean. Implementation of Functional Languages 1997: 304-321
1995
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten: A Functional Framework for Deterministically Interleaved Interactive Programs PLILP 1995: 451-452
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, Marinus J. Plasmeijer: The Ins and Outs of Clean I/O. J. Funct. Program. 5(1): 81-110 (1995)
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Achten, John H. G. van Groningen, Marinus J. Plasmeijer: High Level Specification of I/O in Functional Languages. Functional Programming 1992: 1-17

Coauthor Index

1Artem Alimarine [8]
2Marko C. J. D. van Eekelen [9] [11] [14] [15] [29]
3Sander Evers [10] [12]
4John H. G. van Groningen [1] [33] [35]
5Jan Martin Jansen [24] [30]
6Simon L. Peyton Jones [7]
7Pieter W. M. Koopman [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [33] [35]
8Jan Kuper [12]
9Bas Lijnse [27] [35] [36]
10Steffen Michels [31] [36]
11Marco T. Morazán [29]
12Thomas van Noort [27] [32] [33] [35]
13Marinus J. Plasmeijer (Rinus Plasmeijer) [1] [2] [4] [5] [6] [8] [9] [10] [11] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [33] [35] [36]
14Arjen van Weelden [14] [15]
15Mike Wiering [6]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page