Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Krzysztof R. Apt | Researchclopedia

Back to researchers

Krzysztof R. Apt

Centrum Wiskunde & Informatica ORCID

449

Works

15,814

Citations

47

h-index

112

i10-index

Research Topics

Logic, programming, and type systems Logic, Reasoning, and Knowledge Formal Methods in Verification

Affiliations

University of Pisa1993–1993

Northeastern University2011–2011

Institut national de recherche en informatique et en automatique2011–2011

Centrum Wiskunde & Informatica1987–2024

Johns Hopkins University2011–2011

Top Works

Fundamenta informaticae 34(3) 1998

Krzysztof R. Apt,Claude Kirchner

19983,009 citations

Constraint Satisfaction and Optimization

Game Theory and Applications

Logic Programming

Krzysztof R. Apt

19921,683 citations

Towards a Theory of Declarative Knowledge

Krzysztof R. Apt,Howard A. Blair,et al.

19881,135 citations

Principles of Constraint Programming

Krzysztof R. Apt

2003866 citations

Contributions to the Theory of Logic Programming

Krzysztof R. Apt,M. H. van Emden

1982586 citations

Ten Years of Hoare's Logic: A Survey—Part I

Krzysztof R. Apt

1981510 citations

Logic programming and negation: A survey

Krzysztof R. Apt,Roland Bol

1994414 citations

Logics and Models of Concurrent Systems

Krzysztof R. Apt

1985397 citations

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt,Dexter Kozen

1986372 citations