Erik P. Vink, de

View Scopus Profile

Erik P. de Vink

dr.

 https://orcid.org/0000-0001-9514-2260
  • 1732
    Citations - based on content available in repository [source: Scopus]
1987 …2024

Content available in repository

Filter
Conference contribution

Search results

  • 2006

    Formalising receipt-freeness

    Jonker, H. L. & Vink, de, E. P., 2006, Information Security (Proceedings 9th International Conference, ISC 2006, Samos, Greece, August 30-September 2, 2006). Katsikas, S. K., Lopez, J., Backes, M., Gritzalis, S. & Preneel, B. (eds.). Berlin: Springer, p. 476-488 (Lecture Notes in Computer Science; vol. 4176).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    37 Citations (Scopus)
    4 Downloads (Pure)

  • Multiparty contract signing over a reliable network

    Orzan, S. M. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Security and Trust Management (STM'05, Milan, Italy, September 15, 2005). p. 27-41 (Electronic Notes in Theoretical Computer Science; vol. 157(3)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)

  • Paradigm as organization-oriented coordination language

    Groenewegen, L. P. J., Stam, A. W., Toussaint, P. J. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005, Namur, Belgium, April 23, 2005; in conjunction with Coordination'05). Torre, van der, L. (ed.). p. 93-113 (Electronic Notes in Theoretical Computer Science; vol. 150).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)

  • Restructuring Paradigm models for the ToolBus architecture : a case study

    Stam, A. W., Groenewegen, L. P. J. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005, Namur, Belgium, April 23, 2005; in conjunction with Coordination'05). Brim, L. & Linden, I. (eds.). p. 127-142 (Electronic Notes in Theoretical Computer Science; vol. 150(1)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2005

    A syntactic criterion for injectivity of authentication protocols

    Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2005, Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05). Degano, P. & Vigano, L. (eds.). p. 23-38 (Electronic Notes in Theoretical Computer Science; vol. 135(1)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)

  • Delegation modeling with Paradigm

    Groenewegen, L. P. J., Kampenhout, van, N. & Vink, de, E. P., 2005, Coordination Models and Languages (Proceedings 7th International Conference, Coordination 2005, Namur, Belgium, April 20-23, 2005). Jacquet, J. M. & Picco, G. P. (eds.). Berlin: Springer, p. 94-108 (Lecture Notes in Computer Science; vol. 3454).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    10 Citations (Scopus)

  • Toward reasoning about security protocols : a semantic approach

    Hommersom, A., Meyer, J.-J. & Vink, de, E. P., 2005, Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004). p. 53-75 (Electronic Notes in Theoretical Computer Science; vol. 126).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    120 Citations (Scopus)

  • Virtual analysis and reduction of side-channel vulnerabilities of smartcards

    Hartog, den, J. I. & Vink, de, E. P., 2005, Formal Aspects in Security and Trust (Proceedings IFIP TC1 WG1.7 Workshop, FAST, Toulouse, France, August 26-27, 2004). Dimitrakos, T. & Martinelli, F. (eds.). Boston: Kluwer Academic Publishers, p. 85-98

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)

  • Weak bisimulation for action-type coalgebras (Extended abstract)

    Sokolova, A., Vink, de, E. P. & Woracek, H., 2005, Proceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004). p. 211-228 (Electronic Notes in Theoretical Computer Science; vol. 122).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    10 Citations (Scopus)
  • 2004

    A formalization of anonymity and onion routing

    Mauw, S., Verschuren, J. H. S. & Vink, de, E. P., 2004, Computer Security - ESORICS 2004 (Proceedings 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004). Samarati, P., Ryan, P., Gollmann, D. & Molva, R. (eds.). Berlin: Springer, p. 109-124 (Lecture Notes in Computer Science; vol. 3193).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    48 Citations (Scopus)
    4 Downloads (Pure)
  • 2003

    A hierarchy of probabilistic system types

    Bartels, F., Sokolova, A. & Vink, de, E. P., 2003, Proceedings 6th International Workshop on Coalgebraic Methods in Computer Science (CMCS'03, Warsaw, Poland, April 5-6, 2003). (Electronic Notes in Theoretical Computer Science; vol. 82(1)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    34 Citations (Scopus)

  • Defining authentication in a trace model

    Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2003, Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report. Dimitrakos, T. & Martinelli, F. (eds.). p. 131-145

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  • On relational properties of lumpability

    Sokolova, A. & Vink, de, E. P., 2003, Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003). Utrecht: STW Technology Foundation, p. 220-225

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    62 Downloads (Pure)

  • PINPAS: a tool for power analysis of smartcards

    Hartog, den, J. I., Vink, de, E. P., Verschuren, J. H. S., Vos, de, J. & Wiersma, W. T., 2003, Security and Privacy in the Age of Uncertainty (Proceedings IFIP TC11 18th International Conference on Information Security, SEC2003, Athens Greece, May 26-28, 2003). Gritzalis, D., De Capitani di Vimercati, S., Samarati, P. & Katsikas, S. K. (eds.). Kluwer, p. 453-457 (IFIP Conference Proceedings; vol. 250).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Verification and improvement of the sliding window protocol

    Chkliaev, D., Hooman, J. J. M. & Vink, de, E. P., 2003, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings TACAS 2003, Warsaw, Poland, April 7-11, 2003). Garavel, H. & Hatcliff, J. (eds.). Berlin: Springer, p. 113-127 (Lecture Notes in Computer Science; vol. 2619).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    32 Citations (Scopus)
  • 2002

    Axiomatizing GSOS with termination

    Baeten, J. C. M. & Vink, de, E. P., 2002, Proceedings 19th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2002, Antibes - Juan-les-Pins, France, March 14-16, 2002). Alt, H. & Ferreira, A. (eds.). Berlin: Springer, p. 583-595 (Lecture Notes in Computer Science; vol. 2285).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)

  • Formal verification of an improved sliding window protocol

    Chkliaev, D., Hooman, J. J. M. & Vink, de, E. P., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Utrecht: STW Technology Foundation, p. 18-27

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    86 Downloads (Pure)

  • On BAN logics for industrial security protocols

    Agray, N., Hoek, van der, W. & Vink, de, E. P., 2002, From Theory to Practice in Multi-Agent Systems (Proceedings CEEMAS 2001, Cracow, Poland, September 26-29, 2001). Dunin-Keplicz, B. & Nawarecki, E. (eds.). Berlin: Springer, p. 29-38 (Lecture Notes in Computer Science; vol. 2296).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    10 Citations (Scopus)

  • Operational semantics for coordination in Paradigm

    Groenewegen, L. P. J. & Vink, de, E. P., 2002, Coordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002). Arbab, F. & Talcott, C. (eds.). Berlin: Springer, p. 191-206 (Lecture Notes in Computer Science; vol. 2315).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    13 Citations (Scopus)
  • 2001

    Metric semantics and full abstractness for action refinement and probabilistic choice

    Hartog, den, J. I., Vink, de, E. P. & Bakker, de, J. W., 2001, Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000). Hurley, T., Mac an Airchinnigh, M., Schellekens, M. & Seda, A. (eds.). p. 72-99 (Electronic Notes in Theoretical Computer Science; vol. 40).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    13 Citations (Scopus)
  • 1998

    Mixing up nondeterminism and probability : a preliminary report

    Hartog, den, J. I. & Vink, de, E. P., 1998, Proceedings of the 1st International Workshop on Probabilistic Methods in Verification (PROBMIV '98, Indianapolis IN, USA, June 19-20, 1998; satellite event to the 13th International IEEE Symposium on Logic in Computer Science, LICS '98). Baier, C. (ed.). p. 88-110 (Electronic Notes in Theoretical Computer Science; vol. 22).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    22 Citations (Scopus)
  • 1997

    Comparative metric semantics for commit in or-parallel logic programming

    Todoran, E., Hartog, den, J. I. & Vink, de, E. P., 1997, Logic Programming (Proceedings of the International Symposium, ILPS'97, Port Washington NY, USA, October 13-16, 1997), MIT Press Series in Logic Programming. Maluszynski, J. (ed.). Cambridge MA: MIT Press, p. 101-115

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 1996

    A metric approach to control flow semantics

    Bakker, de, J. W. & Vink, de, E. P., 1996, Papers on general topology and applications (11th Summer Conference at the University of Southern Maine, Gorham ME, USA, August 10-13, 1995). Andoma, S. (ed.). New York NY: New York Academy of Sciences, p. 11-27 (Annals of the New York Academy of Sciences; vol. 806).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    10 Citations (Scopus)
  • 1994

    Transition system specification in stalk format with bisimulation as a congruence

    Oostrom, van, V. & Vink, de, E. P., 1994, Proceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994). Enjalbert, P., Mayr, E. W. & Wagner, K. W. (eds.). Springer, p. 569-580 (Lecture Notes in Computer Science; vol. 775).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 1993

    Asynchronous rendez-vous in distributed logic programming

    Eliëns, A. & Vink, de, E. P., 1993, Semantics : Foundations and Applications (Proceedings REX Workshop, Beekbergen, THe Netherlands, June 1-4, 1992). Bakker, de, J. W., Roever, de, W. P. & Rozenberg, G. (eds.). Berlin: Springer, p. 174-203 (Lecture Notes in Computer Science; vol. 666).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
  • 1991

    CCS for OO and LP

    Bakker, de, J. W. & Vink, de, E. P., 1991, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91, Brighton, UK, April 8-12, 1991), Vol. 2: Advances in distributed computing (ADC) and Colloquium on combining paradigms for software development (CCPSD). Abramsky, S. & Maibaum, T. S. E. (eds.). p. 1-28 (Lecture Notes in Computer Science; vol. 494).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)

  • Rendez-vous with metric semantics

    Bakker, de, J. W. & Vink, de, E. P., 1991, PARLE'91: Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 10-13, 1991). Aarts, E. H. L., Leeuwen, van, J. & Rem, M. (eds.). Berlin: Springer, Vol. 2. p. 27-57 (Lecture Notes in Computer Science; vol. 506).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
  • 1990

    Denotational semantics for unguarded recursion: the demonic case

    Bruin, de, A. & Vink, de, E. P., 1990, Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990). Amsterdam: Centrum voor Wiskunde en Informatica, p. 51-64

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Retractions in comparing Prolog semantics

    Bruin, de, A. & Vink, de, E. P., 1990, Mathematical Foundations of Computer Science (Proceedings 15th Symposium, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31,1990). Rovan, B. (ed.). Springer, p. 180-186 (Lecture Notes in Computer Science; vol. 452).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 1989

    Pomset semantics for true concurrency with synchronization and recursion

    Meyer, J.-J. & Vink, de, E. P., 1989, Mathematical Foundations of Computer Science (Proceedings 14th Symposium, MFCS '89, Porabka-Kozubnik, Poland, August 28-September 1, 1989). Kreczmar, A. & Mirkowska, G. (eds.). Springer, p. 360-369 (Lecture Notes in Computer Science; vol. 379).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

  • Retractions in comparing Prolog semantics

    Bruin, de, A. & Vink, de, E. P., 1989, Computing Science in the Netherlands (CSN'89, Utrecht, The Netherlands, November 9-10, 1989). Amsterdam: Centrum voor Wiskunde en Informatica, p. 71-90

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 1988

    Continuation semantics for PROLOG with cut

    Bruin, de, A. & Vink, de, E. P., 1988, Computing Science in the Netherlands (CSN'88, Utrecht, The Netherlands, November 3-4, 1988). Amsterdam: Centrum voor Wiskunde en Informatica, p. 295-313

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 1987

    Applications of compactness in the Smyth powerdomain of streams: extended abstract

    Meyer, J.-J. & Vink, de, E. P., 1987, TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development (Pisa, Italy, March 23-27, 1987). Ehrig, H., Kowalski, R. A., Levi, G. & Montanari, U. (eds.). Springer, Vol. 1. p. 241-255 15 p. (Lecture Notes in Computer Science; vol. 249).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)