The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. 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]
  2. 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]
  3. Krzysztof R. Apt, Marc Bezem
    Acyclic Programs. [Citation Graph (5, 0)][DBLP]
    ICLP, 1990, pp:617-633 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Krzysztof R. Apt, Ingrid Luitjes
    Verification of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:66-90 [Conf]
  12. 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]
  13. Krzysztof R. Apt
    Explaining Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:55-69 [Conf]
  14. Krzysztof R. Apt
    A Denotational Semantics for First-Order Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:53-69 [Conf]
  15. Krzysztof R. Apt
    Some Remarks on Boolean Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:91-107 [Conf]
  16. Krzysztof R. Apt
    The Rough Guide to Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:1-23 [Conf]
  17. Krzysztof R. Apt, Sebastian Brand
    Infinite Qualitative Simulations by Means of Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:29-43 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Krzysztof R. Apt
    From Chaotic Iteration to Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:36-55 [Conf]
  22. 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]
  23. 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]
  24. Krzysztof R. Apt, Gordon D. Plotkin
    A Cook's Tour of Countable Nondeterminism. [Citation Graph (0, 0)][DBLP]
    ICALP, 1981, pp:479-494 [Conf]
  25. Krzysztof R. Apt, Maurizio Gabbrielli
    Declarative Interpretations Reconsidered. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:74-89 [Conf]
  26. Krzysztof R. Apt
    A Static Analysis of CSP Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:1-17 [Conf]
  27. 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]
  28. 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]
  29. Krzysztof R. Apt, J. W. de Bakker
    Exercises in Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:1-11 [Conf]
  30. Krzysztof R. Apt, Sandro Etalle
    On the Unification Free Prolog Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:1-19 [Conf]
  31. Krzysztof R. Apt
    Towards Automatic Parallelization of Logic Programs (Abstract). [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:1- [Conf]
  32. Krzysztof R. Apt, Alessandro Pellegrini
    Why the Occur-Check is Not a Problem. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:69-86 [Conf]
  33. 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]
  34. Krzysztof R. Apt, Andrea Schaerf
    Search and Imperative Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:67-79 [Conf]
  35. Krzysztof R. Apt, Sebastian Brand
    Schedulers for Rule-Based Constraint Programming. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:14-21 [Conf]
  36. Krzysztof R. Apt
    Declarative Programming in Prolog. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:12-35 [Conf]
  37. 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]
  38. Krzysztof R. Apt, Dino Pedreschi
    Proving Termination of General Prolog Programs. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:265-289 [Conf]
  39. Krzysztof R. Apt
    Order independence and rationalizability. [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:22-38 [Conf]
  40. Krzysztof R. Apt, Sebastian Brand
    Constraint-Based Qualitative Simulation. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:26-34 [Conf]
  41. 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]
  42. Krzysztof R. Apt
    Recursive Assertions and Parallel Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:15, n:, pp:219-232 [Journal]
  43. 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]
  44. Krzysztof R. Apt, Eric Monfroy
    Constraint Programming viewed as Rule-based Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  45. Krzysztof R. Apt
    Some Remarks on Boolean Constraint Propagation [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  46. Krzysztof R. Apt
    A Proof Theoretic View of Constraint Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  47. Krzysztof R. Apt
    The Essence of Constraint Propagation [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  48. Krzysztof R. Apt
    The Rough Guide to Constraint Propagation [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  49. 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]
  50. Krzysztof R. Apt, Sebastian Brand
    Schedulers for Rule-based Constraint Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  51. 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]
  52. Krzysztof R. Apt
    One More Revolution to Make: Free Scientific Publishing [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. Krzysztof R. Apt, Marc Bezem
    Formulas as Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  58. 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]
  59. Krzysztof R. Apt
    The Role of Commutativity in Constraint Propagation Algorithms [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  60. Krzysztof R. Apt
    A Denotational Semantics for First-Order Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  61. Krzysztof R. Apt
    The Logic Programming Paradigm and Prolog [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. 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]
  72. 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]
  73. 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]
  74. 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]
  75. 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]
  76. 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]
  77. 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]
  78. 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]
  79. 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]
  80. 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]
  81. 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]
  82. 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]
  83. 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]
  84. 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]
  85. 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]
  86. 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]
  87. 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]
  88. 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]
  89. 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]
  90. Krzysztof R. Apt
    Editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:4, pp:673- [Journal]
  91. 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]
  92. 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]
  93. 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]
  94. 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]
  95. 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]
  96. 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]
  97. 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]
  98. 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]
  99. 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]
  100. 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]
  101. 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]
  102. Krzysztof R. Apt, Arantza Estévez-Fernández
    Sequential mechanism design [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  103. Krzysztof R. Apt
    Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  104. Krzysztof R. Apt
    Relative Strength of Strategy Elimination Procedures [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  105. Krzysztof R. Apt
    Explaining Constraint Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  106. Krzysztof R. Apt, Tadeusz Radzik
    Stable partitions in coalitional games [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  107. Krzysztof R. Apt, Sebastian Brand
    Constraint-Based Qualitative Simulation [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  108. 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]
  109. Krzysztof R. Apt
    The Many Faces of Rationalizability [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  110. 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]
  111. Krzysztof R. Apt, Andreas Witzel
    A Generic Approach to Coalition Formation [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  112. 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]

  113. Optimal strategies in sequential bidding. [Citation Graph (, )][DBLP]


  114. Modular Verification of Recursive Programs. [Citation Graph (, )][DBLP]


  115. Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. [Citation Graph (, )][DBLP]


  116. A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games. [Citation Graph (, )][DBLP]


  117. Epistemic analysis of strategic games with arbitrary strategy sets. [Citation Graph (, )][DBLP]


  118. Common knowledge in interaction structures. [Citation Graph (, )][DBLP]


  119. Welfare Undominated Groves Mechanisms. [Citation Graph (, )][DBLP]


  120. Sequential Bidding in the Bailey-Cavallo Mechanism. [Citation Graph (, )][DBLP]


  121. A Distributed Platform for Mechanism Design. [Citation Graph (, )][DBLP]


  122. Sequential Pivotal Mechanisms for Public Project Problems. [Citation Graph (, )][DBLP]


  123. Strategy Elimination in Games with Interaction Structures. [Citation Graph (, )][DBLP]


  124. Comparing the notions of optimality in CP-nets, strategic games and soft constraints. [Citation Graph (, )][DBLP]


  125. An Analysis of Arithmetic Constraints on Integer Intervals. [Citation Graph (, )][DBLP]


  126. Order Independence and Rationalizability [Citation Graph (, )][DBLP]


  127. CP-nets and Nash equilibria [Citation Graph (, )][DBLP]


  128. A System for Distributed Mechanisms: Design, Implementation and Applications [Citation Graph (, )][DBLP]


  129. Comparing the notions of optimality in CP-nets, strategic games and soft constraints [Citation Graph (, )][DBLP]


  130. A comparison of the notions of optimality in soft constraints and graphical games [Citation Graph (, )][DBLP]


  131. Sequential pivotal mechanisms for public project problems [Citation Graph (, )][DBLP]


  132. Welfare Undominated Groves Mechanisms [Citation Graph (, )][DBLP]


  133. Optimal Strategies in Sequential Bidding [Citation Graph (, )][DBLP]


  134. A Distributed Platform for Mechanism Design [Citation Graph (, )][DBLP]


  135. Common Knowledge in Interaction Structures [Citation Graph (, )][DBLP]


  136. Modular Verification of Recursive Programs [Citation Graph (, )][DBLP]


  137. Strategy elimination in games with interaction structures [Citation Graph (, )][DBLP]


  138. Verification of Object-Oriented Programs: a Transformational Approach [Citation Graph (, )][DBLP]


  139. Direct Proofs of Order Independence [Citation Graph (, )][DBLP]


  140. Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets [Citation Graph (, )][DBLP]


Search in 0.120secs, Finished in 0.126secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002