Erik P. Vink, de

View Scopus Profile

Erik P. de Vink

dr.

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

Content available in repository

Filter
Chapter

Search results

  • 2019

    A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).

    van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 139-162 24 p. (Lecture Notes in Computer Science; vol. 11760 LNCS).

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

    4 Citations (Scopus)

  • An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

    Groote, J. F. & de Vink, E. P., 2019, From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer, p. 449-463 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

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

    3 Citations (Scopus)
  • 2018

    Extending paradigm with data

    Groenewegen, L. P. J., Verschuren, J. H. S. & de Vink, E. P., 1 Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Dordrecht: Springer, p. 224-244 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS).

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

    1 Citation (Scopus)
    1 Downloads (Pure)
  • 2016

    Towards a proof method for paradigm

    Groenewegen, L. P. J., Kuiper, R. & de Vink, E. P., 2016, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Abraham, E., Bonsangue, M. M. & Johnsen, E. B. (eds.). Berlin: Springer, p. 242-260 19 p. (Lecture notes in computer science ; vol. 9660).

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

    1 Downloads (Pure)
  • 2011

    Modeling and analysis of biological networks with model checking (Chapter 39)

    Bosnacki, D., Hilbers, P. A. J., Mans, R. S. & Vink, de, E. P., 2011, Algorithms in computational molecular biology : techniques, approaches and applications. Elloumi, M. & Zomaya, A. Y. (eds.). Hoboken: Wiley, p. 915-940 (Wiley Series in Bioinformatics).

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

    3 Citations (Scopus)
    7 Downloads (Pure)
  • 2009

    Architecting security with Paradigm

    Andova, S., Groenewegen, L. P. J., Verschuren, J. H. S. & Vink, de, E. P., 2009, Architecting Dependable Systems VI. Lemos, de, R., Fabre, J. C., Gacek, C., Gadducci, F. & Beek, ter, M. (eds.). Berlin: Springer, p. 255-283 (Lecture notes in computer science; vol. 5835).

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

    Open Access
    File
    5 Citations (Scopus)
    162 Downloads (Pure)

  • In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

    Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2009, Transactions on Computational Systems Biology XI. Priami, C., Back, R. J. & Petre, I. (eds.). Berlin: Springer, p. 69-89 (Lecture notes in computer science; vol. 5750).

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

    3 Citations (Scopus)
  • 2005

    Update semantics for security protocols

    Hommersom, A., Meyer, J.-J. & Vink, de, E. P., 2005, Information, Interaction, and Agency. Hoek, van der, W. (ed.). New York: Springer, p. ...-...

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

    1 Citation (Scopus)
  • 2004

    Probabilistic automata : system types, parallel composition and comparison

    Sokolova, A. & Vink, de, E. P., 2004, Validation of Stochastic Systems : A Guide to Current Research. Baier, C. & et al., X. (eds.). Berlin: Springer, p. 1-43 (Lecture Notes in Computer Science; vol. 2925).

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

    79 Citations (Scopus)
  • 2002

    Building metric structures with the Maes-factor

    Hartog, den, J. I. & Vink, de, E. P., 2002, Liber amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. & Klint, P. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 93-107

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

    1 Downloads (Pure)