| Publication | Date of Publication | Type |
|---|
| Edsger W. Dijkstra as a lecturer in Marktoberdorf | 2024-10-28 | Paper |
Specification and verification of concurrent systems by causality and realizability
Theoretical Computer Science | 2023-09-18 | Paper |
| Refining the Safety-Liveness Classification of Temporal Properties According to Realizability | 2023-04-13 | Paper |
Theory and methodology of assumption/commitment based system interface specification and architectural contracts
Formal Methods in System Design | 2018-08-08 | Paper |
On the role of logic and algebra in software engineering
Mathematics, Computer Science and Logic - A Never Ending Story | 2015-07-08 | Paper |
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer
Acta Informatica | 2015-06-24 | Paper |
Pragmatic Formal Specification of System Properties by Tables
Software, Services, and Systems | 2015-06-22 | Paper |
Computability and realizability for interactive computations
Information and Computation | 2015-05-04 | Paper |
A model of dynamic systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Verifying of interface assertions for infinite state Mealy machines
Journal of Computer and System Sciences | 2014-06-10 | Paper |
Message sequence charts in the development process -- roles and limitations
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
A theory of system interaction: components, interfaces, and services
Interactive Computation | 2013-06-18 | Paper |
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming | 2010-11-25 | Paper |
Service-oriented systems engineering: modeling services and layered architectures
Lecture Notes in Computer Science | 2010-05-26 | Paper |
A functional calculus for specification and verification of nondeterministic interactive systems
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Synchronous message passing: on the relation between bisimulation and refusal equivalence
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
On the correctness of upper layers of automotive systems
Formal Aspects of Computing | 2009-05-27 | Paper |
From “Formal Methods” to System Modeling
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Interaction and Realizability
Lecture Notes in Computer Science | 2008-03-07 | Paper |
| Specifying, relating and composing object oriented interfaces, components and architectures | 2008-03-06 | Paper |
From Chaos to Undefinedness
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Modeling layered distributed communication systems
Formal Aspects of Computing | 2005-12-13 | Paper |
A semantic and methodological essence of message sequence charts
Science of Computer Programming | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 2080751 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2077111 (Why is no real title available?) | 2004-07-01 | Paper |
Modellbildung in der Informatik
Xpert.press | 2004-02-04 | Paper |
| scientific article; zbMATH DE number 1390331 (Why is no real title available?) | 2002-08-08 | Paper |
| From states to histories relating state and history views onto systems | 2002-07-28 | Paper |
Methodology, languages and foundations of software engineering. Final report of the research laboratory SYSLAB (1. 10. 1994--30. 9. 1999)
Informatik. Forschung und Entwicklung | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1696883 (Why is no real title available?) | 2002-01-28 | Paper |
| Trace-oriented models of concurrency | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1368959 (Why is no real title available?) | 2001-11-22 | Paper |
Exercises for the introduction to computer science
Springer-Lehrbuch | 2001-10-30 | Paper |
Specification and Development of Interactive Systems
Monographs in Computer Science | 2001-07-12 | Paper |
| scientific article; zbMATH DE number 1617289 (Why is no real title available?) | 2001-07-11 | Paper |
Adapting Calculational Logic to the Undefined
The Computer Journal | 2000-05-04 | Paper |
Informatik Eine grundlegende Einführung
Springer-Lehrbuch | 1998-11-24 | Paper |
Compositional refinement of interactive systems
Journal of the ACM | 1998-11-04 | Paper |
Übungen zur Einführung in die Informatik
Springer-Lehrbuch | 1997-12-08 | Paper |
| scientific article; zbMATH DE number 1088216 (Why is no real title available?) | 1997-11-17 | Paper |
| scientific article; zbMATH DE number 1034440 (Why is no real title available?) | 1997-07-16 | Paper |
| scientific article; zbMATH DE number 953284 (Why is no real title available?) | 1997-04-13 | Paper |
| scientific article; zbMATH DE number 910718 (Why is no real title available?) | 1996-07-28 | Paper |
| scientific article; zbMATH DE number 827943 (Why is no real title available?) | 1996-02-01 | Paper |
Basic introduction to computer science. P. 4: Theoretical computer science, algorithms and data structures, logic programming, object orientation
Springer-Lehrbuch | 1995-11-29 | Paper |
Computer science. An introduction. Part 3: Structures of systems and assembler programming
Springer-Lehrbuch | 1994-10-25 | Paper |
| scientific article; zbMATH DE number 517378 (Why is no real title available?) | 1994-02-24 | Paper |
Computer science. A fundamental introduction. Part 1: Problem oriented programming
Springer-Lehrbuch | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 92601 (Why is no real title available?) | 1993-01-16 | Paper |
Algebraic and functional specification of an interactive serializable database interface
Distributed Computing | 1992-09-27 | Paper |
Specification and design of shared resource arbitration
International Journal of Parallel Programming | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 3285 (Why is no real title available?) | 1992-06-25 | Paper |
Towards a formal foundation of the specification and description language SDL
Formal Aspects of Computing | 1991-01-01 | Paper |
On denotational versus predicative semantics
Journal of Computer and System Sciences | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4084996 (Why is no real title available?) | 1988-01-01 | Paper |
Nondeterministic data flow programs: How to avoid the merge anomaly
Science of Computer Programming | 1988-01-01 | Paper |
Equational specification of partial higher-order algebras
Theoretical Computer Science | 1988-01-01 | Paper |
Views of queues
Science of Computer Programming | 1988-01-01 | Paper |
Broadcasting buffering communication
Computer Languages | 1988-01-01 | Paper |
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4018360 (Why is no real title available?) | 1987-01-01 | Paper |
Predicative specifications for functional programs describing communicating networks
Information Processing Letters | 1987-01-01 | Paper |
Semantics of finite and infinite networks of concurrent communicating agents
Distributed Computing | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4016180 (Why is no real title available?) | 1987-01-01 | Paper |
Specification and top-down design of distributed systems
Journal of Computer and System Sciences | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4001443 (Why is no real title available?) | 1986-01-01 | Paper |
A theory for nondeterminism, parallelism, communication, and concurrency
Theoretical Computer Science | 1986-01-01 | Paper |
Denotational semantics of communicating sequential programs
Information Processing Letters | 1986-01-01 | Paper |
Algebraic implementations preserve program correctness
Science of Computer Programming | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3986625 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3898216 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3903945 (Why is no real title available?) | 1985-01-01 | Paper |
On the Herbrand-Kleene universe for nondeterministic computations
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3905828 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3890713 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3872646 (Why is no real title available?) | 1984-01-01 | Paper |
A systematic approach to language constructs for concurrent programs
Science of Computer Programming | 1984-01-01 | Paper |
Semantics of communicating processes
Information and Control | 1984-01-01 | Paper |
A systematic study of models of abstract data types
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3881875 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3799001 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3808937 (Why is no real title available?) | 1983-01-01 | Paper |
Denotational semantics of communicating processes based on a language for applicative multiprogramming
Information Processing Letters | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3808940 (Why is no real title available?) | 1983-01-01 | Paper |
On hierarchies of abstract data types
Acta Informatica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3814949 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825899 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3821093 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819064 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825133 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3802788 (Why is no real title available?) | 1982-01-01 | Paper |
Partial abstract types
Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3802794 (Why is no real title available?) | 1982-01-01 | Paper |
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen
Informatik Spektrum | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3723836 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3723898 (Why is no real title available?) | 1981-01-01 | Paper |
Program Development as a Formal Activity
IEEE Transactions on Software Engineering | 1981-01-01 | Paper |
Programming in a wide spectrum language: A collection of examples
Science of Computer Programming | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3774871 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3755851 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3679161 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3688682 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3675284 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3692620 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3722063 (Why is no real title available?) | 1980-01-01 | Paper |
Program development: From enumeration to backtracking
Information Processing Letters | 1980-01-01 | Paper |
Derivation of Invariant Assertions During Program Development by Transformation
ACM Transactions on Programming Languages and Systems | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3630737 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3628362 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3621081 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3621102 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633670 (Why is no real title available?) | 1979-01-01 | Paper |
Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
Information Processing Letters | 1979-01-01 | Paper |
