Konstantinos Sagonas

Author

Also Known As

K. Sagonas, KONSTANTINOS SAGONAS, Konstantinos (Kostis) Sagonas, Konstantinos Sagonas, Kostis Sagonas, Sagonas, K, Sagonas, Konstantinos

205

Publications

3.4K

Citations

H-Index

Concepts

All Affiliations

Uppsala University National Technical University of Athens Stony Brook University KU Leuven State University of New York

About

Konstantinos Sagonas is an author at Uppsala University specializing in engineering, computer science, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	56	2K
2	Language Studies	4	4	65
3	Management	3	3	394
4	Arts	1	1	14
5	Social Sciences	1	1	14

Konstantinos Sagonas

Publications

2.4K

Citations

H-Index

Page 1

	Year	Citations
XSB as an efficient deductive database engine Konstantinos Sagonas, Terrance Swift, David S. Warren EngineeringProlog FoundationDeductive Database SystemsXsb SystemSemantic Web	1994	324
Optimal dynamic partial order reduction Parosh Aziz Abdulla, Stavros Aronis, Bengt Jönsson, Mathematical ProgrammingNumerical AnalysisReduced Order ModelingProgram CheckingEngineering	2014	176
An abstract machine for tabled execution of fixed-order stratified logic programs Konstantinos Sagonas, Terrance Swift ACM Transactions on Programming Languages and Systems Tabled Slg CodeEngineeringVerificationComputer ArchitectureWell-founded Semantics	1998	121
Effective stateless model checking for C/C++ concurrency Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Proceedings of the ACM on Programming Languages Program CheckingEngineeringVerificationComputer ArchitectureComputer-aided Verification	2017	103
Efficient access mechanisms for tabled logic programs I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, The Journal of Logic Programming	1999	100
Heap Memory Management in Prolog with Tabling: Principles and Practice. Bart Demoen, Konstantinos Sagonas Lirias (KU Leuven)	2001	91
Practical type inference based on success typings Tobias Lindahl, Konstantinos Sagonas EngineeringType TheoryVerificationSoftware EngineeringPractical Type Inference	2006	87
A PropEr integration of types and function specifications with property-based testing Manolis Papadakis, Konstantinos Sagonas EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2011	82
XSB as an efficient deductive database engine Konstantinos Sagonas, Terrance Swift, David S. Warren ACM SIGMOD Record EngineeringProlog FoundationDeductive Database SystemsXsb SystemSemantic Web	1994	57
Systematic Testing for Detecting Concurrency Errors in Erlang Programs Maria Christakis, Alkis Gotovos, Konstantinos Sagonas Software MaintenanceEngineeringVerificationSoftware EngineeringConcurrent System	2013	51

Page 1