Author

Cornelis A. Middelburg

Observed names: C A Middelburg, C. A. (Kees) Middelburg, C. A. MIDDELBURG, C. A. Middelburg, C. Middelburg, C.A Middelburg, C.A. Middelburg, CA Kees Middelburg, Cornelis Middelburg, K. Middelburg, Kees A. Middelburg, Kees Middelburg, Middelburg, C. A., Middelburg, C.A., Middelburg, CA Kees, Middelburg, Cornelis, Middelburg, Cornelis A., Middelburg, K Kees

Institution: University of Amsterdam

Observed institutions: Utrecht University, Leiden University Medical Center, KPN (Netherlands), PTT, Eindhoven University of Technology, University of Amsterdam

ORCID: 0000-0002-8725-0197

Observed ORCID: 0000-0002-8725-0197

OpenAlex ID: A5000183100

Process Algebra with Timing

2002 · J. C. M. Baeten, C. A. Middelburg · Monographs in theoretical computer science · 156

Process algebra for hybrid systems

2005 · J.A. Bergstra, C.A. Middelburg · Theoretical Computer Science · 103

Thread algebra for strategic interleaving

2007 · J. A. Bergstra, C. A. Middelburg · Formal Aspects of Computing · 79

Process algebra with timing

2002 · Baeten, J.C.M., Middelburg, C.A. · TU/e Research Portal · 72

A Typed Logic of Partial Functions Reconstructed Classically

1993 · C. B. Jones, C. A. Middelburg · 67

Process Algebra with Timing: Real Time and Discrete Time

2001 · J.C.M. Baeten, C.A. Middelburg · Elsevier eBooks · 61

Thread Algebra with Multi-Level Strategies

2006 · J.A. Bergstra, C.A. Middelburg · Fundamenta Informaticae · 30

Instruction Sequences with Indirect Jumps

2007 · Bergstra, J. A., Middelburg, C. A. · arXiv (Cornell University) · 28

VVSL: A language for structured VDM specifications

1989 · C. A. Middelburg · Formal Aspects of Computing · 25

Thread extraction for polyadic instruction sequences

2008 · Bergstra, J. A., Middelburg, C. A. · arXiv (Cornell University) · 24

Transformation of fractions into simple fractions in divisive meadows

2016 · J.A. Bergstra, C.A. Middelburg · Journal of Applied Logic · 23

A survey of paraconsistent logics

2011 · Middelburg, C. A. · arXiv (Cornell University) · 23

An alternative formulation of operational conservativity with binding terms

2003 · C.A Middelburg · The Journal of Logic and Algebraic Programming · 23

Parallel processes with implicit computational capital

2006 · J.A. Bergstra, C.A. Middelburg · 22

Distributed strategic interleaving with load balancing

2007 · J.A. Bergstra, C.A. Middelburg · Future Generation Computer Systems · 21

Instruction Sequences for Computer Science

2012 · Jan A. Bergstra, Cornelis A. Middelburg · Atlantis studies in computing · 20

A Thread Algebra with Multi-level Strategic Interleaving

2005 · Jan A. Bergstra, C. A. (Kees) Middelburg · Lecture notes in computer science · 20

Synchronous Cooperation for Explicit Multi-Threading

2006 · Bergstra, JA Jan, Middelburg, CA Kees · 19

On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions

2015 · J.A. Bergstra, C.A. Middelburg · Fundamenta Informaticae · 17

Instruction Sequence Based Non-uniform Complexity Classes

2014 · Jan Bergstra, Cornelis Middelburg · Scientific Annals of Computer Science · 17

Searching publications on software testing

2010 · Middelburg, C. A. · arXiv (Cornell University) · 17

Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification

1993 · C.A. Middelburg · 17

On Instruction Sets for Boolean Registers in Program Algebra

2016 · Jan Bergstra, Cornelis Middelburg · Scientific Annals of Computer Science · 16

Instruction sequence processing operators

2012 · J. A. Bergstra, C. A. Middelburg · Acta Informatica · 16

An Interface Group for Process Components

2010 · Jan A. Bergstra, Cornelis A. Middelburg · Fundamenta Informaticae · 16

Works count: 238

Citation count: 1,500

H-index: 18

I10-index: 41