K. Sagonas

Available identifiers

zbMath Open sagonas.konstantinosDBLPs/KonstantinosFSagonasWikidataQ57795692 ScholiaQ57795692MaRDI QIDQ1683933

List of research outcomes

Publication	Date of Publication	Type
Reproduction Artifact for TACAS 2024 paper "Scalable Tree-based Register Automata Learning"	2023-12-29	Dataset
Parallel Graph-Based Stateless Model Checking	2022-12-22	Paper
Comparing Source Sets and Persistent Sets for Partial Order Reduction	2020-02-24	Paper
Stateless model checking for TSO and PSO	2019-09-17	Paper
Optimal dynamic partial order reduction with observers	2019-09-16	Paper
An abstract machine for fixed-order dynamically stratified programs	2019-01-15	Paper
Source sets: a foundation for optimal dynamic partial order reduction	2018-05-17	Paper
Stateless model checking for TSO and PSO	2017-12-01	Paper
Termination proofs for logic programs with tabling	2017-06-13	Paper
Optimal dynamic partial order reduction	2014-04-10	Paper
Programming Languages and Systems	2007-09-28	Paper
Efficient memory management for concurrent programs that use message passing	2006-08-17	Paper
Efficient manipulation of binary data using pattern matching	2006-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4813393	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4809163	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4413059	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4409164	2003-06-30	Paper
The limits of fixed-order computation	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4494370	2001-03-12	Paper
An abstract machine for efficiently computing queries to well-founded models	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4506394	2000-09-18	Paper
Efficient access mechanisms for tabled logic programs	1999-05-04	Paper
Semantics-based program analysis for logic-based languages using XSB	1998-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5691457	1997-01-28	Paper

Research outcomes over time

This page was built for person: K. Sagonas