Moritz Müller

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 49

Top Topics

Space Complexity

Conjunctive Queries

Vertical Fragmentation

Top Venues

Internet Measurement Conference

Ann. Pure Appl. Log.

Publications

Tobias Zeulner, Gerhard Hagerer, Moritz Müller, Ignacio Vazquez, Peter A. Gloor
Predicting Individual Well-Being in Teamwork Contexts Based on Speech Features. Inf. 15 (4) (2024)
John Kristoff, Moritz Müller, Arturo Filastò, Max Resing, Chris Kanich, Niels ten Oever
Internet Sanctions on Russian Media: Actions and Effects. CoRR (2024)
Ebrima Jaw, Moritz Müller, Cristian Hesselman, Lambert J. M. Nieuwenhuis
Serial BGP Hijackers: A Reproducibility Study and Assessment of Current Dynamics. TMA (2024)
Albert Atserias, Sam Buss, Moritz Müller
On the Consistency of Circuit Lower Bounds for Non-Deterministic Time. CoRR (2023)
Jonathan Magnusson, Moritz Müller, Anna Brunström, Tobias Pulls
A Second Look at DNS QNAME Minimization. PAM (2023)
Moritz Müller, Joost J. Joosten
Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561. CoRR (2023)
Stefano Bianchini, Moritz Müller, Pierre Pelletier
Integrating New Technologies into Science: The case of AI. CoRR (2023)
Albert Atserias, Sam Buss, Moritz Müller
On the Consistency of Circuit Lower Bounds for Non-deterministic Time. STOC (2023)
Moritz Müller
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp. Bull. Symb. Log. 29 (2) (2023)
Neil Barton, Moritz Müller, Mihai Prunescu
On Representations of Intended Structures in Foundational Theories. J. Philos. Log. 51 (2) (2022)
Yijia Chen, Moritz Müller, Keita Yokoyama
truth and the MRDP theorem. CoRR (2022)
Moritz Müller
Spreading the word? European Union agencies and social media attention. Gov. Inf. Q. 39 (2) (2022)
Hyeonmin Lee, Md. Ishtiaq Ashiq, Moritz Müller, Roland van Rijswijk-Deij, Ted Taekyoung Kwon, Taejoong Chung
Under the Hood of DANE Mismanagement in SMTP. USENIX Security Symposium (2022)
Yijia Chen, Jörg Flum, Moritz Müller
A Surprising Relationship Between Descriptive Complexity and Proof Complexity. Bull. EATCS 138 (2022)
Olivier van der Toorn, Moritz Müller, Sara Dickinson, Cristian Hesselman, Anna Sperotto, Roland van Rijswijk-Deij
Addressing the challenges of modern DNS a comprehensive tutorial. Comput. Sci. Rev. 45 (2022)
Moritz Müller
Typical forcings, NP search problems and an extension of a theorem of Riis. Ann. Pure Appl. Log. 172 (4) (2021)
Giovane C. M. Moura, Moritz Müller, Marco Davids, Maarten Wullink, Cristian Hesselman
Fragmentation, Truncation, and Timeouts: Are Large DNS Messages Falling to Bits? PAM (2021)
Nagur Cherukuru, Patrick Martin, Nivedita Sanwlani, Aazani Mujahid, Moritz Müller
A Semi-Analytical Optical Remote Sensing Model to Estimate Suspended Sediment and Dissolved Organic Carbon in Tropical Coastal Waters Influenced by Peatland-Draining River Discharges off Sarawak, Borneo. Remote. Sens. 13 (1) (2021)
Moritz Müller, Willem Toorop, Taejoong Chung, Jelte Jansen, Roland van Rijswijk-Deij
The Reality of Algorithm Agility: Studying the DNSSEC Algorithm Life-Cycle. Internet Measurement Conference (2020)
Moritz Müller, Ján Pich
Feasibly constructive proofs of succinct weak circuit lower bounds. Ann. Pure Appl. Log. 171 (2) (2020)
Moritz Müller, Jins de Jong, Maran van Heesch, Benno J. Overeinder, Roland van Rijswijk-Deij
Retrofitting post-quantum cryptography in internet protocols: a case study of DNSSEC. Comput. Commun. Rev. 50 (4) (2020)
Jan Bydzovsky, Moritz Müller
Polynomial time ultrapowers and the consistency of circuit lower bounds. Arch. Math. Log. 59 (1-2) (2020)
Sim ChunHock, Nagur Cherukuru, Aazani Mujahid, Patrick Martin, Nivedita Sanwlani, Thorsten Warneke, Tim Rixen, Justus Notholt, Moritz Müller
A New Remote Sensing Method to Estimate River to Ocean DOC Flux in Peatland Dominated Sarawak Coastal Regions, Borneo. Remote. Sens. 12 (20) (2020)
Stefano Bianchini, Moritz Müller, Pierre Pelletier
Deep Learning in Science. CoRR (2020)
Albert Atserias, Moritz Müller
Automating Resolution is NP-Hard. J. ACM 67 (5) (2020)
Wouter B. de Vries, Quirin Scheitle, Moritz Müller, Willem Toorop, Ralph Dolmans, Roland van Rijswijk-Deij
A First Look at QNAME Minimization in the Domain Name System. PAM (2019)
Moritz Müller, Matthew Thomas, Duane Wessels, Wes Hardaker, Taejoong Chung, Willem Toorop, Roland van Rijswijk-Deij
Roll, Roll, Roll your Root: A Comprehensive Analysis of the First Ever DNSSEC Root KSK Rollover. Internet Measurement Conference (2019)
Moritz Müller, Taejoong Chung, Alan Mislove, Roland van Rijswijk-Deij
Rolling With Confidence: Managing the Complexity of DNSSEC Operations. IEEE Trans. Netw. Serv. Manag. 16 (3) (2019)
Albert Atserias, Moritz Müller
Automating Resolution is NP-Hard. FOCS (2019)
Yijia Chen, Michael Elberfeld, Moritz Müller
The parameterized space complexity of model-checking bounded variable first-order logic. Log. Methods Comput. Sci. 15 (3) (2019)
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen
Feasible set functions have small circuits. Comput. 8 (1) (2019)
Albert Atserias, Moritz Müller
Automating Resolution is NP-Hard. CoRR (2019)
Jan Maly, Moritz Müller
A remark on pseudo proof systems and hard instances of the satisfiability problem. Math. Log. Q. 64 (6) (2018)
Moritz Müller, Roland van Rijswijk-Deij
Towards an Independent and Resilient DNS. AIMS (2018)
Giovane C. M. Moura, John S. Heidemann, Moritz Müller, Ricardo de Oliveira Schmidt, Marco Davids
When the Dike Breaks: Dissecting DNS Defenses During DDoS. Internet Measurement Conference (2018)
Yijia Chen, Moritz Müller, Keita Yokoyama
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. LICS (2018)
Giovane C. M. Moura, Moritz Müller, Marco Davids, Maarten Wullink, Cristian Hesselman
Domain names abuse and TLDs: From monetization towards mitigation. IM (2017)
Moritz Müller, Ján Pich
Feasibly constructive proofs of succinct weak circuit lower bounds. Electron. Colloquium Comput. Complex. 24 (2017)
Hubie Chen, Moritz Müller
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries. ACM Trans. Comput. Log. 18 (4) (2017)
Moritz Müller, Stefan Szeider
The treewidth of proofs. Inf. Comput. 255 (2017)
Yijia Chen, Michael Elberfeld, Moritz Müller
The parameterized space complexity of model-checking bounded variable first-order logic. CoRR (2017)
Hubie Chen, Moritz Müller
The Parameterized Space Complexity of Embedding Along a Path. Theory Comput. Syst. 61 (3) (2017)
Moritz Müller, Giovane C. M. Moura, Ricardo de Oliveira Schmidt, John S. Heidemann
Recursives in the wild: engineering authoritative DNS servers. Internet Measurement Conference (2017)
Maarten Wullink, Moritz Müller, Marco Davids, Giovane C. M. Moura, Cristian Hesselman
ENTRADA: enabling DNS big data applications. eCrime (2016)
Giovane C. M. Moura, Ricardo de Oliveira Schmidt, John S. Heidemann, Wouter B. de Vries, Moritz Müller, Lan Wei, Cristian Hesselman
Anycast vs. DDoS: Evaluating the November 2015 Root DNS Event. Internet Measurement Conference (2016)
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen
Cobham recursive set functions. Ann. Pure Appl. Log. 167 (3) (2016)
Giovane C. M. Moura, Moritz Müller, Maarten Wullink, Cristian Hesselman
nDEWS: A new domains early warning system for TLDs. NOMS (2016)
Hubie Chen, Moritz Müller
The parameterized space complexity of embedding along a path. CoRR (2016)
Maarten Wullink, Giovane C. M. Moura, Moritz Müller, Cristian Hesselman
ENTRADA: A high-performance network traffic data streaming warehouse. NOMS (2016)
Hubie Chen, Moritz Müller
The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space. ACM Trans. Comput. Theory 7 (2) (2015)
Albert Atserias, Moritz Müller
Partially definable forcing and bounded arithmetic. Arch. Math. Log. 54 (1-2) (2015)
Albert Atserias, Moritz Müller, Sergi Oliva
Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. J. Symb. Log. 80 (2) (2015)
Yijia Chen, Jörg Flum, Moritz Müller
Hard Instances of Algorithms and Proof Systems. ACM Trans. Comput. Theory 6 (2) (2014)
Hubie Chen, Moritz Müller
One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. CSL-LICS (2014)
Yijia Chen, Moritz Müller
Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem. MFCS (1) (2014)
Albert Atserias, Moritz Müller, Sergi Oliva
Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle. Computational Complexity Conference (2013)
Hubie Chen, Moritz Müller
The fine classification of conjunctive queries and parameterized logarithmic space complexity. PODS (2013)
Moritz Müller, Stefan Szeider
Revisiting Space in Proof Complexity: Treewidth and Pathwidth. Electron. Colloquium Comput. Complex. 20 (2013)
Moritz Müller, Stefan Szeider
Revisiting Space in Proof Complexity: Treewidth and Pathwidth. MFCS (2013)
Hubie Chen, Moritz Müller
The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space Complexity. CoRR (2013)
Christopher Ruff, Uwe Laufs, Moritz Müller, Jan Zibuschka
Saving Energy in Production Using Mobile Services. Software Engineering (Workshops) (2013)
Yijia Chen, Jörg Flum, Moritz Müller
Consistency, optimality, and incompleteness. Ann. Pure Appl. Log. 164 (12) (2013)
Albert Atserias, Moritz Müller, Sergi Oliva
Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. Electron. Colloquium Comput. Complex. 20 (2013)
Juan Andrés Montoya, Moritz Müller
Parameterized Random Complexity. Theory Comput. Syst. 52 (2) (2013)
Hubie Chen, Moritz Müller
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries. CoRR (2013)
Yijia Chen, Jörg Flum, Moritz Müller
Hard Instances of Algorithms and Proof Systems. CiE (2012)
Jörg Flum, Moritz Müller
Some Definitorial Suggestions for Parameterized Proof Complexity. IPEC (2012)
Hubie Chen, Moritz Müller
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction. LICS (2012)
Jörg Flum, Moritz Müller
Some definitorial suggestions for parameterized proof complexity. Electron. Colloquium Comput. Complex. 19 (2012)
Hubie Chen, Moritz Müller
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction Log. Methods Comput. Sci. 9 (1) (2012)
Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller
Strong isomorphism reductions in complexity theory. J. Symb. Log. 76 (4) (2011)
Yijia Chen, Jörg Flum, Moritz Müller
Hard instances of algorithms and proof systems. Electron. Colloquium Comput. Complex. 18 (2011)
Yijia Chen, Jörg Flum, Moritz Müller
Lower Bounds for Kernelizations and Other Preprocessing Procedures. Theory Comput. Syst. 48 (4) (2011)
Yijia Chen, Jörg Flum, Moritz Müller
Consistency and Optimality. CiE (2011)
Michael R. Fellows, Jörg Flum, Danny Hermelin, Moritz Müller, Frances A. Rosamond
W-Hierarchies Defined by Symmetric Gates. Theory Comput. Syst. 46 (2) (2010)
Yijia Chen, Jörg Flum, Moritz Müller
Lower Bounds for Kernelizations and Other Preprocessing Procedures. CiE (2009)
Moritz Müller
Valiant-Vazirani Lemmata for Various Logics. Electron. Colloquium Comput. Complex. 15 (063) (2008)
Michael R. Fellows, Danny Hermelin, Moritz Müller, Frances A. Rosamond
A Purely Democratic Characterization of W[1]. IWPEC (2008)
Moritz Müller
Parameterized Derandomization. IWPEC (2008)
Iris van Rooij, Matthew Hamilton, Moritz Müller, Todd Wareham
Approximating Solution Structure. Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs (2007)
Yijia Chen, Jörg Flum, Moritz Müller
Lower Bounds for Kernelizations. Electron. Colloquium Comput. Complex. 14 (137) (2007)
Moritz Müller
Randomized Approximations of Parameterized Counting Problems. IWPEC (2006)