• 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
2008

Is timed branching bisimilarity a congruence indeed?

Fokkink, W. J., Pang, J. & Wijs, A. J., 2008, In : Fundamenta Informaticae. 87, 3-4, p. 287-311

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Matrix interpretations for proving termination of term rewriting

Endrullis, J., Waldmann, J. & Zantema, H., 2008, In : Journal of Automated Reasoning. 40, 2-3, p. 195-220

Research output: Contribution to journalArticleAcademicpeer-review

100 Citations (Scopus)
2 Downloads (Pure)

Nuovo DRM Paradiso : designing a secure, verified, fair exchange DRM scheme

Torabi Dashti, M., Krishnan Nair, S. & Jonker, H. L., 2008, In : Fundamenta Informaticae. 89, 4, p. 393-417

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

On finite alphabets and infinite bases

Chen, T., Fokkink, W. J., Luttik, B. & Nain, S., 2008, In : Information and Computation. 206, 5, p. 492-519

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
10 Citations (Scopus)

Proving termination of rewriting automatically

Zantema, H., 2008, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 12, p. 25-33

Research output: Contribution to journalArticleProfessional

2 Downloads (Pure)

Specification and verification of invariants by exploiting layers in OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, In : Fundamenta Informaticae. 85, 1-4, p. 377-398

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2008, In : Communications in Statistics. Part B, Simulation and Computation. 37, 2, p. 346-359

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)

The equational theory of prebisimilarity over basic CCS with divergence

Aceto, L., Capobianco, S., Ingólfsdóttir, A. & Luttik, B., 2008, In : Information Processing Letters. 108, 5, p. 284-289

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)
2007

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 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)

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)

Duplication of constants in process algebra

Baeten, J. C. M. & Reniers, M. A., 2007, In : Journal of Logic and Algebraic Programming. 70, 2, p. 151-171

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Citation (Scopus)

Een gezamenlijke opleiding met een universiteit in India : overeenkomsten en verschillen

Baeten, J. C. M., 2007, In : TINFON : Tijdschrift voor INFormatica-ONderwijs. 16, 1, p. 30-31

Research output: Contribution to journalArticlePopular

Generalizing DPLL and satisfiability for equalities

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2007, In : Information and Computation. 205, 8, p. 1188-1211

Research output: Contribution to journalArticleAcademicpeer-review

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

Generic trace semantics via coinduction

Hasuo, I., Jacobs, B. P. F. & Sokolova, A., 2007, In : Logical Methods in Computer Science. 3, 4, p. 11-1/36

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
106 Downloads (Pure)

Increased security through open source

Hoepman, J. H. & Jacobs, B. P. F., 2007, In : Communications of the ACM. 50, 1, p. 79-83

Research output: Contribution to journalArticleAcademicpeer-review

67 Citations (Scopus)

Lock-free parallel and concurrent garbage collection by mark&sweep

Gao, H., Groote, J. F. & Hesselink, W. H., 2007, In : Science of Computer Programming. 64, 3, p. 341-374

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)
1 Downloads (Pure)

Maurer computers with single-thread control

Bergstra, J. A. & Middelburg, C. A., 2007, In : Fundamenta Informaticae. 80, 4, p. 333-362

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Natural deduction via graphs : formal definition and computation rules

Geuvers, J. H. & Loeb, I., 2007, In : Mathematical Structures in Computer Science. 17, 3, p. 485-526

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)

On tree automata that certify termination of left-linear term rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2007, In : Information and Computation. 205, 4, p. 512-534

Research output: Contribution to journalArticleAcademicpeer-review

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

Operational semantics for Petri net components

Groote, J. F. & Voorhoeve, M., 2007, In : Theoretical Computer Science. 379, 1-2, p. 1-19

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
7 Citations (Scopus)

Preferential choice and coordination conditions

Bergstra, J. A. & Middelburg, C. A., 2007, In : Journal of Logic and Algebraic Programming. 70, 2, p. 172-200

Research output: Contribution to journalArticleAcademicpeer-review

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

SOS formats and meta-theory : 20 years after

Mousavi, M. R., Reniers, M. A. & Groote, J. F., 2007, In : Theoretical Computer Science. 373, 3, p. 238-272

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
63 Citations (Scopus)
1 Downloads (Pure)

Synchronous cooperation for explicit multi-threading

Bergstra, J. A. & Middelburg, C. A., 2007, In : Acta Informatica. 44, 7-8, p. 525-569

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)

Thread algebra for strategic interleaving

Bergstra, J. A. & Middelburg, C. A., 2007, In : Formal Aspects of Computing. 19, 4, p. 445-474

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)

Toezicht nodig op softwareprojecten

Groote, J. F., 2 Aug 2007, In : Het Financieele Dagblad. 2007, 2 augustus, p. 7-8

Research output: Contribution to journalArticleProfessional

1 Downloads (Pure)
2006

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)

Continuity controlled hybrid automata

Bergstra, J. A. & Middelburg, C. A., 2006, In : Journal of Logic and Algebraic Programming. 68, 1-2, p. 5-53

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
3 Citations (Scopus)

Distribution of a simple shared dataspace architecture

Orzan, S. M. & Pol, van de, J. C., 2006, In : Fundamenta Informaticae. 73, 4, p. 535-559

Research output: Contribution to journalArticleAcademicpeer-review

Informatica komt niet met strik om de haven van Rotterdam binnen

Groote, J. F. & Verhoef, C., 2006, In : De Automatisering Gids. 2006, 10, p. 15-

Research output: Contribution to journalArticlePopular

Injective synchronisation : an extension of the authentication hierarchy

Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2006, In : Theoretical Computer Science. 367, 1-2, p. 139-161

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
35 Citations (Scopus)

Interactive visualization of large state spaces

Groote, J. F. & Ham, van, F. J. J., 2006, In : International Journal on Software Tools for Technology Transfer. 8, 1, p. 77-91

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
1 Downloads (Pure)

New tool to design the behaviour of embedded systems

Groote, J. F., 2006, In : ERCIM News. 67, p. 27-28

Research output: Contribution to journalArticleProfessional

Splitting bisimulations and retrospective conditions

Bergstra, J. A. & Middelburg, C. A., 2006, In : Information and Computation. 204, 7, p. 1083-1138

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
9 Citations (Scopus)

Syntax and consistent equation semantics of hybrid Chi

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, In : Journal of Logic and Algebraic Programming. 68, 1-2, p. 129-210

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
88 Citations (Scopus)

SystemC^FL : formal specification and analysis of hardware/software co-designs

Man, K. L., 2006, In : WSEAS Transactions on Circuits and Systems. 5, 3, p. 361-368

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Thompson transformations for IF-logic

Dechesne, F., 2006, In : Synthese. 149, 2, p. 285-309

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Thread algebra with multi-level strategies

Bergstra, J. A. & Middelburg, C. A., 2006, In : Fundamenta Informaticae. 71, 2-3, p. 153-182

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)

What is algebraic in process theory?

Luttik, B., 2006, In : Bulletin of the European Association for Theoretical Computer Science, EATCS. 88, p. 66-83

Research output: Contribution to journalArticleAcademic

5 Citations (Scopus)
2005

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)

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 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)

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)

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)

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)

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)

De Bruijn's syntax and reductional behaviour of lambda-terms : the typed case

Kamareddine, F. & Bloo, C. J., 2005, In : Journal of Logic and Algebraic Programming. 62, 2, p. 159-189

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

De Bruijn's syntax and reductional behaviour of lambda-terms : the untyped case

Kamareddine, F. & Bloo, C. J., 2005, In : Journal of Logic and Algebraic Programming. 62, 1, p. 109-131

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Decomposition orders : another generalisation of the fundamental theorem of arithmetic

Luttik, B. & Oostrom, van, V., 2005, In : Theoretical Computer Science. 335, 2-3, p. 147-186

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)