Konstantinos Sagonas - Google Scholar

Cited by

	All	Since 2015
Citations	3688	1207
h-index	31	18
i10-index	85	34

340

170

255

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202024 30 51 75 91 98 94 100 95 126 116 120 131 177 136 166 173 148 171 150 162 177 197 207 321 219 75

Co-authors

David Scott WarrenEmeritus Professor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Prasad RaoResearch Scientist, Goldman SachsVerified email at gs.com
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Stavros AronisErlang SolutionsVerified email at erlang-solutions.com
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Nikolaos PapaspyrouNational Technical University of AthensVerified email at softlab.ntua.gr
Juliana FreireNew York UniversityVerified email at nyu.edu
Kjell WinbladEricsson ABVerified email at it.uu.se
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
IV RamakrishnanProfessor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied SciencesVerified email at cs.stonybrook.edu
Maria ChristakisMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
David KlafteneggerUppsala UniversityVerified email at it.uu.se
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
Danny De SchreyeHoogleraar Computerwetenschappen, KU LeuvenVerified email at cs.kuleuven.be
Michalis KokologiannakisPhD student, Max Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Richard K. LarsonProfessor of Linguistics, Stony Brook UniversityVerified email at stonybrook.edu
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Andreas LöscherPhD Student, Uppsala UnivesitetVerified email at it.uu.se
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Alkis GotovosMIT CSAILVerified email at mit.edu

Konstantinos Sagonas

Uppsala University and National Technical University of Athens (on leave)

Verified email at it.uu.se

Software Technology Programming Languages Concurrent Programming Software Testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
XSB as an Efficient Deductive Database Engine K Sagonas, T Swift, DS Warren Proceedings of the ACM SIGMOD International Conference on the Management of …, 1994	539	1994
XSB: A system for efficiently computing well-founded semantics P Rao, K Sagonas, T Swift, DS Warren, J Freire International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997	196	1997
An abstract machine for tabled execution of fixed-order stratified logic programs K Sagonas, T Swift ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (3), 586-634, 1998	161	1998
Optimal dynamic partial order reduction P Abdulla, S Aronis, B Jonsson, K Sagonas ACM Symposium on Principles of Programming Languages (POPL'14), 373-384, 2014	153	2014
Efficient access mechanisms for tabled logic programs IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren Journal of Logic Programming 38 (1), 31-54, 1999	113	1999
Stateless Model Checking for TSO and PSO PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas Acta Informatica 54 (8), 789-818, 2017	104	2017
Efficient tabling mechanisms for logic programs IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren Proceedings of the 12th International Conference on Logic Programming, 687-711, 1995	102*	1995
Practical type inference based on success typings T Lindahl, K Sagonas Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006	99	2006
A PropEr integration of types and function specifications with property-based testing M Papadakis, K Sagonas Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 39-50, 2011	84	2011
Detecting software defects in telecom applications through lightweight static analysis: A war story T Lindahl, K Sagonas Asian Symposium on Programming Languages and Systems, 91-106, 2004	69	2004
A high performance Erlang system E Johansson, M Pettersson, K Sagonas Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000	59	2000
CAT: The copying approach to tabling B Demoen, K Sagonas Principles of Declarative Programming, 21-35, 1998	59	1998
CHAT: The copy-hybrid approach to tabling B Demoen, K Sagonas Practical Aspects of Declarative Languages, 106-121, 1998	59	1998
Effective stateless model checking for C/C++ concurrency M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017	50	2017
Semantica: Version 1.0 (for NEXTSTEP) RK Larson, DS Warren, J Freire, P Gomez, K Sagonas MIT Press, 1997	48	1997
Demand-driven indexing of Prolog clauses VS Costa, K Sagonas, R Lopes Logic Programming, 395-409, 2007	46	2007
Systematic testing for detecting concurrency errors in Erlang programs M Christakis, A Gotovos, K Sagonas Sixth International Conference on Software Testing, Verification and …, 2013	45	2013
XSB: An overview of its use and implementation K Sagonas, T Swift, DS Warren SUNY at Stony Brook, 1993	43*	1993
TypEr: A type annotator of Erlang code T Lindahl, K Sagonas Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 17-25, 2005	42	2005
An Abstract Machine for Computing the Well-Founded Semantics KF Sagonas, T Swift, DS Warren Joint International Conference and Symposium on Logic Programming, 274-288, 1996	41	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors