Konstantinos Sagonas

Cited by

	All	Since 2016
Citations	3831	1159
h-index	31	17
i10-index	87	29

300

150

225

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202124 30 55 64 90 99 89 98 102 114 118 130 139 158 141 163 157 132 199 159 161 177 202 200 297 223 180 56

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
Stavros AronisErlang SolutionsVerified email at erlang-solutions.com
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
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
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Danny De SchreyeHoogleraar Computerwetenschappen, KU LeuvenVerified email at cs.kuleuven.be
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Richard K. LarsonProfessor of Linguistics, Stony Brook UniversityVerified email at stonybrook.edu
Andreas LöscherPhD Student, Uppsala UnivesitetVerified email at it.uu.se
Michael KiferStony 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 Software Security


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	546	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	198	1997
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	167	2014
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	159	1998
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	119	2017
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	115	1999
Practical type inference based on success typings T Lindahl, K Sagonas Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006	104	2006
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
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	91	2011
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	69	2017
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
CHAT: The copy-hybrid approach to tabling B Demoen, K Sagonas Practical Aspects of Declarative Languages, 106-121, 1998	61	1998
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
Systematic testing for detecting concurrency errors in Erlang programs M Christakis, A Gotovos, K Sagonas Sixth International Conference on Software Testing, Verification and …, 2013	50	2013
Demand-driven indexing of Prolog clauses VS Costa, K Sagonas, R Lopes Logic Programming, 395-409, 2007	47	2007
Semantica: Version 1.0 (for NEXTSTEP) RK Larson, DS Warren, J Freire, P Gomez, K Sagonas MIT Press, 1997	46	1997
XSB: An overview of its use and implementation K Sagonas, T Swift, DS Warren SUNY at Stony Brook, 1993	44*	1993
TypEr: A type annotator of Erlang code T Lindahl, K Sagonas Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 17-25, 2005	43	2005
A scalability benchmark suite for Erlang/OTP S Aronis, N Papaspyrou, K Roukounaki, K Sagonas, Y Tsiouris, IE Venetis Proceedings of the eleventh ACM SIGPLAN Erlang workshop, 33-42, 2012	41	2012

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