Ilka Schnoor

Identifiers

• name variant Ilka Schnoor 0.60 · backfill

Papers (2)

1. The Complexity of Generalized Satisfiability for Linear Temporal Logic cs.LO · 2008 · author #4
2. Generalized Modal Satisfiability cs.CC · 2008 · author #3

Mentions

• 0812.4848 #4 · backfill · confidence 0.70 Ilka Schnoor
• 0804.2729 #3 · backfill · confidence 0.70 Ilka Schnoor

Frequent Coauthors

• Henning Schnoor 2 shared papers
• Edith Hemaspaandra 1 shared papers
• Heribert Vollmer 1 shared papers
• Michael Bauland 1 shared papers
• Thomas Schneider 1 shared papers