Peter van Eijk

Publication Activity (10 Years)

Years Active: 1986-2012
Publications (10 Years): 0

Top Topics

Information Overload

Computing Platform

Top Venues

Int. CMG Conference

Publications

Peter van Eijk
Webhosting in the Cloud. Cheaper and Smarter. Int. CMG Conference (2012)
Peter van Eijk
Poster: How to use cloud computing and social media to run a CMG chapter and other communities. Int. CMG Conference (2011)
Peter van Eijk
The true cost of website downtime; how to develop a convincing case? Int. CMG Conference (2011)
Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas
. TACAS (1997)
Peter van Eijk
Tool Demonstration: The Lotosphere Integrated Tool Environment Lite. FORTE (1991)
Peter van Eijk, J. Schot
An Exercise in Protocol Synthesis. FORTE (1991)
Peter van Eijk, Henk Eertink
Design of the LOTOSPHERE Symbolic LOTOS Simulator. FORTE (1990)
Peter van Eijk
Attribute Grammar Applications in Prototyping LOTOS Tools. WAGA (1990)
Peter van Eijk, Harro Kremer, Marten van Sinderen
On the use of specification styles for automated protocol implementation from LOTOS to C. PSTV (1990)
Peter van Eijk
LOTOS Tools Based on the Cornell Synthesizer Generator. PSTV (1989)
Peter van Eijk
Tools for LOTOS Specification Style Transformation. FORTE (1989)
Peter van Eijk
A useful application of formal procedure parameters. ACM SIGPLAN Notices 21 (9) (1986)