Concepedia

Krzysztof R. Apt

KR

70

Publications

5.4K

Citations

32

H-Index

1974

Active since

Affiliations

Centrum Wiskunde & Informatica(Current)

University of Amsterdam

Université Paris Cité

Technion – Israel Institute of Technology

University of Liverpool

Krzysztof R. Apt is an author at Centrum Wiskunde & Informatica specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationMechanism DesignBusinessGame TheoryProgram Analysis

Publications per year

1974–2019

70

Publications

70

Contributions to the Theory of Logic Programming

Krzysztof R. Apt, M. H. van Emden · Journal of the ACM · 1982 · 586 citations · Full text

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

Krzysztof R. Apt · ACM Transactions on Programming Languages and Systems · 1981 · 509 citations · Full text

Logic programming and negation: A survey

Krzysztof R. Apt, Roland Bol · The Journal of Logic Programming · 1994 · 414 citations

Non-classical Logic, Engineering, Automated Reasoning +5

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt, Dexter Kozen · Information Processing Letters · 1986 · 372 citations

Engineering, Automated Reasoning, Verification +8

A Proof System for Communicating Sequential Processes

Krzysztof R. Apt, Nissim Francez, Willem P. de Roever · ACM Transactions on Programming Languages and Systems · 1980 · 323 citations · Full text

Partial Correctness, Engineering, Axiomatic Proof System +14

Rows per page

1–5 of 70