Wil Janssen
According to our database1,
Wil Janssen
authored at least 28 papers
between 1991 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
2011
Leveraging Architecture - Service Engineering as the Next Challenge.
Proceedings of the CLOSER 2011, 2011
2008
2007
Proceedings of the Fifteenth European Conference on Information Systems, 2007
2006
Proceedings of the 19th Bled eConference: eValues, 2006
2005
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005
Proceedings of the 18th Bled eConference: eIntegration in Action, 2005
2004
Confronting the design and acceptance of electronic intermediaries: a case study in the maritime sector.
Proceedings of the 6th International Conference on Electronic Commerce, 2004
2003
Security Characteristics of E-Collaboration Environments.
Proceedings of the Security and Privacy in the Age of Uncertainty, 2003
Business Process Engineering versus E-Business Engineering - A summary of case experiences.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003
2001
Proceedings of the Web Engineering, Software Engineering and Web Application Development, 2001
2000
Int. J. Serv. Technol. Manag., 2000
1999
Distributed Comput., 1999
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999
1996
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
1995
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
1994
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Layered design of parallel systems.
CIP-Gegevens Koninklijke Bibliotheek, ISBN: 978-90-9007399-6, 1994
1993
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993
Specifiying and Proving Communication Closedness in Protocols.
Proceedings of the Protocol Specification, 1993
1992
From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract).
Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992
The Primordial Soup Algorithm: A Systematic Approach to the Specification of Parallel Parsers.
Proceedings of the 14th International Conference on Computational Linguistics, 1992
1991
Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach.
Proceedings of the CONCUR '91, 1991