• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Article
Article

A brief history of process algebra

Baeten, J. C. M., 2005, In : Theoretical Computer Science. 335, 2-3, p. 131-146

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
144 Citations (Scopus)
2 Downloads (Pure)

Abstraction in fixpoint logic

Cranen, S., Gazda, M. W., Wesselink, J. W. & Willemse, T. A. C., 2015, In : ACM Transactions on Computational Logic. 16, 4, p. 29/1-39 39 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Academische curricula zijn bestand tegen outsourcing

Baeten, J. C. M. & Groote, J. F., 2005, In : De Automatisering Gids. 39, 13, p. 13-

Research output: Contribution to journalArticlePopular

A characterization of regular expressions under bisimulation

Baeten, J. C. M., Corradini, F. & Grabmayer, C. A., 2007, In : Journal of the ACM. 54, 2, p. 6-1/28

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)

A Complete Axiomatisation for Probabilistic Trace Equivalence.

Timmers, F. & Groote, J. F., 2020, In : Scientific Annals of Computer Science. 30, 1, p. 69-104 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

A computer checked algebraic verification of a distributed summation algorithm

Groote, J. F., Monin, F. G. & Springintveld, J., 2005, In : Formal Aspects of Computing. 17, 1, p. 19-37

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Adding constants to string rewriting

Thiemann, R., Zantema, H., Giesl, J. & Schneider-Kamp, P., 2008, In : Applicable Algebra in Engineering, Communication and Computing. 19, 1, p. 27-38

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

A decision procedure for deadlock-free routing in wormhole networks

Verbeek, F. & Schmaltz, J., 2014, In : IEEE Transactions on Parallel and Distributed Systems. 25, 8, p. 1935-1944

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
9 Citations (Scopus)
222 Downloads (Pure)

A distributed algorithm for strong bisimulation reduction of state spaces

Blom, S. C. C. & Orzan, S. M., 2005, In : International Journal on Software Tools for Technology Transfer. 7, 1, p. 74-86

Research output: Contribution to journalArticleAcademicpeer-review

33 Citations (Scopus)
1 Downloads (Pure)

Advances in model driven software engineering

Brand, van den, M. G. J. & Groote, J. F., 2012, In : ERCIM News. 91, p. 23-24

Research output: Contribution to journalArticleProfessional

Open Access
File
39 Downloads (Pure)

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2009, In : ACM Transactions on Computational Logic. 10, 1, p. 6-1/26 6.

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)
2 Downloads (Pure)

A formal actor-based model for streaming the future

Azadbakht, K., de Boer, F. S., Bezirgiannis, N. & de Vink, E., 1 Feb 2020, In : Science of Computer Programming. 186, 22 p., 102341.

Research output: Contribution to journalArticleAcademicpeer-review

Agenda uitbreiden tot hele ICT

Baeten, J. C. M., 2004, In : De Automatisering Gids. 37, 24, p. 15

Research output: Contribution to journalArticlePopular

A ground-complete axiomatization of finite-state processes in generic process algebra

Baeten, J. C. M. & Bravetti, M., 2008, In : Mathematical Structures in Computer Science. 18, 6, p. 1057-1089

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)

A hierarchy of communication models for Message Sequence Charts

Engels, A. G., Mauw, S. & Reniers, M. A., 2002, In : Science of Computer Programming. 44, 3, p. 253-292

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
13 Citations (Scopus)

A hierarchy of probabilistic system types

Bartels, F., Sokolova, A. & Vink, de, E. P., 2004, In : Theoretical Computer Science. 327, 1-2, p. 3-22

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
42 Citations (Scopus)

A linear translation from CTL* to the first-order modal µ-calculus

Cranen, S., Groote, J. F. & Reniers, M. A., 2011, In : Theoretical Computer Science. 412, 28, p. 3129-3139

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)
1 Downloads (Pure)

An alternative formulation of operational conservativity with binding terms

Middelburg, C. A., 2003, In : Journal of Logic and Algebraic Programming. 55, 1-2, p. 1-19

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
16 Citations (Scopus)

Analysis of a distributed system for lifting trucks

Groote, J. F., Pang, J. & Wouters, A. G., 2003, In : Journal of Logic and Algebraic Programming. 55, 1-2, p. 21-56

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
24 Citations (Scopus)

Analyzing a Chi model of a turntable system using Spin, CADP, and Uppaal

Bortnik, E., Trcka, N., Wijs, A. J., Luttik, B., Mortel - Fronczak, van de, J. M., Baeten, J. C. M., Fokkink, W. J. & Rooda, J. E., 2005, In : Journal of Logic and Algebraic Programming. 65, 2, p. 51-104

Research output: Contribution to journalArticleAcademicpeer-review

22 Citations (Scopus)

An efficient algorithm to determine probabilistic bisimulation

Groote, J. F., Rivera Verduzco, H. J. & de Vink, E. P., 5 Sep 2018, In : Algorithms. 11, 9, 22 p., 131.

Research output: Contribution to journalArticleAcademicpeer-review

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

An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation

Groote, J. F., Jansen, D. N., Keiren, J. J. A. & Wijs, A. J., 1 Jun 2017, In : ACM Transactions on Computational Logic. 18, 2, 13.

Research output: Contribution to journalArticleAcademicpeer-review

19 Citations (Scopus)
4 Downloads (Pure)

Applying concurrency research in industry: Report on a strategic workshop

Aceto, L., Baeten, J. C. M., Fokkink, W. J., Ingólfsdóttir, A. & Nestmann, U., 2008, In : Bulletin of the European Association for Theoretical Computer Science, EATCS. 94, p. 113-129

Research output: Contribution to journalArticleProfessional

A probabilistic analysis of the Game of the Goose

Groote, J. F., Wiedijk, F. & Zantema, H., 2016, In : SIAM Review. 58, 1, p. 143-155

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2 Downloads (Pure)

A problem from IMO 2010

Zantema, H., 2011, In : Nieuw Archief voor Wiskunde. 5/12, 1, p. 40-43

Research output: Contribution to journalArticleProfessional

2 Downloads (Pure)

A refinement of De Bruijn's formal language of mathematics

Kamareddine, F. & Nederpelt, R. P., 2004, In : Journal of Logic, Language and Information. 13, 3, p. 287-340

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)

A rewriting view of simple typing

Stump, A., Zantema, H., Kimmell, G. & El Haj Omar, R., 2013, In : Logical Methods in Computer Science. 9, 1, p. 4/1-29

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)
56 Downloads (Pure)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 Sep 2019, In : arXiv. 27 p., 1909.10824.

Research output: Contribution to journalArticleAcademic

Open Access
File
6 Downloads (Pure)

A syntactic commutativity format for SOS

Mousavi, M. R., Reniers, M. A. & Groote, J. F., 2005, In : Information Processing Letters. 93, 5, p. 217-223

Research output: Contribution to journalArticleAcademicpeer-review

20 Citations (Scopus)
1 Downloads (Pure)

A thread algebra with multi-level strategic interleaving

Bergstra, J. A. & Middelburg, C. A., 2007, In : Theory of Computing Systems. 41, 1, p. 3-32

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)

Axiomatizing GSOS with termination

Baeten, J. C. M. & Vink, de, E. P., 2004, In : Journal of Logic and Algebraic Programming. 60-61, p. 323-351

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
15 Citations (Scopus)
2 Downloads (Pure)

Binary decision diagrams for first-order predicate logic

Groote, J. F. & Tveretina, O., 2003, In : Journal of Logic and Algebraic Programming. 57, 1-2, p. 1-22

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
19 Citations (Scopus)

Bisimulation of labelled state-to-function transition systems coalgebraically

Latella, D., Massink, M. & de Vink, E. P., 2015, In : Logical Methods in Computer Science. 11, 4, p. 1-40

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
6 Citations (Scopus)
52 Downloads (Pure)

Book announcement : Modeling and Analysis of Communicating Systems

Groote, J. F. & Mousavi, M. R., 2014, In : Bulletin of the European Association for Theoretical Computer Science, EATCS. 114, p. 274-283 10 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
258 Downloads (Pure)

Branching bisimilarity with explicit divergence

Glabbeek, van, R. J., Luttik, S. P. & Trcka, N., 2009, In : Fundamenta Informaticae. 93, 4, p. 371-392

Research output: Contribution to journalArticleAcademicpeer-review

47 Citations (Scopus)

Branching bisimulation for probabilistic systems : characteristics and decidability

Andova, S. & Willemse, T. A. C., 2006, In : Theoretical Computer Science. 356, 3, p. 325-355

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
22 Citations (Scopus)

Case studies in the hybrid process algebra HyPA

Man, K. L., Reniers, M. A. & Cuijpers, P. J. L., 2005, In : International Journal of Software Engineering and Knowledge Engineering. 15, 2, p. 299-305

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

CCS with Hennessy's merge has no finite-equational axiomatization

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2005, In : Theoretical Computer Science. 330, 3, p. 377-405

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
16 Citations (Scopus)

Coalgebraic weak bisimulation for action-type systems

Sokolova, A., Vink, de, E. P. & Woracek, H., 2009, In : Scientific Annals of Computer Science. 19, p. 93-144 52 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
77 Downloads (Pure)

Comparison of the molecular topologies of stress- activated transcription factors HSF1, AP-1, NRF2, and NF-kB in their induction kinetics of HMOX1

Pronk, T. E., Veen, van der, J. W., Vandebriel, R. J., Loveren, van, H., Vink, de, E. P. & Pennings, J. L. A., 2014, In : Biosystems. 124, p. 75-85 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

13 Citations (Scopus)

Completeness of timed µCRL

Reniers, M. A., Groote, J. F., Zwaag, van der, M. B. & Wamel, van, J. J., 2002, In : Fundamenta Informaticae. 50, 3-4, p. 361-402

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Component algebra

Feijs, L. M. G. & Qian, Y., 2002, In : Science of Computer Programming. 42, 2-3, p. 173-228

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
4 Citations (Scopus)

Compositional and behavior-preserving reconfiguration of component connectors in Reo

Krause, C., Giese, H. & Vink, de, E. P., 2013, In : Journal of Visual Languages and Computing. 24, 3, p. 153-168

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)

Compositionality for Markov reward chains with fast and silent transitions

Markovski, J., Sokolova, A., Trcka, N. & Vink, de, E. P., 2009, In : Performance Evaluation. 66, 8, p. 435-452

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
2 Downloads (Pure)

Computation tree logic with deadlock detection

Glabbeek, van, R. J., Luttik, B. & Trcka, N., 2009, In : Logical Methods in Computer Science. 5, 4:5, p. 1-24

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
18 Citations (Scopus)
66 Downloads (Pure)

Computer assisted manipulation of algebraic process specifications

Groote, J. F. & Lisser, B., 2002, In : ACM Sigplan Notices. 37, 12, p. 98-107

Research output: Contribution to journalArticleAcademicpeer-review

Computer-ondersteund redeneren : de boekhouder steunt de denker

Geuvers, J. H., 2008, In : De Automatisering Gids. 10, March 07, 2007, p. 15-

Research output: Contribution to journalArticlePopular

Consistent specification of interface suites in UML

Roubtsova, E. E., Gool, van, L. C. M., Kuiper, R. & Jonkers, H. B. M., 2002, In : Software and Systems Modeling. 1, 2, p. 98-112

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Constitutive hybrid processes: A process-algebraic semantics for hybrid bond graphs

Cuijpers, P. J. L., Broenink, J. F. & Mosterman, P. J., 2008, In : Simulation. 84, 7, p. 339-358

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

Constructive analysis, types and exact real numbers

Geuvers, J. H., Niqui, M., Spitters, B. A. W. & Wiedijk, F., 2007, In : Mathematical Structures in Computer Science. 17, 1, p. 3-36

Research output: Contribution to journalArticleAcademicpeer-review

18 Citations (Scopus)
1 Downloads (Pure)