Konstantinos Sagonas

XSB as an efficient deductive database engine

Konstantinos Sagonas, Terrance Swift, David S. Warren · 1994 · 324 citations · Full text

Engineering, Prolog Foundation, Deductive Database Systems +18

Optimal dynamic partial order reduction

Parosh Aziz Abdulla, Stavros Aronis, Bengt Jönsson et al. · 2014 · 176 citations

Mathematical Programming, Numerical Analysis, Reduced Order Modeling +21

An abstract machine for tabled execution of fixed-order stratified logic programs

Konstantinos Sagonas, Terrance Swift · ACM Transactions on Programming Languages and Systems · 1998 · 121 citations · Full text

Tabled Slg Code, Engineering, Verification +21

Effective stateless model checking for C/C++ concurrency

Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas et al. · Proceedings of the ACM on Programming Languages · 2017 · 103 citations · Full text

Program Checking, Engineering, Verification +20

Efficient access mechanisms for tabled logic programs

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas et al. · The Journal of Logic Programming · 1999 · 100 citations · Full text