Moritz Müller

98 papers A* 8A 7B 11C 5Journal 56Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	GPTKB v1.5: A Massive Knowledge Base for Exploring Factual LLM Knowledge. AAAI Yujia Hu, Tuan-Phong Nguyen, Shrestha Ghosh, Moritz Müller, Simon Razniewski
2026	J	`jnl`	Reproducibility Study and Assessment of the Evolution of Serial BGP Hijacking Events. IEEE Trans. Netw. Serv. Manag. Ebrima Jaw, Moritz Müller, Cristian Hesselman, Lambert J. M. Nieuwenhuis
2025	J	`jnl`	A Parameterized Halting Problem, $ \Delta _0$ Truth and the Mrdp Theorem. J. Symb. Log. Yijia Chen, Moritz Müller, Keita Yokoyama
2025	J	`jnl`	GPTKB v1.5: A Massive Knowledge Base for Exploring Factual LLM Knowledge. CoRR Yujia Hu, Tuan-Phong Nguyen, Shrestha Ghosh, Moritz Müller, Simon Razniewski
2025	J	`jnl`	Industry-Academia Open Research Collaboration: A Small Tech Company Perspective (SIDN). Comput. Commun. Rev. Giovane C. M. Moura, Ralph Koning, Moritz Müller, Cristian Hesselman
2025	—	`conf`	Introducing GPTKB to the Semantic Web. ISWC (Industry/Doctoral Consortium/Posters/Demos) Yujia Hu, Tuan-Phong Nguyen, Shrestha Ghosh, Moritz Müller, Simon Razniewski
2025	B	`conf`	Noisy Neighbours: Keep the Neighbourhood Quiet. CNSM Ebrima Jaw, Thomas Krenc, Moritz Müller, K. C. Claffy, Lambert J. M. Nieuwenhuis, Cristian Hesselman
2025	J	`jnl`	On the consistency of circuit lower bounds for non-deterministic time. J. Math. Log. Albert Atserias, Sam Buss, Moritz Müller
2025	J	`jnl`	Simple general magnification of circuit lower bounds. CoRR Albert Atserias, Moritz Müller
2025	—	`conf`	Yet Another Collection of Programming Misconceptions - To Help Educators Find What Matters. Koli Calling Corinna List, Moritz Müller, Michael Kipp
2025	B	`conf`	xBGPsec: Enhancing BGP Security with Transitive Signatures and External Validation. CNSM Nils Höger, Cristian Hesselman, Moritz Müller, Savvas Kastanakis
2024	C	`conf`	A Multi-Site Photometric Analysis of Biomass Burning Activity in South-East Asia During October 2023. IGARSS Santo V. Salinas, Tan Li, Fernando Santos, Soo Chin Liew, Moritz Müller, Wee Cheah
2024	A*	`conf`	Characterizing and Mitigating Phishing Attacks at ccTLD Scale. CCS Giovane C. M. Moura, Thomas Daniels, Maarten Bosteels, Sebastian Castro, Moritz Müller, Thymen Wabeke, Thijs van Den Hout, Maciej Korczynski, Georgios Smaragdakis
2024	A	`conf`	DarkDNS: Revisiting the Value of Rapid Zone Update. IMC Raffaele Sommese, Gautam Akiwate, Antonia Affinito, Moritz Müller, Mattijs Jonker, K. C. Claffy
2024	J	`jnl`	DarkDNS: Revisiting the Value of Rapid Zone Update. CoRR Raffaele Sommese, Gautam Akiwate, Antonia Affinito, Moritz Müller, Mattijs Jonker, K. C. Claffy
2024	J	`jnl`	Internet Sanctions on Russian Media: Actions and Effects. CoRR John Kristoff, Moritz Müller, Arturo Filastò, Max Resing, Chris Kanich, Niels ten Oever
2024	B	`conf`	Poster: Quantifying the Proportion of Hijacked Prefixes Among the Identified Prefix Hijackers. ICNP Ebrima Jaw, Moritz Müller, Cristian Hesselman, Lambert J. M. Nieuwenhuis
2024	J	`jnl`	Predicting Individual Well-Being in Teamwork Contexts Based on Speech Features. Inf. Tobias Zeulner, Gerhard Hagerer, Moritz Müller, Ignacio Vazquez, Peter A. Gloor
2024	—	`conf`	Serial BGP Hijackers: A Reproducibility Study and Assessment of Current Dynamics. TMA Ebrima Jaw, Moritz Müller, Cristian Hesselman, Lambert J. M. Nieuwenhuis
2023	B	`conf`	A Second Look at DNS QNAME Minimization. PAM Jonathan Magnusson, Moritz Müller, Anna Brunström, Tobias Pulls
2023	J	`jnl`	Integrating New Technologies into Science: The case of AI. CoRR Stefano Bianchini, Moritz Müller, Pierre Pelletier
2023	J	`jnl`	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. Moritz Müller
2023	J	`jnl`	Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561. CoRR Moritz Müller, Joost J. Joosten
2023	J	`jnl`	On the Consistency of Circuit Lower Bounds for Non-Deterministic Time. CoRR Albert Atserias, Sam Buss, Moritz Müller
2023	A*	`conf`	On the Consistency of Circuit Lower Bounds for Non-deterministic Time. STOC Albert Atserias, Sam Buss, Moritz Müller
2022	J	`jnl`	A Surprising Relationship Between Descriptive Complexity and Proof Complexity. Bull. EATCS Yijia Chen, Jörg Flum, Moritz Müller
2022	J	`jnl`	A parameterized halting problem, Δ CoRR Yijia Chen, Moritz Müller, Keita Yokoyama
2022	J	`jnl`	Addressing the challenges of modern DNS a comprehensive tutorial. Comput. Sci. Rev. Olivier van der Toorn, Moritz Müller, Sara Dickinson, Cristian Hesselman, Anna Sperotto, Roland van Rijswijk-Deij
2022	J	`jnl`	On Representations of Intended Structures in Foundational Theories. J. Philos. Log. Neil Barton, Moritz Müller, Mihai Prunescu
2022	J	`jnl`	Spreading the word? European Union agencies and social media attention. Gov. Inf. Q. Moritz Müller
2022	A*	`conf`	Under the Hood of DANE Mismanagement in SMTP. USENIX Security Symposium Hyeonmin Lee, Md. Ishtiaq Ashiq, Moritz Müller, Roland van Rijswijk-Deij, Ted Taekyoung Kwon, Taejoong Chung
2021	J	`jnl`	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. Nagur Cherukuru, Patrick Martin, Nivedita Sanwlani, Aazani Mujahid, Moritz Müller
2021	B	`conf`	Fragmentation, Truncation, and Timeouts: Are Large DNS Messages Falling to Bits? PAM Giovane C. M. Moura, Moritz Müller, Marco Davids, Maarten Wullink, Cristian Hesselman
2021	J	`jnl`	Typical forcings, NP search problems and an extension of a theorem of Riis. Ann. Pure Appl. Log. Moritz Müller
2020	J	`jnl`	A New Remote Sensing Method to Estimate River to Ocean DOC Flux in Peatland Dominated Sarawak Coastal Regions, Borneo. Remote. Sens. Sim ChunHock, Nagur Cherukuru, Aazani Mujahid, Patrick Martin, Nivedita Sanwlani, Thorsten Warneke, Tim Rixen, Justus Notholt, Moritz Müller
2020	J	`jnl`	Automating Resolution is NP-Hard. J. ACM Albert Atserias, Moritz Müller
2020	J	`jnl`	Deep Learning in Science. CoRR Stefano Bianchini, Moritz Müller, Pierre Pelletier
2020	J	`jnl`	Feasibly constructive proofs of succinct weak circuit lower bounds. Ann. Pure Appl. Log. Moritz Müller, Ján Pich
2020	J	`jnl`	Polynomial time ultrapowers and the consistency of circuit lower bounds. Arch. Math. Log. Jan Bydzovsky, Moritz Müller
2020	J	`jnl`	Retrofitting post-quantum cryptography in internet protocols: a case study of DNSSEC. Comput. Commun. Rev. Moritz Müller, Jins de Jong, Maran van Heesch, Benno J. Overeinder, Roland van Rijswijk-Deij
2020	A	`conf`	The Reality of Algorithm Agility: Studying the DNSSEC Algorithm Life-Cycle. Internet Measurement Conference Moritz Müller, Willem Toorop, Taejoong Chung, Jelte Jansen, Roland van Rijswijk-Deij
2019	B	`conf`	A First Look at QNAME Minimization in the Domain Name System. PAM Wouter B. de Vries, Quirin Scheitle, Moritz Müller, Willem Toorop, Ralph Dolmans, Roland van Rijswijk-Deij
2019	A*	`conf`	Automating Resolution is NP-Hard. FOCS Albert Atserias, Moritz Müller
2019	J	`jnl`	Automating Resolution is NP-Hard. CoRR Albert Atserias, Moritz Müller
2019	J	`jnl`	Feasible set functions have small circuits. Comput. Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen
2019	A	`conf`	Roll, Roll, Roll your Root: A Comprehensive Analysis of the First Ever DNSSEC Root KSK Rollover. Internet Measurement Conference Moritz Müller, Matthew Thomas, Duane Wessels, Wes Hardaker, Taejoong Chung, Willem Toorop, Roland van Rijswijk-Deij
2019	J	`jnl`	Rolling With Confidence: Managing the Complexity of DNSSEC Operations. IEEE Trans. Netw. Serv. Manag. Moritz Müller, Taejoong Chung, Alan Mislove, Roland van Rijswijk-Deij
2019	J	`jnl`	The parameterized space complexity of model-checking bounded variable first-order logic. Log. Methods Comput. Sci. Yijia Chen, Michael Elberfeld, Moritz Müller
2018	A*	`conf`	A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. LICS Yijia Chen, Moritz Müller, Keita Yokoyama
2018	J	`jnl`	A remark on pseudo proof systems and hard instances of the satisfiability problem. Math. Log. Q. Jan Maly, Moritz Müller
2018	—	`conf`	Towards an Independent and Resilient DNS. AIMS Moritz Müller, Roland van Rijswijk-Deij
2018	A	`conf`	When the Dike Breaks: Dissecting DNS Defenses During DDoS. Internet Measurement Conference Giovane C. M. Moura, John S. Heidemann, Moritz Müller, Ricardo de Oliveira Schmidt, Marco Davids
2017	B	`conf`	Domain names abuse and TLDs: From monetization towards mitigation. IM Giovane C. M. Moura, Moritz Müller, Marco Davids, Maarten Wullink, Cristian Hesselman
2017	J	`jnl`	Feasibly constructive proofs of succinct weak circuit lower bounds. Electron. Colloquium Comput. Complex. Moritz Müller, Ján Pich
2017	J	`jnl`	One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries. ACM Trans. Comput. Log. Hubie Chen, Moritz Müller
2017	A	`conf`	Recursives in the wild: engineering authoritative DNS servers. Internet Measurement Conference Moritz Müller, Giovane C. M. Moura, Ricardo de Oliveira Schmidt, John S. Heidemann
2017	J	`jnl`	The Parameterized Space Complexity of Embedding Along a Path. Theory Comput. Syst. Hubie Chen, Moritz Müller
2017	J	`jnl`	The parameterized space complexity of model-checking bounded variable first-order logic. CoRR Yijia Chen, Michael Elberfeld, Moritz Müller
2017	J	`jnl`	The treewidth of proofs. Inf. Comput. Moritz Müller, Stefan Szeider
2016	A	`conf`	Anycast vs. DDoS: Evaluating the November 2015 Root DNS Event. Internet Measurement Conference Giovane C. M. Moura, Ricardo de Oliveira Schmidt, John S. Heidemann, Wouter B. de Vries, Moritz Müller, Lan Wei, Cristian Hesselman
2016	J	`jnl`	Cobham recursive set functions. Ann. Pure Appl. Log. Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen
2016	B	`conf`	ENTRADA: A high-performance network traffic data streaming warehouse. NOMS Maarten Wullink, Giovane C. M. Moura, Moritz Müller, Cristian Hesselman
2016	—	`conf`	ENTRADA: enabling DNS big data applications. eCrime Maarten Wullink, Moritz Müller, Marco Davids, Giovane C. M. Moura, Cristian Hesselman
2016	J	`jnl`	The parameterized space complexity of embedding along a path. CoRR Hubie Chen, Moritz Müller
2016	B	`conf`	nDEWS: A new domains early warning system for TLDs. NOMS Giovane C. M. Moura, Moritz Müller, Maarten Wullink, Cristian Hesselman
2015	J	`jnl`	Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. J. Symb. Log. Albert Atserias, Moritz Müller, Sergi Oliva
2015	J	`jnl`	Partially definable forcing and bounded arithmetic. Arch. Math. Log. Albert Atserias, Moritz Müller
2015	J	`jnl`	The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space. ACM Trans. Comput. Theory Hubie Chen, Moritz Müller
2014	—	`conf`	Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem. MFCS (1) Yijia Chen, Moritz Müller
2014	J	`jnl`	Hard Instances of Algorithms and Proof Systems. ACM Trans. Comput. Theory Yijia Chen, Jörg Flum, Moritz Müller
2014	—	`conf`	One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. CSL-LICS Hubie Chen, Moritz Müller
2013	J	`jnl`	Consistency, optimality, and incompleteness. Ann. Pure Appl. Log. Yijia Chen, Jörg Flum, Moritz Müller
2013	J	`jnl`	Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. Electron. Colloquium Comput. Complex. Albert Atserias, Moritz Müller, Sergi Oliva
2013	A	`conf`	Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle. CCC Albert Atserias, Moritz Müller, Sergi Oliva
2013	J	`jnl`	One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries. CoRR Hubie Chen, Moritz Müller
2013	J	`jnl`	Parameterized Random Complexity. Theory Comput. Syst. Juan Andrés Montoya, Moritz Müller
2013	B	`conf`	Revisiting Space in Proof Complexity: Treewidth and Pathwidth. MFCS Moritz Müller, Stefan Szeider
2013	J	`jnl`	Revisiting Space in Proof Complexity: Treewidth and Pathwidth. Electron. Colloquium Comput. Complex. Moritz Müller, Stefan Szeider
2013	C	`conf`	Saving Energy in Production Using Mobile Services. Software Engineering (Workshops) Christopher Ruff, Uwe Laufs, Moritz Müller, Jan Zibuschka
2013	J	`jnl`	The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space Complexity. CoRR Hubie Chen, Moritz Müller
2013	A*	`conf`	The fine classification of conjunctive queries and parameterized logarithmic space complexity. PODS Hubie Chen, Moritz Müller
2012	J	`jnl`	An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction Log. Methods Comput. Sci. Hubie Chen, Moritz Müller
2012	A*	`conf`	An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction. LICS Hubie Chen, Moritz Müller
2012	C	`conf`	Hard Instances of Algorithms and Proof Systems. CiE Yijia Chen, Jörg Flum, Moritz Müller
2012	B	`conf`	Some Definitorial Suggestions for Parameterized Proof Complexity. IPEC Jörg Flum, Moritz Müller
2012	J	`jnl`	Some definitorial suggestions for parameterized proof complexity. Electron. Colloquium Comput. Complex. Jörg Flum, Moritz Müller
2011	C	`conf`	Consistency and Optimality. CiE Yijia Chen, Jörg Flum, Moritz Müller
2011	J	`jnl`	Hard instances of algorithms and proof systems. Electron. Colloquium Comput. Complex. Yijia Chen, Jörg Flum, Moritz Müller
2011	J	`jnl`	Lower Bounds for Kernelizations and Other Preprocessing Procedures. Theory Comput. Syst. Yijia Chen, Jörg Flum, Moritz Müller
2011	J	`jnl`	Strong isomorphism reductions in complexity theory. J. Symb. Log. Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller
2010	J	`jnl`	W-Hierarchies Defined by Symmetric Gates. Theory Comput. Syst. Michael R. Fellows, Jörg Flum, Danny Hermelin, Moritz Müller, Frances A. Rosamond
2009	C	`conf`	Lower Bounds for Kernelizations and Other Preprocessing Procedures. CiE Yijia Chen, Jörg Flum, Moritz Müller
2008	—	`conf`	A Purely Democratic Characterization of W[1]. IWPEC Michael R. Fellows, Danny Hermelin, Moritz Müller, Frances A. Rosamond
2008	—	`conf`	Parameterized Derandomization. IWPEC Moritz Müller
2008	J	`jnl`	Valiant-Vazirani Lemmata for Various Logics. Electron. Colloquium Comput. Complex. Moritz Müller
2007	—	`conf`	Approximating Solution Structure. Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs Iris van Rooij, Matthew Hamilton, Moritz Müller, Todd Wareham
2007	J	`jnl`	Lower Bounds for Kernelizations. Electron. Colloquium Comput. Complex. Yijia Chen, Jörg Flum, Moritz Müller
2006	—	`conf`	Randomized Approximations of Parameterized Counting Problems. IWPEC Moritz Müller