Get started
Author

Peter van Eijk

Observed name: van Eijk, Peter
OpenAlex ID: A5013474976
Tool Demonstration: The Lotosphere Integrated Tool Environment Lite
1992 · Peter van Eijk · Elsevier eBooks · 20
Tools for LOTOS Specification Style Transformation
1989 · Peter van Eijk · 17
Design of the LOTOSPHERE Symbolic LOTOS Simulator
1990 · Peter van Eijk, Henk Eertink · 14
The term processor Kimwitu, manual and cookbook
2000 · Peter van Eijk, Axel Belinfante · University of Twente Research Information · 13
PDF
On the use of specification styles for automated protocol implementation from LOTOS to C
1990 · Peter van Eijk, H.H.C. Kremer, et al. · 13
An Exercise in Protocol Synthesis
1992 · Peter van Eijk, Jeroen Schot · Elsevier eBooks · 8
LOTOS Tools Based on the Cornell Synthesizer Generator
1989 · Peter van Eijk · 7
The term processor generator Kimwitu
1997 · Peter van Eijk, Axel Belinfante, et al. · Lecture notes in computer science · 4
PDF
A useful application of formal procedure parameters
1986 · Peter van Eijk · ACM SIGPLAN Notices · 3
Webhosting in the Cloud. Cheaper and Smarter.
2012 · Peter van Eijk · Int. CMG Conference
The true cost of website downtime; how to develop a convincing case?
2011 · Peter van Eijk · Int. CMG Conference
Poster: How to use cloud computing and social media to run a CMG chapter and other communities.
2011 · Peter van Eijk · Int. CMG Conference
The Term Processor Generator Kimwitu (Full version)
1996 · van Eijk, Peter, Belinfante, Axel, et al. · University of Twente Research Information
The term processor Kimwitu : a system for generating language-based software
1990 · Peter van Eijk, Axel Belinfante, et al.
Attribute grammar applications in prototyping LOTOS tools
1990 · Peter van Eijk
Works count: 15
Citation count: 99
H-index: 7
I10-index: 5
Year
Topic
Type