The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Krzysztof R. Apt" ( http://dblp.L3S.de/Authors/Krzysztof_R._Apt )

URL (Homepage):  http://homepages.cwi.nl/~apt/  Author page on DBLP  Author page in RDF  Community of Krzysztof R. Apt in ASPL-2

Publication years (Num. hits)
1976-1983 (16) 1984-1988 (16) 1989-1992 (15) 1993-1995 (15) 1996-1999 (22) 2000-2002 (20) 2003-2005 (15) 2006-2007 (17) 2008-2009 (19) 2010-2012 (25) 2013-2016 (16) 2017-2019 (14)
Publication types (Num. hits)
article(128) book(7) incollection(4) inproceedings(67) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 12 keywords

Results
Found 211 publication records. Showing 210 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Krzysztof R. Apt, Frank S. de Boer Reasoning about call-by-value: a missing result in the history of Hoare's logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Dominik Wojtczak Open Problems in a Logic of Gossips. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak Coordination Games on Weighted Directed Graphs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Ernst-Rüdiger Olderog Fifty years of Hoare's Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Ehsan Shoja Self-Stabilization Through the Lens of Game Theory. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Dominik Wojtczak Verification of Distributed Epistemic Gossip Protocols. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek When Are Two Gossips the Same? Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Ehsan Shoja Self-stabilization Through the Lens of Game Theory. Search on Bibsonomy It's All About Coordination The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Dominik Wojtczak Common Knowledge in a Logic of Gossips. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Bart de Keijzer, Mona Rahn, Guido Schäfer, Sunil Simon Coordination games on graphs. Search on Bibsonomy Int. J. Game Theory The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Dominik Wojtczak Decidability of Fair Termination of Gossip Protocols. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak On the Computational Complexity of Gossip Protocols. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Evangelos Markakis, Sunil Simon Paradoxes in social networks with multiple products. Search on Bibsonomy Synthese The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Program Verification: To Err is Human. Search on Bibsonomy Theory and Practice of Formal Methods The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Dominik Wojtczak On Decidability of a Logic of Gossips. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon Coordination Games on Graphs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak Coordination Games on Directed Graphs. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek Epistemic Protocols for Distributed Gossiping. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sunil Simon, Krzysztof R. Apt Social network games. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Evangelos Markakis Social Networks with Competing Products. Search on Bibsonomy Fundam. Inform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Guido Schäfer Selfishness Level of Strategic Games. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon Coordination Games on Graphs (Extended Abstract). Search on Bibsonomy WINE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Floor Sietsma, Krzysztof R. Apt Common Knowledge in Email Exchanges. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer Undominated Groves Mechanisms. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Sunil Simon Social Network Games with Obligatory Product Selection Search on Bibsonomy GandALF The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Evangelos Markakis, Sunil Simon Paradoxes in Social Networks with Multiple Products Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Bart de Keijzer, Krzysztof R. Apt The H-index can be easily manipulated Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Bart de Keijzer, Krzysztof R. Apt The H-index can be Easily Manipulated. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2013 DBLP  BibTeX  RDF
1Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper Distributed iterated elimination of strictly dominated strategies. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw Verification of object-oriented programs: A transformational approach. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer Undominated Groves Mechanisms Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Evangelos Markakis Social Networks with Competing Products Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Sunil Simon, Krzysztof R. Apt Choosing Products in Social Networks Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Sunil Simon, Krzysztof R. Apt Social Network Games Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Sunil Simon A Classification of Weakly Acyclic Games Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Krzysztof R. Apt Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Guido Schäfer Selfishness Level of Strategic Games. Search on Bibsonomy SAGT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Sunil Simon A Classification of Weakly Acyclic Games. Search on Bibsonomy SAGT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Two Three Pages Papers. Search on Bibsonomy Logic and Program Semantics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sunil Simon, Krzysztof R. Apt Choosing Products in Social Networks. Search on Bibsonomy WINE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Guido Schäfer Selfishness Level of Strategic Games Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Evangelos Markakis Diffusion in Social Networks with Competing Products Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Floor Sietsma, Krzysztof R. Apt Common Knowledge in Email Exchanges Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Krzysztof R. Apt A Primer on Strategic Games Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Evangelos Markakis Diffusion in Social Networks with Competing Products. Search on Bibsonomy SAGT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt (eds.) Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 Search on Bibsonomy TARK The full citation details ... 2011 DBLP  BibTeX  RDF
1Jonathan A. Zvesper, Krzysztof R. Apt Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog Verification of Object-Oriented Programs: a Transformational Approach Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Jonathan A. Zvesper The Role of Monotonicity in the Epistemic Analysis of Strategic Games Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Jonathan A. Zvesper Public Announcements in Strategic Games with Arbitrary Strategy Sets Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Krzysztof R. Apt Direct Proofs of Order Independence Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Jonathan A. Zvesper The Role of Monotonicity in the Epistemic Analysis of Strategic Games. Search on Bibsonomy Games The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jonathan A. Zvesper, Krzysztof R. Apt Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper Common Knowledge in Interaction Structures Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper Strategy elimination in games with interaction structures Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog Modular Verification of Recursive Programs Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Andreas Witzel A Generic Approach to Coalition Formation. Search on Bibsonomy IGTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog Verification of Sequential and Concurrent Programs. Search on Bibsonomy 2009   DOI  RDF
1Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper Strategy Elimination in Games with Interaction Structures. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Arantza Estévez-Fernández Sequential Pivotal Mechanisms for Public Project Problems. Search on Bibsonomy SAGT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog Modular Verification of Recursive Programs. Search on Bibsonomy Languages: From Formal to Natural The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Evangelos Markakis Sequential Bidding in the Bailey-Cavallo Mechanism. Search on Bibsonomy WINE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper Common knowledge in interaction structures. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Evangelos Markakis Optimal strategies in sequential bidding. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable Comparing the notions of optimality in CP-nets, strategic games and soft constraints. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 91B10, 91B50, 68T01, 68T30
1Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable A comparison of the notions of optimality in soft constraints and graphical games Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Vangelis Markakis Optimal Strategies in Sequential Bidding Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis Welfare Undominated Groves Mechanisms Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Arantza Estévez-Fernández Sequential pivotal mechanisms for public project problems Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Farhad Arbab, Huiye Ma A Distributed Platform for Mechanism Design Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Farhad Arbab, Huiye Ma A Distributed Platform for Mechanism Design. Search on Bibsonomy CIMCA/IAWTIC/ISE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis Welfare Undominated Groves Mechanisms. Search on Bibsonomy WINE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Arantza Estévez-Fernández Sequential mechanism design Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable Comparing the notions of optimality in CP-nets, strategic games and soft constraints Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Krzysztof R. Apt Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Jonathan A. Zvesper Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Krzysztof R. Apt Relative Strength of Strategy Elimination Procedures Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Farhad Arbab, Huiye Ma A System for Distributed Mechanisms: Design, Implementation and Applications Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Andreas Witzel A Generic Approach to Coalition Formation Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Peter Zoeteweij An Analysis of Arithmetic Constraints on Integer Intervals. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Arithmetic constraints, Integer interval arithmetic, Constraint propagation, Local consistency
1Krzysztof R. Apt, Mark Wallace 0001 Constraint logic programming using Eclipse. Search on Bibsonomy 2007   RDF
1Krzysztof R. Apt Epistemic analysis of strategic games with arbitrary strategy sets. Search on Bibsonomy TARK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games. Search on Bibsonomy CSCLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Sebastian Brand Infinite Qualitative Simulations by Means of Constraint Programming Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Krzysztof R. Apt Explaining Constraint Programming Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Peter Zoeteweij An Analysis of Arithmetic Constraints on Integer Intervals Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Krzysztof R. Apt The Many Faces of Rationalizability Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Tadeusz Radzik Stable partitions in coalitional games Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Sebastian Brand Infinite Qualitative Simulations by Means of Constraint Programming. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Editorial. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Order Independence and Rationalizability Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Sebastian Brand Constraint-Based Qualitative Simulation Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable CP-nets and Nash equilibria Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Sebastian Brand, Krzysztof R. Apt Schedulers and redundancy for a class of constraint propagation rules. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Explaining Constraint Programming. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Order independence and rationalizability. Search on Bibsonomy TARK The full citation details ... 2005 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Sebastian Brand Constraint-Based Qualitative Simulation. Search on Bibsonomy TIME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Peter Zoeteweij A Comparative Study of Arithmetic Constraints on Integer Intervals Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 210 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license