Randomized Approximations of Parameterized Counting Problems. - Moritz Müller (IWPEC, 2006)

Approximating Solution Structure. - Iris van Rooij; Matthew Hamilton; Moritz Müller; Todd Wareham (Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs, 2007)

Lower Bounds for Kernelizations. - Yijia Chen 001; Jörg Flum; Moritz Müller (Electron. Colloquium Comput. Complex., 2007)

A Purely Democratic Characterization of W[1]. - Michael R. Fellows; Danny Hermelin; Moritz Müller; Frances A. Rosamond (IWPEC, 2008)

Parameterized Derandomization. - Moritz Müller (IWPEC, 2008)

Valiant-Vazirani Lemmata for Various Logics. - Moritz Müller (Electron. Colloquium Comput. Complex., 2008)

W-Hierarchies Defined by Symmetric Gates. - Michael R. Fellows; Jörg Flum; Danny Hermelin; Moritz Müller; Frances A. Rosamond (Theory Comput. Syst., 2010)

Consistency and Optimality. - Yijia Chen 001; Jörg Flum; Moritz Müller (CiE, 2011)

Hard instances of algorithms and proof systems. - Yijia Chen 001; Jörg Flum; Moritz Müller (Electron. Colloquium Comput. Complex., 2011)

Strong isomorphism reductions in complexity theory. - Sam Buss; Yijia Chen 001; Jörg Flum; Sy-David Friedman; Moritz Müller (J. Symb. Log., 2011)

Lower Bounds for Kernelizations and Other Preprocessing Procedures. - Yijia Chen 001; Jörg Flum; Moritz Müller (Theory Comput. Syst., 2011)

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction - Hubie Chen; Moritz Müller (Log. Methods Comput. Sci., 2012)

Some definitorial suggestions for parameterized proof complexity. - Jörg Flum; Moritz Müller (Electron. Colloquium Comput. Complex., 2012)

The fine classification of conjunctive queries and parameterized logarithmic space complexity. - Hubie Chen; Moritz Müller (PODS, 2013)

Saving Energy in Production Using Mobile Services. - Christopher Ruff; Uwe Laufs; Moritz Müller; Jan Zibuschka (Software Engineering (Workshops), 2013)

Consistency, optimality, and incompleteness. - Yijia Chen 001; Jörg Flum; Moritz Müller (Ann. Pure Appl. Log., 2013)

Revisiting Space in Proof Complexity: Treewidth and Pathwidth. - Moritz Müller; Stefan Szeider (Electron. Colloquium Comput. Complex., 2013)

Parameterized Random Complexity. - Juan Andrés Montoya; Moritz Müller (Theory Comput. Syst., 2013)

Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem. - Yijia Chen 001; Moritz Müller (MFCS (1), 2014)

Partially definable forcing and bounded arithmetic. - Albert Atserias; Moritz Müller (Arch. Math. Log., 2015)

Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. - Albert Atserias; Moritz Müller; Sergi Oliva (J. Symb. Log., 2015)

The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space. - Hubie Chen; Moritz Müller (ACM Trans. Comput. Theory, 2015)

ENTRADA: enabling DNS big data applications. - Maarten Wullink; Moritz Müller; Marco Davids; Giovane C. M. Moura; Cristian Hesselman (eCrime, 2016)

Anycast vs. DDoS: Evaluating the November 2015 Root DNS Event. - Giovane C. M. Moura; Ricardo de Oliveira Schmidt; John S. Heidemann; Wouter B. de Vries; Moritz Müller; Lan Wei; Cristian Hesselman (Internet Measurement Conference, 2016)

nDEWS: A new domains early warning system for TLDs. - Giovane C. M. Moura; Moritz Müller; Maarten Wullink; Cristian Hesselman (NOMS, 2016)

ENTRADA: A high-performance network traffic data streaming warehouse. - Maarten Wullink; Giovane C. M. Moura; Moritz Müller; Cristian Hesselman (NOMS, 2016)

Cobham recursive set functions. - Arnold Beckmann; Sam Buss; Sy-David Friedman; Moritz Müller; Neil Thapen (Ann. Pure Appl. Log., 2016)

Domain names abuse and TLDs: From monetization towards mitigation. - Giovane C. M. Moura; Moritz Müller; Marco Davids; Maarten Wullink; Cristian Hesselman (IM, 2017)

Recursives in the wild: engineering authoritative DNS servers. - Moritz Müller; Giovane C. M. Moura; Ricardo de Oliveira Schmidt; John S. Heidemann (Internet Measurement Conference, 2017)

Feasibly constructive proofs of succinct weak circuit lower bounds. - Moritz Müller; Ján Pich (Electron. Colloquium Comput. Complex., 2017)

The treewidth of proofs. - Moritz Müller; Stefan Szeider (Inf. Comput., 2017)

The Parameterized Space Complexity of Embedding Along a Path. - Hubie Chen; Moritz Müller (Theory Comput. Syst., 2017)

One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries. - Hubie Chen; Moritz Müller (ACM Trans. Comput. Log., 2017)

Towards an Independent and Resilient DNS. - Moritz Müller; Roland van Rijswijk-Deij (AIMS, 2018)

When the Dike Breaks: Dissecting DNS Defenses During DDoS. - Giovane C. M. Moura; John S. Heidemann; Moritz Müller; Ricardo de Oliveira Schmidt; Marco Davids (Internet Measurement Conference, 2018)

A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. - Yijia Chen 001; Moritz Müller; Keita Yokoyama (LICS, 2018)

A remark on pseudo proof systems and hard instances of the satisfiability problem. - Jan Maly 001; Moritz Müller (Math. Log. Q., 2018)

Roll, Roll, Roll your Root: A Comprehensive Analysis of the First Ever DNSSEC Root KSK Rollover. - Moritz Müller; Matthew Thomas; Duane Wessels; Wes Hardaker; Taejoong Chung; Willem Toorop; Roland van Rijswijk-Deij (Internet Measurement Conference, 2019)

A First Look at QNAME Minimization in the Domain Name System. - Wouter B. de Vries; Quirin Scheitle; Moritz Müller; Willem Toorop; Ralph Dolmans; Roland van Rijswijk-Deij (PAM, 2019)

Feasible set functions have small circuits. - Arnold Beckmann; Sam Buss; Sy-David Friedman; Moritz Müller; Neil Thapen (Comput., 2019)

The parameterized space complexity of model-checking bounded variable first-order logic. - Yijia Chen 001; Michael Elberfeld; Moritz Müller (Log. Methods Comput. Sci., 2019)

Rolling With Confidence: Managing the Complexity of DNSSEC Operations. - Moritz Müller; Taejoong Chung; Alan Mislove; Roland van Rijswijk-Deij (IEEE Trans. Netw. Serv. Manag., 2019)

The Reality of Algorithm Agility: Studying the DNSSEC Algorithm Life-Cycle. - Moritz Müller; Willem Toorop; Taejoong Chung; Jelte Jansen; Roland van Rijswijk-Deij (Internet Measurement Conference, 2020)

Polynomial time ultrapowers and the consistency of circuit lower bounds. - Jan Bydzovsky; Moritz Müller (Arch. Math. Log., 2020)

Retrofitting post-quantum cryptography in internet protocols: a case study of DNSSEC. - Moritz Müller; Jins de Jong; Maran van Heesch; Benno J. Overeinder; Roland van Rijswijk-Deij (Comput. Commun. Rev., 2020)

Deep Learning in Science. - Stefano Bianchini; Moritz Müller; Pierre Pelletier (CoRR, 2020)

Automating Resolution is NP-Hard. - Albert Atserias; Moritz Müller (J. ACM, 2020)

A New Remote Sensing Method to Estimate River to Ocean DOC Flux in Peatland Dominated Sarawak Coastal Regions, Borneo. - Sim ChunHock; Nagur Cherukuru; Aazani Mujahid; Patrick Martin; Nivedita Sanwlani; Thorsten Warneke; Tim Rixen; Justus Notholt; Moritz Müller (Remote. Sens., 2020)

Fragmentation, Truncation, and Timeouts: Are Large DNS Messages Falling to Bits? - Giovane C. M. Moura; Moritz Müller; Marco Davids; Maarten Wullink; Cristian Hesselman (PAM, 2021)

Typical forcings, NP search problems and an extension of a theorem of Riis. - Moritz Müller (Ann. Pure Appl. Log., 2021)

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. - Nagur Cherukuru; Patrick Martin; Nivedita Sanwlani; Aazani Mujahid; Moritz Müller (Remote. Sens., 2021)

Under the Hood of DANE Mismanagement in SMTP. - Hyeonmin Lee; Md. Ishtiaq Ashiq; Moritz Müller; Roland van Rijswijk-Deij; Ted Taekyoung Kwon; Taejoong Chung (USENIX Security Symposium, 2022)

A parameterized halting problem, Δ0 truth and the MRDP theorem. - Yijia Chen 001; Moritz Müller; Keita Yokoyama (CoRR, 2022)

Addressing the challenges of modern DNS a comprehensive tutorial. - Olivier van der Toorn; Moritz Müller; Sara Dickinson; Cristian Hesselman; Anna Sperotto; Roland van Rijswijk-Deij (Comput. Sci. Rev., 2022)

A Surprising Relationship Between Descriptive Complexity and Proof Complexity. - Yijia Chen 001; Jörg Flum; Moritz Müller (Bull. EATCS, 2022)

Spreading the word? European Union agencies and social media attention. - Moritz Müller (Gov. Inf. Q., 2022)

On Representations of Intended Structures in Foundational Theories. - Neil Barton; Moritz Müller; Mihai Prunescu (J. Philos. Log., 2022)

A Second Look at DNS QNAME Minimization. - Jonathan Magnusson; Moritz Müller; Anna Brunström; Tobias Pulls (PAM, 2023)

On the Consistency of Circuit Lower Bounds for Non-deterministic Time. - Albert Atserias; Sam Buss; Moritz Müller (STOC, 2023)

Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561. - Moritz Müller; Joost J. Joosten (CoRR, 2023)

Integrating New Technologies into Science: The case of AI. - Stefano Bianchini; Moritz Müller; Pierre Pelletier (CoRR, 2023)

Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp. - Moritz Müller (Bull. Symb. Log., 2023)

Characterizing and Mitigating Phishing Attacks at ccTLD Scale. - Giovane C. M. Moura; Thomas Daniels 002; Maarten Bosteels; Sebastian Castro; Moritz Müller; Thymen Wabeke; Thijs van Den Hout; Maciej Korczynski; Georgios Smaragdakis (CCS, 2024)

Poster: Quantifying the Proportion of Hijacked Prefixes Among the Identified Prefix Hijackers. - Ebrima Jaw; Moritz Müller; Cristian Hesselman; Lambert J. M. Nieuwenhuis (ICNP, 2024)

A Multi-Site Photometric Analysis of Biomass Burning Activity in South-East Asia During October 2023. - Santo V. Salinas; Tan Li 001; Fernando Santos; Soo Chin Liew; Moritz Müller; Wee Cheah (IGARSS, 2024)

DarkDNS: Revisiting the Value of Rapid Zone Update. - Raffaele Sommese; Gautam Akiwate; Antonia Affinito; Moritz Müller; Mattijs Jonker; K. C. Claffy (IMC, 2024)

Serial BGP Hijackers: A Reproducibility Study and Assessment of Current Dynamics. - Ebrima Jaw; Moritz Müller; Cristian Hesselman; Lambert J. M. Nieuwenhuis (TMA, 2024)

Internet Sanctions on Russian Media: Actions and Effects. - John Kristoff; Moritz Müller; Arturo Filastò; Max Resing; Chris Kanich; Niels ten Oever (CoRR, 2024)

Predicting Individual Well-Being in Teamwork Contexts Based on Speech Features. - Tobias Zeulner; Gerhard Hagerer; Moritz Müller; Ignacio Vazquez; Peter A. Gloor (Inf., 2024)

A Parameterized Halting Problem, $ Delta _0$ Truth and the Mrdp Theorem. - Yijia Chen 001; Moritz Müller; Keita Yokoyama (J. Symb. Log., 2025)

Simple general magnification of circuit lower bounds. - Albert Atserias; Moritz Müller (CoRR, 2025)

GPTKB v1.5: A Massive Knowledge Base for Exploring Factual LLM Knowledge. - Yujia Hu; Tuan-Phong Nguyen; Shrestha Ghosh; Moritz Müller; Simon Razniewski (CoRR, 2025)