Name Card

Full name Familienname, Vorname
Walsh, Toby
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsPreprint Preprint2011
2Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-16 of 16 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Samer, Marko ; Szeider, Stefan Chapter 17. Fixed-Parameter TractabilityBuchbeitrag Book Contribution 2021
2Fichte, Johannes K. ; Lodha, Neha ; Szeider, Stefan SAT-Based Local Improvement for Finding Tree Decompositions of Small WidthKonferenzbeitrag Inproceedings 2017
3Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina A Little Blocked Literal Goes a Long WayKonferenzbeitrag Inproceedings 2017
4Erdélyi, Gábor ; Lackner, Martin ; Pfandler, Andreas Manipulation of k-Approval in Nearly Single-Peaked ElectoratesKonferenzbeitrag Inproceedings 2015
5Charwat, Günther ; Pfandler, Andreas Democratix: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2015
6Charwat, Günther ; Pfandler, Andreas DEMOCRATIX: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2014
7Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
8Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Backdoors to PlanningKonferenzbeitrag Inproceedings 2014
9Dvorak, Wolfgang ; Dunne, Paul E. ; Woltran, Stefan Parametric Properties of Ideal SemanticsKonferenzbeitrag Inproceedings 2011
10Fichte, Johannes ; Szeider, Stefan Backdoors to Tractable Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2011
11Ordyniak, Sebastian ; Szeider, Stefan Augmenting Tractable Fragments of Abstract ArgumentationKonferenzbeitrag Inproceedings 2011
12Brewka, Gerd ; Dunne, Paul E. ; Woltran, Stefan Relating the Semantics of Abstract Dialectical Frameworks and Standard AFsKonferenzbeitrag Inproceedings 2011
13Brewka, Gerd ; Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
14Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Containment of Regular Path Queries under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2011
15Calvanese, Diego ; Carbotta, Domenico ; Ortiz de la Fuente, M.Magdalena A Practical Automata-Based Technique for Reasoning in Expressive Description LogicsKonferenzbeitrag Inproceedings 2011
16Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQKonferenzbeitrag Inproceedings 2011