Moritz Müller
Moritz Müller
Unknown affiliation
Verified email at cs.upc.edu - Homepage
Title
Cited by
Cited by
Year
Lower bounds for kernelizations and other preprocessing procedures
Y Chen, J Flum, M Müller
Theory of Computing Systems 48 (4), 803-839, 2011
332011
Automating Resolution is NP-hard.
A Atserias, M Müller
Journal of the ACM 67 (5), Article No.: 31, 2020
222020
Feasibly constructive proofs of succinct weak circuit lower bounds
M Müller, J Pich
Annals of Pure and Applied Logic 171 (2), 102735, 2020
222020
Lower Bounds for Kernelizations and Other Preprocessing Procedures
Y Chen, J Flum, M Müller
CiE’09: Proceedings of the 5th Conference, 118-128, 2009
19*2009
Parameterized derandomization
M Müller
International Workshop on Parameterized and Exact Computation, 148-159, 2008
172008
Approximating solution structure
M Hamilton, M Müller, I Van Rooij, T Wareham
Internat. Begegnungs-und Forschungszentrum für Informatik, 2007
172007
Randomized approximations of parameterized counting problems
M Müller
International Workshop on Parameterized and Exact Computation, 50-59, 2006
172006
The fine classification of conjunctive queries and parameterized logarithmic space
H Chen, M Müller
ACM Transactions on Computation Theory (TOCT) 7 (2), 1-27, 2015
162015
Parameterized random complexity
JA Montoya, M Müller
Theory of Computing Systems 52 (2), 221-270, 2013
162013
One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries
H Chen, M Müller
ACM Transactions on Computational Logic (TOCL) 18 (4), 1-37, 2017
142017
Topological dynamics of unordered Ramsey structures
M Müller, A Pongrácz
Fundamenta Mathematicae 230 (1), 77-98, 2015
132015
Hard instances of algorithms and proof systems
Y Chen, J Flum, M Müller
ACM Transactions on Computation Theory (TOCT) 6 (2), 1-25, 2014
132014
Strong isomorphism reductions in complexity theory
S Buss, Y Chen, J Flum, SD Friedman, M Müller
The Journal of Symbolic Logic 76 (4), 1381-1402, 2011
132011
Lower bounds for DNF-refutations of a relativized weak pigeonhole principle
A Atserias, M Müller, S Oliva
The Journal of Symbolic Logic 80 (2), 450-476, 2015
112015
Partially definable forcing and bounded arithmetic
A Atserias, M Müller
Archive for Mathematical Logic 54 (1-2), 1-33, 2015
112015
Valiant-Vazirani lemmata for various logics
M Müller
Electronic Colloquium on Computational Complexity (ECCC) 15 (063), 2008
112008
W-hierarchies defined by symmetric gates
M Fellows, J Flum, D Hermelin, M Müller, F Rosamond
Theory of Computing Systems 46 (2), 311-339, 2010
92010
Lower bounds for kernelizations
Y Chen, J Flum, M Müller
Centre de Recerca Matemàtica, 2008
92008
The fine classification of conjunctive queries and parameterized logarithmic space complexity
H Chen, M Müller
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
82013
Polynomial time ultrapowers and the consistency of circuit lower bounds
J Bydžovský, M Müller
Archive for Mathematical Logic 59 (1), 127-147, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20