The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Erik P. de Vink: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  49. Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. [Citation Graph (, )][DBLP]


  50. Extending Timed Process Algebra with Discrete Stochastic Time. [Citation Graph (, )][DBLP]


  51. Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. [Citation Graph (, )][DBLP]


  52. Architecting Security with Paradigm. [Citation Graph (, )][DBLP]


  53. An Operation-Based Metric for CPA Resistance. [Citation Graph (, )][DBLP]


  54. Reconfiguring Distributed Reo Connectors. [Citation Graph (, )][DBLP]


  55. Dynamic System Adaptation by Constraint Orchestration [Citation Graph (, )][DBLP]


  56. Proceedings Second International Workshop on Computational Models for Cell Processes [Citation Graph (, )][DBLP]


  57. Formalizing Adaptation On-the-Fly. [Citation Graph (, )][DBLP]


  58. Dynamic Consistency in Process Algebra: From Paradigm to ACP. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002