| Towards a theory of declarative knowledge KR Apt, HA Blair, A Walker Foundations of deductive databases and logic programming, 89-148, 1988 | 1793 | 1988 |
| Principles of constraint programming K Apt Cambridge university press, 2003 | 1365 | 2003 |
| Logic Programming. KR Apt Handbook of Theoretical Computer Science, Volume B: Formal Models and …, 1990 | 972 | 1990 |
| Contributions to the theory of logic programming KR Apt, MH Van Emden Journal of the ACM (JACM) 29 (3), 841-862, 1982 | 928 | 1982 |
| Verification of sequential and concurrent programs KR Apt, ER Olderog, KR Apt Springer, 2009 | 853 | 2009 |
| Ten years of Hoare's logic: A survey—Part I KR Apt ACM Transactions on Programming Languages and Systems (TOPLAS) 3 (4), 431-483, 1981 | 830 | 1981 |
| Logic programming and negation: A survey KR Apt, RN Bol The Journal of Logic Programming 19, 9-71, 1994 | 649 | 1994 |
| From logic programming to Prolog KR Apt Prentice Hall, 1997 | 546 | 1997 |
| Constraint logic programming using ECLiPSe KR Apt, M Wallace Cambridge University Press, 2006 | 535 | 2006 |
| Limits for automatic verification of finite-state concurrent systems KR Apt, D Kozen Inf. Process. Lett. 22 (6), 307-309, 1986 | 525 | 1986 |
| A proof system for communicating sequential processes KR Apt, N Francez, WP De Roever ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (3), 359-385, 1980 | 475 | 1980 |
| Acyclic programs KR Apt, M Bezem New generation computing 9 (3), 335-363, 1991 | 358 | 1991 |
| A generic approach to coalition formation KR Apt, A Witzel International game theory review 11 (03), 347-367, 2009 | 345 | 2009 |
| Concepts in programming languages JC Mitchell, K Apt Cambridge University Press, 2003 | 315 | 2003 |
| The essence of constraint propagation KR Apt Theoretical computer science 221 (1-2), 179-210, 1999 | 299 | 1999 |
| Countable nondeterminism and random assignment KR Apt, GD Plotkin Journal of the ACM (JACM) 33 (4), 724-767, 1986 | 266 | 1986 |
| Ten years of Hoare's logic: A survey—Part II: Nondeterminism KR Apt Theoretical Computer Science 28 (1-2), 83-109, 1983 | 235* | 1983 |
| Reasoning about termination of pure Prolog programs KR Apt, D Pedreschi Information and computation 106 (1), 109-157, 1993 | 226 | 1993 |
| Appraising fairness in languages for distributed programming KR Apt, N Francez, S Katz Distributed Computing 2 (4), 226-241, 1988 | 217 | 1988 |
| Reasoning about Prolog programs: from modes through types to assertions KR Apt, E Marchiori Formal aspects of computing 6 (1), 743-765, 1994 | 157 | 1994 |
Leszek Pacholskiprofessor of computer science, Wroclaw UniversityVerified email at cs.uni.wroc.pl
