Erik P. de Vink

	2009
59		Ralph-Johan Back, Ion Petre, Erik P. de Vink: Proceedings Second International Workshop on Computational Models for Cell Processes CoRR abs/0910.1605: (2009)
58		Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink: Formalizing Adaptation On-the-Fly. Electr. Notes Theor. Comput. Sci. 255: 23-44 (2009)
57		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)
56		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
55		Jasen Markovski, Erik P. de Vink: Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189
54		Jasen Markovski, Erik P. de Vink: Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283
53		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
52		J. Pan, J. I. den Hartog, Erik P. de Vink: An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443
51		Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink: Architecting Security with Paradigm. WADS 2008: 255-283
50		Christian Koehler, Farhad Arbab, Erik P. de Vink: Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235
49		Luuk Groenewegen, Erik P. de Vink: Dynamic System Adaptation by Constraint Orchestration CoRR abs/0811.3492: (2008)
	2007
48		Jasen Markovski, Erik P. de Vink: Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186
47		Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32
46		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		Luuk Groenewegen, Erik P. de Vink: Evolution On-the-Fly with Paradigm. COORDINATION 2006: 97-112
44		Jasen Markovski, Erik P. de Vink: Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62
43		Hugo L. Jonker, Erik P. de Vink: Formalising Receipt-Freeness. ISC 2006: 476-488
42		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		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		Simona Orzan, Erik P. de Vink: Multiparty Contract Signing Over a Reliable Network. Electr. Notes Theor. Comput. Sci. 157(3): 27-41 (2006)
39		Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006)
38		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		Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink: Delegation Modeling with Paradigm. COORDINATION 2005: 94-108
36		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		Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005)
34		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		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		Sjouke Mauw, Jan Verschuren, Erik P. de Vink: A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124
31		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		Ana Sokolova, Erik P. de Vink: Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43
29		Jos C. M. Baeten, Erik P. de Vink: Axiomatizing GSOS with termination. J. Log. Algebr. Program. 60-61: 323-351 (2004)
28		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		Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127
25		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
	2002
24		Luuk Groenewegen, Erik P. de Vink: Operational Semantics for Coordination in Paradigm. COORDINATION 2002: 191-206
23		Jos C. M. Baeten, Erik P. de Vink: Axiomatizing GSOS with Termination. STACS 2002: 583-595
22		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		Nesria Agray, Wiebe van der Hoek, Erik P. de Vink: On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36
	2000
20		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		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		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

Coauthor Index

1	Nesria Agray	[21]
2	Suzana Andova	[51] [58]
3	Farhad Arbab	[50]
4	Ralph-Johan Back	[59]
5	Jos C. M. Baeten	[23] [29]
6	J. W. de Bakker (Jaco de Bakker)	[8] [9] [11] [12] [18] [20]
7	Falk Bartels	[25] [28]
8	Marcello M. Bonsangue	[14]
9	Dragan Bosnacki	[53] [56]
10	Arie de Bruin	[5] [7]
11	Dmitri Chkliaev	[26]
12	Cas J. F. Cremers	[33] [38]
13	Huub M. M. ten Eikelder	[53]
14	Anton Eliëns	[10]
15	Luuk Groenewegen	[24] [37] [41] [42] [45] [49] [51] [58]
16	Jerry den Hartog (J. I. den Hartog)	[15] [18] [19] [20] [22] [27] [31] [52]
17	Wiebe van der Hoek	[21] [35] [39]
18	Arjen Hommersom	[34]
19	Jozef Hooman	[26]
20	Hugo L. Jonker	[43]
21	Niels van Kampenhout	[37]
22	Christian Koehler	[50]
23	Joost N. Kok	[14]
24	Alessio Lomuscio	[35] [39]
25	Jasen Markovski	[44] [47] [48] [54] [55] [57]
26	Sjouke Mauw	[32] [33] [38] [46]
27	John-Jules Ch. Meyer	[1] [2] [4] [6] [34]
28	Vincent van Oostrom	[13]
29	Simona Orzan	[40]
30	J. Pan	[52]
31	Ion Petre	[59]
32	Tessa E. Pronk	[56]
33	Jan J. M. M. Rutten	[16] [17]
34	Ana Sokolova	[25] [28] [30] [36] [47] [57]
35	J. Stafleu	[58]
36	A. W. Stam	[41] [42]
37	M. N. Steijaert	[53]
38	Eneia Todoran	[15]
39	Pieter J. Toussaint	[41]
40	Nikola Trcka	[47] [57]
41	Jan Verschuren	[27] [32] [46]
42	Jan H. S. Verschuren	[51]
43	Jaap de Vos	[27]
44	W. Wiersma	[27]
45	Michael Wooldridge (Michael J. Wooldridge)	[35] [39]
46	Harald Woracek	[36]

Colors in the list of coauthors