K. Sagonas

MaRDI QIDQ1683933zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 1517.68245	2022-12-22	Paper
Comparing Source Sets and Persistent Sets for Partial Order Reduction Lecture Notes in Computer Science	2020-02-24	Paper
Stateless model checking for TSO and PSO Tools and Algorithms for the Construction and Analysis of Systems	2019-09-17	Paper
Optimal dynamic partial order reduction with observers	2019-09-16	Paper
An abstract machine for fixed-order dynamically stratified programs Automated Deduction — Cade-13	2019-01-15	Paper
Source sets: a foundation for optimal dynamic partial order reduction Journal of the ACM	2018-05-17	Paper
Stateless model checking for TSO and PSO Acta Informatica	2017-12-01	Paper
Termination proofs for logic programs with tabling ACM Transactions on Computational Logic	2017-06-13	Paper
Optimal dynamic partial order reduction Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-09-28	Paper
Efficient memory management for concurrent programs that use message passing Science of Computer Programming	2006-08-17	Paper
Efficient manipulation of binary data using pattern matching Journal of Functional Programming	2006-01-13	Paper
scientific article; zbMATH DE number 2090841 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 2090526 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1950446 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1942462 (Why is no real title available?)	2003-06-30	Paper
The limits of fixed-order computation Theoretical Computer Science	2001-08-20	Paper
scientific article; zbMATH DE number 1487846 (Why is no real title available?)	2001-03-12	Paper
An abstract machine for efficiently computing queries to well-founded models The Journal of Logic Programming	2000-10-10	Paper
scientific article; zbMATH DE number 1508930 (Why is no real title available?)	2000-09-18	Paper
Efficient access mechanisms for tabled logic programs The Journal of Logic Programming	1999-05-04	Paper
Semantics-based program analysis for logic-based languages using XSB International Journal on Software Tools for Technology Transfer. STTT	1998-01-01	Paper
scientific article; zbMATH DE number 972138 (Why is no real title available?)	1997-01-28	Paper

Research outcomes over time

This page was built for person: K. Sagonas