×

zbMATH — the first resource for mathematics

Apt, Krzysztof Rafal

Compute Distance To:
Author ID: apt.krzysztof-rafal Recent zbMATH articles by "Apt, Krzysztof Rafal"
Published as: Apt, K. R.; Apt, Krysztof R.; Apt, Krzysztof; Apt, Krzysztof R.; Apt, Krzysztof Rafal
External Links: MGP · Wikidata
Documents Indexed: 117 Publications since 1972, including 17 Books
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 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 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 Bulletin of the European Association for Theoretical Computer Science EATCS
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 Lecture Notes in Computer Science
1 NATO ASI Series. Series F. Computer and Systems Sciences
1 The B. E. Journal of Theoretical Economics
1 Games
1 Texts in Computer Science

Publications by Year

Citations contained in zbMATH Open

79 Publications have been cited 922 times in 733 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.
95
1981
Principles of constraint programming. Zbl 1187.68132
Apt, Krzysztof
71
2003
Logic programming. Zbl 0900.68136
Apt, Krzysztof R.
70
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.
44
1994
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
42
1986
Appraising fairness in languages for distributed programming. Zbl 0659.68023
Apt, Krzysztof R.; Francez, Nissim; Katz, Shmuel
35
1988
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
27
1983
Verification of sequential and concurrent programs. Zbl 0733.68053
Apt, Krysztof R.; Olderog, Ernst-Rüdiger
22
1991
Acyclic programs. Zbl 0744.68034
Apt, Krzysztof R.; Bezem, Marc
22
1991
Verification of sequential and concurrent programs. 3rd revised ed. Zbl 1183.68361
Apt, Krzysztof R.; de Boer, Frank S.; Olderog, Ernst-Rüdiger
21
2009
Ten years of Hoare’s logic: A survey. II: Nondeterminism. Zbl 0523.68015
Apt, Krzysztof R.
21
1984
Reasoning about termination of pure Prolog programs. Zbl 0786.68021
Apt, Krzysztof R.; Pedreschi, Dino
20
1993
The essence of constraint propagation. Zbl 0930.68164
Apt, Krzysztof R.
16
1999
Lectures in game theory for computer scientists. Zbl 1214.91003
Apt, Krzysztof R. (ed.); Grädel, Erich (ed.)
14
2011
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
An analysis of loop checking mechanisms for logic programs. Zbl 0741.68027
Bol, Roland N.; Apt, Krzysztof R.; Klop, Jan Willem
13
1991
Formal justification of a proof system for communicating sequential processes. Zbl 0503.68021
Apt, Krzysztof R.
12
1983
Verification of sequential and concurrent programs. 2nd ed. Zbl 0869.68064
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger
11
1997
Arithmetic classification of perfect models of stratified programs. Zbl 0699.68112
Apt, Krzysztof R.; Blair, Howard A.
10
1990
Fair termination revisited - with delay. Zbl 0542.68015
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
9
1984
Second order arithmetic and related topics. Zbl 0299.02066
Apt, Krysztof R.; Marek, W.
9
1974
Undominated Groves mechanisms. Zbl 1259.68191
Guo, Mingyu; Markakis, Evangelos; Apt, Krzysztof R.; Conitzer, Vincent
8
2013
First-order logic as a constraint programming language. Zbl 1023.03018
Apt, K. R.; Vermeulen, C. F. M.
8
2002
Two normal form theorems for CSP programs. Zbl 0631.68026
Apt, K. R.; Bougé, Luc; Clermont, Ph.
8
1987
Recursive assertions and parallel programs. Zbl 0436.68009
Apt, Krzysztof R.
7
1981
Diffusion in social networks with competing products. Zbl 1233.91226
Apt, Krzysztof R.; Markakis, Evangelos
6
2011
The many faces of rationalizability. Zbl 1169.91318
Apt, Krzysztof R.
6
2007
The logic programming paradigm. A 25-year perspective. Zbl 0919.00027
Apt, K. R. (ed.); Marek, V. W. (ed.); Truszczynski, M. (ed.); Warren, D. S. (ed.)
6
1999
Ten years of Hoare’s logic, a survey. Zbl 0426.68004
Apt, Krysztof R.
6
1979
The role of monotonicity in the epistemic analysis of strategic games. Zbl 1311.91042
Apt, Krzysztof R.; Zvesper, Jonathan A.
5
2010
Reasoning about prolog programs: From modes through types to assertions. Zbl 0816.68046
Apt, Krzysztof R.; Marchiori, Elena
5
1994
Correctnss proofs of distributed termination algorithms. Zbl 0599.68017
Apt, Krzysztof R.
5
1986
Transformations realizing fairness assumptions for parallel programs. Zbl 0558.68015
Apt, Krysztof R.; Olderog, E.-R.
5
1984
A classification of weakly acyclic games. Zbl 1284.91012
Apt, Krzysztof R.; Simon, Sunil
4
2012
A new definition of SLDNF-resolution. Zbl 0795.68039
Apt, Krzysztof R.; Doets, Kees
4
1994
Real time clocks versus virtual clocks. Zbl 0566.68021
Apt, Krzysztof R.; Richier, Jean-Luc
4
1985
Proof rules dealing with fairness (Extended abstract). Zbl 0481.68021
Apt, Krzysztof R.; Olderog, Ernst-Ruediger
4
1982
Recursive assertions are not enough - or are they? Zbl 0393.68016
Apt, Krzysztof R.; Bergstra, Jan A.; Meertens, Lambert G. L. T.
4
1979
Coordination games on graphs. Zbl 1415.91063
Apt, Krzysztof R.; de Keijzer, Bart; Rahn, Mona; Schäfer, Guido; Simon, Sunil
3
2017
Coordination games on graphs (extended abstract). Zbl 1404.91040
Apt, Krzysztof R.; Rahn, Mona; Schäfer, Guido; Simon, Sunil
3
2014
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
A proof theoretic view of constraint programming. Zbl 0947.68021
Apt, Krzysztof R.
3
1998
A declarative approach for first-order built-in’s of Prolog. Zbl 0815.68035
Apt, Krzysztof R.; Marchiori, Elena; Palamidessi, Catuscia
3
1994
Modeling the distributed termination convention of CSP. Zbl 0536.68018
Apt, Krzysztof R.; Francez, Nissim
3
1984
Fair termination revisited - with delay. Zbl 0533.68010
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
3
1982
Completeness with finite systems of intermediate assertions for recursive program schemes. Zbl 0446.68009
Apt, Krzysztof R.; Meertens, Lambert G. L. T.
3
1980
Semantics and proof theory of PASCAL procedures. Zbl 0353.68036
Apt, Krysztof R.; de Bakker, J. W.
3
1977
A classification of weakly acyclic games. Zbl 1380.91013
Apt, Krzysztof R.; Simon, Sunil
2
2015
Social network games. Zbl 1310.91127
Simon, Sunil; Apt, Krzysztof R.
2
2015
Social networks with competing products. Zbl 1284.91488
Apt, Krzysztof R.; Markakis, Evangelos
2
2014
The H-index can be easily manipulated. Zbl 1394.68193
de Keijzer, Bart; Apt, Krzysztof R.
2
2013
Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets. Zbl 1286.03051
Zvesper, Jonathan A.; Apt, Krzysztof R.
2
2010
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
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
An axiomatization of the intermittent assertion method using temporal logic (extended abstract). Zbl 0522.68035
Apt, Krzysztof R.; Delporte, Carole
2
1983
When are two gossips the same? Zbl 1415.68215
Apt, Krzysztof; Grossi, Davide; van der Hoek, Wiebe
1
2018
Verification of distributed epistemic gossip protocols. Zbl 1444.68255
Apt, Krzysztof R.; Wojtczak, Dominik
1
2018
Selfishness level of strategic games. Zbl 1297.91059
Apt, Krzysztof R.; Schaefer, Guido
1
2014
A generic approach to coalition formation. Zbl 1190.91011
Apt, Krzysztof R.; Witzel, Andreas
1
2009
Strategy elimination in games with interaction structures. Zbl 1196.91019
Witzel, Andreas; Apt, Krzysztof R.; Zvesper, Jonathan A.
1
2009
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
A comparative study of arithmetic constraints on integer intervals. Zbl 1196.68223
Apt, Krzysztof R.; Zoeteweij, Peter
1
2004
Constraint programming viewed as rule-based programming. Zbl 1066.68518
Apt, Krzysztof R.; Monfroy, Eric
1
2001
Programming in Alma-0, or imperative and declarative programming reconciled. Zbl 1013.68064
Apt, Krzysztof R.; Schaerf, Andrea
1
2000
A denotational semantics for first-order logic. Zbl 0983.68113
Apt, Krzysztof R.
1
2000
Automatic generation of constraint propagation algorithms for small finite domains. Zbl 0957.68102
Apt, Krzysztof R.; Monfroy, Eric
1
1999
The rough guide to constraint propagation. Zbl 0961.68123
Apt, Krzysztof R.
1
1999
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
Proving correctness of CSP programs - a tutorial. Zbl 0566.68018
Apt, Krzysztof R.
1
1985
Exercises in denotational semantics. Zbl 0337.68011
Apt, Krysztof R.; de Bakker, J. W.
1
1976
\(\omega\)-models in analytical hierarchy. Zbl 0252.02045
Apt, Krysztof R.
1
1972
When are two gossips the same? Zbl 1415.68215
Apt, Krzysztof; Grossi, Davide; van der Hoek, Wiebe
1
2018
Verification of distributed epistemic gossip protocols. Zbl 1444.68255
Apt, Krzysztof R.; Wojtczak, Dominik
1
2018
Coordination games on graphs. Zbl 1415.91063
Apt, Krzysztof R.; de Keijzer, Bart; Rahn, Mona; Schäfer, Guido; Simon, Sunil
3
2017
A classification of weakly acyclic games. Zbl 1380.91013
Apt, Krzysztof R.; Simon, Sunil
2
2015
Social network games. Zbl 1310.91127
Simon, Sunil; Apt, Krzysztof R.
2
2015
Coordination games on graphs (extended abstract). Zbl 1404.91040
Apt, Krzysztof R.; Rahn, Mona; Schäfer, Guido; Simon, Sunil
3
2014
Social networks with competing products. Zbl 1284.91488
Apt, Krzysztof R.; Markakis, Evangelos
2
2014
Selfishness level of strategic games. Zbl 1297.91059
Apt, Krzysztof R.; Schaefer, Guido
1
2014
Undominated Groves mechanisms. Zbl 1259.68191
Guo, Mingyu; Markakis, Evangelos; Apt, Krzysztof R.; Conitzer, Vincent
8
2013
The H-index can be easily manipulated. Zbl 1394.68193
de Keijzer, Bart; Apt, Krzysztof R.
2
2013
A classification of weakly acyclic games. Zbl 1284.91012
Apt, Krzysztof R.; Simon, Sunil
4
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
Apt, Krzysztof R. (ed.); Grädel, Erich (ed.)
14
2011
Diffusion in social networks with competing products. Zbl 1233.91226
Apt, Krzysztof R.; Markakis, Evangelos
6
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
21
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
1
2009
Strategy elimination in games with interaction structures. Zbl 1196.91019
Witzel, Andreas; Apt, Krzysztof R.; Zvesper, Jonathan A.
1
2009
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
71
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
Programming in Alma-0, or imperative and declarative programming reconciled. Zbl 1013.68064
Apt, Krzysztof R.; Schaerf, Andrea
1
2000
A denotational semantics for first-order logic. Zbl 0983.68113
Apt, Krzysztof R.
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
Apt, K. R. (ed.); Marek, V. W. (ed.); Truszczynski, M. (ed.); Warren, D. S. (ed.)
6
1999
Automatic generation of constraint propagation algorithms for small finite domains. Zbl 0957.68102
Apt, Krzysztof R.; Monfroy, Eric
1
1999
The rough guide to constraint propagation. Zbl 0961.68123
Apt, Krzysztof R.
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
11
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.
44
1994
Reasoning about prolog programs: From modes through types to assertions. Zbl 0816.68046
Apt, Krzysztof R.; Marchiori, Elena
5
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
Reasoning about termination of pure Prolog programs. Zbl 0786.68021
Apt, Krzysztof R.; Pedreschi, Dino
20
1993
Verification of sequential and concurrent programs. Zbl 0733.68053
Apt, Krysztof R.; Olderog, Ernst-Rüdiger
22
1991
Acyclic programs. Zbl 0744.68034
Apt, Krzysztof R.; Bezem, Marc
22
1991
An analysis of loop checking mechanisms for logic programs. Zbl 0741.68027
Bol, Roland N.; Apt, Krzysztof R.; Klop, Jan Willem
13
1991
Arithmetic classification of perfect models of stratified programs. Zbl 0726.68040
Apt, Krzysztof R.; Blair, Howard A.
2
1991
Logic programming. Zbl 0900.68136
Apt, Krzysztof R.
70
1990
Arithmetic classification of perfect models of stratified programs. Zbl 0699.68112
Apt, Krzysztof R.; Blair, Howard A.
10
1990
Appraising fairness in languages for distributed programming. Zbl 0659.68023
Apt, Krzysztof R.; Francez, Nissim; Katz, Shmuel
35
1988
Two normal form theorems for CSP programs. Zbl 0631.68026
Apt, K. R.; Bougé, Luc; Clermont, Ph.
8
1987
Countable nondeterminism and random assignment. Zbl 0627.68015
Apt, K. R.; Plotkin, G. D.
42
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.
21
1984
Fair termination revisited - with delay. Zbl 0542.68015
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
9
1984
Transformations realizing fairness assumptions for parallel programs. Zbl 0558.68015
Apt, Krysztof R.; Olderog, E.-R.
5
1984
Modeling the distributed termination convention of CSP. Zbl 0536.68018
Apt, Krzysztof R.; Francez, Nissim
3
1984
Proof rules and transformations dealing with fairness. Zbl 0512.68014
Apt, Krysztof R.; Olderog, E.-R.
27
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.
95
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,034 Authors

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

Cited in 101 Serials

164 Theoretical Computer Science
38 Formal Aspects of Computing
32 Information and Computation
30 Artificial Intelligence
27 Information Processing Letters
25 Annals of Mathematics and Artificial Intelligence
23 Journal of Computer and System Sciences
23 Theory and Practice of Logic Programming
22 Acta Informatica
22 Constraints
15 Distributed Computing
12 Annals of Pure and Applied Logic
11 The Journal of Logic and Algebraic Programming
10 Journal of Automated Reasoning
8 New Generation Computing
7 Information Sciences
7 Annals of Operations Research
7 Journal of Logical and Algebraic Methods in Programming
6 Fuzzy Sets and Systems
6 Journal of Symbolic Computation
6 Computers & Operations Research
6 Games and Economic Behavior
6 Journal of Applied Non-Classical Logics
6 Journal of Applied Logic
5 BIT
5 European Journal of Operational Research
5 RAIRO. Informatique Théorique et Applications
5 ACM Transactions on Computational Logic
4 Science of Computer Programming
4 Formal Methods in System Design
4 Sādhanā
3 International Journal of Game Theory
3 Studia Logica
3 Machine Learning
3 Archive for Mathematical Logic
3 Journal of Heuristics
3 Higher-Order and Symbolic Computation
3 Frontiers of Computer Science
2 Computers & Mathematics with Applications
2 Discrete Applied Mathematics
2 Automatica
2 Journal of Philosophical Logic
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 Journal of Combinatorial Optimization
2 International Game Theory Review
2 4OR
2 Logical Methods in Computer Science
2 EURO Journal on Computational Optimization
2 Computer Science Review
1 Mathematical Notes
1 Mathematische Semesterberichte
1 Computing
1 Journal of Economic Theory
1 Journal of Mathematical Economics
1 Journal of Soviet Mathematics
1 The Journal of Symbolic Logic
1 Mathematics of Operations Research
1 Mathematical Systems Theory
1 Networks
1 Notre Dame Journal of Formal Logic
1 Programming and Computer Software
1 Theory and Decision
1 Mathematical Social Sciences
1 International Journal of Intelligent Systems
1 SIAM Journal on Discrete Mathematics
1 Real-Time Systems
1 Economics Letters
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 Economic Theory
1 Journal of Functional Programming
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 Fundamenta Informaticae
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
1 Optimization Letters
1 Acta Universitatis Sapientiae. Informatica
1 The Review of Symbolic Logic
1 Science China. Information Sciences
1 Games
1 Dynamic Games and Applications
1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1 Journal of Dynamics and Games
...and 1 more Serials

Citations by Year

Wikidata Timeline

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