pith. sign in

Krzysztof R. Apt

Identifiers

  • name variant Krzysztof R. Apt 0.60 · backfill

Papers (62)

  1. Self-Stabilization Through the Lens of Game Theory cs.GT · 2019 · author #1
  2. When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols cs.MA · 2018 · author #1
  3. Coordination Games on Graphs cs.GT · 2015 · author #1
  4. Social Network Games with Obligatory Product Selection cs.GT · 2013 · author #1
  5. The H-index can be easily manipulated cs.CC · 2013 · author #2
  6. Paradoxes in Social Networks with Multiple Products cs.GT · 2013 · author #1
  7. Social Network Games cs.GT · 2012 · author #2
  8. A Classification of Weakly Acyclic Games cs.GT · 2012 · author #1
  9. Social Networks with Competing Products cs.SI · 2012 · author #1
  10. Undominated Groves Mechanisms cs.GT · 2012 · author #3
  11. Choosing Products in Social Networks cs.SI · 2012 · author #2
  12. Common Knowledge in Email Exchanges cs.LO · 2011 · author #2
  13. Diffusion in Social Networks with Competing Products cs.SI · 2011 · author #1
  14. Selfishness Level of Strategic Games cs.GT · 2011 · author #1
  15. A Primer on Strategic Games cs.GT · 2011 · author #1
  16. Public Announcements in Strategic Games with Arbitrary Strategy Sets cs.GT · 2010 · author #1
  17. The Role of Monotonicity in the Epistemic Analysis of Strategic Games cs.GT · 2010 · author #1
  18. Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets cs.GT · 2010 · author #2
  19. Direct Proofs of Order Independence cs.GT · 2010 · author #1
  20. Verification of Object-Oriented Programs: a Transformational Approach cs.LO · 2010 · author #1
  21. Distributed iterated elimination of strictly dominated strategies cs.GT · 2009 · author #2
  22. Modular Verification of Recursive Programs cs.LO · 2009 · author #1
  23. Common Knowledge in Interaction Structures cs.LO · 2009 · author #1
  24. A Distributed Platform for Mechanism Design cs.GT · 2008 · author #1
  25. Optimal Strategies in Sequential Bidding cs.GT · 2008 · author #1
  26. Welfare Undominated Groves Mechanisms cs.GT · 2008 · author #1
  27. A comparison of the notions of optimality in soft constraints and graphical games cs.AI · 2008 · author #1
  28. Sequential pivotal mechanisms for public project problems cs.GT · 2008 · author #1
  29. Comparing the notions of optimality in CP-nets, strategic games and soft constraints cs.AI · 2007 · author #1
  30. A System for Distributed Mechanisms: Design, Implementation and Applications cs.DC · 2007 · author #1
  31. Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets cs.GT · 2007 · author #1
  32. A Generic Approach to Coalition Formation cs.GT · 2007 · author #1
  33. Relative Strength of Strategy Elimination Procedures cs.GT · 2007 · author #1
  34. Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets cs.GT · 2007 · author #1
  35. Sequential mechanism design cs.GT · 2007 · author #1
  36. Infinite Qualitative Simulations by Means of Constraint Programming cs.AI · 2006 · author #1
  37. The Many Faces of Rationalizability cs.GT · 2006 · author #1
  38. An Analysis of Arithmetic Constraints on Integer Intervals cs.AI · 2006 · author #1
  39. Stable partitions in coalitional games cs.GT · 2006 · author #1
  40. Explaining Constraint Programming cs.PL · 2006 · author #1
  41. CP-nets and Nash equilibria cs.GT · 2005 · author #1
  42. Order Independence and Rationalizability cs.GT · 2005 · author #1
  43. Constraint-Based Qualitative Simulation cs.AI · 2005 · author #1
  44. Schedulers and Redundancy for a Class of Constraint Propagation Rules cs.DS · 2004 · author #2
  45. Uniform Proofs of Order Independence for Various Strategy Elimination Procedures cs.GT · 2004 · author #1
  46. A Comparative Study of Arithmetic Constraints on Integer Intervals cs.PL · 2004 · author #1
  47. Schedulers for Rule-based Constraint Programming cs.DS · 2002 · author #1
  48. Edsger Wybe Dijkstra (1930 -- 2002): A Portrait of a Genius cs.GL · 2002 · author #1
  49. Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints cs.PL · 2001 · author #1
  50. The Logic Programming Paradigm and Prolog cs.PL · 2001 · author #1
  51. One More Revolution to Make: Free Scientific Publishing cs.GL · 2001 · author #1
  52. The Role of Commutativity in Constraint Propagation Algorithms cs.PF · 2000 · author #1
  53. A Denotational Semantics for First-Order Logic cs.PL · 2000 · author #1
  54. Programming in Alma-0, or Imperative and Declarative Programming Reconciled cs.LO · 2000 · author #1
  55. Some Remarks on Boolean Constraint Propagation cs.AI · 2000 · author #1
  56. Constraint Programming viewed as Rule-based Programming cs.AI · 2000 · author #1
  57. Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains cs.AI · 1999 · author #1
  58. The Rough Guide to Constraint Propagation cs.AI · 1999 · author #1
  59. The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming cs.LO · 1999 · author #1
  60. The Essence of Constraint Propagation cs.AI · 1998 · author #1
  61. Formulas as Programs cs.LO · 1998 · author #1
  62. 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