Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

J. Baeten · SciRah

Researcher profile · Semantic Scholar

J. Baeten

Share profile

J. Baeten — researcher profile on SciRah

h-index: 7
Works: 35
Citations: 251

Most-cited papers

A process-theoretic approach to supervisory control theory
J. Baeten, D. V. van Beek, B. Luttik, J. Markovski +1 more
2011Proceedings of the 2011 American Control Conference41 citations
Semantic Scholar
Mode transfer in process algebra
J. Baeten, J. Bergstra
200038 citations
Semantic Scholar
Ω Can be anything it should not be
J. Baeten, B. Boerboom
197929 citations Open access
Semantic Scholar
Omega can be anything it should not be
J. Baeten, B. Boerboom
197929 citations Open access
Semantic Scholar
Process algebra with explicit termination
J. Baeten
200028 citations
Semantic Scholar
Discrete-time process algebra with empty process
J. Baeten, J. Vereijken
199725 citations
Semantic Scholar
A survey of axiom systems for process algebras
J. Baeten, J. Bergstra
199110 citations
Semantic Scholar
Priority rewrite systems
J. Baeten, J. Bergstra, J. Klop
19846 citations
Semantic Scholar
The variety of process algebra (DRAFT)
J. Baeten, J. Bergstra, C. Hoare, R. Milner +2 more
19915 citations
Semantic Scholar
Global renaming operators in concrete process algebra:(revised version)
J. Baeten, J. Bergstra
19875 citations
Semantic Scholar
Algebra of communicating processes : part II
J. Baeten, Jan A. Bergstra, J. Klop
19845 citations
Semantic Scholar
Filters and ultrafilters over definable subsets of admissible ordinals
J. Baeten
19845 citations Open access
Semantic Scholar
Hard real-time development environments
J. Baeten, P. Baufreton, A. Benveniste, S. Boutin +29 more
20054 citations
Semantic Scholar
Formalizing programming variables in process algebra
J. Baeten, V. Victor Bos
20024 citations
Semantic Scholar
Some simple calculations in relative discrete time process algebra
J. Baeten, J. A. Bergstra
19954 citations
Semantic Scholar
Specification and verification of a circuit in ACP
J. Baeten, F. Vaandrager
19884 citations
Semantic Scholar
Special Issue Editorial Process Algebra
J. Baeten
19942 citations Open access
Semantic Scholar
Conditional axioms and alpha/beta-calculus in process algebra
J. Baeten, J. Bergstra, J. Klop
19852 citations
Semantic Scholar
Coordination Control of Complex Machines
J. Baeten, van Da Bert Beek, J. Markovski, L. Somers
20151 citations Open access
Semantic Scholar
Towards a concurrency theory for supervisory control
J. Baeten, V. Hulst, van Da Bert Beek, J. Markovski
20121 citations
Semantic Scholar
Typography in process algebra
J. Baeten, J. Klop
20111 citations
Semantic Scholar
The role of graphs in computer science
J. Baeten, V. Hee
20071 citations
Semantic Scholar
Preface (Special issue on the IFIP WG1.8 Workshop on Applying Concurrency Research in Industry)
L. Aceto, J. Baeten, W. Fokkink, A. Ingólfsdóttir +1 more
20090 citations
Semantic Scholar
Preface (Special issue on ICALP 2003)
J. Baeten, J. K. Lenstra, G. Woeginger
20070 citations
Semantic Scholar
Preface to Special issue on Expressiveness in concurrency
J. Baeten, F. Corradini
20060 citations
Semantic Scholar
A menagerie of constants in process algebra
J. Baeten
20020 citations
Semantic Scholar
Process algebra with pointers
J. Baeten, Jan A. Bergstra, Lmg Loe Feijs
20020 citations
Semantic Scholar
Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings
J. Baeten, D. Bošnački, Jpm Jeroen Voeten, L. Holenderski
20010 citations
Semantic Scholar
Timed process algebra: theory and applications
J. Baeten
19960 citations
Semantic Scholar
Praktijk weigert theorie
J. Baeten
19930 citations
Semantic Scholar
Process algebra with zero object and non-determinacy
J. Baeten, J. Bergstra
19900 citations
Semantic Scholar
Description of CONCUR : ESPRIT basic research action 3006
J. Baeten
19900 citations
Semantic Scholar
Algebra and communicating processes
J. Baeten
19890 citations
Semantic Scholar
Specification and verification of a circuit in ACP (revised version)
J. Baeten, F. Vaandrager
19880 citations
Semantic Scholar
Rectificatie proces algebra
J. Baeten
19860 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

J. Bergstra×7
Invite
J. Bergstra — researcher profile on SciRah
J. Klop×4
Invite
J. Klop — researcher profile on SciRah
J. Markovski×3
Invite
J. Markovski — researcher profile on SciRah
B. Boerboom×2
Invite
B. Boerboom — researcher profile on SciRah

Jan A. Bergstra

×2

Invite

Jan A. Bergstra — researcher profile on SciRah

F. Vaandrager×2

Invite

F. Vaandrager — researcher profile on SciRah

van Da Bert Beek×2

Invite

van Da Bert Beek — researcher profile on SciRah

D. V. van Beek×1

Invite

D. V. van Beek — researcher profile on SciRah

Invite

B. Luttik — researcher profile on SciRah

Invite

J. Rooda — researcher profile on SciRah

J. Vereijken×1

Invite

J. Vereijken — researcher profile on SciRah

Invite

C. Hoare — researcher profile on SciRah