Konstantinos Sagonas - Google Scholar Citations

Cited by

	All	Since 2015
Citations	3592	1142
h-index	30	16
i10-index	84	33

320

160

240

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202024 30 51 66 96 98 101 103 100 97 114 133 132 160 143 164 157 127 190 158 159 175 196 210 303 216 31

Co-authors

David Scott WarrenEmeritus Professor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Prasad RaoResearch Scientist, Goldman SachsVerified email at gs.com
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
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
David KlafteneggerUppsala UniversityVerified email at it.uu.se
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
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Alkis GotovosMIT CSAILVerified email at mit.edu
Martin JacobssonKTH Royal Institute of TechnologyVerified email at sth.kth.se

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	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	534	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	192	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	158	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	148	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	100	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	100*	1995
Practical type inference based on success typings T Lindahl, K Sagonas Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006	95	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	80	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	67	2004
A high performance Erlang system E Johansson, M Pettersson, K Sagonas Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000	57	2000
CAT: The copying approach to tabling B Demoen, K Sagonas Principles of Declarative Programming, 21-35, 1998	57	1998
CHAT: The copy-hybrid approach to tabling B Demoen, K Sagonas Practical Aspects of Declarative Languages, 106-121, 1998	57	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	47	2017
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	47	1997
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
The XSB programmer's manual K Sagonas, T Swift, DS Warren	43*	1993
XSB: An overview of its use and implementation K Sagonas, T Swift, DS Warren SUNY at Stony Brook, 1993	41*	1993
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	40	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