| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6065416 | 2023-11-14 | Paper |
| Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification | 2023-06-02 | Paper |
| Query optimization using rewrite rules | 2022-12-09 | Paper |
| Query order in the polynomial hierarchy | 2022-12-09 | Paper |
| Search versus Decision for Election Manipulation Problems | 2022-12-05 | Paper |
| A downward translation in the polynomial hierarchy | 2022-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092442 | 2022-07-21 | Paper |
| The complexity of online bribery in sequential elections | 2022-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018515 | 2021-12-20 | Paper |
| Complexity of stability | 2021-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5005153 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999207 | 2021-07-06 | Paper |
| The robustness of LWPP and WPP, with an application to graph reconstruction | 2021-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5133008 | 2020-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583938 | 2018-08-29 | Paper |
| Dichotomy for Pure Scoring Rules Under Manipulative Electoral Actions | 2018-07-12 | Paper |
| Exact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to NP | 2018-07-04 | Paper |
| The complexity of controlling candidate-sequential elections | 2017-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2957899 | 2017-01-30 | Paper |
| Computational Aspects of Approval Voting | 2016-11-08 | Paper |
| Manipulation complexity of same-system runoff elections | 2016-09-16 | Paper |
| Recognizing when greed can approximate maximum independent sets is complete for parallel access to NP | 2016-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457231 | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457243 | 2015-12-11 | Paper |
| Complexity of Manipulative Actions When Voting with Ties | 2015-11-04 | Paper |
| More Natural Models of Electoral Control by Partition | 2015-11-04 | Paper |
| The complexity of manipulative attacks in nearly single-peaked electorates | 2015-08-27 | Paper |
| Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates | 2015-08-25 | Paper |
| Weighted Electoral Control | 2015-04-22 | Paper |
| The complexity of online manipulation of sequential elections | 2014-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4910732 | 2013-03-19 | Paper |
| A Universally Defined Undecidable Unimodal Logic | 2011-08-17 | Paper |
| Multimode Control Attacks on Elections | 2011-03-08 | Paper |
| The shield that never was: societies with single-peaked preferences are more open to manipulation and control | 2011-02-21 | Paper |
| Generalized modal satisfiability | 2010-08-18 | Paper |
| On the complexity of kings | 2010-02-09 | Paper |
| Llull and Copeland Voting Computationally Resist Bribery and Constructive Control | 2009-12-10 | Paper |
| How Hard Is Bribery in Elections? | 2009-12-10 | Paper |
| Hybrid Elections Broaden Complexity-Theoretic Resistance to Control | 2009-08-14 | Paper |
| Isomorphic implication | 2009-08-06 | Paper |
| A Richer Understanding of the Complexity of Election Systems | 2009-08-05 | Paper |
| Anyone but him: the complexity of precluding an alternative | 2009-07-09 | Paper |
| LATIN 2004: Theoretical Informatics | 2009-05-07 | Paper |
| Copeland Voting Fully Resists Constructive Control | 2008-07-10 | Paper |
| Generalized Modal Satisfiability | 2008-03-19 | Paper |
| On the Complexity of Kings | 2008-02-26 | Paper |
| STACS 2004 | 2007-10-01 | Paper |
| Complexity results in graph reconstruction | 2007-02-19 | Paper |
| Dichotomy for voting systems | 2007-01-22 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| The complexity of Kemeny elections | 2006-03-20 | Paper |
| Recognizing when heuristics can approximate minimum vertex covers is complete for parallel access to NP | 2006-02-22 | Paper |
| All superlinear inverse schemes are coNP-hard | 2005-12-06 | Paper |
| Extending Downward Collapse from 1-versus-2 Queries tom-versus-m+ 1 Queries | 2005-09-16 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431234 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414503 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411838 | 2003-07-10 | Paper |
| Almost-everywhere superiority for quantum polynomial time | 2003-01-14 | Paper |
| The Minimization Problem for Boolean Formulas | 2003-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536344 | 2002-11-04 | Paper |
| The Complexity of Poor Man's Logic | 2002-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753683 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520757 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520804 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501537 | 2001-01-29 | Paper |
| Census techniques collapse space classes | 2000-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251058 | 1999-08-31 | Paper |
| Exact analysis of Dodgson elections | 1998-11-04 | Paper |
| \(R_{1-tt}^{{\mathcal SN}}\)(NP) distinguishes robust many-one and Turing completeness | 1998-10-01 | Paper |
| A Downward Collapse within the Polynomial Hierarchy | 1998-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4366882 | 1997-11-25 | Paper |
| The price of universality | 1997-07-01 | Paper |
| \(p\)-Selective sets and reducing search to decision vs. self-reducibility | 1997-03-31 | Paper |
| SPARSE Reduces Conjunctively to TALLY | 1995-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4833777 | 1995-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281494 | 1994-03-10 | Paper |
| A modal perspective on the computational complexity of attribute value grammar | 1994-02-22 | Paper |
| Quasi-injective reductions | 1994-02-22 | Paper |
| The relative power of logspace and polynomial time reductions | 1994-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035688 | 1993-05-18 | Paper |
