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 | 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 | 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 | 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 | Anton Eliëns, Erik P. de Vink: Asynchronous Rendez-vous in Distributed Logic Programming. REX Workshop 1992: 174-203 | |
1991 | ||
9 | J. W. de Bakker, Erik P. de Vink: Rendezvous with Metric Semantics. PARLE (2) 1991: 27-57 | |
8 | J. W. de Bakker, Erik P. de Vink: CCS for OO and LP. TAPSOFT, Vol.2 1991: 1-28 | |
1990 | ||
7 | Arie de Bruin, Erik P. de Vink: Retractions in Comparing Prolog Semantics (Extended Abstract). MFCS 1990: 180-186 | |
1989 | ||
6 | John-Jules Ch. Meyer, Erik P. de Vink: Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369 | |
5 | 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 | 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 |