Martha Sideris

Available identifiers

zbMath Open sideri.marthaMaRDI QIDQ911786

List of research outcomes

Publication	Date of Publication	Type
The inverse satisfiability problem	2024-01-29	Paper
Generating all maximal models of a Boolean expression	2016-06-16	Paper
The Web Graph as an Equilibrium	2015-11-04	Paper
Optimal coteries	2015-06-19	Paper
On the complexity of reconfiguration problems	2011-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q3579456	2010-08-06	Paper
On the Complexity of Reconfiguration Problems	2009-01-29	Paper
Fixed-parameter complexity in AI and nonmonotonic reasoning	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4955325	2000-07-24	Paper
On the Floyd–Warshall algorithm for logic programs	2000-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4268444	1999-10-31	Paper
The Inverse Satisfiability Problem	1998-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4386975	1998-05-13	Paper
The bisection width of grid graphs	1996-03-18	Paper
Default theories that always have extensions	1996-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q3138918	1994-09-20	Paper
Designing secure communication protocols from trust specifications	1994-06-16	Paper
On the Optimal Bisection of a Polygon	1993-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4027187	1993-02-21	Paper
On attribute grammars without attribute synthesis	1990-01-01	Paper
Short Notes: Semantically Driven Parsing of Context-free Languages	1989-01-01	Paper
Complexity characterizations of attribute grammar languages	1988-01-01	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: Martha Sideris