| * | 2009 |
|---|
| 56 | EE | Ralph-Johan Back,
Ion Petre,
Erik P. de Vink:
Proceedings Second International Workshop on Computational Models for Cell Processes
CoRR abs/0910.1605: (2009) |
| 55 | EE | Jasen Markovski,
Ana Sokolova,
Nikola Trcka,
Erik P. de Vink:
Compositionality for Markov reward chains with fast and silent transitions.
Perform. Eval. 66(8): 435-452 (2009) |
| 54 | EE | Dragan Bosnacki,
Tessa E. Pronk,
Erik P. de Vink:
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition.
T. Comp. Sys. Biology 11: 69-89 (2009) |
| 2008 |
|---|
| 53 | EE | Jasen Markovski,
Erik P. de Vink:
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems.
ACSD 2008: 180-189 |
| 52 | EE | Jasen Markovski,
Erik P. de Vink:
Extending Timed Process Algebra with Discrete Stochastic Time.
AMAST 2008: 268-283 |
| 51 | EE | Dragan Bosnacki,
Huub M. M. ten Eikelder,
M. N. Steijaert,
Erik P. de Vink:
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.
CMSB 2008: 367-386 |
| 50 | EE | J. Pan,
J. I. den Hartog,
Erik P. de Vink:
An Operation-Based Metric for CPA Resistance.
SEC 2008: 429-443 |
| 49 | EE | Luuk Groenewegen,
Erik P. de Vink:
Dynamic System Adaptation by Constraint Orchestration
CoRR abs/0811.3492: (2008) |
| 2007 |
|---|
| 48 | EE | Jasen Markovski,
Erik P. de Vink:
Real-Time Process Algebra with Stochastic Delays.
ACSD 2007: 177-186 |
| 47 | EE | Jasen Markovski,
Ana Sokolova,
Nikola Trcka,
Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions.
EPEW 2007: 18-32 |
| 46 | EE | Sjouke Mauw,
Jan Verschuren,
Erik P. de Vink:
Data Anonymity in the FOO Voting Scheme.
Electr. Notes Theor. Comput. Sci. 168: 5-28 (2007) |
| 2006 |
|---|
| 45 | EE | Luuk Groenewegen,
Erik P. de Vink:
Evolution On-the-Fly with Paradigm.
COORDINATION 2006: 97-112 |
| 44 | EE | Jasen Markovski,
Erik P. de Vink:
Embedding Real Time in Stochastic Process Algebras.
EPEW 2006: 47-62 |
| 43 | EE | Hugo L. Jonker,
Erik P. de Vink:
Formalising Receipt-Freeness.
ISC 2006: 476-488 |
| 42 | EE | A. W. Stam,
Luuk Groenewegen,
Erik P. de Vink:
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study.
Electr. Notes Theor. Comput. Sci. 150(1): 127-142 (2006) |
| 41 | EE | Luuk Groenewegen,
A. W. Stam,
Pieter J. Toussaint,
Erik P. de Vink:
Paradigm as Organization-Oriented Coordination Language.
Electr. Notes Theor. Comput. Sci. 150(3): 93-113 (2006) |
| 40 | EE | Simona Orzan,
Erik P. de Vink:
Multiparty Contract Signing Over a Reliable Network.
Electr. Notes Theor. Comput. Sci. 157(3): 27-41 (2006) |
| 39 | EE | Wiebe van der Hoek,
Alessio Lomuscio,
Erik P. de Vink,
Michael Wooldridge:
Preface.
Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006) |
| 38 | EE | Cas J. F. Cremers,
Sjouke Mauw,
Erik P. de Vink:
Injective synchronisation: An extension of the authentication hierarchy.
Theor. Comput. Sci. 367(1-2): 139-161 (2006) |
| 2005 |
|---|
| 37 | EE | Luuk Groenewegen,
Niels van Kampenhout,
Erik P. de Vink:
Delegation Modeling with Paradigm.
COORDINATION 2005: 94-108 |
| 36 | EE | Ana Sokolova,
Erik P. de Vink,
Harald Woracek:
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 122: 211-228 (2005) |
| 35 | EE | Wiebe van der Hoek,
Alessio Lomuscio,
Erik P. de Vink,
Michael Wooldridge:
Preface.
Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005) |
| 34 | EE | Arjen Hommersom,
John-Jules Ch. Meyer,
Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach.
Electr. Notes Theor. Comput. Sci. 126: 53-75 (2005) |
| 33 | EE | Cas J. F. Cremers,
Sjouke Mauw,
Erik P. de Vink:
A Syntactic Criterion for Injectivity of Authentication Protocols.
Electr. Notes Theor. Comput. Sci. 135(1): 23-38 (2005) |
| 2004 |
|---|
| 32 | EE | Sjouke Mauw,
Jan Verschuren,
Erik P. de Vink:
A Formalization of Anonymity and Onion Routing.
ESORICS 2004: 109-124 |
| 31 | EE | Jerry den Hartog,
Erik P. de Vink:
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.
Formal Aspects in Security and Trust 2004: 85-98 |
| 30 | EE | Ana Sokolova,
Erik P. de Vink:
Probabilistic Automata: System Types, Parallel Composition and Comparison.
Validation of Stochastic Systems 2004: 1-43 |
| 29 | EE | Jos C. M. Baeten,
Erik P. de Vink:
Axiomatizing GSOS with termination.
J. Log. Algebr. Program. 60-61: 323-351 (2004) |
| 28 | EE | Falk Bartels,
Ana Sokolova,
Erik P. de Vink:
A hierarchy of probabilistic system types.
Theor. Comput. Sci. 327(1-2): 3-22 (2004) |
| 2003 |
|---|
| 27 | | Jerry den Hartog,
Jan Verschuren,
Erik P. de Vink,
Jaap de Vos,
W. Wiersma:
PINPAS: A Tool for Power Analysis of Smartcards.
SEC 2003: 453-457 |
| 26 | EE | Dmitri Chkliaev,
Jozef Hooman,
Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol.
TACAS 2003: 113-127 |
| 25 | EE | Falk Bartels,
Ana Sokolova,
Erik P. de Vink:
A hierarchy of probabilistic system types.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 2002 |
|---|
| 24 | EE | Luuk Groenewegen,
Erik P. de Vink:
Operational Semantics for Coordination in Paradigm.
COORDINATION 2002: 191-206 |
| 23 | EE | Jos C. M. Baeten,
Erik P. de Vink:
Axiomatizing GSOS with Termination.
STACS 2002: 583-595 |
| 22 | EE | Jerry den Hartog,
Erik P. de Vink:
Verifying Probabilistic Programs Using a Hoare Like Logic.
Int. J. Found. Comput. Sci. 13(3): 315-340 (2002) |
| 2001 |
|---|
| 21 | EE | Nesria Agray,
Wiebe van der Hoek,
Erik P. de Vink:
On BAN Logics for Industrial Security Protocols.
CEEMAS 2001: 29-36 |
| 2000 |
|---|
| 20 | EE | Jerry den Hartog,
Erik P. de Vink,
J. W. de Bakker:
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 1999 |
|---|
| 19 | EE | Jerry den Hartog,
Erik P. de Vink:
Mixing Up Nondeterminism and Probability: a preliminary report.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 18 | | Jerry den Hartog,
Erik P. de Vink,
J. W. de Bakker:
Full Abstractness of a Metric Semantics for Action Refinement.
Fundam. Inform. 40(4): 335-382 (1999) |
| 17 | EE | Erik P. de Vink,
Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.
Theor. Comput. Sci. 221(1-2): 271-293 (1999) |
| 1997 |
|---|
| 16 | EE | Erik P. de Vink,
Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.
ICALP 1997: 460-470 |
| 15 | | Eneia Todoran,
Jerry den Hartog,
Erik P. de Vink:
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming.
ILPS 1997: 101-115 |
| 1995 |
|---|
| 14 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Erik P. de Vink:
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.
CONCUR 1995: 363-377 |
| 1994 |
|---|
| 13 | EE | Vincent van Oostrom,
Erik P. de Vink:
Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.
STACS 1994: 569-580 |
| 12 | | J. W. de Bakker,
Erik P. de Vink:
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.
Fundam. Inform. 20(1/2/3): 3-34 (1994) |
| 1993 |
|---|
| 11 | | J. W. de Bakker,
Erik P. de Vink:
Rendez-Vous with Metric Semantics.
New Generation Comput. 12(1): 53-90 (1993) |
| 1992 |
|---|
| 10 | EE | Anton Eliëns,
Erik P. de Vink:
Asynchronous Rendez-vous in Distributed Logic Programming.
REX Workshop 1992: 174-203 |
| 1991 |
|---|
| 9 | EE | J. W. de Bakker,
Erik P. de Vink:
Rendezvous with Metric Semantics.
PARLE (2) 1991: 27-57 |
| 8 | EE | J. W. de Bakker,
Erik P. de Vink:
CCS for OO and LP.
TAPSOFT, Vol.2 1991: 1-28 |
| 1990 |
|---|
| 7 | EE | Arie de Bruin,
Erik P. de Vink:
Retractions in Comparing Prolog Semantics (Extended Abstract).
MFCS 1990: 180-186 |
| 1989 |
|---|
| 6 | EE | John-Jules Ch. Meyer,
Erik P. de Vink:
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).
MFCS 1989: 360-369 |
| 5 | EE | Arie de Bruin,
Erik P. de Vink:
Continuation Semantics for PROLOG with Cut.
TAPSOFT, Vol.1 1989: 178-192 |
| 4 | | John-Jules Ch. Meyer,
Erik P. de Vink:
Step Semantics for "True" Concurrency with Recursion.
Distributed Computing 3(3): 130-145 (1989) |
| 3 | | Erik P. de Vink:
Comparative Semantics for PROLOG with Cut.
Sci. Comput. Program. 13(1): 237-264 (1989) |
| 1988 |
|---|
| 2 | | John-Jules Ch. Meyer,
Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams.
Theor. Comput. Sci. 57: 251-282 (1988) |
| 1987 |
|---|
| 1 | EE | John-Jules Ch. Meyer,
Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract).
TAPSOFT, Vol.1 1987: 241-255 |
