Peter van Eijk

12 papers A 1C 4Journal 1Unranked 6

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