Statistics
Publications
4
Citations
109
H-Index
4
Active since
2008
Ilka Schnoor is an author at University of Lübeck specializing in computer science, algorithms, and mathematics.
Publications per year
2008–2011
4
4
Approximability of manipulating elections
Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra et al. · 2008 · 52 citations
The tractability of model checking for LTL
Michael Bauland, Martin Mundhenk, Thomas Schneider et al. · ACM Transactions on Computational Logic · 2011 · 24 citations
Generalized modal satisfiability
Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor · Journal of Computer and System Sciences · 2009 · 22 citations
1–4 of 4