Konstantinos Sagonas

Available identifiers

zbMath Open sagonas.konstantinosDBLPs/KonstantinosFSagonasWikidataQ57795692 ScholiaQ57795692MaRDI QIDQ1683933

List of research outcomes

Publication	Date of Publication	Type
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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Konstantinos Sagonas