Erik P. de Vink

Paola Giannini, Erik P. de Vink: Preface. Electr. Notes Theor. Comput. Sci. 293: 1-2 (2013)

Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse: An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS 2013: 199-213

Natallia Kokash, Christian Krause, Erik P. de Vink: Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Asp. Comput. 24(2): 187-216 (2012)

Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink: Reconciling real and stochastic time: the need for probabilistic refinement. Formal Asp. Comput. 24(4-6): 497-518 (2012)

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515

Diego Latella, Mieke Massink, Erik P. de Vink: Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ACCAT 2012: 23-43

Erik P. de Vink, Hans Zantema, Dragan Bosnacki: Combining Insertion and Deletion in RNA-editing Preserves Regularity. MeCBIC 2012: 48-62

Corrado Priami, Ion Petre, Erik P. de Vink (Eds.): Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes. Lecture Notes in Computer Science 7625, Springer 2012, isbn 978-3-642-35523-3

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76(8): 711-735 (2011)

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards reduction of Paradigm coordination models. PACO 2011: 1-18

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79

Ion Petre, Erik P. de Vink (Eds.): Proceedings Third International Workshop on Computational Models for Cell Processes. EPTCS 67, 2011

Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, isbn 978-3-642-19747-5

Christian Krause, Carola Krause, Erik P. de Vink: Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB 2010: 66-75

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Distributed Adaption of Dining Philosophers. FACS 2010: 125-144

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) 2010: 143-159

Natallia Kokash, Christian Krause, Erik P. de Vink: Data-aware design and verification of service compositions with Reo and mCRL2. SAC 2010: 2406-2413

Natallia Kokash, Christian Krause, Erik P. de Vink: Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM 2010: 125-134

Ana Sokolova, Erik P. de Vink, Harald Woracek: Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comp. Sci. 19: 93-144 (2009)

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Dynamic Consistency in Process Algebra: From Paradigm to ACP. Electr. Notes Theor. Comput. Sci. 229(2): 3-20 (2009)

Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink: Formalizing Adaptation On-the-Fly. Electr. Notes Theor. Comput. Sci. 255: 23-44 (2009)

Jasen Markovski, Erik P. de Vink: Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Inform. 95(1): 157-186 (2009)

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)

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)

Natallia Kokash, Christian Krause, Erik P. de Vink: Verification of Context-Dependent Channel-Based Service Models. FMCO 2009: 21-40

Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Proceedings Second International Workshop on Computational Models for Cell Processes. EPTCS 6, 2009

Jasen Markovski, Erik P. de Vink: Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189

Jasen Markovski, Erik P. de Vink: Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283

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

Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink: Architecting Security with Paradigm. WADS 2008: 255-283

Jing Pan, J. I. den Hartog, Erik P. de Vink: An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443

Christian Koehler, Farhad Arbab, Erik P. de Vink: Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235

Luuk Groenewegen, Erik P. de Vink: Dynamic System Adaptation by Constraint Orchestration. CoRR abs/0811.3492 (2008)

Sjouke Mauw, Jan Verschuren, Erik P. de Vink: Data Anonymity in the FOO Voting Scheme. Electr. Notes Theor. Comput. Sci. 168: 5-28 (2007)

Jasen Markovski, Erik P. de Vink: Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32

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)

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)

Simona Orzan, Erik P. de Vink: Multiparty Contract Signing Over a Reliable Network. Electr. Notes Theor. Comput. Sci. 157(3): 27-41 (2006)

Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006)

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)

Luuk Groenewegen, Erik P. de Vink: Evolution On-the-Fly with Paradigm. COORDINATION 2006: 97-112

Jasen Markovski, Erik P. de Vink: Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62

Hugo L. Jonker, Erik P. de Vink: Formalising Receipt-Freeness. ISC 2006: 476-488

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)

Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface. Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005)

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)

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)

Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink: Delegation Modeling with Paradigm. COORDINATION 2005: 94-108

Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface: Volume 85, Issue 2. Electr. Notes Theor. Comput. Sci. 85(2): 81 (2004)

Jos C. M. Baeten, Erik P. de Vink: Axiomatizing GSOS with termination. J. Log. Algebr. Program. 60-61: 323-351 (2004)

Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004)

Sjouke Mauw, Jan Verschuren, Erik P. de Vink: A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124

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

Ana Sokolova, Erik P. de Vink: Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43

Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): 57-75 (2003)

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

Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink: Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127

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)

Luuk Groenewegen, Erik P. de Vink: Operational Semantics for Coordination in Paradigm. COORDINATION 2002: 191-206

Jos C. M. Baeten, Erik P. de Vink: Axiomatizing GSOS with Termination. STACS 2002: 583-595

Nesria Agray, Wiebe van der Hoek, Erik P. de Vink: On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36

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: 72-99 (2000)

Jerry den Hartog, Erik P. de Vink: Mixing Up Nondeterminism and Probability: a preliminary report. Electr. Notes Theor. Comput. Sci. 22: 88-110 (1999)

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)

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)

Erik P. de Vink, Jan J. M. M. Rutten: Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. ICALP 1997: 460-470

Eneia Todoran, Jerry den Hartog, Erik P. de Vink: Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS 1997: 101-115

Jacobus W. de Bakker, Erik P. de Vink: Control flow semantics. MIT Press 1996, isbn 978-0-262-04154-6, pp. I-XVII, 1-564

Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink: Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR 1995: 363-377

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)

Vincent van Oostrom, Erik P. de Vink: Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. STACS 1994: 569-580

J. W. de Bakker, Erik P. de Vink: Rendez-Vous with Metric Semantics. New Generation Comput. 12(1): 53-90 (1993)

Anton Eliëns, Erik P. de Vink: Asynchronous Rendez-vous in Distributed Logic Programming. REX Workshop 1992: 174-203

J. W. de Bakker, Erik P. de Vink: Rendezvous with Metric Semantics. PARLE (2) 1991: 27-57

J. W. de Bakker, Erik P. de Vink: CCS for OO and LP. TAPSOFT, Vol.2 1991: 1-28

Erik P. de Vink: Designing stream based semantics for uniform concurrency and logic programming. Univ. Amsterdam 1990, pp. 1-167

Arie de Bruin, Erik P. de Vink: Retractions in Comparing Prolog Semantics (Extended Abstract). MFCS 1990: 180-186

John-Jules Ch. Meyer, Erik P. de Vink: Step Semantics for "True" Concurrency with Recursion. Distributed Computing 3(3): 130-145 (1989)

Erik P. de Vink: Comparative Semantics for PROLOG with Cut. Sci. Comput. Program. 13(1): 237-264 (1989)

John-Jules Ch. Meyer, Erik P. de Vink: Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369

Arie de Bruin, Erik P. de Vink: Continuation Semantics for PROLOG with Cut. TAPSOFT, Vol.1 1989: 178-192

John-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. 57: 251-282 (1988)

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