×

Apt, Krzysztof Rafal

Compute Distance To:
Author ID: apt.krzysztof-rafal Recent zbMATH articles by "Apt, Krzysztof Rafal"
Published as: Apt, Krzysztof R.; Apt, Krysztof R.; Apt, K. R.; Apt, Krzysztof; Apt, Krzysztof Rafal
External Links: MGP · Wikidata · GND · IdRef
all top 5

Serials

5 Theoretical Computer Science
5 Annales Societatis Mathematicae Polonae. Series IV
4 ACM Transactions on Programming Languages and Systems
3 Journal of the Association for Computing Machinery
3 The Journal of Logic Programming
3 Formal Aspects of Computing
3 The Journal of Artificial Intelligence Research (JAIR)
3 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques
2 CWI Quarterly
2 Bulletin of the European Association for Theoretical Computer Science EATCS
2 Theory and Practice of Logic Programming
1 Acta Informatica
1 Information Processing Letters
1 Israel Journal of Mathematics
1 Annals of Mathematical Logic
1 Canadian Journal of Mathematics
1 Information and Control
1 International Journal of Game Theory
1 Journal of Computer and System Sciences
1 The Journal of Symbolic Logic
1 Mathematics of Operations Research
1 SIAM Journal on Computing
1 Synthese
1 Theory and Decision
1 Science of Computer Programming
1 Journal of Symbolic Computation
1 Information and Computation
1 Journal of Logic and Computation
1 Distributed Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Annals of Mathematics and Artificial Intelligence
1 Constraints
1 Fundamenta Informaticae
1 Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science
1 International Game Theory Review
1 ACM Transactions on Computational Logic
1 Graduate Texts in Computer Science
1 Lecture Notes in Computer Science
1 NATO ASI Series. Series F. Computer and Systems Sciences
1 The B. E. Journal of Theoretical Economics
1 Texts in Logic and Games
1 Games
1 ACM Books
1 Texts in Computer Science

Publications by Year

Citations contained in zbMATH Open

89 Publications have been cited 981 times in 784 Documents Cited by Year
Contributions to the theory of logic programming. Zbl 0483.68004
Apt, Krzysztof R.; van Emden, M. H.
95
1982
Ten years of Hoare’s logic: A survey - Part 1. Zbl 0471.68006
Apt, Krzysztof R.
93
1981
Principles of constraint programming. Zbl 1187.68132
Apt, Krzysztof
75
2003
Logic programming. Zbl 0900.68136
Apt, Krzysztof R.
72
1990
A proof system for communicating sequential processes. Zbl 0468.68023
Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P.
55
1980
Logic programming and negation: A survey. Zbl 0942.68518
Apt, Krzysztof R.; Bol, Roland N.
47
1994
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
43
1986
Appraising fairness in languages for distributed programming. Zbl 0659.68023
Apt, Krzysztof R.; Francez, Nissim; Katz, Shmuel
36
1988
Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
30
2009
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
25
1983
Acyclic programs. Zbl 0744.68034
Apt, Krzysztof R.; Bezem, Marc
22
1991
Reasoning about termination of pure Prolog programs. Zbl 0786.68021
Apt, Krzysztof R.; Pedreschi, Dino
21
1993
Verification of sequential and concurrent programs. Zbl 0733.68053
Apt, Krysztof R.; Olderog, Ernst-Rüdiger
21
1991
Lectures in game theory for computer scientists. Zbl 1214.91003
21
2011
Ten years of Hoare’s logic: A survey. II: Nondeterminism. Zbl 0523.68015
Apt, Krzysztof R.
20
1984
The essence of constraint propagation. Zbl 0930.68164
Apt, Krzysztof R.
16
1999
An analysis of loop checking mechanisms for logic programs. Zbl 0741.68027
Bol, Roland N.; Apt, Krzysztof R.; Klop, Jan Willem
14
1991
A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002
Apt, Krysztof R.; Plotkin, G. D.
14
1981
Constraint logic programming using Eclipse. Zbl 1119.68044
Apt, Krzysztof R.
13
2007
Formal justification of a proof system for communicating sequential processes. Zbl 0503.68021
Apt, Krzysztof R.
12
1983
Arithmetic classification of perfect models of stratified programs. Zbl 0699.68112
Apt, Krzysztof R.; Blair, Howard A.
11
1990
Undominated Groves mechanisms. Zbl 1259.68191
Guo, Mingyu; Markakis, Evangelos; Apt, Krzysztof R.; Conitzer, Vincent
10
2013
Second order arithmetic and related topics. Zbl 0299.02066
Apt, Krysztof R.; Marek, W.
9
1974
Verification of sequential and concurrent programs. 2nd ed. Zbl 0869.68064
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger
9
1997
Fair termination revisited - with delay. Zbl 0542.68015
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
9
1984
First-order logic as a constraint programming language. Zbl 1023.03018
Apt, K. R.; Vermeulen, C. F. M.
8
2002
Diffusion in social networks with competing products. Zbl 1233.91226
Apt, Krzysztof R.; Markakis, Evangelos
8
2011
Recursive assertions and parallel programs. Zbl 0436.68009
Apt, Krzysztof R.
7
1981
Two normal form theorems for CSP programs. Zbl 0631.68026
Apt, K. R.; Bougé, Luc; Clermont, Ph.
7
1987
Ten years of Hoare’s logic, a survey. Zbl 0426.68004
Apt, Krysztof R.
6
1979
Reasoning about prolog programs: From modes through types to assertions. Zbl 0816.68046
Apt, Krzysztof R.; Marchiori, Elena
6
1994
A classification of weakly acyclic games. Zbl 1284.91012
Apt, Krzysztof R.; Simon, Sunil
6
2012
The many faces of rationalizability. Zbl 1169.91318
Apt, Krzysztof R.
6
2007
Coordination games on graphs. Zbl 1415.91063
Apt, Krzysztof R.; de Keijzer, Bart; Rahn, Mona; Schäfer, Guido; Simon, Sunil
5
2017
The role of monotonicity in the epistemic analysis of strategic games. Zbl 1311.91042
Apt, Krzysztof R.; Zvesper, Jonathan A.
5
2010
Correctnss proofs of distributed termination algorithms. Zbl 0599.68017
Apt, Krzysztof R.
5
1986
The logic programming paradigm. A 25-year perspective. Zbl 0919.00027
5
1999
Coordination games on graphs (extended abstract). Zbl 1404.91040
Apt, Krzysztof R.; Rahn, Mona; Schäfer, Guido; Simon, Sunil
5
2014
Social network games. Zbl 1310.91127
Simon, Sunil; Apt, Krzysztof R.
5
2015
When are two gossips the same? Zbl 1415.68215
Apt, Krzysztof; Grossi, Davide; van der Hoek, Wiebe
4
2018
Recursive assertions are not enough - or are they? Zbl 0393.68016
Apt, Krzysztof R.; Bergstra, Jan A.; Meertens, Lambert G. L. T.
4
1979
A new definition of SLDNF-resolution. Zbl 0795.68039
Apt, Krzysztof R.; Doets, Kees
4
1994
A classification of weakly acyclic games. Zbl 1380.91013
Apt, Krzysztof R.; Simon, Sunil
4
2015
Proof rules dealing with fairness (Extended abstract). Zbl 0481.68021
Apt, Krzysztof R.; Olderog, Ernst-Ruediger
4
1982
Social networks with competing products. Zbl 1284.91488
Apt, Krzysztof R.; Markakis, Evangelos
4
2014
Real time clocks versus virtual clocks. Zbl 0566.68021
Apt, Krzysztof R.; Richier, Jean-Luc
4
1985
The H-index can be easily manipulated. Zbl 1394.68193
de Keijzer, Bart; Apt, Krzysztof R.
3
2013
A proof theoretic view of constraint programming. Zbl 0947.68021
Apt, Krzysztof R.
3
1998
Verification of distributed epistemic gossip protocols. Zbl 1444.68255
Apt, Krzysztof R.; Wojtczak, Dominik
3
2018
Completeness with finite systems of intermediate assertions for recursive program schemes. Zbl 0446.68009
Apt, Krzysztof R.; Meertens, Lambert G. L. T.
3
1980
A declarative approach for first-order built-in’s of Prolog. Zbl 0815.68035
Apt, Krzysztof R.; Marchiori, Elena; Palamidessi, Catuscia
3
1994
Semantics and proof theory of PASCAL procedures. Zbl 0353.68036
Apt, Krysztof R.; de Bakker, J. W.
3
1977
On decidability of a logic of gossips. Zbl 1484.68226
Apt, Krzysztof R.; Wojtczak, Dominik
3
2016
Fair termination revisited - with delay. Zbl 0533.68010
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
3
1982
Modeling the distributed termination convention of CSP. Zbl 0536.68018
Apt, Krzysztof R.; Francez, Nissim
3
1984
Verification of object-oriented programs: a transformational approach. Zbl 1245.68062
Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn
3
2012
Selfishness level of strategic games. Zbl 1297.91059
Apt, Krzysztof R.; Schaefer, Guido
3
2014
Transformations realizing fairness assumptions for parallel programs. Zbl 0558.68015
Apt, Krysztof R.; Olderog, E.-R.
3
1984
Principles of constraint programming. Reprint of the 2003 hardback ed. Zbl 1187.68131
Apt, Krzysztof
2
2009
Modular verification of recursive programs. Zbl 1241.68047
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
2
2009
An axiomatization of the intermittent assertion method using temporal logic (extended abstract). Zbl 0522.68035
Apt, Krzysztof R.; Delporte, Carole
2
1983
Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets. Zbl 1286.03051
Zvesper, Jonathan A.; Apt, Krzysztof R.
2
2010
A generic approach to coalition formation. Zbl 1190.91011
Apt, Krzysztof R.; Witzel, Andreas
2
2009
Arithmetic classification of perfect models of stratified programs. Zbl 0726.68040
Apt, Krzysztof R.; Blair, Howard A.
2
1991
Syntax directed analysis of liveness properties of while programs. Zbl 0591.68016
Apt, Krzysztof R.; Delporte-Gallet, Carole
2
1986
Self-stabilization through the lens of game theory. Zbl 1462.68011
Apt, Krzysztof R.; Shoja, Ehsan
2
2018
Coordination games on directed graphs. Zbl 1484.91076
Apt, Krzysztof R.; Simon, Sunil; Wojtczak, Dominik
2
2016
Formulas as programs. Zbl 0945.68024
Apt, Krzysztof R.; Bezem, Marc
1
1999
The rough guide to constraint propagation. Zbl 0961.68123
Apt, Krzysztof R.
1
1999
Automatic generation of constraint propagation algorithms for small finite domains. Zbl 0957.68102
Apt, Krzysztof R.; Monfroy, Eric
1
1999
A comparative study of arithmetic constraints on integer intervals. Zbl 1196.68223
Apt, Krzysztof R.; Zoeteweij, Peter
1
2004
\(\omega\)-models in analytical hierarchy. Zbl 0252.02045
Apt, Krysztof R.
1
1972
From chaotic iteration to constraint propagation. Zbl 1401.68282
Apt, Krzysztof R.
1
1997
A denotational semantics for first-order logic. Zbl 0983.68113
Apt, Krzysztof R.
1
2000
Program verification and prolog. Zbl 0844.68078
Apt, Krzysztof R.
1
1995
Modular termination proofs for logic and pure PROLOG programs. Zbl 0849.68011
Apt, Krzysztof R.; Pedreschi, Dino
1
1994
Programming in Alma-0, or imperative and declarative programming reconciled. Zbl 1013.68064
Apt, Krzysztof R.; Schaerf, Andrea
1
2000
Meta-variables in logic programming, or in praise of ambivalent syntax. Zbl 0865.68024
Apt, Krzysztof R.; Ben-Eliyahu, Rachel
1
1996
New perspectives on games and interaction. Selected papers based on the presentations at the colloquium, Amsterdam, Netherlands, February 5–7, 2007. Zbl 1238.91004
1
2008
A comparison of the notions of optimality in soft constraints and graphical games. Zbl 1162.68648
Apt, Krzysztof R.; Rossi, Francesca; Venable, K. Brent
1
2008
An analysis of arithmetic constraints on integer intervals. Zbl 1125.68109
Apt, Krzysztof R.; Zoeteweij, Peter
1
2007
Strategy elimination in games with interaction structures. Zbl 1196.91019
Witzel, Andreas; Apt, Krzysztof R.; Zvesper, Jonathan A.
1
2009
Constraint programming viewed as rule-based programming. Zbl 1066.68518
Apt, Krzysztof R.; Monfroy, Eric
1
2001
Exercises in denotational semantics. Zbl 0337.68011
Apt, Krysztof R.; de Bakker, J. W.
1
1976
Proving correctness of CSP programs - a tutorial. Zbl 0566.68018
Apt, Krzysztof R.
1
1985
Epistemic protocols for distributed gossiping. Zbl 1483.68361
Apt, Krzysztof R.; Grossi, Davide; van der Hoek, Wiebe
1
2016
Common knowledge in a logic of gossips. Zbl 1483.68362
Apt, Krzysztof R.; Wojtczak, Dominik
1
2017
Open problems in a logic of gossips. Zbl 07450017
Apt, Krzysztof R.; Wojtczak, Dominik
1
2019
Proving termination of general Prolog programs. Zbl 1494.68038
Apt, Krzysztof R.; Pedreschi, Dino
1
1991
Open problems in a logic of gossips. Zbl 07450017
Apt, Krzysztof R.; Wojtczak, Dominik
1
2019
When are two gossips the same? Zbl 1415.68215
Apt, Krzysztof; Grossi, Davide; van der Hoek, Wiebe
4
2018
Verification of distributed epistemic gossip protocols. Zbl 1444.68255
Apt, Krzysztof R.; Wojtczak, Dominik
3
2018
Self-stabilization through the lens of game theory. Zbl 1462.68011
Apt, Krzysztof R.; Shoja, Ehsan
2
2018
Coordination games on graphs. Zbl 1415.91063
Apt, Krzysztof R.; de Keijzer, Bart; Rahn, Mona; Schäfer, Guido; Simon, Sunil
5
2017
Common knowledge in a logic of gossips. Zbl 1483.68362
Apt, Krzysztof R.; Wojtczak, Dominik
1
2017
On decidability of a logic of gossips. Zbl 1484.68226
Apt, Krzysztof R.; Wojtczak, Dominik
3
2016
Coordination games on directed graphs. Zbl 1484.91076
Apt, Krzysztof R.; Simon, Sunil; Wojtczak, Dominik
2
2016
Epistemic protocols for distributed gossiping. Zbl 1483.68361
Apt, Krzysztof R.; Grossi, Davide; van der Hoek, Wiebe
1
2016
Social network games. Zbl 1310.91127
Simon, Sunil; Apt, Krzysztof R.
5
2015
A classification of weakly acyclic games. Zbl 1380.91013
Apt, Krzysztof R.; Simon, Sunil
4
2015
Coordination games on graphs (extended abstract). Zbl 1404.91040
Apt, Krzysztof R.; Rahn, Mona; Schäfer, Guido; Simon, Sunil
5
2014
Social networks with competing products. Zbl 1284.91488
Apt, Krzysztof R.; Markakis, Evangelos
4
2014
Selfishness level of strategic games. Zbl 1297.91059
Apt, Krzysztof R.; Schaefer, Guido
3
2014
Undominated Groves mechanisms. Zbl 1259.68191
Guo, Mingyu; Markakis, Evangelos; Apt, Krzysztof R.; Conitzer, Vincent
10
2013
The H-index can be easily manipulated. Zbl 1394.68193
de Keijzer, Bart; Apt, Krzysztof R.
3
2013
A classification of weakly acyclic games. Zbl 1284.91012
Apt, Krzysztof R.; Simon, Sunil
6
2012
Verification of object-oriented programs: a transformational approach. Zbl 1245.68062
Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn
3
2012
Lectures in game theory for computer scientists. Zbl 1214.91003
21
2011
Diffusion in social networks with competing products. Zbl 1233.91226
Apt, Krzysztof R.; Markakis, Evangelos
8
2011
The role of monotonicity in the epistemic analysis of strategic games. Zbl 1311.91042
Apt, Krzysztof R.; Zvesper, Jonathan A.
5
2010
Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets. Zbl 1286.03051
Zvesper, Jonathan A.; Apt, Krzysztof R.
2
2010
Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
30
2009
Principles of constraint programming. Reprint of the 2003 hardback ed. Zbl 1187.68131
Apt, Krzysztof
2
2009
Modular verification of recursive programs. Zbl 1241.68047
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
2
2009
A generic approach to coalition formation. Zbl 1190.91011
Apt, Krzysztof R.; Witzel, Andreas
2
2009
Strategy elimination in games with interaction structures. Zbl 1196.91019
Witzel, Andreas; Apt, Krzysztof R.; Zvesper, Jonathan A.
1
2009
New perspectives on games and interaction. Selected papers based on the presentations at the colloquium, Amsterdam, Netherlands, February 5–7, 2007. Zbl 1238.91004
1
2008
A comparison of the notions of optimality in soft constraints and graphical games. Zbl 1162.68648
Apt, Krzysztof R.; Rossi, Francesca; Venable, K. Brent
1
2008
Constraint logic programming using Eclipse. Zbl 1119.68044
Apt, Krzysztof R.
13
2007
The many faces of rationalizability. Zbl 1169.91318
Apt, Krzysztof R.
6
2007
An analysis of arithmetic constraints on integer intervals. Zbl 1125.68109
Apt, Krzysztof R.; Zoeteweij, Peter
1
2007
A comparative study of arithmetic constraints on integer intervals. Zbl 1196.68223
Apt, Krzysztof R.; Zoeteweij, Peter
1
2004
Principles of constraint programming. Zbl 1187.68132
Apt, Krzysztof
75
2003
First-order logic as a constraint programming language. Zbl 1023.03018
Apt, K. R.; Vermeulen, C. F. M.
8
2002
Constraint programming viewed as rule-based programming. Zbl 1066.68518
Apt, Krzysztof R.; Monfroy, Eric
1
2001
A denotational semantics for first-order logic. Zbl 0983.68113
Apt, Krzysztof R.
1
2000
Programming in Alma-0, or imperative and declarative programming reconciled. Zbl 1013.68064
Apt, Krzysztof R.; Schaerf, Andrea
1
2000
The essence of constraint propagation. Zbl 0930.68164
Apt, Krzysztof R.
16
1999
The logic programming paradigm. A 25-year perspective. Zbl 0919.00027
5
1999
Formulas as programs. Zbl 0945.68024
Apt, Krzysztof R.; Bezem, Marc
1
1999
The rough guide to constraint propagation. Zbl 0961.68123
Apt, Krzysztof R.
1
1999
Automatic generation of constraint propagation algorithms for small finite domains. Zbl 0957.68102
Apt, Krzysztof R.; Monfroy, Eric
1
1999
A proof theoretic view of constraint programming. Zbl 0947.68021
Apt, Krzysztof R.
3
1998
Verification of sequential and concurrent programs. 2nd ed. Zbl 0869.68064
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger
9
1997
From chaotic iteration to constraint propagation. Zbl 1401.68282
Apt, Krzysztof R.
1
1997
Meta-variables in logic programming, or in praise of ambivalent syntax. Zbl 0865.68024
Apt, Krzysztof R.; Ben-Eliyahu, Rachel
1
1996
Program verification and prolog. Zbl 0844.68078
Apt, Krzysztof R.
1
1995
Logic programming and negation: A survey. Zbl 0942.68518
Apt, Krzysztof R.; Bol, Roland N.
47
1994
Reasoning about prolog programs: From modes through types to assertions. Zbl 0816.68046
Apt, Krzysztof R.; Marchiori, Elena
6
1994
A new definition of SLDNF-resolution. Zbl 0795.68039
Apt, Krzysztof R.; Doets, Kees
4
1994
A declarative approach for first-order built-in’s of Prolog. Zbl 0815.68035
Apt, Krzysztof R.; Marchiori, Elena; Palamidessi, Catuscia
3
1994
Modular termination proofs for logic and pure PROLOG programs. Zbl 0849.68011
Apt, Krzysztof R.; Pedreschi, Dino
1
1994
Reasoning about termination of pure Prolog programs. Zbl 0786.68021
Apt, Krzysztof R.; Pedreschi, Dino
21
1993
Acyclic programs. Zbl 0744.68034
Apt, Krzysztof R.; Bezem, Marc
22
1991
Verification of sequential and concurrent programs. Zbl 0733.68053
Apt, Krysztof R.; Olderog, Ernst-Rüdiger
21
1991
An analysis of loop checking mechanisms for logic programs. Zbl 0741.68027
Bol, Roland N.; Apt, Krzysztof R.; Klop, Jan Willem
14
1991
Arithmetic classification of perfect models of stratified programs. Zbl 0726.68040
Apt, Krzysztof R.; Blair, Howard A.
2
1991
Proving termination of general Prolog programs. Zbl 1494.68038
Apt, Krzysztof R.; Pedreschi, Dino
1
1991
Logic programming. Zbl 0900.68136
Apt, Krzysztof R.
72
1990
Arithmetic classification of perfect models of stratified programs. Zbl 0699.68112
Apt, Krzysztof R.; Blair, Howard A.
11
1990
Appraising fairness in languages for distributed programming. Zbl 0659.68023
Apt, Krzysztof R.; Francez, Nissim; Katz, Shmuel
36
1988
Two normal form theorems for CSP programs. Zbl 0631.68026
Apt, K. R.; Bougé, Luc; Clermont, Ph.
7
1987
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
43
1986
Correctnss proofs of distributed termination algorithms. Zbl 0599.68017
Apt, Krzysztof R.
5
1986
Syntax directed analysis of liveness properties of while programs. Zbl 0591.68016
Apt, Krzysztof R.; Delporte-Gallet, Carole
2
1986
Real time clocks versus virtual clocks. Zbl 0566.68021
Apt, Krzysztof R.; Richier, Jean-Luc
4
1985
Proving correctness of CSP programs - a tutorial. Zbl 0566.68018
Apt, Krzysztof R.
1
1985
Ten years of Hoare’s logic: A survey. II: Nondeterminism. Zbl 0523.68015
Apt, Krzysztof R.
20
1984
Fair termination revisited - with delay. Zbl 0542.68015
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
9
1984
Modeling the distributed termination convention of CSP. Zbl 0536.68018
Apt, Krzysztof R.; Francez, Nissim
3
1984
Transformations realizing fairness assumptions for parallel programs. Zbl 0558.68015
Apt, Krysztof R.; Olderog, E.-R.
3
1984
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
25
1983
Formal justification of a proof system for communicating sequential processes. Zbl 0503.68021
Apt, Krzysztof R.
12
1983
An axiomatization of the intermittent assertion method using temporal logic (extended abstract). Zbl 0522.68035
Apt, Krzysztof R.; Delporte, Carole
2
1983
Contributions to the theory of logic programming. Zbl 0483.68004
Apt, Krzysztof R.; van Emden, M. H.
95
1982
Proof rules dealing with fairness (Extended abstract). Zbl 0481.68021
Apt, Krzysztof R.; Olderog, Ernst-Ruediger
4
1982
Fair termination revisited - with delay. Zbl 0533.68010
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
3
1982
Ten years of Hoare’s logic: A survey - Part 1. Zbl 0471.68006
Apt, Krzysztof R.
93
1981
A Cook’s tour of countable nondeterminism (extended abstract). Zbl 0465.68002
Apt, Krysztof R.; Plotkin, G. D.
14
1981
Recursive assertions and parallel programs. Zbl 0436.68009
Apt, Krzysztof R.
7
1981
A proof system for communicating sequential processes. Zbl 0468.68023
Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P.
55
1980
Completeness with finite systems of intermediate assertions for recursive program schemes. Zbl 0446.68009
Apt, Krzysztof R.; Meertens, Lambert G. L. T.
3
1980
Ten years of Hoare’s logic, a survey. Zbl 0426.68004
Apt, Krysztof R.
6
1979
Recursive assertions are not enough - or are they? Zbl 0393.68016
Apt, Krzysztof R.; Bergstra, Jan A.; Meertens, Lambert G. L. T.
4
1979
Semantics and proof theory of PASCAL procedures. Zbl 0353.68036
Apt, Krysztof R.; de Bakker, J. W.
3
1977
Exercises in denotational semantics. Zbl 0337.68011
Apt, Krysztof R.; de Bakker, J. W.
1
1976
Second order arithmetic and related topics. Zbl 0299.02066
Apt, Krysztof R.; Marek, W.
9
1974
\(\omega\)-models in analytical hierarchy. Zbl 0252.02045
Apt, Krysztof R.
1
1972
all top 5

Cited by 1,080 Authors

25 Apt, Krzysztof Rafal
16 de Boer, Frank S.
13 Bergstra, Jan A.
13 Hesselink, Wim H.
13 Marek, V. Wiktor
12 Remmel, Jeffrey B.
11 Francez, Nissim
8 Pontelli, Enrico
7 Drabent, Włodzimierz
7 Hnich, Brahim
7 Lamma, Evelina
7 Olderog, Ernst-Rüdiger
7 Palamidessi, Catuscia
7 Peled, Doron A.
7 Tucker, John V.
6 Brogi, Antonio
6 Dovland, Johan
6 Henzinger, Thomas A.
6 Hölldobler, Steffen
6 Johnsen, Einar Broch
6 Katz, Shmuel
6 Levi, Giorgio
6 Nerode, Anil
6 Owe, Olaf
6 Pettorossi, Alberto
6 Proietti, Maurizio
6 Simon, Sunil
6 Tarim, S. Armagan
6 Truszczyński, Mirosław
5 Benerecetti, Massimo
5 Costantini, Stefania
5 de Bakker, Jacobus W.
5 Dell’Erba, Daniele
5 Dovier, Agostino
5 Formisano, Andrea
5 Grumberg, Orna
5 Kok, Joost N.
5 Leone, Nicola
5 Mello, Paola
5 Meyer, John-Jules Charles
5 Mogavero, Fabio
5 Ponse, Alban
5 Rodríguez-Artalejo, Mario
5 Rossi, Roberto
5 Steffen, Martin
5 Wojtczak, Dominik
4 America, Pierre
4 Avni, Guy
4 Back, Ralph-Johan
4 Bougé, Luc
4 Conitzer, Vincent
4 Cousot, Patrick
4 De Schreye, Danny
4 Eiter, Thomas
4 Hitzler, Pascal
4 Jaulin, Luc
4 Meldal, Sigurd
4 Naumann, David A.
4 Prestwich, Steven D.
4 Rondogiannis, Panos
4 Roscoe, Andrew William
4 Rossi, Gianfranco
4 Rousseau, Louis-Martin
4 van der Hoek, Wiebe
4 van Hoeve, Willem-Jan
3 Alberti, Marco
3 Arbab, Farhad
3 Athanasiou, Efthymios
3 Bessiere, Christian
3 Bidoit, Nicole
3 Cousot, Radhia
3 De Gouw, Stijn
3 de Roever, Willem-Paul
3 Delahaye, Jean-Paul
3 Denecker, Marc
3 Deransart, Pierre
3 Fioravanti, Fabio
3 Gelfond, Michael
3 Giacobazzi, Roberto
3 Gualandi, Stefano
3 Guo, Mingyu
3 Hallerstede, Stefan
3 Halpern, Joseph Yehuda
3 Hoare, C. A. R. Tony
3 Iranzo, Pascual Julián
3 Kolaitis, Phokion G.
3 Lassez, Jean-Louis
3 Lodaya, Kamal
3 Malucelli, Federico
3 Marchiori, Elena
3 Martelli, Maurizio
3 Murawski, Roman
3 Nightingale, Peter W.
3 Pedreschi, Dino
3 Phan Minh Dung
3 Pnueli, Amir
3 Podelski, Andreas
3 Riguzzi, Fabrizio
3 Rutten, Jan J. M. M.
3 Schlipf, John Stewart
...and 980 more Authors
all top 5

Cited in 106 Serials

164 Theoretical Computer Science
39 Formal Aspects of Computing
32 Artificial Intelligence
31 Information and Computation
26 Information Processing Letters
26 Annals of Mathematics and Artificial Intelligence
23 Theory and Practice of Logic Programming
22 Acta Informatica
22 Journal of Computer and System Sciences
22 Constraints
15 Distributed Computing
12 Annals of Pure and Applied Logic
11 Journal of Automated Reasoning
11 The Journal of Logic and Algebraic Programming
8 New Generation Computing
7 Computers & Operations Research
7 Annals of Operations Research
7 Journal of Logical and Algebraic Methods in Programming
6 Fuzzy Sets and Systems
6 European Journal of Operational Research
6 Journal of Applied Non-Classical Logics
5 BIT
5 Journal of Symbolic Computation
5 Games and Economic Behavior
5 RAIRO. Informatique Théorique et Applications
5 ACM Transactions on Computational Logic
5 Journal of Applied Logic
4 Information Sciences
4 Science of Computer Programming
4 Machine Learning
4 Archive for Mathematical Logic
4 Formal Methods in System Design
4 Fundamenta Informaticae
4 Sādhanā
3 International Journal of Game Theory
3 Studia Logica
3 Journal of Heuristics
3 Journal of Combinatorial Optimization
3 Higher-Order and Symbolic Computation
3 Logical Methods in Computer Science
3 Frontiers of Computer Science
2 Computers & Mathematics with Applications
2 Discrete Applied Mathematics
2 Automatica
2 Journal of Economic Theory
2 Journal of Philosophical Logic
2 Mathematics of Operations Research
2 Synthese
2 Journal of Computer Science and Technology
2 Algorithmica
2 International Journal of Parallel Programming
2 International Journal of Approximate Reasoning
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 MSCS. Mathematical Structures in Computer Science
2 International Journal of Computer Mathematics
2 Theory of Computing Systems
2 International Game Theory Review
2 4OR
2 Games
2 Dynamic Games and Applications
2 EURO Journal on Computational Optimization
2 Computer Science Review
1 Mathematical Notes
1 Mathematische Semesterberichte
1 Physica A
1 Computing
1 Journal of Mathematical Economics
1 Journal of Soviet Mathematics
1 The Journal of Symbolic Logic
1 Mathematical Systems Theory
1 Networks
1 Notre Dame Journal of Formal Logic
1 Programming and Computer Software
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Theory and Decision
1 Mathematical Social Sciences
1 Social Choice and Welfare
1 International Journal of Intelligent Systems
1 SIAM Journal on Discrete Mathematics
1 Real-Time Systems
1 Economics Letters
1 Automation and Remote Control
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 Journal of Computer and Systems Sciences International
1 Economic Theory
1 Journal of Functional Programming
1 The Journal of Artificial Intelligence Research (JAIR)
1 Computational & Mathematical Organization Theory
1 ACM Transactions on Modeling and Computer Simulation
1 Parallel Algorithms and Applications
1 Journal of Scheduling
1 International Journal of Applied Mathematics and Computer Science
1 CEJOR. Central European Journal of Operations Research
1 RAIRO. Operations Research
1 Concurrency and Computation: Practice & Experience
1 Review of Economic Design
1 OR Spectrum
1 Discrete Optimization
1 Mathematics in Computer Science
...and 6 more Serials

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.