Konstantinos Sagonas

Cited by

	All	Since 2018
Citations	4586	1404
h-index	36	18
i10-index	99	32

340

170

255

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202325 34 61 69 103 76 92 103 101 136 119 139 141 178 158 176 157 134 197 161 172 189 195 186 321 231 185 280 284 99

Public access

View all

22 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
Prasad RaoResearch Scientist, LinkedInVerified email at linkedin.com
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
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
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 ChristakisProfessor @ TU Wien InformaticsVerified email at tuwien.ac.at
David KlafteneggerUppsala UniversityVerified email at it.uu.se
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
Magnus LångPhD student in Computer Science, Uppsala UniversityVerified email at it.uu.se
Paul FiterauPostdoctoral Researcher at Uppsala University, SwedenVerified email at it.uu.se
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
Danny De SchreyeHoogleraar Computerwetenschappen, KU LeuvenVerified email at cs.kuleuven.be

Konstantinos Sagonas

Uppsala University and National Technical University of Athens

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	579	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	215	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	210	1997
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	171	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	167	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	123	2018
Practical type inference based on success typings T Lindahl, K Sagonas Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006	120	2006
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	117	1999
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	108	2011
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	105	1995
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	76	2004
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	74	2020
Systematic testing for detecting concurrency errors in Erlang programs M Christakis, A Gotovos, K Sagonas Sixth International Conference on Software Testing, Verification and …, 2013	69	2013
CAT: The copying approach to tabling B Demoen, K Sagonas Principles of Declarative Programming: 10th International Symposium, PLILP …, 2006	65*	2006
CHAT: The copy-hybrid approach to tabling B Demoen, K Sagonas Practical Aspects of Declarative Languages, 106-121, 1998	65	1998
A high performance Erlang system E Johansson, M Pettersson, K Sagonas Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000	60	2000
Semantica: Version 1.0 (for NEXTSTEP) RK Larson, DS Warren, J Freire, P Gomez, K Sagonas MIT Press, 1997	52	1997
Demand-driven indexing of Prolog clauses VS Costa, K Sagonas, R Lopes Logic Programming, 395-409, 2007	50*	2007
TypEr: A type annotator of Erlang code T Lindahl, K Sagonas Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 17-25, 2005	50	2005
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