Thomas Thierauf

Orcid: 0000-0002-2962-594X

Affiliations:
  • Aalen University of Applied Sciences, Germany
  • University of Ulm, Germany


According to our database1, Thomas Thierauf authored at least 78 papers between 1990 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
The Complexity of Poset Games.
J. Graph Algorithms Appl., 2022

The complexity of regex crosswords.
Inf. Comput., 2022

2021
Factorization of Polynomials Given by Arithmetic Branching Programs.
Comput. Complex., 2021

A Largish Sum-Of-Squares Implies Circuit Hardness and Derandomization.
Proceedings of the 12th Innovations in Theoretical Computer Science Conference, 2021

2020
Lower bounds on the sum of 25th-powers of univariates lead to complete derandomization of PIT.
Electron. Colloquium Comput. Complex., 2020

Impossibility of Derandomizing the Isolation Lemma for all Families.
Electron. Colloquium Comput. Complex., 2020

Depth-2 QAC circuits cannot simulate quantum parity.
CoRR, 2020

Linear Matroid Intersection is in Quasi-NC.
Comput. Complex., 2020

2019
A deterministic parallel algorithm for bipartite perfect matching.
Commun. ACM, 2019

2017
Guest Column: Parallel Algorithms for Perfect Matching.
SIGACT News, 2017

Isolating a Vertex via Lattices: Polytopes with Totally Unimodular Faces.
Electron. Colloquium Comput. Complex., 2017

Deterministic Identity Testing for Sum of Read-Once Oblivious Arithmetic Branching Programs.
Comput. Complex., 2017

2016
Counting the Number of Perfect Matchings in K 5-Free Graphs.
Theory Comput. Syst., 2016

Algebraic Methods in Computational Complexity (Dagstuhl Seminar 16411).
Dagstuhl Reports, 2016

2015
Bipartite Perfect Matching is in quasi-NC.
Electron. Colloquium Comput. Complex., 2015

Game Values and Computational Complexity: An Analysis via Black-White Combinatorial Games.
Electron. Colloquium Comput. Complex., 2015

2014
Counting the Number of Perfect Matchings in K<sub>5</sub>-free Graphs.
Electron. Colloquium Comput. Complex., 2014

Deterministic Identity Testing for Sum of Read Once ABPs.
Electron. Colloquium Comput. Complex., 2014

Algebra in Computational Complexity (Dagstuhl Seminar 14391).
Dagstuhl Reports, 2014

Reachability in K<sub>{3, 3}</sub>-free and K<sub>5</sub>-free Graphs is in Unambiguous Logspace.
Chic. J. Theor. Comput. Sci., 2014

Counting the Number of Perfect Matchings in K5-Free Graphs.
Proceedings of the IEEE 29th Conference on Computational Complexity, 2014

2013
Exact Perfect Matching in Complete Graphs.
Electron. Colloquium Comput. Complex., 2013

On Two-Level Poset Games.
Electron. Colloquium Comput. Complex., 2013

2012
A Kolmogorov complexity proof of the Lovász Local Lemma for satisfiability.
Theor. Comput. Sci., 2012

Algebraic and Combinatorial Methods in Computational Complexity (Dagstuhl Seminar 12421).
Dagstuhl Reports, 2012

2011
Planarizing Gadgets for Perfect Matching do not Exist.
Electron. Colloquium Comput. Complex., 2011

2010
A note on the search for k elements via quantum walk.
Inf. Process. Lett., 2010

Graph Isomorphism for K<sub>3,3</sub>-free and K<sub>5</sub>-free graphs is in Log-space.
Electron. Colloquium Comput. Complex., 2010

The Complexity of the Inertia.
Comput. Complex., 2010

2009
The quantum query complexity of the determinant.
Inf. Process. Lett., 2009

Reachability in K<sub>3,3</sub>-free Graphs and K<sub>5</sub>-free Graphs is in Unambiguous Log-Space.
Electron. Colloquium Comput. Complex., 2009

Planar Graph Isomorphism is in Log-space.
Electron. Colloquium Comput. Complex., 2009

Graph Isomorphism for K_{3, 3}-free and K_5-free graphs is in Log-space.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

Reachability in <i>K</i><sub>3, 3</sub>-Free Graphs and <i>K</i><sub>5</sub>-Free Graphs Is in Unambiguous Log-Space.
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

09421 Executive Summary - Algebraic Methods in Computational Complexity.
Proceedings of the Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009, 2009

09421 Abstracts Collection - Algebraic Methods in Computational Complexity.
Proceedings of the Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009, 2009

2008
A Log-space Algorithm for Canonization of Planar Graphs
CoRR, 2008

The Quantum Complexity of Group Testing.
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

2007
The Isomorphism Problem for Planar 3-Connected Graphs is in Unambiguous Logspace.
Electron. Colloquium Comput. Complex., 2007

The Polynomially Bounded Perfect Matching Problem Is in NC <sup>2</sup>.
Proceedings of the STACS 2007, 2007

The Quantum Query Complexity of Algebraic Properties.
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

07411 Abstracts Collection -- Algebraic Methods in Computational Complexity.
Proceedings of the Algebraic Methods in Computational Complexity, 07.10. - 12.10.2007, 2007

07411 Executive Summary -- Algebraic Methods in Computational Complexity.
Proceedings of the Algebraic Methods in Computational Complexity, 07.10. - 12.10.2007, 2007

2006
The polynomially bounded perfect matching problem is in NC^2.
Electron. Colloquium Comput. Complex., 2006

On the Bipartite Unique Perfect Matching Problem.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005
The Complexity of the Inertia and Some Closure Properties of GapL.
Proceedings of the 20th Annual IEEE Conference on Computational Complexity (CCC 2005), 2005

2004
Erratum: On The Minimal Polynomial Of A Matrix.
Int. J. Found. Comput. Sci., 2004

On The Minimal Polynomial Of A Matrix.
Int. J. Found. Comput. Sci., 2004

On Closure Properties of GapL
Electron. Colloquium Comput. Complex., 2004

04421 Abstracts Collection - Algebraic Methods in Computational Complexity.
Proceedings of the Algebraic Methods in Computational Complexity, 10.-15. October 2004, 2004

2003
The complexity of the characteristic and the minimal polynomial.
Theor. Comput. Sci., 2003

2001
The Complexity of the Minimal Polynomial
Electron. Colloquium Comput. Complex., 2001

2000
The Formula Isomorphism Problem.
SIAM J. Comput., 2000

The Complexity of Verifying the Characteristic Polynomial and Testing Similarity.
Proceedings of the 15th Annual IEEE Conference on Computational Complexity, 2000

The Computational Complexity of Equivalence and Isomorphism Problems
Lecture Notes in Computer Science 1852, Springer, ISBN: 3-540-41032-5, 2000

1999
Complements of Multivalued Functions.
Chic. J. Theor. Comput. Sci., 1999

1998
Functions Computable with Nonadaptive Queries to NP.
Theory Comput. Syst., 1998

The Isomorphism Problem for Read-Once Branching Programs and Arithmetic Circuits.
Chic. J. Theor. Comput. Sci., 1998

Nonrelativizing Separations.
Proceedings of the 13th Annual IEEE Conference on Computational Complexity, 1998

1997
Threshold Computation and Cryptographic Security.
SIAM J. Comput., 1997

The Satisfiability Problem for Probabilistic Ordered Branching Programs
Electron. Colloquium Comput. Complex., 1997

1996
On the Correlation of Symmetric Functions.
Math. Syst. Theory, 1996

On Closure Properties of #P in the Context of PF ° #P.
J. Comput. Syst. Sci., 1996

On Sets Bounded Truth-Table Reducible to P-Selective Sets.
RAIRO Theor. Informatics Appl., 1996

Restricted Information from Nonadaptive Queries to NP.
Inf. Comput., 1996

The Isomorphismproblem for One-Time-Only Branching Programs
Electron. Colloquium Comput. Complex., 1996

The Boolean Isomorphism Problem
Electron. Colloquium Comput. Complex., 1996

Modulo Information from Nonadaptive Queries to NP
Electron. Colloquium Comput. Complex., 1996

The Complexity of Generating and Checking Proffs of Membership.
Proceedings of the STACS 96, 1996

Pinpointing Computation with Modular Queries in the Boolean Hierarchy.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995
Nondeterministically Selective Sets.
Int. J. Found. Comput. Sci., 1995

1994
Complexity-Restricted Advice Functions.
SIAM J. Comput., 1994

A Note on SpanP Functions.
Inf. Process. Lett., 1994

On Closure Properties of GapP.
Comput. Complex., 1994

1993
Selectivity.
Proceedings of the Computing and Information, 1993

1992
Reductions to Sets of Low Information Content.
Proceedings of the Complexity Theory: Current Research, 1992

1990
Complexity Classes with Advice.
Proceedings of the Proceedings: Fifth Annual Structure in Complexity Theory Conference, 1990

NP-uniforme Komplexitätsklassen.
PhD thesis, 1990


  Loading...