SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Krzysztof R. Apt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Krzysztof R. Apt, Maarten H. van Emden
Contributions to the Theory of Logic Programming. [Citation Graph (34, 0)][DBLP]
J. ACM, 1982, v:29, n:3, pp:841-862 [Journal]
Krzysztof R. Apt, Jean-Marc Pugin
Maintenance of Stratified Databases Viewed as a Belief Revision System. [Citation Graph (6, 10)][DBLP]
PODS, 1987, pp:136-145 [Conf]
Krzysztof R. Apt, Marc Bezem
Acyclic Programs. [Citation Graph (5, 0)][DBLP]
ICLP, 1990, pp:617-633 [Conf]
Krzysztof R. Apt, Roland N. Bol
Logic Programming and Negation: A Survey. [Citation Graph (2, 0)][DBLP]
J. Log. Program., 1994, v:19, n:, pp:9-71 [Journal]
Krzysztof R. Apt, Howard A. Blair
Arithmetic Classification of Perfect Models of Stratified Programs. [Citation Graph (1, 0)][DBLP]
ICLP/SLP, 1988, pp:765-779 [Conf]
Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop
On the Safe Termination of PROLOG Programs. [Citation Graph (1, 0)][DBLP]
ICLP, 1989, pp:353-368 [Conf]
Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop
An Analysis of Loop Checking Mechanisms for Logic Programs. [Citation Graph (1, 0)][DBLP]
Theor. Comput. Sci., 1991, v:86, n:1, pp:35-79 [Journal]
Krzysztof R. Apt
Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
GULP-PRODE, 1995, pp:19-36 [Conf]
Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi
A Theory of First-Order Built-in's of Prolog. [Citation Graph (0, 0)][DBLP]
ALP, 1992, pp:69-83 [Conf]
Ernst-Rüdiger Olderog, Krzysztof R. Apt
Using Transformation to Verify Parallel Programs. [Citation Graph (0, 0)][DBLP]
Algebraic Methods, 1989, pp:55-81 [Conf]
Krzysztof R. Apt, Ingrid Luitjes
Verification of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
AMAST, 1995, pp:66-90 [Conf]
Krzysztof R. Apt, Andrea Schaerf
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. [Citation Graph (0, 0)][DBLP]
Correct System Design, 1999, pp:89-113 [Conf]
Krzysztof R. Apt
Explaining Constraint Programming. [Citation Graph (0, 0)][DBLP]
Processes, Terms and Cycles, 2005, pp:55-69 [Conf]
Krzysztof R. Apt
A Denotational Semantics for First-Order Logic. [Citation Graph (0, 0)][DBLP]
Computational Logic, 2000, pp:53-69 [Conf]
Krzysztof R. Apt
Some Remarks on Boolean Constraint Propagation. [Citation Graph (0, 0)][DBLP]
New Trends in Constraints, 1999, pp:91-107 [Conf]
Krzysztof R. Apt
The Rough Guide to Constraint Propagation. [Citation Graph (0, 0)][DBLP]
CP, 1999, pp:1-23 [Conf]
Krzysztof R. Apt, Sebastian Brand
Infinite Qualitative Simulations by Means of Constraint Programming. [Citation Graph (0, 0)][DBLP]
CP, 2006, pp:29-43 [Conf]
Krzysztof R. Apt, Eric Monfroy
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. [Citation Graph (0, 0)][DBLP]
CP, 1999, pp:58-72 [Conf]
Krzysztof R. Apt, Peter Zoeteweij
A Comparative Study of Arithmetic Constraints on Integer Intervals. [Citation Graph (0, 0)][DBLP]
CSCLP, 2003, pp:1-24 [Conf]
Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop
On the Power of Subsumption and Context Checks. [Citation Graph (0, 0)][DBLP]
DISCO, 1990, pp:131-140 [Conf]
Krzysztof R. Apt
From Chaotic Iteration to Constraint Propagation. [Citation Graph (0, 0)][DBLP]
ICALP, 1997, pp:36-55 [Conf]
Krzysztof R. Apt, J. W. de Bakker
Semantics and Proof Theory of Pascal Procedures. [Citation Graph (0, 0)][DBLP]
ICALP, 1977, pp:30-44 [Conf]
Krzysztof R. Apt, Carole Delporte
An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP]
ICALP, 1983, pp:15-27 [Conf]
Krzysztof R. Apt, Gordon D. Plotkin
A Cook's Tour of Countable Nondeterminism. [Citation Graph (0, 0)][DBLP]
ICALP, 1981, pp:479-494 [Conf]
Krzysztof R. Apt, Maurizio Gabbrielli
Declarative Interpretations Reconsidered. [Citation Graph (0, 0)][DBLP]
ICLP, 1994, pp:74-89 [Conf]
Krzysztof R. Apt
A Static Analysis of CSP Programs. [Citation Graph (0, 0)][DBLP]
Logic of Programs, 1983, pp:1-17 [Conf]
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Proof Rules Dealing with Fairness. [Citation Graph (0, 0)][DBLP]
Logic of Programs, 1981, pp:1-8 [Conf]
Krzysztof R. Apt, C. F. M. Vermeulen
First-Order Logic as a Constraint Programming Language. [Citation Graph (0, 0)][DBLP]
LPAR, 2002, pp:19-35 [Conf]
Krzysztof R. Apt, J. W. de Bakker
Exercises in Denotational Semantics. [Citation Graph (0, 0)][DBLP]
MFCS, 1976, pp:1-11 [Conf]
Krzysztof R. Apt, Sandro Etalle
On the Unification Free Prolog Programs. [Citation Graph (0, 0)][DBLP]
MFCS, 1993, pp:1-19 [Conf]
Krzysztof R. Apt
Towards Automatic Parallelization of Logic Programs (Abstract). [Citation Graph (0, 0)][DBLP]
MPC, 1995, pp:1- [Conf]
Krzysztof R. Apt, Alessandro Pellegrini
Why the Occur-Check is Not a Problem. [Citation Graph (0, 0)][DBLP]
PLILP, 1992, pp:69-86 [Conf]
Krzysztof R. Apt, Nissim Francez, Shmuel Katz
Appraising Fairness in Languages for Distributed Programming. [Citation Graph (0, 0)][DBLP]
POPL, 1987, pp:189-198 [Conf]
Krzysztof R. Apt, Andrea Schaerf
Search and Imperative Programming. [Citation Graph (0, 0)][DBLP]
POPL, 1997, pp:67-79 [Conf]
Krzysztof R. Apt, Sebastian Brand
Schedulers for Rule-Based Constraint Programming. [Citation Graph (0, 0)][DBLP]
SAC, 2003, pp:14-21 [Conf]
Krzysztof R. Apt
Declarative Programming in Prolog. [Citation Graph (0, 0)][DBLP]
ILPS, 1993, pp:12-35 [Conf]
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Transformations Realizing Fairness Assumptions for Parallel Programs. [Citation Graph (0, 0)][DBLP]
STACS, 1984, pp:26-42 [Conf]
Krzysztof R. Apt, Dino Pedreschi
Proving Termination of General Prolog Programs. [Citation Graph (0, 0)][DBLP]
TACS, 1991, pp:265-289 [Conf]
Krzysztof R. Apt
Order independence and rationalizability. [Citation Graph (0, 0)][DBLP]
TARK, 2005, pp:22-38 [Conf]
Krzysztof R. Apt, Sebastian Brand
Constraint-Based Qualitative Simulation. [Citation Graph (0, 0)][DBLP]
TIME, 2005, pp:26-34 [Conf]
Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi
A Declarative Approach for First-Order Built-in's of Prolog. [Citation Graph (0, 0)][DBLP]
Appl. Algebra Eng. Commun. Comput., 1994, v:5, n:, pp:159-191 [Journal]
Krzysztof R. Apt
Recursive Assertions and Parallel Programs. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1981, v:15, n:, pp:219-232 [Journal]
Krzysztof R. Apt
Viewpoint: One more revolution to make: free scientific publishing. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 2001, v:44, n:5, pp:25-28 [Journal]
Krzysztof R. Apt, Eric Monfroy
Constraint Programming viewed as Rule-based Programming [Citation Graph (0, 0)][DBLP]
CoRR, 2000, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
Some Remarks on Boolean Constraint Propagation [Citation Graph (0, 0)][DBLP]
CoRR, 2000, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
A Proof Theoretic View of Constraint Programming [Citation Graph (0, 0)][DBLP]
CoRR, 1998, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
The Essence of Constraint Propagation [Citation Graph (0, 0)][DBLP]
CoRR, 1998, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
The Rough Guide to Constraint Propagation [Citation Graph (0, 0)][DBLP]
CoRR, 1999, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Eric Monfroy
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains [Citation Graph (0, 0)][DBLP]
CoRR, 1999, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Sebastian Brand
Schedulers for Rule-based Constraint Programming [Citation Graph (0, 0)][DBLP]
CoRR, 2002, v:0, n:, pp:- [Journal]
Sebastian Brand, Krzysztof R. Apt
Schedulers and Redundancy for a Class of Constraint Propagation Rules [Citation Graph (0, 0)][DBLP]
CoRR, 2004, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
One More Revolution to Make: Free Scientific Publishing [Citation Graph (0, 0)][DBLP]
CoRR, 2001, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
Edsger Wybe Dijkstra (1930 - 2002): A Portrait of a Genius [Citation Graph (0, 0)][DBLP]
CoRR, 2002, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
Uniform Proofs of Order Independence for Various Strategy Elimination Procedures [Citation Graph (0, 0)][DBLP]
CoRR, 2004, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Andrea Schaerf
Programming in Alma-0, or Imperative and Declarative Programming Reconciled [Citation Graph (0, 0)][DBLP]
CoRR, 2000, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, C. F. M. Vermeulen
First-order Logic as a Constraint Programming Language [Citation Graph (0, 0)][DBLP]
CoRR, 2002, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Marc Bezem
Formulas as Programs [Citation Graph (0, 0)][DBLP]
CoRR, 1998, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Andrea Schaerf
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming [Citation Graph (0, 0)][DBLP]
CoRR, 1999, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
The Role of Commutativity in Constraint Propagation Algorithms [Citation Graph (0, 0)][DBLP]
CoRR, 2000, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
A Denotational Semantics for First-Order Logic [Citation Graph (0, 0)][DBLP]
CoRR, 2000, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
The Logic Programming Paradigm and Prolog [Citation Graph (0, 0)][DBLP]
CoRR, 2001, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Peter Zoeteweij
A Comparative Study of Arithmetic Constraints on Integer Intervals [Citation Graph (0, 0)][DBLP]
CoRR, 2004, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Nissim Francez, Shmuel Katz
Appraising Fairness in Languages for Distributed Programming. [Citation Graph (0, 0)][DBLP]
Distributed Computing, 1988, v:2, n:4, pp:226-241 [Journal]
Krzysztof R. Apt
Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 2002, v:14, n:2, pp:92-98 [Journal]
Krzysztof R. Apt, Elena Marchiori
Reasoning About Prolog Programs: From Modes Through Types to Assertions. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1994, v:6, n:6A, pp:743-765 [Journal]
Krzysztof R. Apt
A Proof Theoretic View of Constraint Programming. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1998, v:34, n:3, pp:295-321 [Journal]
Krzysztof R. Apt, Howard A. Blair
Arithmetic classification of perfect models of stratified programs. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1991, v:14, n:3, pp:339-343 [Journal]
Krzysztof R. Apt, Rachel Ben-Eliyahu
Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1996, v:28, n:1-2, pp:23-36 [Journal]
Krzysztof R. Apt, Carole Delporte-Gallet
Syntax Directed Analysis of Liveness Properties [Citation Graph (0, 0)][DBLP]
Information and Control, 1986, v:68, n:1-3, pp:223-253 [Journal]
Krzysztof R. Apt, Dino Pedreschi
Reasoning about Termination of Pure Prolog Programs [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1993, v:106, n:1, pp:109-157 [Journal]
Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1991, v:40, n:3, pp:141-142 [Journal]
Krzysztof R. Apt, Luc Bougé, Ph. Clermont
Two Normal Form Theorems for CSP Programs. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1987, v:26, n:4, pp:165-171 [Journal]
Krzysztof R. Apt, Dexter Kozen
Limits for Automatic Verification of Finite-State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1986, v:22, n:6, pp:307-309 [Journal]
Krzysztof R. Apt, Gordon D. Plotkin
Countable nondeterminism and random assignment. [Citation Graph (0, 0)][DBLP]
J. ACM, 1986, v:33, n:4, pp:724-767 [Journal]
Krzysztof R. Apt
Formal Justification of a Proof System for Communicating Sequential Processes [Citation Graph (0, 0)][DBLP]
J. ACM, 1983, v:30, n:1, pp:197-216 [Journal]
Krzysztof R. Apt
Review of Foundations of Logic Programs. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1985, v:2, n:3, pp:233-234 [Journal]
Krzysztof R. Apt, Kees Doets
A New Definition of SNDNF-Resolution. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1994, v:18, n:2, pp:177-190 [Journal]
Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi
A Closer Look at Declarative Interpretations. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1996, v:28, n:2, pp:147-180 [Journal]
Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling
The STO-Problem is NP-Hard. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1994, v:18, n:5, pp:489-495 [Journal]
Krzysztof R. Apt
Semantics of the Infinitistic Rules of Proof. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1976, v:41, n:1, pp:121-138 [Journal]
Krzysztof R. Apt, Marc Bezem
Acyclic Programs. [Citation Graph (0, 0)][DBLP]
New Generation Comput., 1991, v:9, n:3/4, pp:335-364 [Journal]
Krzysztof R. Apt
Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1996, v:26, n:1-3, pp:133-148 [Journal]
Krzysztof R. Apt, Masami Hagiya
Foreword: Selected Papers of TACS 1991. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1993, v:21, n:2, pp:91-92 [Journal]
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Proof Rules and Transformations Dealing with Fairness. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1983, v:3, n:1, pp:65-100 [Journal]
Krzysztof R. Apt, Lambert G. L. T. Meertens
Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes. [Citation Graph (0, 0)][DBLP]
SIAM J. Comput., 1980, v:9, n:4, pp:665-671 [Journal]
Krzysztof R. Apt
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1984, v:28, n:, pp:83-109 [Journal]
Krzysztof R. Apt
The Essence of Constraint Propagation. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1999, v:221, n:1-2, pp:179-210 [Journal]
Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens
Recursive Assertions are not enough - or are they? [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1979, v:8, n:, pp:73-87 [Journal]
Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi
Fair Termination Revisited-With Delay. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1984, v:33, n:, pp:65-84 [Journal]
Krzysztof R. Apt
Editorial. [Citation Graph (0, 0)][DBLP]
ACM Trans. Comput. Log., 2005, v:6, n:4, pp:673- [Journal]
Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri
Editorial. [Citation Graph (0, 0)][DBLP]
ACM Trans. Comput. Log., 2001, v:2, n:4, pp:431- [Journal]
Krzysztof R. Apt
The role of commutativity in constraint propagation algorithms. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 2000, v:22, n:6, pp:1002-1036 [Journal]
Krzysztof R. Apt
Ten Years of Hoare's Logic: A Survey - Part 1. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1981, v:3, n:4, pp:431-483 [Journal]
Krzysztof R. Apt
Correctness Proofs of Distributed Termination Algorithms. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:388-405 [Journal]
Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf
Alma-O: An Imperative Language That Supports Declarative Programming. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1998, v:20, n:5, pp:1014-1066 [Journal]
Krzysztof R. Apt, Nissim Francez
Modeling the Distributed Termination Convention of CSP. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1984, v:6, n:3, pp:370-379 [Journal]
Krzysztof R. Apt, Nissim Francez, Willem P. de Roever
A Proof System for Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:359-385 [Journal]
Krzysztof R. Apt, Alessandro Pellegrini
On the Occur-Check-Free Prolog Programs. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:687-726 [Journal]
Ernst-Rüdiger Olderog, Krzysztof R. Apt
Fairness in Parallel Programs: The Transformational Approach. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1988, v:10, n:3, pp:420-455 [Journal]
Krzysztof R. Apt
Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7. [Citation Graph (0, 0)][DBLP]
TPLP, 2002, v:2, n:1, pp:123-124 [Journal]
Krzysztof R. Apt, Eric Monfroy
Constraint programming viewed as rule-based programming. [Citation Graph (0, 0)][DBLP]
TPLP, 2001, v:1, n:6, pp:713-750 [Journal]
Krzysztof R. Apt, Arantza Estévez-Fernández
Sequential mechanism design [Citation Graph (0, 0)][DBLP]
CoRR, 2007, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets [Citation Graph (0, 0)][DBLP]
CoRR, 2007, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
Relative Strength of Strategy Elimination Procedures [Citation Graph (0, 0)][DBLP]
CoRR, 2007, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
Explaining Constraint Programming [Citation Graph (0, 0)][DBLP]
CoRR, 2006, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Tadeusz Radzik
Stable partitions in coalitional games [Citation Graph (0, 0)][DBLP]
CoRR, 2006, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Sebastian Brand
Constraint-Based Qualitative Simulation [Citation Graph (0, 0)][DBLP]
CoRR, 2005, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Peter Zoeteweij
An Analysis of Arithmetic Constraints on Integer Intervals [Citation Graph (0, 0)][DBLP]
CoRR, 2006, v:0, n:, pp:- [Journal]
Krzysztof R. Apt
The Many Faces of Rationalizability [Citation Graph (0, 0)][DBLP]
CoRR, 2006, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Sebastian Brand
Infinite Qualitative Simulations by Means of Constraint Programming [Citation Graph (0, 0)][DBLP]
CoRR, 2006, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Andreas Witzel
A Generic Approach to Coalition Formation [Citation Graph (0, 0)][DBLP]
CoRR, 2007, v:0, n:, pp:- [Journal]
Krzysztof R. Apt, Jonathan A. Zvesper
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets [Citation Graph (0, 0)][DBLP]
CoRR, 2007, v:0, n:, pp:- [Journal]
Optimal strategies in sequential bidding. [Citation Graph (, )][DBLP]
Modular Verification of Recursive Programs. [Citation Graph (, )][DBLP]
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. [Citation Graph (, )][DBLP]
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games. [Citation Graph (, )][DBLP]
Epistemic analysis of strategic games with arbitrary strategy sets. [Citation Graph (, )][DBLP]
Common knowledge in interaction structures. [Citation Graph (, )][DBLP]
Welfare Undominated Groves Mechanisms. [Citation Graph (, )][DBLP]
Sequential Bidding in the Bailey-Cavallo Mechanism. [Citation Graph (, )][DBLP]
A Distributed Platform for Mechanism Design. [Citation Graph (, )][DBLP]
Sequential Pivotal Mechanisms for Public Project Problems. [Citation Graph (, )][DBLP]
Strategy Elimination in Games with Interaction Structures. [Citation Graph (, )][DBLP]
Comparing the notions of optimality in CP-nets, strategic games and soft constraints. [Citation Graph (, )][DBLP]
An Analysis of Arithmetic Constraints on Integer Intervals. [Citation Graph (, )][DBLP]
Order Independence and Rationalizability [Citation Graph (, )][DBLP]
CP-nets and Nash equilibria [Citation Graph (, )][DBLP]
A System for Distributed Mechanisms: Design, Implementation and Applications [Citation Graph (, )][DBLP]
Comparing the notions of optimality in CP-nets, strategic games and soft constraints [Citation Graph (, )][DBLP]
A comparison of the notions of optimality in soft constraints and graphical games [Citation Graph (, )][DBLP]
Sequential pivotal mechanisms for public project problems [Citation Graph (, )][DBLP]
Welfare Undominated Groves Mechanisms [Citation Graph (, )][DBLP]
Optimal Strategies in Sequential Bidding [Citation Graph (, )][DBLP]
A Distributed Platform for Mechanism Design [Citation Graph (, )][DBLP]
Common Knowledge in Interaction Structures [Citation Graph (, )][DBLP]
Modular Verification of Recursive Programs [Citation Graph (, )][DBLP]
Strategy elimination in games with interaction structures [Citation Graph (, )][DBLP]
Verification of Object-Oriented Programs: a Transformational Approach [Citation Graph (, )][DBLP]
Direct Proofs of Order Independence [Citation Graph (, )][DBLP]
Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets [Citation Graph (, )][DBLP]

Search in 0.006secs, Finished in 0.609secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP