2008 |
22 | EE | Erwin Fielt,
Wil Janssen,
Edward Faber,
René W. Wagenaar:
Design Trade-offs for Electronic Intermediaries.
Electronic Markets 18(4): 362-374 (2008) |
2005 |
21 | EE | Henny de Vos,
René van Buuren,
Wil Janssen,
Andrew Tokmakoff:
Designing a Material Analysis Collaboratory for the Process Industry.
ICEBE 2005: 25-33 |
2004 |
20 | EE | Erwin Fielt,
Wil Janssen,
Edward Faber,
René W. Wagenaar:
Confronting the design and acceptance of electronic intermediaries: a case study in the maritime sector.
ICEC 2004: 392-401 |
2003 |
19 | EE | Henk Jonkers,
René van Buuren,
Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue,
Hans Bosma,
Hugo W. L. ter Doest,
Luuk Groenewegen,
Juan Guillen Scholten,
Stijn Hoppenbrouwers,
Maria-Eugenia Iacob,
Wil Janssen,
Marc M. Lankhorst,
Diederik van Leeuwen,
Erik Proper,
Andries Stam,
Leendert W. N. van der Torre,
Gert Veldhuijzen van Zanten:
Towards a Language for Coherent Enterprise Architecture Descriptions.
EDOC 2003: 28-39 |
18 | EE | Wil Janssen,
Maarten Steen,
Henry M. Franken:
Business Process Engineering versus E-Business Engineering - A summary of case experiences.
HICSS 2003: 185 |
17 | | Bob Hulsebosch,
Ernst-Jan Goedvolk,
Wil Janssen:
Security Characteristics of E-Collaboration Environments.
SEC 2003: 471-475 |
2001 |
16 | EE | Wil Janssen,
Maarten Steen:
Rapid Service Development: An Integral Approach to e-Business Engineering.
Web Engineering 2001: 119-132 |
2000 |
15 | EE | Henry M. Franken,
René Bal,
Harmen van den Berg,
Wil Janssen,
Henny de Vos:
Architectural design support for business process and business network engineering.
IJSTM 1(1): 1-14 (2000) |
1999 |
14 | EE | Wil Janssen,
Radu Mateescu,
Sjouke Mauw,
Peter Fennema,
Petra van der Stappen:
Model Checking for Managers.
SPIN 1999: 92-107 |
13 | EE | Henk Eertink,
Wil Janssen,
Paul Oude Luttighuis,
Wouter B. Teeuw,
Chris A. Vissers:
A Business Process Design Language.
World Congress on Formal Methods 1999: 76-95 |
12 | EE | Wil Janssen,
Mannes Poel,
Job Zwiers:
The Compositional Approach to Sequential Consistency and Lazy Caching.
Distributed Computing 12(2-3): 105-127 (1999) |
1996 |
11 | | Clemens Fischer,
Wil Janssen:
Synchronous Development of Asynchonous Systems.
CONCUR 1996: 735-750 |
10 | | Jürgen Bohn,
Wil Janssen:
A Strategic Approach to Transformational Design.
FME 1996: 609-628 |
9 | | Wil Janssen:
Refining Knowledge Oriented Actions to Layered Implementations.
PODC 1996: 91-100 |
1995 |
8 | | Wil Janssen:
Layers as Knowledge Transitions in the Design of Distributed Systems.
TACAS 1995: 238-263 |
1994 |
7 | | Wil Janssen,
Mannes Poel,
Qiwen Xu,
Job Zwiers:
Layering of Real-Time Distributed Processes.
FTRTFT 1994: 393-417 |
1993 |
6 | | Wil Janssen,
Job Zwiers:
Specifiying and Proving Communication Closedness in Protocols.
PSTV 1993: 323-339 |
5 | | Job Zwiers,
Wil Janssen:
Partial Order Based Design of Concurrent Systems.
REX School/Symposium 1993: 622-684 |
1992 |
4 | EE | Wil Janssen,
Mannes Poel,
Klaas Sikkel,
Job Zwiers:
The Primordial Soup Algorithm: A Systematic Approach to the Specification of Parallel Parsers.
COLING 1992: 373-379 |
3 | | Wil Janssen,
Job Zwiers:
Protocol Design by Layered Decomposition: A Compositional Approach.
FTRTFT 1992: 307-326 |
2 | | Wil Janssen,
Job Zwiers:
From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract).
PODC 1992: 215-227 |
1991 |
1 | | Wil Janssen,
Mannes Poel,
Job Zwiers:
Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach.
CONCUR 1991: 298-316 |