Konstantinos Sagonas

Cited by

	All	Since 2018
Citations	4737	1548
h-index	36	19
i10-index	104	34

320

160

240

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202327 33 52 60 113 79 94 107 109 127 123 133 138 177 159 181 155 129 204 159 172 188 194 184 319 240 176 280 287 241

Public access

View all

21 articles

3 articles

available

not available

Based on funding mandates

Co-authors

David Scott WarrenEmeritus Professor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Prasad RaoResearch Scientist, LinkedInVerified email at linkedin.com
Stavros AronisErlang SolutionsVerified email at erlang-solutions.com
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Juliana FreireNew York UniversityVerified email at nyu.edu
Nikolaos PapaspyrouNational Technical University of AthensVerified email at softlab.ntua.gr
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Kjell WinbladDupwin ABVerified 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 ChristakisProfessor @ TU Wien InformaticsVerified email at tuwien.ac.at
David KlafteneggerUppsala UniversityVerified email at it.uu.se
Magnus LångPhD student in Computer Science, Uppsala UniversityVerified email at it.uu.se
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Paul FiterauPostdoctoral Researcher at Uppsala University, SwedenVerified email at it.uu.se
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
Andreas LöscherPhD Student, Uppsala UnivesitetVerified email at it.uu.se
Richard K. LarsonProfessor of Linguistics, Stony Brook UniversityVerified email at stonybrook.edu
Danny De SchreyeHoogleraar Computerwetenschappen, KU LeuvenVerified email at cs.kuleuven.be

Konstantinos Sagonas

Other namesKostis Sagonas

Uppsala University and National Technical University of Athens

Verified email at it.uu.se

Software Technology Programming Languages Concurrent Programming Software Testing Software


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	577	1994
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	225	2014
XSB: A system for efficiently computing well-founded semantics P Rao, K Sagonas, T Swift, DS Warren, J Freire Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997	207	1997
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	202	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	179	2017
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	168	1998
Effective stateless model checking for C/C++ concurrency M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis PACMPL 2 (POPL), 17:1–17:32, 2018	133	2018
Practical type inference based on success typings T Lindahl, K Sagonas Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006	126	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	116	2011
Analysis of {DTLS} Implementations Using Protocol State Fuzzing P Fiterau-Brostean, B Jonsson, R Merget, J de Ruiter, K Sagonas, ... 29th {USENIX} Security Symposium ({USENIX} Security 20), 2020	90	2020
Detecting software defects in telecom applications through lightweight static analysis: A war story T Lindahl, K Sagonas Programming Languages and Systems: Second Asian Symposium, APLAS 2004 …, 2004	78	2004
Systematic testing for detecting concurrency errors in Erlang programs M Christakis, A Gotovos, K Sagonas Sixth International Conference on Software Testing, Verification and …, 2013	70	2013
CAT: The copying approach to tabling B Demoen, K Sagonas International Conference on Algebraic and Logic Programming, 21-35, 1998	66	1998
CHAT: The copy-hybrid approach to tabling B Demoen, K Sagonas Practical Aspects of Declarative Languages, 106-121, 1998	63	1998
A high performance Erlang system E Johansson, M Pettersson, K Sagonas Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000	61	2000
Source sets: A foundation for optimal dynamic partial order reduction PA Abdulla, S Aronis, B Jonsson, K Sagonas Journal of the ACM (JACM) 64 (4), 1-49, 2017	55	2017
Semantica: Version 1.0 (for NEXTSTEP) RK Larson, DS Warren, J Freire, P Gomez, K Sagonas MIT Press, 1997	55	1997
Turning centralized coherence and distributed critical-section execution on their head: A new approach for scalable distributed shared memory S Kaxiras, D Klaftenegger, M Norgren, A Ros, K Sagonas Proceedings of the 24th International Symposium on High-Performance Parallel …, 2015	51	2015
Demand-driven indexing of Prolog clauses VS Costa, K Sagonas, R Lopes Logic Programming, 395-409, 2007	51*	2007
XSB: An overview of its use and implementation K Sagonas, T Swift, DS Warren SUNY at Stony Brook, 1993	50*	1993

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

Follow

Cited by

Co-authors