Search    Browse

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 (15) 1984-1988 (16) 1989-1993 (16) 1994-1997 (16) 1998-2000 (21) 2001-2003 (15) 2004-2006 (17) 2007-2008 (19) 2009-2010 (17) 2011-2012 (12)
Publication types (Num. hits)
article(106) book(3) incollection(2) inproceedings(50) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(55) ACM Trans. Program. Lang. Syst...(8) Theor. Comput. Sci.(5) ICALP(4) J. Log. Program.(4) TARK(4) CP(3) CSCLP(3) Fundam. Inform.(3) ICLP(3) Inf. Process. Lett.(3) J. ACM(3) Sci. Comput. Program.(3) ACM Trans. Comput. Log.(2) Formal Asp. Comput.(2) Logic of Programs(2) More (+10 of total 64)
Authors
Krzysztof R. Apt(164) Jonathan A. Zvesper(11) Ernst-Rüdiger Olderog(9) Evangelos Markakis(8) Francesca Rossi(8) Sebastian Brand(8) Andreas Witzel(7) Eric Monfroy(6) Andrea Schaerf(5) Kristen Brent Venable(5) Nissim Francez(5) Frank S. de Boer(4) Peter Zoeteweij(4) Roland N. Bol(4) Arantza Estévez-Fernández(3) Dino Pedreschi(3) More (+10 of total 70)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 12 keywords
Results
Found 164 publication records. Showing 164 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Sunil Simon, Krzysztof R. Apt Choosing Products in Social Networks 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
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, 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
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 Two Three Pages Papers. Search on Bibsonomy Logic and Program Semantics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Guido Schaefer Selfishness Level of Strategic Games 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 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
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
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 Direct Proofs of Order Independence Search on Bibsonomy CoRR The full citation details ... 2010 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, 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, 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
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, 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, 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, Andreas Witzel A Generic Approach to Coalition Formation. Search on Bibsonomy IGTR The full citation details ... 2009 DBLP  DOI  BibTeX  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, 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, 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 Optimal strategies in sequential bidding. Search on Bibsonomy AAMAS 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, 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, 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, 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, Vangelis Markakis Optimal Strategies in Sequential Bidding 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, 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, 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, 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, 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, Andreas Witzel A Generic Approach to Coalition Formation 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, Arantza Estévez-Fernández Sequential mechanism design 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, 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, 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, Mark Wallace Constraint logic programming using Eclipse. Search on Bibsonomy 2007   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 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, Tadeusz Radzik Stable partitions in coalitional games 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 Explaining Constraint Programming 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, 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, 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 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
1Krzysztof R. Apt Editorial. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  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 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  DOI  BibTeX  RDF
1Krzysztof R. Apt Uniform Proofs of Order Independence for Various Strategy Elimination Procedures Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  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
1Sebastian Brand, Krzysztof R. Apt Schedulers and Redundancy for a Class of Constraint Propagation Rules Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza (eds.) Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers Search on Bibsonomy CSCLP The full citation details ... 2004 DBLP  BibTeX  RDF
1Krzysztof R. Apt Principles of constraint programming. Search on Bibsonomy 2003   RDF
1Krzysztof R. Apt, Sebastian Brand Schedulers for Rule-Based Constraint Programming. Search on Bibsonomy SAC The full citation details ... 2003 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Peter Zoeteweij A Comparative Study of Arithmetic Constraints on Integer Intervals. Search on Bibsonomy CSCLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Sebastian Brand Schedulers for Rule-based Constraint Programming Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Krzysztof R. Apt, C. F. M. Vermeulen First-order Logic as a Constraint Programming Language Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Krzysztof R. Apt Edsger Wybe Dijkstra (1930 - 2002): A Portrait of a Genius Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Krzysztof R. Apt Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, C. F. M. Vermeulen First-Order Logic as a Constraint Programming Language. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Viewpoint: One more revolution to make: free scientific publishing. Search on Bibsonomy Commun. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ACM
1Krzysztof R. Apt, Roman Barták, Eric Monfroy, Francesca Rossi, Sebastian Brand (eds.) Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Krzysztof R. Apt One More Revolution to Make: Free Scientific Publishing Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Krzysztof R. Apt The Logic Programming Paradigm and Prolog Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri Editorial. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Eric Monfroy Constraint programming viewed as rule-based programming. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt The role of commutativity in constraint propagation algorithms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF constraint propagation, commutativity, generic algorithms
1Krzysztof R. Apt The Role of Commutativity in Constraint Propagation Algorithms Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Krzysztof R. Apt A Denotational Semantics for First-Order Logic Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Eric Monfroy Constraint Programming viewed as Rule-based Programming Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Krzysztof R. Apt Some Remarks on Boolean Constraint Propagation Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Andrea Schaerf Programming in Alma-0, or Imperative and Declarative Programming Reconciled Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Antonis C. Kakas, Eric Monfroy, Francesca Rossi (eds.) New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers Search on Bibsonomy New Trends in Constraints The full citation details ... 2000 DBLP  BibTeX  RDF
1Krzysztof R. Apt A Denotational Semantics for First-Order Logic. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt The Essence of Constraint Propagation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt The Rough Guide to Constraint Propagation Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Eric Monfroy Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Andrea Schaerf The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Andrea Schaerf The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Some Remarks on Boolean Constraint Propagation. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt The Rough Guide to Constraint Propagation. Search on Bibsonomy CP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Eric Monfroy Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. Search on Bibsonomy CP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf Alma-O: An Imperative Language That Supports Declarative Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF search, declarative programming, imperative programming
1Krzysztof R. Apt A Proof Theoretic View of Constraint Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt A Proof Theoretic View of Constraint Programming Search on Bibsonomy CoRR The full citation details ... 1998 DBLP  BibTeX  RDF
1Krzysztof R. Apt The Essence of Constraint Propagation Search on Bibsonomy CoRR The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 164 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.