Foto van Erik P. Vink, de

Bekijk Scopus-profiel

Erik P. de Vink

dr.

 https://orcid.org/0000-0001-9514-2260
  • 1734
    Citaties
1987 …2025

Onderzoeksresultaten per jaar

Filter
Hoofdstuk

Zoekresultaten

  • 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. (uitgave). Cham: Springer, blz. 139-162 24 blz. (Lecture Notes in Computer Science; vol. 11760 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    4 Citaten (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. (uitgave). Cham: Springer, blz. 449-463 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    3 Citaten (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. (uitgave). Dordrecht: Springer, blz. 224-244 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    1 Citaat (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. (uitgave). Berlin: Springer, blz. 242-260 19 blz. (Lecture notes in computer science ; vol. 9660).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › 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. (uitgave). Hoboken: Wiley, blz. 915-940 (Wiley Series in Bioinformatics).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    3 Citaten (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. (uitgave). Berlin: Springer, blz. 255-283 (Lecture notes in computer science; vol. 5835).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    Open Access
    Bestand
    5 Citaten (Scopus)
    155 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. (uitgave). Berlin: Springer, blz. 69-89 (Lecture notes in computer science; vol. 5750).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    3 Citaten (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. (uitgave). New York: Springer, blz. ...-...

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    1 Citaat (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. (uitgave). Berlin: Springer, blz. 1-43 (Lecture Notes in Computer Science; vol. 2925).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    79 Citaten (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. (uitgave). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 93-107

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    1 Downloads (Pure)