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

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)

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)

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

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)

Formalizing belief revision in type theory

Borghuis, V. A. J., Kamareddine, F. & Nederpelt, R. P., 2002, In : Logic Journal of the IGPL. 10, 5, p. 461-500

Research output: Contribution to journalArticleAcademicpeer-review

Formal specification and analysis of production systems

Bos, V. & Kleijn, J. J. T., 2002, In : International Journal of Production Research. 40, 15, p. 3879-3894

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)

Process algebra with nonstandard timing

Middelburg, C. A., 2002, In : Fundamenta Informaticae. 53, 1, p. 55-77

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)

Proof by computation in the Coq system

Oostdijk, M. D. & Geuvers, J. H., 2002, In : Theoretical Computer Science. 272, 1-2, p. 293-314

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
6 Citations (Scopus)

Relative undecidability in term rewriting : I. The termination hierarchy

Geser, A., Middeldorp, A., Ohlebusch, E. & Zantema, H., 2002, In : Information and Computation. 178, 1, p. 101-131

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
8 Citations (Scopus)
3 Downloads (Pure)

Relative undecidability in term rewriting : II. The confluence hierarchy

Geser, A., Middeldorp, A., Ohlebusch, E. & Zantema, H., 2002, In : Information and Computation. 178, 1, p. 132-148

Research output: Contribution to journalArticleAcademicpeer-review

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

Sizes of ordered decision trees

Zantema, H. & Bodlaender, H. L., 2002, In : International Journal of Foundations of Computer Science. 13, 3, p. 445-458

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

Symmetric spin

Bosnacki, D., Dams, D. R. & Holenderski, L., 2002, In : International Journal on Software Tools for Technology Transfer. 4, 1, p. 92-106 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

49 Citations (Scopus)

Types in logic and mathematics before 1940

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2002, In : The Bulletin of Symbolic Logic. 8, 2, p. 185-245

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)

Verifying probabilistic programs using a Hoare-like logic

Hartog, den, J. I. & Vink, de, E. P., 2002, In : International Journal of Foundations of Computer Science. 13, 3, p. 315-340

Research output: Contribution to journalArticleAcademicpeer-review

30 Citations (Scopus)
2003

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)

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)

Embedding untimed into timed process algebra : the case for explicit termination

Baeten, J. C. M., 2003, In : Electronic Notes in Theoretical Computer Science. 39, 1, p. 1-18

Research output: Contribution to journalArticlePopular

Embedding untimed into timed process algebra : the case for explicit termination

Baeten, J. C. M., 2003, In : Mathematical Structures in Computer Science. 13, 4, p. 589-618

Research output: Contribution to journalArticleAcademicpeer-review

Formal methods for security protocols : three examples of the black-box approach

Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2003, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 7, p. 21-32

Research output: Contribution to journalArticleAcademicpeer-review

On the expressiveness of choice quantification

Luttik, B., 2003, In : Annals of Pure and Applied Logic. 121, 1, p. 39-87

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Resolution and binary decision diagrams cannot simulate each other polynomially

Groote, J. F. & Zantema, H., 2003, In : Discrete Applied Mathematics. 130, 2, p. 157-171

Research output: Contribution to journalArticleAcademicpeer-review

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

Revisiting the notion of function

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2003, In : Journal of Logic and Algebraic Programming. 54, 1-2, p. 65-107

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Citation (Scopus)

Revisiting timing in process algebra

Middelburg, C. A., 2003, In : Journal of Logic and Algebraic Programming. 54, 1-2, p. 109-127

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
5 Citations (Scopus)

Task allocation in a multi-server system

Borst, S. C., Boxma, O. J., Groote, J. F. & Mauw, S., 2003, In : Journal of Scheduling. 6, 5, p. 423-436

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
2004

Agenda uitbreiden tot hele ICT

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

Research output: Contribution to journalArticlePopular

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

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)

Denkniveaus bij algoritmen

Perrenet, J. C., Groote, J. F. & Kaasenbrood, E. J. S., 2004, In : TINFON : Tijdschrift voor INFormatica-ONderwijs. 13, 4, p. 116-118

Research output: Contribution to journalArticleAcademicpeer-review

Language-driven system design

Mauw, S., Wiersma, W. T. & Willemse, T. A. C., 2004, In : International Journal of Software Engineering and Knowledge Engineering. 14, 6, p. 625-663

Research output: Contribution to journalArticleAcademicpeer-review

22 Citations (Scopus)

Located actions in process algebra with timing

Bergstra, J. A. & Middelburg, C. A., 2004, In : Fundamenta Informaticae. 61, 3-4, p. 183-211

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Remarks on Thatte's transformation of term rewriting systems

Luttik, B., Rodenburg, P. & Verma, R. M., 2004, In : Information and Computation. 195, 1-2, p. 66-87

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Update semantics of security protocols

Hommersom, A., Meyer, J-JC. & Vink, de, E. P., 2004, In : Synthese. 142, 2, p. 229-267

Research output: Contribution to journalArticleAcademicpeer-review

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

Distributed state space minimization

Blom, S. C. C. & Orzan, S. M., 2005, In : International Journal on Software Tools for Technology Transfer. 7, 3, p. 280-291

Research output: Contribution to journalArticleAcademicpeer-review

25 Citations (Scopus)
1 Downloads (Pure)

Falsity conditions for IF-sentences

Dechesne, F., 2005, In : Philosophia Scientiae. 9, 2, p. 305-322 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Finding finite automata that certify termination of string rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2005, In : International Journal of Foundations of Computer Science. 16, 3, p. 471-486

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)