| Publication | Date of Publication | Type |
|---|
| Well-founded extensive games with perfect information | 2024-11-24 | Paper |
| Nondeterminism and guarded commands | 2024-10-28 | Paper |
| Edsger Dijkstra, the man who carried computer science on his shoulders | 2024-10-28 | Paper |
| Edsger W. Dijkstra in the eyes of his friends, colleagues, and students | 2024-10-28 | Paper |
| Edsger W. Dijkstra: biographical information | 2024-10-28 | Paper |
| Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games | 2024-02-28 | Paper |
| A Brief History of Mathematics for Curious Minds | 2024-02-07 | Paper |
| Proving termination of general Prolog programs | 2022-08-16 | Paper |
| Verification of logic programs with delay declarations | 2022-08-16 | Paper |
| Coordination Games on Weighted Directed Graphs | 2022-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5072477 | 2022-04-28 | Paper |
| Assessing the Success and Impact of Hoare’s Logic | 2022-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018499 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016795 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015383 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015384 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992515 | 2021-06-09 | Paper |
| Self-stabilization through the lens of game theory | 2021-06-03 | Paper |
| Program verification: to err is human | 2021-05-20 | Paper |
| Fifty years of Hoare's logic | 2019-12-18 | Paper |
| When Are Two Gossips the Same? | 2019-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4584903 | 2018-09-04 | Paper |
| From chaotic iteration to constraint propagation | 2018-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4564781 | 2018-06-12 | Paper |
| Coordination games on graphs | 2017-11-10 | Paper |
| Paradoxes in social networks with multiple products | 2017-03-14 | Paper |
| On Decidability of a Logic of Gossips | 2016-11-30 | Paper |
| Common Knowledge in Email Exchanges | 2015-09-17 | Paper |
| A classification of weakly acyclic games | 2015-07-15 | Paper |
| The role of monotonicity in the epistemic analysis of strategic games | 2015-05-19 | Paper |
| Social network games | 2015-02-26 | Paper |
| Coordination Games on Graphs (Extended Abstract) | 2015-01-07 | Paper |
| Social Networks with Competing Products | 2014-04-11 | Paper |
| Selfishness Level of Strategic Games | 2014-03-24 | Paper |
| A Classification of Weakly Acyclic Games | 2013-03-13 | Paper |
| Selfishness Level of Strategic Games | 2013-03-13 | Paper |
| Undominated Groves Mechanisms | 2013-02-25 | Paper |
| Verification of object-oriented programs: a transformational approach | 2012-08-17 | Paper |
| Two Three Pages Papers | 2012-07-16 | Paper |
| Diffusion in Social Networks with Competing Products | 2011-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172527 | 2011-10-05 | Paper |
| Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets | 2010-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3559280 | 2010-05-12 | Paper |
| Principles of Constraint Programming | 2010-05-12 | Paper |
| A GENERIC APPROACH TO COALITION FORMATION | 2010-02-02 | Paper |
| Strategy Elimination in Games with Interaction Structures | 2010-01-07 | Paper |
| Sequential Pivotal Mechanisms for Public Project Problems | 2009-12-01 | Paper |
| The Many Faces of Rationalizability | 2009-09-11 | Paper |
| Verification of sequential and concurrent programs | 2009-09-10 | Paper |
| Comparing the notions of optimality in CP-nets, strategic games and soft constraints | 2009-07-13 | Paper |
| Modular Verification of Recursive Programs | 2009-06-03 | Paper |
| Recent Advances in Constraints | 2009-05-05 | Paper |
| A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games | 2009-01-13 | Paper |
| An analysis of arithmetic constraints on integer intervals | 2007-11-14 | Paper |
| Constraint Logic Programming Using ECLiPSe | 2007-08-10 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Schedulers and redundancy for a class of constraint propagation rules | 2005-10-18 | Paper |
| Constraint programming viewed as rule-based programming | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428289 | 2003-09-15 | Paper |
| Edsger Wybe Dijkstra (1930--2002): A portrait of a genius | 2003-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152951 | 2002-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2782477 | 2002-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767044 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495102 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495105 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264201 | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702566 | 2000-04-09 | Paper |
| The essence of constraint propagation | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4221350 | 1999-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385536 | 1998-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4344071 | 1997-07-09 | Paper |
| A closer look at declarative interpretations | 1997-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332413 | 1997-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4878774 | 1996-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873987 | 1996-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865605 | 1996-02-15 | Paper |
| The STO-problem is NP-hard | 1995-07-03 | Paper |
| Reasoning about prolog programs: From modes through types to assertions | 1995-04-09 | Paper |
| Logic programming and negation: A survey | 1994-10-13 | Paper |
| A new definition of SLDNF-resolution | 1994-09-18 | Paper |
| A declarative approach for first-order built-in's of Prolog | 1994-07-04 | Paper |
| Programmverifikation | 1994-05-16 | Paper |
| Reasoning about termination of pure Prolog programs | 1993-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999717 | 1993-01-23 | Paper |
| An analysis of loop checking mechanisms for logic programs | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3983042 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3348419 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3477998 | 1990-01-01 | Paper |
| Appraising fairness in languages for distributed programming | 1988-01-01 | Paper |
| Two normal form theorems for CSP programs | 1987-01-01 | Paper |
| Syntax directed analysis of liveness properties of while programs | 1986-01-01 | Paper |
| Correctness proofs of distributed termination algorithms | 1986-01-01 | Paper |
| Countable nondeterminism and random assignment | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681909 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681912 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700811 | 1985-01-01 | Paper |
| Fair termination revisited - with delay | 1984-01-01 | Paper |
| Ten years of Hoare's logic: A survey. II: Nondeterminism | 1984-01-01 | Paper |
| Modeling the distributed termination convention of CSP | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347264 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347267 | 1984-01-01 | Paper |
| Proof rules and transformations dealing with fairness | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673097 | 1983-01-01 | Paper |
| Formal Justification of a Proof System for Communicating Sequential Processes | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745244 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316557 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939210 | 1982-01-01 | Paper |
| Contributions to the Theory of Logic Programming | 1982-01-01 | Paper |
| Recursive assertions and parallel programs | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917476 | 1981-01-01 | Paper |
| Ten Years of Hoare's Logic: A Survey—Part I | 1981-01-01 | Paper |
| Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes | 1980-01-01 | Paper |
| Recursive assertions are not enough - or are they? | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3862382 | 1979-01-01 | Paper |
| Inductive definitions, models of comprehension and invariant definability | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4151710 | 1978-01-01 | Paper |
| Recursive Embeddings of Partial Orderings | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124296 | 1977-01-01 | Paper |
| Semantics of the infinitistic rules of proof | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105234 | 1976-01-01 | Paper |
| Second order arithmetic and related topics | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214922 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650384 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5665186 | 1972-01-01 | Paper |
