Burghard von Karger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An algebraic approach to temporal logic TAPSOFT '95: Theory and Practice of Software Development	2022-08-18	Paper
Computing kernels in directed bichromatic graphs Information Processing Letters	2016-05-26	Paper
scientific article; zbMATH DE number 2087347 (Why is no real title available?)	2004-08-11	Paper
A calculational approach to reactive systems Science of Computer Programming	2000-06-04	Paper
Temporal algebra Mathematical Structures in Computer Science	1999-07-07	Paper
A relational model for temporal logic Logic Journal of the IGPL	1999-02-04	Paper
A proof rule for control loops Lecture Notes in Computer Science	1999-02-02	Paper
Relation-algebraic derivation of spanning tree algorithms Lecture Notes in Computer Science	1998-12-09	Paper
On the union of well-founded relations Logic Journal of the IGPL	1998-04-02	Paper
Formal derivation of a protocol in CSP	1997-12-15	Paper
Relational semantics of functional programs	1997-11-13	Paper
Algorithms from relational specifications	1997-11-13	Paper
Sequential calculus Information Processing Letters	1997-02-28	Paper
scientific article; zbMATH DE number 956827 (Why is no real title available?)	1996-12-11	Paper
Towards a design calculus for CSP Science of Computer Programming	1996-09-11	Paper
scientific article; zbMATH DE number 49355 (Why is no real title available?)	1992-09-17	Paper

Research outcomes over time

This page was built for person: Burghard von Karger