dblp.uni-trier.dewww.uni-trier.de

Erik P. de Vink

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
53EEJasen Markovski, Erik P. de Vink: Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189
52EEJasen Markovski, Erik P. de Vink: Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283
51EEDragan 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
50EEJ. Pan, J. I. den Hartog, Erik P. de Vink: An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443
49EELuuk Groenewegen, Erik P. de Vink: Dynamic System Adaptation by Constraint Orchestration CoRR abs/0811.3492: (2008)
2007
48EEJasen Markovski, Erik P. de Vink: Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186
47EEJasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32
46EESjouke Mauw, Jan Verschuren, Erik P. de Vink: Data Anonymity in the FOO Voting Scheme. Electr. Notes Theor. Comput. Sci. 168: 5-28 (2007)
2006
45EELuuk Groenewegen, Erik P. de Vink: Evolution On-the-Fly with Paradigm. COORDINATION 2006: 97-112
44EEJasen Markovski, Erik P. de Vink: Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62
43EEHugo L. Jonker, Erik P. de Vink: Formalising Receipt-Freeness. ISC 2006: 476-488
42EEA. 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)
41EELuuk 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)
40EESimona Orzan, Erik P. de Vink: Multiparty Contract Signing Over a Reliable Network. Electr. Notes Theor. Comput. Sci. 157(3): 27-41 (2006)
39EEWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006)
38EECas 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
37EELuuk Groenewegen, Niels van Kampenhout, Erik P. de Vink: Delegation Modeling with Paradigm. COORDINATION 2005: 94-108
36EEAna Sokolova, Erik P. de Vink, Harald Woracek: Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 122: 211-228 (2005)
35EEWiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005)
34EEArjen 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)
33EECas 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
32EESjouke Mauw, Jan Verschuren, Erik P. de Vink: A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124
31EEJerry 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
30EEAna Sokolova, Erik P. de Vink: Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43
29EEJos C. M. Baeten, Erik P. de Vink: Axiomatizing GSOS with termination. J. Log. Algebr. Program. 60-61: 323-351 (2004)
28EEFalk 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
26EEDmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127
25EEFalk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
2002
24EELuuk Groenewegen, Erik P. de Vink: Operational Semantics for Coordination in Paradigm. COORDINATION 2002: 191-206
23EEJos C. M. Baeten, Erik P. de Vink: Axiomatizing GSOS with Termination. STACS 2002: 583-595
22EEJerry 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
21EENesria Agray, Wiebe van der Hoek, Erik P. de Vink: On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36
2000
20EEJerry 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
19EEJerry 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)
17EEErik 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)