The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Irina Schindler Irena Schindler ( http://dblp.L3S.de/Authors/Irina_Schindler )

Publication years (Num. hits)
2014-2019 (12)
Publication types (Num. hits)
article(8) inproceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Arne Meier, Sebastian Ordyniak, M. S. Ramanujan, Irena Schindler Backdoors for Linear Temporal Logic. Search on Bibsonomy Algorithmica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Irina Schindler Default Logic and Bounded Treewidth. Search on Bibsonomy LATA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Lück, Arne Meier, Irena Schindler Parametrised Complexity of Satisfiability in Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Irina Schindler Default Logic and Bounded Treewidth. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Arne Meier, Sebastian Ordyniak, M. S. Ramanujan, Irena Schindler Strong Backdoors for Linear Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Arne Meier, Sebastian Ordyniak, Ramanujan Sridharan, Irena Schindler Backdoors for Linear Temporal Logic. Search on Bibsonomy IPEC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Arne Meier, Irina Schindler Strong Backdoors for Default Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Arne Meier, Irina Schindler Strong Backdoors for Default Logic. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arne Meier, Irina Schindler, Johannes Schmidt 0001, Michael Thomas 0001, Heribert Vollmer On the parameterized complexity of non-monotonic logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Lück, Arne Meier, Irina Schindler Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Lück, Arne Meier, Irina Schindler Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Lück, Arne Meier, Irina Schindler Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license