Krzysztof R. Apt
Identifiers
- name variant Krzysztof R. Apt 0.60 · backfill
Papers (62)
- Self-Stabilization Through the Lens of Game Theory cs.GT · 2019 · author #1
- When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols cs.MA · 2018 · author #1
- Coordination Games on Graphs cs.GT · 2015 · author #1
- Social Network Games with Obligatory Product Selection cs.GT · 2013 · author #1
- The H-index can be easily manipulated cs.CC · 2013 · author #2
- Paradoxes in Social Networks with Multiple Products cs.GT · 2013 · author #1
- Social Network Games cs.GT · 2012 · author #2
- A Classification of Weakly Acyclic Games cs.GT · 2012 · author #1
- Social Networks with Competing Products cs.SI · 2012 · author #1
- Undominated Groves Mechanisms cs.GT · 2012 · author #3
- Choosing Products in Social Networks cs.SI · 2012 · author #2
- Common Knowledge in Email Exchanges cs.LO · 2011 · author #2
- Diffusion in Social Networks with Competing Products cs.SI · 2011 · author #1
- Selfishness Level of Strategic Games cs.GT · 2011 · author #1
- A Primer on Strategic Games cs.GT · 2011 · author #1
- Public Announcements in Strategic Games with Arbitrary Strategy Sets cs.GT · 2010 · author #1
- The Role of Monotonicity in the Epistemic Analysis of Strategic Games cs.GT · 2010 · author #1
- Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets cs.GT · 2010 · author #2
- Direct Proofs of Order Independence cs.GT · 2010 · author #1
- Verification of Object-Oriented Programs: a Transformational Approach cs.LO · 2010 · author #1
- Distributed iterated elimination of strictly dominated strategies cs.GT · 2009 · author #2
- Modular Verification of Recursive Programs cs.LO · 2009 · author #1
- Common Knowledge in Interaction Structures cs.LO · 2009 · author #1
- A Distributed Platform for Mechanism Design cs.GT · 2008 · author #1
- Optimal Strategies in Sequential Bidding cs.GT · 2008 · author #1
- Welfare Undominated Groves Mechanisms cs.GT · 2008 · author #1
- A comparison of the notions of optimality in soft constraints and graphical games cs.AI · 2008 · author #1
- Sequential pivotal mechanisms for public project problems cs.GT · 2008 · author #1
- Comparing the notions of optimality in CP-nets, strategic games and soft constraints cs.AI · 2007 · author #1
- A System for Distributed Mechanisms: Design, Implementation and Applications cs.DC · 2007 · author #1
- Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets cs.GT · 2007 · author #1
- A Generic Approach to Coalition Formation cs.GT · 2007 · author #1
- Relative Strength of Strategy Elimination Procedures cs.GT · 2007 · author #1
- Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets cs.GT · 2007 · author #1
- Sequential mechanism design cs.GT · 2007 · author #1
- Infinite Qualitative Simulations by Means of Constraint Programming cs.AI · 2006 · author #1
- The Many Faces of Rationalizability cs.GT · 2006 · author #1
- An Analysis of Arithmetic Constraints on Integer Intervals cs.AI · 2006 · author #1
- Stable partitions in coalitional games cs.GT · 2006 · author #1
- Explaining Constraint Programming cs.PL · 2006 · author #1
- CP-nets and Nash equilibria cs.GT · 2005 · author #1
- Order Independence and Rationalizability cs.GT · 2005 · author #1
- Constraint-Based Qualitative Simulation cs.AI · 2005 · author #1
- Schedulers and Redundancy for a Class of Constraint Propagation Rules cs.DS · 2004 · author #2
- Uniform Proofs of Order Independence for Various Strategy Elimination Procedures cs.GT · 2004 · author #1
- A Comparative Study of Arithmetic Constraints on Integer Intervals cs.PL · 2004 · author #1
- Schedulers for Rule-based Constraint Programming cs.DS · 2002 · author #1
- Edsger Wybe Dijkstra (1930 -- 2002): A Portrait of a Genius cs.GL · 2002 · author #1
- Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints cs.PL · 2001 · author #1
- The Logic Programming Paradigm and Prolog cs.PL · 2001 · author #1
- One More Revolution to Make: Free Scientific Publishing cs.GL · 2001 · author #1
- The Role of Commutativity in Constraint Propagation Algorithms cs.PF · 2000 · author #1
- A Denotational Semantics for First-Order Logic cs.PL · 2000 · author #1
- Programming in Alma-0, or Imperative and Declarative Programming Reconciled cs.LO · 2000 · author #1
- Some Remarks on Boolean Constraint Propagation cs.AI · 2000 · author #1
- Constraint Programming viewed as Rule-based Programming cs.AI · 2000 · author #1
- Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains cs.AI · 1999 · author #1
- The Rough Guide to Constraint Propagation cs.AI · 1999 · author #1
- The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming cs.LO · 1999 · author #1
- The Essence of Constraint Propagation cs.AI · 1998 · author #1
- Formulas as Programs cs.LO · 1998 · author #1
- A Proof Theoretic View of Constraint Programming cs.AI · 1998 · author #1
Mentions
- 1305.5050 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1304.2557 #2 · backfill · confidence 0.70 Krzysztof R. Apt
- 1301.7592 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1211.5938 #2 · backfill · confidence 0.70 Krzysztof R. Apt
- 1206.0130 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1204.5636 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1203.1809 #3 · backfill · confidence 0.70 Krzysztof R. Apt
- 1202.2209 #2 · backfill · confidence 0.70 Krzysztof R. Apt
- 1109.3322 #2 · backfill · confidence 0.70 Krzysztof R. Apt
- 1105.2434 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1105.2432 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1102.0203 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1012.5173 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1010.5595 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1006.4926 #2 · backfill · confidence 0.70 Krzysztof R. Apt
- 1004.4727 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 1004.4656 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0908.2399 #2 · backfill · confidence 0.70 Krzysztof R. Apt
- 0907.4316 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0907.0403 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0810.3199 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0810.3182 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0810.2865 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0810.2861 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0810.1383 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0711.2909 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0711.2618 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0710.3536 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0709.0435 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0706.1617 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0706.1001 #1 · backfill · confidence 0.70 Krzysztof R. Apt
- 0705.2170 #1 · backfill · confidence 0.70 Krzysztof R. Apt
Frequent Coauthors
- Jonathan A. Zvesper 6 shared papers
- Sunil Simon 6 shared papers
- Evangelos Markakis 5 shared papers
- Sebastian Brand 5 shared papers
- Francesca Rossi 4 shared papers
- Andreas Witzel 3 shared papers
- Eric Monfroy 3 shared papers
- Andrea Schaerf 2 shared papers
- Arantza Est\'evez-Fern\'andez 2 shared papers
- Bart de Keijzer 2 shared papers
- Farhad Arbab 2 shared papers
- Frank S. de Boer 2 shared papers
- Guido Schaefer 2 shared papers
- Huiye Ma 2 shared papers
- K. Brent Venable 2 shared papers
- Mingyu Guo 2 shared papers
- Peter Zoeteweij 2 shared papers
- Vincent Conitzer 2 shared papers
- Davide Grossi 1 shared papers
- Ehsan Shoja 1 shared papers