| Publication | Date of Publication | Type |
|---|
| Three ways of proving termination of loops | 2025-03-25 | Paper |
| 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
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
| A Brief History of Mathematics for Curious Minds | 2024-02-07 | Paper |
Proving termination of general Prolog programs
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Verification of logic programs with delay declarations
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Coordination games on weighted directed graphs
Mathematics of Operations Research | 2022-06-27 | Paper |
| A tutorial for computer scientists on finite extensive games with perfect information | 2022-04-28 | Paper |
A tutorial for computer scientists on finite extensive games with perfect information
(available as arXiv preprint) | 2022-04-28 | Paper |
Assessing the Success and Impact of Hoare’s Logic
Theories of Programming | 2022-02-14 | Paper |
| scientific article; zbMATH DE number 7450017 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450017 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| Common knowledge in a logic of gossips | 2021-12-14 | Paper |
Common knowledge in a logic of gossips
(available as arXiv preprint) | 2021-12-14 | Paper |
| scientific article; zbMATH DE number 7440211 (Why is no real title available?) | 2021-12-07 | Paper |
scientific article; zbMATH DE number 7440211 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-07 | Paper |
| Coordination games on directed graphs | 2021-12-07 | Paper |
Coordination games on directed graphs
(available as arXiv preprint) | 2021-12-07 | Paper |
| scientific article; zbMATH DE number 7356860 (Why is no real title available?) | 2021-06-09 | Paper |
scientific article; zbMATH DE number 7356860 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-09 | Paper |
Self-stabilization through the lens of game theory
(available as arXiv preprint) | 2021-06-03 | Paper |
| Program verification: to err is human | 2021-05-20 | Paper |
Fifty years of Hoare's logic
Formal Aspects of Computing | 2019-12-18 | Paper |
Fifty years of Hoare's logic
Formal Aspects of Computing | 2019-12-18 | Paper |
When Are Two Gossips the Same?
EPiC Series in Computing | 2019-07-04 | Paper |
| scientific article; zbMATH DE number 6931791 (Why is no real title available?) | 2018-09-04 | Paper |
scientific article; zbMATH DE number 6931791 (Why is no real title available?)
(available as arXiv preprint) | 2018-09-04 | Paper |
From chaotic iteration to constraint propagation
Automata, Languages and Programming | 2018-07-04 | Paper |
| Verification of distributed epistemic gossip protocols | 2018-06-12 | Paper |
Coordination games on graphs
International Journal of Game Theory | 2017-11-10 | Paper |
Coordination games on graphs
International Journal of Game Theory | 2017-11-10 | Paper |
Paradoxes in social networks with multiple products
Synthese | 2017-03-14 | Paper |
Paradoxes in social networks with multiple products
Synthese | 2017-03-14 | Paper |
On decidability of a logic of gossips
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Common knowledge in email exchanges
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A classification of weakly acyclic games
Theory and Decision | 2015-07-15 | Paper |
The role of monotonicity in the epistemic analysis of strategic games
Games | 2015-05-19 | Paper |
Social network games
Journal Of Logic And Computation | 2015-02-26 | Paper |
Social network games
Journal Of Logic And Computation | 2015-02-26 | Paper |
Coordination games on graphs (extended abstract)
Web and Internet Economics | 2015-01-07 | Paper |
Social networks with competing products
Fundamenta Informaticae | 2014-04-11 | Paper |
Selfishness Level of Strategic Games
Journal of Artificial Intelligence Research | 2014-03-24 | Paper |
A classification of weakly acyclic games
Algorithmic Game Theory | 2013-03-13 | Paper |
Selfishness level of strategic games
Algorithmic Game Theory | 2013-03-13 | Paper |
Undominated Groves mechanisms
Journal of Artificial Intelligence Research | 2013-02-25 | Paper |
Verification of object-oriented programs: a transformational approach
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Two Three Pages Papers
Logic and Program Semantics | 2012-07-16 | Paper |
Diffusion in social networks with competing products
Algorithmic Game Theory | 2011-10-28 | Paper |
| A primer on strategic games | 2011-10-05 | Paper |
Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets
Lecture Notes in Computer Science | 2010-08-24 | Paper |
| Principles of Constraint Programming | 2010-05-12 | Paper |
| Principles of constraint programming. | 2010-05-12 | Paper |
A generic approach to coalition formation
International Game Theory Review | 2010-02-02 | Paper |
Strategy elimination in games with interaction structures
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Sequential pivotal mechanisms for public project problems
Algorithmic Game Theory | 2009-12-01 | Paper |
The Many Faces of Rationalizability
The B.E. Journal of Theoretical Economics | 2009-09-11 | Paper |
Verification of sequential and concurrent programs
Texts in Computer Science | 2009-09-10 | Paper |
Comparing the notions of optimality in CP-nets, strategic games and soft constraints
Annals of Mathematics and Artificial Intelligence | 2009-07-13 | Paper |
Modular Verification of Recursive Programs
Languages: From Formal to Natural | 2009-06-03 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2009-05-05 | Paper |
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games
Lecture Notes in Computer Science | 2009-01-13 | Paper |
An analysis of arithmetic constraints on integer intervals
Constraints | 2007-11-14 | Paper |
| Constraint Logic Programming Using ECL<sup><i>i</i></sup>PS<sup><i>e</i></sup> | 2007-08-10 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Schedulers and redundancy for a class of constraint propagation rules
Theory and Practice of Logic Programming | 2005-10-18 | Paper |
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1980915 (Why is no real title available?) | 2003-09-15 | Paper |
Edsger Wybe Dijkstra (1930--2002): A portrait of a genius
Formal Aspects of Computing | 2003-08-27 | Paper |
| scientific article; zbMATH DE number 1822447 (Why is no real title available?) | 2002-11-03 | Paper |
| Programming in Alma-0, or imperative and declarative programming reconciled | 2002-08-05 | Paper |
| scientific article; zbMATH DE number 1696787 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1487973 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1487976 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1337861 (Why is no real title available?) | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1368923 (Why is no real title available?) | 2000-04-09 | Paper |
The essence of constraint propagation
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1234564 (Why is no real title available?) | 1999-05-04 | Paper |
| scientific article; zbMATH DE number 1142320 (Why is no real title available?) | 1998-05-14 | Paper |
| scientific article; zbMATH DE number 1032897 (Why is no real title available?) | 1997-07-09 | Paper |
A closer look at declarative interpretations
The Journal of Logic Programming | 1997-06-09 | Paper |
| scientific article; zbMATH DE number 978237 (Why is no real title available?) | 1997-04-21 | Paper |
| scientific article; zbMATH DE number 879005 (Why is no real title available?) | 1996-05-14 | Paper |
| scientific article; zbMATH DE number 868104 (Why is no real title available?) | 1996-04-21 | Paper |
| scientific article; zbMATH DE number 845588 (Why is no real title available?) | 1996-02-15 | Paper |
The STO-problem is NP-hard
Journal of Symbolic Computation | 1995-07-03 | Paper |
Reasoning about prolog programs: From modes through types to assertions
Formal Aspects of Computing | 1995-04-09 | Paper |
Logic programming and negation: A survey
The Journal of Logic Programming | 1994-10-13 | Paper |
A new definition of SLDNF-resolution
The Journal of Logic Programming | 1994-09-18 | Paper |
A declarative approach for first-order built-in's of Prolog
Applicable Algebra in Engineering, Communication and Computing | 1994-07-04 | Paper |
Programmverifikation
Springer-Lehrbuch | 1994-05-16 | Paper |
Reasoning about termination of pure Prolog programs
Information and Computation | 1993-12-12 | Paper |
| scientific article; zbMATH DE number 50008 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 25189 (Why is no real title available?) | 1992-06-26 | Paper |
An analysis of loop checking mechanisms for logic programs
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4199630 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4147557 (Why is no real title available?) | 1990-01-01 | Paper |
Appraising fairness in languages for distributed programming
Distributed Computing | 1988-01-01 | Paper |
Two normal form theorems for CSP programs
Information Processing Letters | 1987-01-01 | Paper |
Countable nondeterminism and random assignment
Journal of the ACM | 1986-01-01 | Paper |
Correctness proofs of distributed termination algorithms
ACM Transactions on Programming Languages and Systems | 1986-01-01 | Paper |
Syntax directed analysis of liveness properties of while programs
Information and Control | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3903944 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3903947 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3926219 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3890707 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3890704 (Why is no real title available?) | 1984-01-01 | Paper |
Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
Ten years of Hoare's logic: A survey. II: Nondeterminism
Theoretical Computer Science | 1984-01-01 | Paper |
Fair termination revisited - with delay
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3827195 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3800908 (Why is no real title available?) | 1983-01-01 | Paper |
Proof rules and transformations dealing with fairness
Science of Computer Programming | 1983-01-01 | Paper |
Formal Justification of a Proof System for Communicating Sequential Processes
Journal of the ACM | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3846836 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3755844 (Why is no real title available?) | 1982-01-01 | Paper |
Contributions to the Theory of Logic Programming
Journal of the ACM | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3729429 (Why is no real title available?) | 1981-01-01 | Paper |
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems | 1981-01-01 | Paper |
Recursive assertions and parallel programs
Acta Informatica | 1981-01-01 | Paper |
Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes
SIAM Journal on Computing | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3664338 (Why is no real title available?) | 1979-01-01 | Paper |
Recursive assertions are not enough - or are they?
Theoretical Computer Science | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3583259 (Why is no real title available?) | 1978-01-01 | Paper |
Inductive definitions, models of comprehension and invariant definability
Israel Journal of Mathematics | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3550151 (Why is no real title available?) | 1977-01-01 | Paper |
Recursive Embeddings of Partial Orderings
Canadian Journal of Mathematics | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3527792 (Why is no real title available?) | 1976-01-01 | Paper |
Semantics of the infinitistic rules of proof
Journal of Symbolic Logic | 1976-01-01 | Paper |
Second order arithmetic and related topics
Annals of Mathematical Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3427347 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3397532 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3380608 (Why is no real title available?) | 1972-01-01 | Paper |
