Martha Sideri

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
The inverse satisfiability problem Lecture Notes in Computer Science	2024-01-29	Paper
Generating all maximal models of a Boolean expression Information Processing Letters	2016-06-16	Paper
The web graph as an equilibrium Algorithmic Game Theory	2015-11-04	Paper
Optimal coteries Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91	2015-06-19	Paper
On the complexity of reconfiguration problems Theoretical Computer Science	2011-03-14	Paper
scientific article; zbMATH DE number 5764863 (Why is no real title available?)	2010-08-06	Paper
On the Complexity of Reconfiguration Problems Algorithms and Computation	2009-01-29	Paper
Fixed-parameter complexity in AI and nonmonotonic reasoning Artificial Intelligence	2002-07-15	Paper
scientific article; zbMATH DE number 1453052 (Why is no real title available?)	2000-07-24	Paper
On the Floyd–Warshall algorithm for logic programs The Journal of Logic Programming	2000-01-04	Paper
scientific article; zbMATH DE number 1354130 (Why is no real title available?)	1999-10-31	Paper
The Inverse Satisfiability Problem SIAM Journal on Computing	1998-09-21	Paper
scientific article; zbMATH DE number 1149451 (Why is no real title available?)	1998-05-13	Paper
The bisection width of grid graphs Mathematical Systems Theory	1996-03-18	Paper
Default theories that always have extensions Artificial Intelligence	1996-02-26	Paper
scientific article; zbMATH DE number 432787 (Why is no real title available?)	1994-09-20	Paper
Designing secure communication protocols from trust specifications Algorithmica	1994-06-16	Paper
On the Optimal Bisection of a Polygon ORSA Journal on Computing	1993-02-25	Paper
scientific article; zbMATH DE number 125485 (Why is no real title available?)	1993-02-21	Paper
On attribute grammars without attribute synthesis Information Processing Letters	1990-01-01	Paper
Short Notes: Semantically Driven Parsing of Context-free Languages The Computer Journal	1989-01-01	Paper
Complexity characterizations of attribute grammar languages Information and Computation	1988-01-01	Paper

Research outcomes over time

This page was built for person: Martha Sideri