Krzysztof R. Apt

Q: What Schools Are Affiliated With Krzysztof R. Apt

Krzysztof R. Apt is affiliated with the following schools: University of Amsterdam, National University of Singapore, University of Wrocław, University of Warsaw

Krzysztof R. Apt's AcademicInfluence.com Rankings

Krzysztof R. Apt

Computer Science

#1423

World Rank

#1472

Historical Rank

Programming

#36

World Rank

#38

Historical Rank

computer-science Degrees

Krzysztof R. Apt

Mathematics

#4251

World Rank

#6079

Historical Rank

Measure Theory

#603

World Rank

#836

Historical Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Krzysztof R. Apt's Degrees

PhD Mathematics University of Warsaw

Why Is Krzysztof R. Apt Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Krzysztof R. Apt is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland in 1974. His research interests include program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. Besides his own research, he has been heavily involved in service to the computing community, notably by promoting the use of logic in computer science and by advocating open access to scientific literature.

(See a Problem?)

Krzysztof R. Apt's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Logic Programming (1990) (1659)
Towards a Theory of Declarative Knowledge (1988) (1435)
Principles of constraint programming (2003) (929)
Contributions to the Theory of Logic Programming (1982) (666)
Ten Years of Hoare's Logic: A Survey—Part I (1981) (609)
The Logic Programming Paradigm: A 25-Year Perspective (2011) (430)
Limits for Automatic Verification of Finite-State Concurrent Systems (1986) (418)
Constraint logic programming using Eclipse (2007) (408)
Verification of Sequential and Concurrent Programs (1997) (376)
Logics and Models of Concurrent Systems (1989) (370)
A Proof System for Communicating Sequential Processes (1980) (367)
A Generic Approach to Coalition Formation (2007) (315)
Introduction to Logic Programming (1988) (216)
The Essence of Constraint Propagation (1998) (213)
Countable nondeterminism and random assignment (1986) (200)
Reasoning about Termination of Pure Prolog Programs (1993) (189)
Logic Programming and Negation: A Survey (1994) (179)
From logic programming to Prolog (1996) (165)
Verification of Sequential and Concurrent Programs (1997) (140)
Lectures in Game Theory for Computer Scientists (2011) (126)
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism (1984) (106)
An Analysis of Loop Checking Mechanisms for Logic Programs (1991) (105)
Arithmetic classification of perfect models of stratified programs (1991) (103)
Stable partitions in coalitional games (2006) (98)
Appraising fairness in languages for distributed programming (1988) (93)
Proof Rules and Transformations Dealing with Fairness (1983) (86)
Studies in Pure Prolog: Termination (1990) (84)
On the Unification Free Prolog Programs (1993) (83)
The Logic Programming Paradigm (1999) (82)
Acyclic programs (1990) (80)
Modular termination proofs for logic and pure PROLOG programs (1995) (75)
Formal Justification of a Proof System for Communicating Sequential Processes (1983) (70)
Alma-O: an imperative language that supports declarative programming (1997) (68)
Fairness in parallel programs: the transformational approach (1988) (65)
Diffusion in Social Networks with Competing Products (2011) (62)
On the occur-check-free PROLOG programs (1994) (59)
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains (1999) (57)
Verification of Logic Programs with Delay Declarations (1995) (56)
Proving Termination of General Prolog Programs (1991) (55)
A Cook's Tour of Countable Nondeterminism (1981) (52)
Constraint programming viewed as rule-based programming (2000) (50)
Cooperative games (2009) (48)
A Static Analysis of CSP Programs (1983) (45)
Correctness proofs of distributed termination algorithms (1986) (44)
A classification of weakly acyclic games (2012) (41)
Logic Programming Languages: Constraints, Functions, and Objects (1993) (40)
On the Safe Termination of PROLOG Programs (1989) (39)
Epistemic Protocols for Distributed Gossiping (2016) (39)
Reasoning about Prolog programs: From modes through types to assertions (1994) (39)
Fifty years of Hoare’s logic (2019) (39)
From Chaotic Iteration to Constraint Propagation (1997) (39)
Maintenance of stratified databases viewed as a belief revision system (1987) (37)
The Many Faces of Rationalizability (2006) (37)
The Rough Guide to Constraint Propagation (1999) (37)
Fair Termination Revisited-With Delay (1984) (37)
Appraising fairness in distributed languages (1987) (36)
A Proof Theoretic View of Constraint Programming (1998) (36)
Declarative Programming in Prolog (1993) (36)
New Perspectives on Games and Interaction (2008) (35)
Search and imperative programming (1997) (32)
Second order arithmetic and related topics (1974) (31)
A new definition of SLDNF-resolution (1992) (30)
Coordination games on graphs (2015) (30)
The role of commutativity in constraint propagation algorithms (2000) (29)
Constraint Logic Programming Using ECL i PS e : Constraint propagation in ECL i ps e (2006) (29)
A New Deenition of Sldnf-resolution (1992) (28)
Modeling the distributed termination convention of CSP (1984) (28)
Why the Occur-Check is Not a Problem (1992) (27)
Real time clocks versus virtual clocks (1986) (26)
Meta-logics and logic programming (1995) (26)
Uniform Proofs of Order Independence for Various Strategy Elimination Procedures (2004) (26)
Choosing Products in Social Networks (2012) (25)
Social network games (2012) (25)
Undominated Groves Mechanisms (2012) (25)
Common knowledge in interaction structures (2009) (25)
An Analysis of Arithmetic Constraints on Integer Intervals (2006) (24)
Recursive Assertions are not enough - or are they? (1979) (23)
Selfishness Level of Strategic Games (2011) (22)
A New Definition of SNDNF-Resolution (1994) (22)
Proof Rules Dealing with Fairness (1981) (22)
Welfare Undominated Groves Mechanisms (2008) (22)
Two Normal Form Theorems for CSP Programs (1987) (22)
New Trends in Constraints (2001) (21)
Verification of object-oriented programs: A transformational approach (2010) (21)
CP-nets and Nash equilibria (2005) (20)
Declarative Interpretations Reconsidered (1994) (20)
Social Networks with Competing Products (2012) (19)
Yet More Modal Logics of Preference Change and Belief Revision (2008) (18)
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets (2007) (18)
Semantics and Proof Theory of Pascal Procedures (1977) (18)
Fundamenta informaticae on Logic Programming (1990) (18)
Order independence and rationalizability (2005) (18)
Some Remarks on Boolean Constraint Propagation (1999) (17)
Formulas as Programs (1998) (16)
Comparing the notions of optimality in CP-nets, strategic games and soft constraints (2007) (16)
Proving correctness of CSP programs, a tutorial (1986) (16)
Program verification and Prolog (1995) (15)
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming (1999) (15)
Coordination Games on Directed Graphs (2015) (14)
Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes (1980) (14)
A Primer on Strategic Games (2011) (14)
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View" (1991) (13)
Infinite Qualitative Simulations by Means of Constraint Programming (2006) (13)
The Role of Monotonicity in the Epistemic Analysis of Strategic Games (2010) (13)
On the Computational Complexity of Gossip Protocols (2017) (13)
A Closer Look at Declarative Interpretations (1994) (13)
Viewpoint: One more revolution to make: free scientific publishing (2001) (12)
Recursive assertions and parallel programs (1981) (12)
Coordination Games on Graphs (Extended Abstract) (2014) (12)
Verification of Distributed Epistemic Gossip Protocols (2018) (12)
Transformations Realizing Fairness Assumptions for Parallel Programs (1984) (12)
Constraint-based qualitative simulation (2005) (11)
Paradoxes in social networks with multiple products (2013) (11)
Relative Strength of Strategy Elimination Procedures (2007) (10)
Editorial: From universal morphisms to megabytes: a Baayen space odyssey (1994) (10)
A Comparative Study of Arithmetic Constraints on Integer Intervals (2003) (10)
The H-index can be easily manipulated (2013) (10)
Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming (1995) (10)
A Denotational Semantics for First-Order Logic (2000) (10)
Direct Proofs of Order Independence (2010) (9)
Introduction to logic programming (revised and extended version) (1988) (9)
A Theory of First-Order Built-in's of Prolog (1992) (9)
A declarative approach for first-order built-in's of Prolog (1992) (9)
Proceedings of the joint international conference and symposium on logic programming on Logic programming (1992) (8)
Lectures in Game Theory for Computer Scientists: Preface (2011) (8)
Management of Stratified Databases (1987) (8)
Common Knowledge in a Logic of Gossips (2017) (8)
Proving termination of parallel programs (1990) (8)
Exercises in Denotational Semantics (1976) (7)
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets (2010) (7)
On the Power of Subsumption and Context Checks (1990) (7)
Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax (1996) (7)
Recent Advances in Constraints (2003) (7)
On Decidability of a Logic of Gossips (2016) (7)
Sequential Pivotal Mechanisms for Public Project Problems (2008) (6)
Schedulers for rule-based constraint programming (2002) (6)
Decidability of Fair Termination of Gossip Protocols (2017) (6)
An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract) (1983) (6)
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols (2018) (6)
Epistemic analysis of strategic games with arbitrary strategy sets (2007) (6)
Premo: An ISO Standard for a Presentation Environment for Multimedia Objects (To Cor Baayen, at the occasion of his retirement) (1994) (6)
Social Network Games with Obligatory Product Selection (2013) (6)
The Logic Programming Paradigm and Prolog (2001) (6)
View of constraint programming (1998) (6)
Principles of Constraint Programming: Constraint propagation algorithms (2003) (6)
First-Order Logic as a Constraint Programming Language (2002) (5)
When Are Two Gossips the Same? (2018) (5)
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints (2001) (5)
Rule-based versus procedure-based view of logic programming (2001) (5)
Using Transformation to Verify Parallel Programs (1991) (5)
Modular Verification of Recursive Programs (2009) (4)
Explaining Constraint Programming (2006) (4)
Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius (2002) (4)
Selected papers of the conference on Theoretical aspects of computer software (1993) (4)
Efficient computing of least fixpoints (1988) (4)
Towards free access to scientific literature (2001) (4)
Acyclic Programs (Extended Abstract) (1990) (4)
constraint logic programming (1996) (4)
Prehistory of the ASF + SDF System (1980-1984) (Dedicated to Cor Baayen) (1994) (4)
Optimal Strategies in Sequential Bidding (2008) (4)
Introduction to Program Verification (1989) (4)
Self-stabilization Through the Lens of Game Theory (2018) (4)
Constraint Logic Programming Using ECL i PS e : Constraint programming: a primer (2006) (4)
Common Knowledge in Email Exchanges (2011) (4)
Syntax Directed Analysis of Liveness Properties (1986) (4)
Proving correctness of concurrent programs - a quick introduction (1988) (3)
Coordination Games on Weighted Directed Graphs (2019) (3)
Comparing negation in logic programming and in prolog (1995) (3)
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 (2011) (3)
New trends in constraints : joint ERCIM/Compulog net workshop [the workshop was the third in a row in a series of joint annual workshops (1999) (2000) (3)
A Distributed Platform for Mechanism Design (2008) (3)
Preface: Meta-logics and logic programming 1995 (1995) (3)
Logicomix: An Epic Search for Truth by Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, Annie di Donna (2010) (3)
Programming in Alma-0, or Imperative and Declarative Programming Reconciled (2000) (3)
Ten years of Hoare s logic, part II: nondeterminism (1983) (3)
Strategy Elimination in Games with Interaction Structures (2009) (3)
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games (2008) (3)
Implementation of Narrowing: The Prolog-Based Approach (1993) (3)
Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992 (1992) (3)
Report on the 5th International Workshop on the Semantics of Programming Languages in Bad Honnef : March 11-15, 1985 (1985) (2)
Principles of Constraint Programming: Issues in constraint programming (2003) (2)
Preface: The logic programming paradigm: a 25-year perspective 1999 (1999) (2)
A classification of weakly acyclic games (2014) (2)
Sequential mechanism design (2007) (2)
The STO-Problem is NP-Hard (1994) (2)
Constraint Logic Programming Using ECL i PS e : Bibliography (2006) (2)
Recursive Embeddings of Partial Orderings (1977) (2)
Guest Editors' Preface — Foundations of constraint programming (1998) (2)
Schedulers and redundancy for a class of constraint propagation rules (2004) (2)
Open Problems in a Logic of Gossips (2019) (2)
Logic Programs with External Procedures (1993) (2)
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints (1999) (2)
A Language for Contextual Logic Programming (1993) (2)
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 (2004) (2)
Edsger Wybe Dijkstra: His Life,Work, and Legacy (2022) (2)
Non-finite axiomatizability of the second order arithmetic (1972) (1)
Data Mining: Exploratory Data Analysis on Very Large Databases (To professor Baayen at the occasion of his retirement) (1994) (1)
A logical analysis of Boolean constraints (1999) (1)
New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers (2000) (1)
Sequential Bidding in the Bailey-Cavallo Mechanism (2009) (1)
Well-Founded Extensive Games with Perfect Information (2021) (1)
Review of "Handbook of logic in computer science, Vols. 1&2" by Gabby, D. M. (ed.), Abramsky, S. (ed.) and Maibaum, T. S. E. (ed.) (1995) (1)
Special Issue: foundations of constraint programming (1998) (1)
Under Consideration for Publication in Theory and Practice of Logic Programming Constraint Programming Viewed as Rule-based Programming (2001) (1)
Alfred Tarski: life and logic (2007) (1)
Post your articles in ArXiv:Math and CoRR! (2007) (1)
Principles of Constraint Programming: Some incomplete constraint solvers (2003) (1)
Principles of Constraint Programming: Introduction (2003) (1)
Comparing the Notions of Optimality in Strategic Games and Soft Constraints (2007) (1)
Constraint Logic Programming Using ECL i PS e : Logic programming and pure Prolog (2006) (1)
Principles of Constraint Programming: Constraint satisfaction problems: examples (2003) (1)
Reasoning about call-by-value: a missing result in the history of Hoare's logic (2019) (1)
Assessing the Success and Impact of Hoare’s Logic (2021) (1)
Infinistic rules of proof and their semantics (1972) (1)
Program Veriication and Prolog (1994) (1)
Equivalence of Operational and Denotational Semantics for a Fragment of Pascal (1977) (1)
A System for Distributed Mechanisms: Design, Implementation and Applications (2007) (1)
UvA-DARE ( Digital Academic Repository ) Arrays , Bounded Quantification and Iteration in Logic and Constraint Logic Programming (2003) (1)
Distributed iterated elimination of strictly dominated strategies (2009) (1)
A sound and complete hoare-like system for a fragment of pascal : (preprint) (1978) (1)
Reportrapport Logic Programming and Negation: a Survey Logic Programming and Negation: a Survey (1994) (1)
Semantics of the infinitistic rules of proof (1976) (1)
Theoretical aspects of rationality and knowledge: proceedings of the thirteenth conference (TARK 2011) (2011) (1)
Constraint Logic Programming Using ECL i PS e : Introduction (2006) (0)
The Expansion Theorem for Median Graphs (To Cor Baayen, at the occasion of his retirement) (1994) (0)
Introductory note to "Object-Oriented Algebra Specification" (1994) (0)
A New World Underneath Standard Logic (1994) (0)
Joint bulletin of the novosibirsk computer center and institute of informatics systems (2001) (0)
GLoRiClass: Games in Logic Reaching Out for Classical Game Theory (2006) (0)
Two Three Pages Papers (2012) (0)
Review of "Principles of concurrent programming" by Ben Ari (1984) (0)
New Trends in Applied Mathematics (Dedicated Professor to Cor Baayen) (1994) (0)
Review of "Computational logic, essays in honor of Alan Robinson" by Lassez, J. L. (ed.) and Plotkin, G. D. (ed.) (1993) (0)
Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp (2012) (0)
Parallel Programs with Synchronization (1991) (0)
A New World Underneath Standard Logic: Cylindric Algebra, Modality and Quantification (1994) (0)
The Wouthuysen equation (1994) (0)
0. Proving Termination of Parallel Programs (2005) (0)
Preface: Recent advances in constraints (2004) (0)
Discriminating coded lambda terms (Dedicated in friendship to Cor Baayen on the occasion of his retirement) (1994) (0)
Nondeterminism and Guarded Commands (2022) (0)
Review of "Programming with constraints: an introduction" by Marriott, K. and Stuckey, P. J. (1999) (0)
A SURVEY-PART II: NONDETERMINISM (2005) (0)
On the compactification of programs (1981) (0)
Centrum Voor Wiskunde En Informatica Reportrapport Declarative Programming in Prolog Declarative Programming in Prolog (1993) (0)
11 N ov 1 99 8 1 Formulas as Programs (0)
Edsger W. Dijkstra: a Commemoration (2021) (0)
Preface: Current Trents in logic programming languages (1993) (1993) (0)
Mathematics as the Paradigm for Metaphysics (Dedicated to Prof. Cor Baayen, who retires as the scientific director of CWI, and who can therefore revive his interest in philosophy) (1994) (0)
Rambling along paths, flows, trees, curves, knots, and rails (1994) (0)
Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages (2017) (0)
Distributed iterated elimination of strictly dominated strategies (2011) (0)
Review of Foundations of Logic Programs (1985) (0)
A proof system for communicating sequential processes -final edition (1980) (0)
New Directions for MPC&A at Chelyabinsk-70 (2000) (0)
The logic programming paradigm and prolog, Chapter 15 (2002) (0)
CWI Quarterly: Special issue on constraints (1998) (0)
Networks and logic - optimization and programming (PNA1) (2002) (0)
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers (2007) (0)
The full non-renameability result; a lost tale (Dedicated to Cor Baayen at the occasion of his retirement from the CWI) (1994) (0)
1 0 A pr 2 01 3 The H-index can be easily manipulated (2013) (0)
Recursive Programs with Parameters (2009) (0)
A { Title, Summary, Funding 1 Title Parallel Declarative Programming: Transforming Logic Programs to Lazy Functional Programs 2 Applicants (0)
Fast, Randomized Join-Order and Join-Method Selection Combined with Transformation Based Optimization (1994) (0)
A Natural Term Language (1994) (0)
U.S./Russian cooperative efforts to enhance nuclear MPC&A at VNIITF, (Chelyabinsk-70) (1998) (0)
Integration of Functional and Logic Programming (Dagstuhl Seminar 9112) (2021) (0)
25 57 v 3 [ cs . C C ] 12 S ep 2 01 3 T he H-index can be easily manipulated (2013) (0)
Constraint Logic Programming Using ECL i PS e : Arithmetic in Prolog (2006) (0)
Constraint Logic Programming Using ECL i PS e : Constraints on reals (2006) (0)
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (1987) (0)
Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer-Verlag, 2001. Paperback: ISBN 1-85233-319-7, £24.50 / $ 39.00, xiv + 304 pages. (2001) (0)
A sound and complete Hoare-like proof system for a fragment of PASCAL (1978) (0)
Alma-0 : An Imperative Language (1998) (0)
Constraint Logic Programming Using ECL i PS e : Manipulating structures (2006) (0)
Under Consideration for Publication in Theory and Practice of Logic Programming Book Review (2004) (0)
Constraint Logic Programming Using ECL i PS e : The suspend library (2006) (0)
Foreword: Science of Computer Programming Vol: 21 Nr: 2 (1993) (0)
Recursive embeddings of partial orderings : (prepublication) (1976) (0)
Constraint Logic Programming Using ECL i PS e : A reconstruction of pure Prolog (2006) (0)
UvA-DARE ( Digital Academic Repository ) A closer look at declarative interpretations (2003) (0)
Algorithmic Game Theory (2006) (0)
Constraint Logic Programming Using ECL i PS e : Control and meta-programming (2006) (0)
Reportrapport Declarative Interpretations Reconsidered Declarative Interpretations Reconsidered (1994) (0)
RECURSIVE ASSERTNXW ARE NtDT ENOUGH - QR ARE THEY?* (1979) (0)
Reportrapport Declarative Interpretations Reconsidered Declarative Interpretations Reconsidered (1994) (0)
Parallel Programs with Shared Variables (1991) (0)
UvA-DARE ( Digital Academic Repository ) A new definition of SLDNF-resolution (2001) (0)
Current Trents in logic programming languages (1993) (0)
Progress and future plans for MPC and A at Chelyabinsk-70 (1999) (0)
Communicating agents in a game-theoretic setting (2009) (0)
Reportrapport from Chaotic Iteration to Constraint Propagation from Chaotic Iteration to Constraint Propagation (1997) (0)
Preface: Proceedings of the joint international conference and symposium on logic programming (1992) (1992) (0)
Principles of Constraint Programming: Constraint programming in a nutshell (2003) (0)
REVIEWS-Principles of constraint programming (2006) (0)
On the History of Runge-Kutta Methods (To Cor Baayen, at the occasion of his retirement) (1994) (0)
Constraint Logic Programming Using ECL i PS e : Intermezzo: Iteration in ECL i PS e (2006) (0)
Constraint Logic Programming Using ECL i PS e : Solutions to selected exercises (2006) (0)
RAPPORT Declarative programming , first-order logic , logic programming (1998) (0)
``Rule-based versus Procedure-based View of Programming'' (2001) (0)
An Introduction to L&O (1993) (0)
Inductive definitions, models of comprehension and invariant definability (1976) (0)
Lecture Notes in Computer Science 3010. Recent advances in constraints. Joint ERCIM/CoLogNET International Workshop, Budapest, 2003 (2004) (0)
Books Received (2016) (0)
Foundations of computer science II : [second advanced course on the foundations of computer science, organized by the Mathematical Centre and took place at the University of Amsterdam, 31.05-11.06.1976] (1976) (0)
Special issue on constraint programming : preface (1998) (0)
Centrum Voor Wiskunde En Informatica from Chaotic Iteration to Constraint Propagation from Chaotic Iteration to Constraint Propagation (1997) (0)
[Review of: A.D. Aczel (2011) A strange wilderness: the lives of the great mathematicians] (2012) (0)
Open Access Publishing (2006) (0)
Job scheduling on a parallel shared memory bus computer (Dedicated to Cor Baayen, With esteem and admiration) (1994) (0)
Reportrapport Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming Arrays, Bounded Quantiication and Iteration in Logic and Constraint Logic Programming (1995) (0)
Reportrapport Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming Arrays, Bounded Quantiication and Iteration in Logic and Constraint Logic Programming (1995) (0)
Proving terminations of parallel programs (1990) (0)
Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders (2020) (0)
Constraint Logic Programming Using ECL i PS e : Top-down search with passive constraints (2006) (0)
Obituary of Amir Pnueli (1941-2009) (2010) (0)
Principles of Constraint Programming: Search (2003) (0)
Omega-models in analytical hierarchy (1972) (0)
Authors’ Biographies/Index (2021) (0)
Disjoint Parallel Programs (1991) (0)
A pr 2 01 4 Selfishness Level of Strategic Games ∗ (2014) (0)
The Rough Guide to Constraint Propagation (2005) (0)
The Logic Programming Paradigm and Prolog Abstract (2011) (0)
Object-Oriented Programs (2009) (0)
Program Verification: To Err is Human (2016) (0)
New Trends in Constraints, Lecture Notes in Artificial Intelligence 1865 (2000) (0)
Stability Analysis of a Difference Scheme for Three-Dimensional Advection-Diffusion Problems (Dedicated to Cor Baayen at the occasion of his retirement as our scientific Director) (1994) (0)
The Semantics of Equational Logic Programming as an Instance of CLP (1993) (0)
Principles of Constraint Programming: Local consistency notions (2003) (0)
Rambling along paths, trees, flows, curves, knots, and rails (1994) (0)
A Framework for Adaptive Networked Multimedia (1994) (0)
Paradoxes in social networks with multiple products (2015) (0)
Characterization of incentive compatible single-parameter mechanisms revisited (2022) (0)
Societal Impact Games (2013) (0)
Krzysztof Apt Towards free access to scientific literature NAW (2001) (0)
Constraint Logic Programming Using ECL i PS e : Optimisation with active constraints (2006) (0)
Towards Automatic Parallelization of Logic Programs (Abstract) (1995) (0)
A note on disjoint parallelism (1989) (0)
Principles of Constraint Programming: Bibliography (2003) (0)
Book review of 'A strange wilderness: The lives of the great mathematicians' by Amir D. Aczel (2012) (0)
Actions on the Hilbert cube (To Cor Baayen, at the occasion of his retirement) (1994) (0)
Edsger W. Dijkstra:Biographical Information (2022) (0)
Coordination games on graphs (2016) (0)
Constraint Logic Programming Using ECL i PS e : Linear constraints over continuous and integer variables (2006) (0)
A tutorial for computer scientists on finite extensive games with perfect information (2022) (0)
Foreword: Selected Papers of TACS 1991 (1993) (0)
Kleene's Realizability (for Cor Baayen) (1994) (0)
The H-indexcanbeeasilymanipulated (2013) (0)
Optimal Strategies in Sequential Bidding (Extended Abstract) (2009) (0)
Editorial: ACM Transactions on computational logic (2001) (0)

This paper list is powered by the following services:

Other Resources About Krzysztof R. Apt

en.wikipedia.org

What Schools Are Affiliated With Krzysztof R. Apt?

Krzysztof R. Apt is affiliated with the following schools:

Krzysztof R. Apt's Academic­Influence.com Rankings

Krzysztof R. Apt's Degrees

Why Is Krzysztof R. Apt Influential?

Krzysztof R. Apt's Published Works

Published Works

Other Resources About Krzysztof R. Apt

What Schools Are Affiliated With Krzysztof R. Apt?

Krzysztof R. Apt's AcademicInfluence.com Rankings