Kees Middelburg

According to our database1, Kees Middelburg authored at least 68 papers between 1982 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Process Algebra with Strategic Interleaving.
Theory Comput. Syst., 2019

2018
Instruction Sequences Expressing Multiplication Algorithms.
Sci. Ann. Comp. Sci., 2018

A Short Introduction to Program Algebra with Instructions for Boolean Registers.
The Computer Science Journal of Moldova, 2018

2017
Contradiction-Tolerant Process Algebra with Propositional Signals.
Fundam. Inform., 2017

Axioms for Behavioural Congruence of Single-Pass Instruction Sequences.
Sci. Ann. Comp. Sci., 2017

2016
Transformation of fractions into simple fractions in divisive meadows.
J. Applied Logic, 2016

Instruction Sequence Size Complexity of Parity.
Fundam. Inform., 2016

A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences.
Sci. Ann. Comp. Sci., 2016

On Instruction Sets for Boolean Registers in Program Algebra.
Sci. Ann. Comp. Sci., 2016

2015
Division by zero in non-involutive meadows.
J. Applied Logic, 2015

On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions.
Fundam. Inform., 2015

Probabilistic Thread Algebra.
Sci. Ann. Comp. Sci., 2015

2014
Instruction Sequence Based Non-uniform Complexity Classes.
Sci. Ann. Comp. Sci., 2014

2013
A Process Calculus with Finitary Comprehended Terms.
Theory Comput. Syst., 2013

Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting.
Fundam. Inform., 2013

Timed Tuplix Calculus and the Wesseling and van den Bergh Equation.
Sci. Ann. Comp. Sci., 2013

2012
Instruction Sequences for Computer Science.
Atlantis Studies in Computing 2, Atlantis Press, ISBN: 978-94-91216-65-7, 2012

On the Expressiveness of Single-Pass Instruction Sequences.
Theory Comput. Syst., 2012

On the Behaviours Produced by Instruction Sequences under Execution.
Fundam. Inform., 2012

Indirect Jumps Improve Instruction Sequence Performance.
Sci. Ann. Comp. Sci., 2012

Instruction sequence processing operators.
Acta Inf., 2012

2011
Inversive meadows and divisive meadows.
J. Applied Logic, 2011

Thread algebra for poly-threading.
Formal Asp. Comput., 2011

Thread Extraction for Polyadic Instruction Sequences.
Sci. Ann. Comp. Sci., 2011

2010
On the operating unit size of load/store architectures.
Mathematical Structures in Computer Science, 2010

A thread calculus with molecular dynamics.
Inf. Comput., 2010

Data Linkage Dynamics with Shedding.
Fundam. Inform., 2010

An Interface Group for Process Components.
Fundam. Inform., 2010

2009
Instruction Sequences with Dynamically Instantiated Instructions.
Fundam. Inform., 2009

Machine structure oriented control code logic.
Acta Inf., 2009

Transmission Protocols for Instruction Streams.
Proceedings of the Theoretical Aspects of Computing, 2009

2008
Maurer computers for pipelined instruction processing.
Mathematical Structures in Computer Science, 2008

Program algebra with a jump-shift instruction.
J. Applied Logic, 2008

Simulating Turing machines on Maurer machines.
J. Applied Logic, 2008

Distributed strategic interleaving with load balancing.
Future Generation Comp. Syst., 2008

Parallel Processes with Implicit Computational Capital.
Electr. Notes Theor. Comput. Sci., 2008

2007
Preferential choice and coordination conditions.
J. Log. Algebr. Program., 2007

Maurer Computers with Single-Thread Control.
Fundam. Inform., 2007

Thread algebra for strategic interleaving.
Formal Asp. Comput., 2007

Programming an Interpreter Using Molecular Dynamics.
Sci. Ann. Comp. Sci., 2007

Instruction Sequences with Indirect Jumps.
Sci. Ann. Comp. Sci., 2007

Synchronous cooperation for explicit multi-threading.
Acta Inf., 2007

2006
Continuity controlled hybrid automata.
J. Log. Algebr. Program., 2006

Splitting bisimulations and retrospective conditions.
Inf. Comput., 2006

Thread Algebra with Multi-Level Strategies.
Fundam. Inform., 2006

Conditionals in Algebraic Process Calculi.
Electr. Notes Theor. Comput. Sci., 2006

2005
Process algebra for hybrid systems.
Theor. Comput. Sci., 2005

A Thread Algebra with Multi-level Strategic Interleaving.
Proceedings of the New Computational Paradigms, 2005

Strong Splitting Bisimulation Equivalence.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

Model Theory for Process Algebra.
Proceedings of the Processes, 2005

2004
Located Actions in Process Algebra with Timing.
Fundam. Inform., 2004

2003
Revisiting timing in process algebra.
J. Log. Algebr. Program., 2003

An alternative formulation of operational conservativity with binding terms.
J. Log. Algebr. Program., 2003

2002
Process Algebra with Timing
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-04995-2, 2002

Process Algebra with Nonstandard Timing.
Fundam. Inform., 2002

2001
Variable binding operators in transition system specifications.
J. Log. Algebr. Program., 2001

Real time process algebra with time-dependent conditions.
J. Log. Algebr. Program., 2001

1998
Truth of Duration Calculus Formulae in Timed Frames.
Fundam. Inform., 1998

1994
A Typed Logic of Partial Functions Reconstructed Classically.
Acta Inf., 1994

Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation.
Proceedings of the Towards a Pan-European Telecommunication Service Infrastructure, 1994

Notations for software design.
FACIT: Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19902-1, 1994

1992
Specification of interfering programs based on interconditions.
Software Engineering Journal, 1992

Modular Structuring of VDM Specifications in VVSL.
Formal Asp. Comput., 1992

1991
LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K.
Proceedings of the VDM '91, 1991

1989
VVSL: A Language for Structured VDM Specifications.
Formal Asp. Comput., 1989

Experiences with Combining Formalisms in VVSL.
Proceedings of the Algebraic Methods II: Theory, 1989

1988
The VIP VDM Specification Language.
Proceedings of the VDM '88, 1988

1982
The Effect of the PDP-11 Architecture on Code Generation for Chill.
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 1982


  Loading...