default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Moritz Müller
@article{DBLP:journals/information/ZeulnerHMVG24,
author = {Tobias Zeulner and
Gerhard Hagerer and
Moritz M{\"{u}}ller and
Ignacio Vazquez and
Peter A. Gloor},
title = {Predicting Individual Well-Being in Teamwork Contexts Based on Speech
Features},
journal = {Inf.},
volume = {15},
number = {4},
pages = {217},
year = {2024},
url = {https://doi.org/10.3390/info15040217},
doi = {10.3390/INFO15040217},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/information/ZeulnerHMVG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tma/JawMHN24,
author = {Ebrima Jaw and
Moritz M{\"{u}}ller and
Cristian Hesselman and
Lambert J. M. Nieuwenhuis},
title = {Serial {BGP} Hijackers: {A} Reproducibility Study and Assessment of
Current Dynamics},
booktitle = {8th Network Traffic Measurement and Analysis Conference, {TMA} 2024,
Dresden, Germany, May 21-24, 2024},
pages = {1--10},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.23919/TMA62044.2024.10559067},
doi = {10.23919/TMA62044.2024.10559067},
timestamp = {Thu, 04 Jul 2024 15:45:25 +0200},
biburl = {https://dblp.org/rec/conf/tma/JawMHN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-05638,
author = {John Kristoff and
Moritz M{\"{u}}ller and
Arturo Filast{\`{o}} and
Max Resing and
Chris Kanich and
Niels ten Oever},
title = {Internet Sanctions on Russian Media: Actions and Effects},
journal = {CoRR},
volume = {abs/2403.05638},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.05638},
doi = {10.48550/ARXIV.2403.05638},
eprinttype = {arXiv},
eprint = {2403.05638},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-05638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Muller23,
author = {Moritz M{\"{u}}ller},
title = {Jan Kraj{\`{\i}}{\v{c}}ek, Proof Complexity, Encyclopedia of Mathematics
and Its Applications, no. 170, Cambridge University Press, Cambridge,
UK, 2019, xvi + 516 pp},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {296--297},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.13},
doi = {10.1017/BSL.2023.13},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Muller23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pam/MagnussonMBP23,
author = {Jonathan Magnusson and
Moritz M{\"{u}}ller and
Anna Brunstr{\"{o}}m and
Tobias Pulls},
editor = {Anna Brunstr{\"{o}}m and
Marcel Flores and
Marco Fiore},
title = {A Second Look at {DNS} {QNAME} Minimization},
booktitle = {Passive and Active Measurement - 24th International Conference, {PAM}
2023, Virtual Event, March 21-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13882},
pages = {496--521},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28486-1\_21},
doi = {10.1007/978-3-031-28486-1\_21},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pam/MagnussonMBP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AtseriasBM23,
author = {Albert Atserias and
Sam Buss and
Moritz M{\"{u}}ller},
editor = {Barna Saha and
Rocco A. Servedio},
title = {On the Consistency of Circuit Lower Bounds for Non-deterministic Time},
booktitle = {Proceedings of the 55th Annual {ACM} Symposium on Theory of Computing,
{STOC} 2023, Orlando, FL, USA, June 20-23, 2023},
pages = {1257--1270},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3564246.3585253},
doi = {10.1145/3564246.3585253},
timestamp = {Mon, 22 May 2023 13:01:48 +0200},
biburl = {https://dblp.org/rec/conf/stoc/AtseriasBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01016,
author = {Albert Atserias and
Sam Buss and
Moritz M{\"{u}}ller},
title = {On the Consistency of Circuit Lower Bounds for Non-Deterministic Time},
journal = {CoRR},
volume = {abs/2303.01016},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01016},
doi = {10.48550/ARXIV.2303.01016},
eprinttype = {arXiv},
eprint = {2303.01016},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05658,
author = {Moritz M{\"{u}}ller and
Joost J. Joosten},
title = {Model-checking in the Foundations of Algorithmic Law and the Case
of Regulation 561},
journal = {CoRR},
volume = {abs/2307.05658},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05658},
doi = {10.48550/ARXIV.2307.05658},
eprinttype = {arXiv},
eprint = {2307.05658},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-09843,
author = {Stefano Bianchini and
Moritz M{\"{u}}ller and
Pierre Pelletier},
title = {Integrating New Technologies into Science: The case of {AI}},
journal = {CoRR},
volume = {abs/2312.09843},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.09843},
doi = {10.48550/ARXIV.2312.09843},
eprinttype = {arXiv},
eprint = {2312.09843},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-09843.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/ToornMDHSR22,
author = {Olivier van der Toorn and
Moritz M{\"{u}}ller and
Sara Dickinson and
Cristian Hesselman and
Anna Sperotto and
Roland van Rijswijk{-}Deij},
title = {Addressing the challenges of modern {DNS} a comprehensive tutorial},
journal = {Comput. Sci. Rev.},
volume = {45},
pages = {100469},
year = {2022},
url = {https://doi.org/10.1016/j.cosrev.2022.100469},
doi = {10.1016/J.COSREV.2022.100469},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csr/ToornMDHSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/ChenFM22,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
title = {A Surprising Relationship Between Descriptive Complexity and Proof
Complexity},
journal = {Bull. {EATCS}},
volume = {138},
year = {2022},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/738},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/ChenFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/giq/Muller22,
author = {Moritz M{\"{u}}ller},
title = {Spreading the word? European Union agencies and social media attention},
journal = {Gov. Inf. Q.},
volume = {39},
number = {2},
pages = {101682},
year = {2022},
url = {https://doi.org/10.1016/j.giq.2022.101682},
doi = {10.1016/J.GIQ.2022.101682},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/giq/Muller22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BartonMP22,
author = {Neil Barton and
Moritz M{\"{u}}ller and
Mihai Prunescu},
title = {On Representations of Intended Structures in Foundational Theories},
journal = {J. Philos. Log.},
volume = {51},
number = {2},
pages = {283--296},
year = {2022},
url = {https://doi.org/10.1007/s10992-021-09628-2},
doi = {10.1007/S10992-021-09628-2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BartonMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/LeeAMRKC22,
author = {Hyeonmin Lee and
Md. Ishtiaq Ashiq and
Moritz M{\"{u}}ller and
Roland van Rijswijk{-}Deij and
Ted Taekyoung Kwon and
Taejoong Chung},
editor = {Kevin R. B. Butler and
Kurt Thomas},
title = {Under the Hood of {DANE} Mismanagement in {SMTP}},
booktitle = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston,
MA, USA, August 10-12, 2022},
pages = {1--16},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/usenixsecurity22/presentation/lee},
timestamp = {Tue, 18 Oct 2022 17:10:36 +0200},
biburl = {https://dblp.org/rec/conf/uss/LeeAMRKC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-06121,
author = {Yijia Chen and
Moritz M{\"{u}}ller and
Keita Yokoyama},
title = {A parameterized halting problem, {\(\Delta\)}\({}_{\mbox{0}}\) truth
and the {MRDP} theorem},
journal = {CoRR},
volume = {abs/2211.06121},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.06121},
doi = {10.48550/ARXIV.2211.06121},
eprinttype = {arXiv},
eprint = {2211.06121},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-06121.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Muller21,
author = {Moritz M{\"{u}}ller},
title = {Typical forcings, {NP} search problems and an extension of a theorem
of Riis},
journal = {Ann. Pure Appl. Log.},
volume = {172},
number = {4},
pages = {102930},
year = {2021},
url = {https://doi.org/10.1016/j.apal.2020.102930},
doi = {10.1016/J.APAL.2020.102930},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Muller21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/CherukuruMSMM21,
author = {Nagur Cherukuru and
Patrick Martin and
Nivedita Sanwlani and
Aazani Mujahid and
Moritz M{\"{u}}ller},
title = {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},
journal = {Remote. Sens.},
volume = {13},
number = {1},
pages = {99},
year = {2021},
url = {https://doi.org/10.3390/rs13010099},
doi = {10.3390/RS13010099},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/CherukuruMSMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pam/MouraMDWH21,
author = {Giovane C. M. Moura and
Moritz M{\"{u}}ller and
Marco Davids and
Maarten Wullink and
Cristian Hesselman},
editor = {Oliver Hohlfeld and
Andra Lutu and
Dave Levin},
title = {Fragmentation, Truncation, and Timeouts: Are Large {DNS} Messages
Falling to Bits?},
booktitle = {Passive and Active Measurement - 22nd International Conference, {PAM}
2021, Virtual Event, March 29 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12671},
pages = {460--477},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72582-2\_27},
doi = {10.1007/978-3-030-72582-2\_27},
timestamp = {Tue, 30 Mar 2021 18:55:05 +0200},
biburl = {https://dblp.org/rec/conf/pam/MouraMDWH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BydzovskyM20,
author = {Jan Bydzovsky and
Moritz M{\"{u}}ller},
title = {Polynomial time ultrapowers and the consistency of circuit lower bounds},
journal = {Arch. Math. Log.},
volume = {59},
number = {1-2},
pages = {127--147},
year = {2020},
url = {https://doi.org/10.1007/s00153-019-00681-y},
doi = {10.1007/S00153-019-00681-Y},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BydzovskyM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MullerP20,
author = {Moritz M{\"{u}}ller and
J{\'{a}}n Pich},
title = {Feasibly constructive proofs of succinct weak circuit lower bounds},
journal = {Ann. Pure Appl. Log.},
volume = {171},
number = {2},
year = {2020},
url = {https://doi.org/10.1016/j.apal.2019.102735},
doi = {10.1016/J.APAL.2019.102735},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MullerP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/MullerJHOR20,
author = {Moritz M{\"{u}}ller and
Jins de Jong and
Maran van Heesch and
Benno J. Overeinder and
Roland van Rijswijk{-}Deij},
title = {Retrofitting post-quantum cryptography in internet protocols: a case
study of {DNSSEC}},
journal = {Comput. Commun. Rev.},
volume = {50},
number = {4},
pages = {49--57},
year = {2020},
url = {https://doi.org/10.1145/3431832.3431838},
doi = {10.1145/3431832.3431838},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ccr/MullerJHOR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AtseriasM20,
author = {Albert Atserias and
Moritz M{\"{u}}ller},
title = {Automating Resolution is NP-Hard},
journal = {J. {ACM}},
volume = {67},
number = {5},
pages = {31:1--31:17},
year = {2020},
url = {https://doi.org/10.1145/3409472},
doi = {10.1145/3409472},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AtseriasM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ChunHockCMMSWRN20,
author = {Sim ChunHock and
Nagur Cherukuru and
Aazani Mujahid and
Patrick Martin and
Nivedita Sanwlani and
Thorsten Warneke and
Tim Rixen and
Justus Notholt and
Moritz M{\"{u}}ller},
title = {A New Remote Sensing Method to Estimate River to Ocean {DOC} Flux
in Peatland Dominated Sarawak Coastal Regions, Borneo},
journal = {Remote. Sens.},
volume = {12},
number = {20},
pages = {3380},
year = {2020},
url = {https://doi.org/10.3390/rs12203380},
doi = {10.3390/RS12203380},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ChunHockCMMSWRN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/MullerTCJR20,
author = {Moritz M{\"{u}}ller and
Willem Toorop and
Taejoong Chung and
Jelte Jansen and
Roland van Rijswijk{-}Deij},
title = {The Reality of Algorithm Agility: Studying the {DNSSEC} Algorithm
Life-Cycle},
booktitle = {{IMC} '20: {ACM} Internet Measurement Conference, Virtual Event, USA,
October 27-29, 2020},
pages = {295--308},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3419394.3423638},
doi = {10.1145/3419394.3423638},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imc/MullerTCJR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-01575,
author = {Stefano Bianchini and
Moritz M{\"{u}}ller and
Pierre Pelletier},
title = {Deep Learning in Science},
journal = {CoRR},
volume = {abs/2009.01575},
year = {2020},
url = {https://arxiv.org/abs/2009.01575},
eprinttype = {arXiv},
eprint = {2009.01575},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-01575.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BeckmannBFMT19,
author = {Arnold Beckmann and
Sam Buss and
Sy{-}David Friedman and
Moritz M{\"{u}}ller and
Neil Thapen},
title = {Feasible set functions have small circuits},
journal = {Comput.},
volume = {8},
number = {1},
pages = {67--98},
year = {2019},
url = {https://doi.org/10.3233/COM-180096},
doi = {10.3233/COM-180096},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/BeckmannBFMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ChenEM19,
author = {Yijia Chen and
Michael Elberfeld and
Moritz M{\"{u}}ller},
title = {The parameterized space complexity of model-checking bounded variable
first-order logic},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:31)2019},
doi = {10.23638/LMCS-15(3:31)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ChenEM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/MullerCMR19,
author = {Moritz M{\"{u}}ller and
Taejoong Chung and
Alan Mislove and
Roland van Rijswijk{-}Deij},
title = {Rolling With Confidence: Managing the Complexity of {DNSSEC} Operations},
journal = {{IEEE} Trans. Netw. Serv. Manag.},
volume = {16},
number = {3},
pages = {1199--1211},
year = {2019},
url = {https://doi.org/10.1109/TNSM.2019.2916176},
doi = {10.1109/TNSM.2019.2916176},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnsm/MullerCMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AtseriasM19,
author = {Albert Atserias and
Moritz M{\"{u}}ller},
editor = {David Zuckerman},
title = {Automating Resolution is NP-Hard},
booktitle = {60th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
2019, Baltimore, Maryland, USA, November 9-12, 2019},
pages = {498--509},
publisher = {{IEEE} Computer Society},
year = {2019},
url = {https://doi.org/10.1109/FOCS.2019.00038},
doi = {10.1109/FOCS.2019.00038},
timestamp = {Tue, 07 Jan 2020 13:25:31 +0100},
biburl = {https://dblp.org/rec/conf/focs/AtseriasM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/MullerTWHCTR19,
author = {Moritz M{\"{u}}ller and
Matthew Thomas and
Duane Wessels and
Wes Hardaker and
Taejoong Chung and
Willem Toorop and
Roland van Rijswijk{-}Deij},
title = {Roll, Roll, Roll your Root: {A} Comprehensive Analysis of the First
Ever {DNSSEC} Root {KSK} Rollover},
booktitle = {Proceedings of the Internet Measurement Conference, {IMC} 2019, Amsterdam,
The Netherlands, October 21-23, 2019},
pages = {1--14},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3355369.3355570},
doi = {10.1145/3355369.3355570},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imc/MullerTWHCTR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pam/VriesSMTDR19,
author = {Wouter B. de Vries and
Quirin Scheitle and
Moritz M{\"{u}}ller and
Willem Toorop and
Ralph Dolmans and
Roland van Rijswijk{-}Deij},
editor = {David R. Choffnes and
Marinho P. Barcellos},
title = {A First Look at {QNAME} Minimization in the Domain Name System},
booktitle = {Passive and Active Measurement - 20th International Conference, {PAM}
2019, Puerto Varas, Chile, March 27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11419},
pages = {147--160},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-15986-3\_10},
doi = {10.1007/978-3-030-15986-3\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pam/VriesSMTDR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02991,
author = {Albert Atserias and
Moritz M{\"{u}}ller},
title = {Automating Resolution is NP-Hard},
journal = {CoRR},
volume = {abs/1904.02991},
year = {2019},
url = {http://arxiv.org/abs/1904.02991},
eprinttype = {arXiv},
eprint = {1904.02991},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-02991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MalyM18,
author = {Jan Maly and
Moritz M{\"{u}}ller},
title = {A remark on pseudo proof systems and hard instances of the satisfiability
problem},
journal = {Math. Log. Q.},
volume = {64},
number = {6},
pages = {418--428},
year = {2018},
url = {https://doi.org/10.1002/malq.201700009},
doi = {10.1002/MALQ.201700009},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/MalyM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aims/MullerR18,
author = {Moritz M{\"{u}}ller and
Roland van Rijswijk{-}Deij},
editor = {Burkhard Stiller},
title = {Towards an Independent and Resilient {DNS}},
booktitle = {12th International Conference on Autonomous Infrastructure, Management
and Security, {AIMS} 2018, Munich, Germany, June 4-5, 2018, Proceedings},
pages = {60--64},
publisher = {{IFIP}},
year = {2018},
url = {http://www.aims-conference.org/2018/AIMS-2018-Proceedings.pdf\#page=68},
timestamp = {Thu, 12 Mar 2020 11:30:46 +0100},
biburl = {https://dblp.org/rec/conf/aims/MullerR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/MouraHMSD18,
author = {Giovane C. M. Moura and
John S. Heidemann and
Moritz M{\"{u}}ller and
Ricardo de Oliveira Schmidt and
Marco Davids},
title = {When the Dike Breaks: Dissecting {DNS} Defenses During DDoS},
booktitle = {Proceedings of the Internet Measurement Conference 2018, {IMC} 2018,
Boston, MA, USA, October 31 - November 02, 2018},
pages = {8--21},
publisher = {{ACM}},
year = {2018},
url = {https://dl.acm.org/citation.cfm?id=3278534},
timestamp = {Fri, 25 Oct 2019 09:51:49 +0200},
biburl = {https://dblp.org/rec/conf/imc/MouraHMSD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChenMY18,
author = {Yijia Chen and
Moritz M{\"{u}}ller and
Keita Yokoyama},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {A parameterized halting problem, the linear time hierarchy, and the
{MRDP} theorem},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {235--244},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209155},
doi = {10.1145/3209108.3209155},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ChenMY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MullerS17,
author = {Moritz M{\"{u}}ller and
Stefan Szeider},
title = {The treewidth of proofs},
journal = {Inf. Comput.},
volume = {255},
pages = {147--164},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.05.005},
doi = {10.1016/J.IC.2017.05.005},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MullerS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ChenM17,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {The Parameterized Space Complexity of Embedding Along a Path},
journal = {Theory Comput. Syst.},
volume = {61},
number = {3},
pages = {851--870},
year = {2017},
url = {https://doi.org/10.1007/s00224-016-9728-7},
doi = {10.1007/S00224-016-9728-7},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ChenM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChenM17,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {One Hierarchy Spawns Another: Graph Deconstructions and the Complexity
Classification of Conjunctive Queries},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {4},
pages = {29:1--29:37},
year = {2017},
url = {https://doi.org/10.1145/3143805},
doi = {10.1145/3143805},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ChenM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/MouraMDWH17,
author = {Giovane C. M. Moura and
Moritz M{\"{u}}ller and
Marco Davids and
Maarten Wullink and
Cristian Hesselman},
title = {Domain names abuse and TLDs: From monetization towards mitigation},
booktitle = {2017 {IFIP/IEEE} Symposium on Integrated Network and Service Management
(IM), Lisbon, Portugal, May 8-12, 2017},
pages = {1077--1082},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/INM.2017.7987441},
doi = {10.23919/INM.2017.7987441},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/im/MouraMDWH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/MullerMSH17,
author = {Moritz M{\"{u}}ller and
Giovane C. M. Moura and
Ricardo de Oliveira Schmidt and
John S. Heidemann},
editor = {Steve Uhlig and
Olaf Maennel},
title = {Recursives in the wild: engineering authoritative {DNS} servers},
booktitle = {Proceedings of the 2017 Internet Measurement Conference, {IMC} 2017,
London, United Kingdom, November 1-3, 2017},
pages = {489--495},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131365.3131366},
doi = {10.1145/3131365.3131366},
timestamp = {Fri, 25 Oct 2019 09:51:18 +0200},
biburl = {https://dblp.org/rec/conf/imc/MullerMSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenEM17,
author = {Yijia Chen and
Michael Elberfeld and
Moritz M{\"{u}}ller},
title = {The parameterized space complexity of model-checking bounded variable
first-order logic},
journal = {CoRR},
volume = {abs/1703.01860},
year = {2017},
url = {http://arxiv.org/abs/1703.01860},
eprinttype = {arXiv},
eprint = {1703.01860},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenEM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/MullerP17,
author = {Moritz M{\"{u}}ller and
J{\'{a}}n Pich},
title = {Feasibly constructive proofs of succinct weak circuit lower bounds},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR17-144}},
year = {2017},
url = {https://eccc.weizmann.ac.il/report/2017/144},
eprinttype = {ECCC},
eprint = {TR17-144},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/MullerP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BeckmannBFMT16,
author = {Arnold Beckmann and
Sam Buss and
Sy{-}David Friedman and
Moritz M{\"{u}}ller and
Neil Thapen},
title = {Cobham recursive set functions},
journal = {Ann. Pure Appl. Log.},
volume = {167},
number = {3},
pages = {335--369},
year = {2016},
url = {https://doi.org/10.1016/j.apal.2015.12.005},
doi = {10.1016/J.APAL.2015.12.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BeckmannBFMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrime/WullinkMDMH16,
author = {Maarten Wullink and
Moritz M{\"{u}}ller and
Marco Davids and
Giovane C. M. Moura and
Cristian Hesselman},
title = {{ENTRADA:} enabling {DNS} big data applications},
booktitle = {2016 {APWG} Symposium on Electronic Crime Research, eCrime 2016, Toronto,
ON, Canada, June 1-3, 2016},
pages = {14--24},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ECRIME.2016.7487939},
doi = {10.1109/ECRIME.2016.7487939},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/ecrime/WullinkMDMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/MouraSHVMWH16,
author = {Giovane C. M. Moura and
Ricardo de Oliveira Schmidt and
John S. Heidemann and
Wouter B. de Vries and
Moritz M{\"{u}}ller and
Lan Wei and
Cristian Hesselman},
editor = {Phillipa Gill and
John S. Heidemann and
John W. Byers and
Ramesh Govindan},
title = {Anycast vs. DDoS: Evaluating the November 2015 Root {DNS} Event},
booktitle = {Proceedings of the 2016 {ACM} on Internet Measurement Conference,
{IMC} 2016, Santa Monica, CA, USA, November 14-16, 2016},
pages = {255--270},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2987446},
timestamp = {Tue, 06 Nov 2018 11:07:19 +0100},
biburl = {https://dblp.org/rec/conf/imc/MouraSHVMWH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/WullinkMMH16,
author = {Maarten Wullink and
Giovane C. M. Moura and
Moritz M{\"{u}}ller and
Cristian Hesselman},
editor = {Sema Oktug and
Mehmet Ulema and
Cicek Cavdar and
Lisandro Zambenedetti Granville and
Carlos Raniery Paula dos Santos},
title = {{ENTRADA:} {A} high-performance network traffic data streaming warehouse},
booktitle = {2016 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
2016, Istanbul, Turkey, April 25-29, 2016},
pages = {913--918},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/NOMS.2016.7502925},
doi = {10.1109/NOMS.2016.7502925},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/noms/WullinkMMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/MouraMWH16,
author = {Giovane C. M. Moura and
Moritz M{\"{u}}ller and
Maarten Wullink and
Cristian Hesselman},
editor = {Sema Oktug and
Mehmet Ulema and
Cicek Cavdar and
Lisandro Zambenedetti Granville and
Carlos Raniery Paula dos Santos},
title = {nDEWS: {A} new domains early warning system for TLDs},
booktitle = {2016 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
2016, Istanbul, Turkey, April 25-29, 2016},
pages = {1061--1066},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/NOMS.2016.7502961},
doi = {10.1109/NOMS.2016.7502961},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/noms/MouraMWH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenM16a,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {The parameterized space complexity of embedding along a path},
journal = {CoRR},
volume = {abs/1602.09022},
year = {2016},
url = {http://arxiv.org/abs/1602.09022},
eprinttype = {arXiv},
eprint = {1602.09022},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenM16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AtseriasM15,
author = {Albert Atserias and
Moritz M{\"{u}}ller},
title = {Partially definable forcing and bounded arithmetic},
journal = {Arch. Math. Log.},
volume = {54},
number = {1-2},
pages = {1--33},
year = {2015},
url = {https://doi.org/10.1007/s00153-014-0398-3},
doi = {10.1007/S00153-014-0398-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AtseriasM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AtseriasMO15,
author = {Albert Atserias and
Moritz M{\"{u}}ller and
Sergi Oliva},
title = {Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole
Principle},
journal = {J. Symb. Log.},
volume = {80},
number = {2},
pages = {450--476},
year = {2015},
url = {https://doi.org/10.1017/jsl.2014.56},
doi = {10.1017/JSL.2014.56},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AtseriasMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toct/ChenM15,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {The Fine Classification of Conjunctive Queries and Parameterized Logarithmic
Space},
journal = {{ACM} Trans. Comput. Theory},
volume = {7},
number = {2},
pages = {7:1--7:27},
year = {2015},
url = {https://doi.org/10.1145/2751316},
doi = {10.1145/2751316},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toct/ChenM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toct/ChenFM14,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
title = {Hard Instances of Algorithms and Proof Systems},
journal = {{ACM} Trans. Comput. Theory},
volume = {6},
number = {2},
pages = {7:1--7:25},
year = {2014},
url = {https://doi.org/10.1145/2601336},
doi = {10.1145/2601336},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toct/ChenFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChenM14,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {One hierarchy spawns another: graph deconstructions and the complexity
classification of conjunctive queries},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {32:1--32:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603107},
doi = {10.1145/2603088.2603107},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/ChenM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChenM14,
author = {Yijia Chen and
Moritz M{\"{u}}ller},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's
Theorem},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {183--195},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_16},
doi = {10.1007/978-3-662-44522-8\_16},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ChenM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChenFM13,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
title = {Consistency, optimality, and incompleteness},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {12},
pages = {1224--1235},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2013.06.009},
doi = {10.1016/J.APAL.2013.06.009},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ChenFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/MontoyaM13,
author = {Juan Andr{\'{e}}s Montoya and
Moritz M{\"{u}}ller},
title = {Parameterized Random Complexity},
journal = {Theory Comput. Syst.},
volume = {52},
number = {2},
pages = {221--270},
year = {2013},
url = {https://doi.org/10.1007/s00224-011-9381-0},
doi = {10.1007/S00224-011-9381-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/MontoyaM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/AtseriasMO13,
author = {Albert Atserias and
Moritz M{\"{u}}ller and
Sergi Oliva},
title = {Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole
Principle},
booktitle = {Proceedings of the 28th Conference on Computational Complexity, {CCC}
2013, K.lo Alto, California, USA, 5-7 June, 2013},
pages = {109--120},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CCC.2013.20},
doi = {10.1109/CCC.2013.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/AtseriasMO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MullerS13,
author = {Moritz M{\"{u}}ller and
Stefan Szeider},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Revisiting Space in Proof Complexity: Treewidth and Pathwidth},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {704--716},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_62},
doi = {10.1007/978-3-642-40313-2\_62},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MullerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ChenM13,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
editor = {Richard Hull and
Wenfei Fan},
title = {The fine classification of conjunctive queries and parameterized logarithmic
space complexity},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {309--320},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2463669},
doi = {10.1145/2463664.2463669},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ChenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/RuffLMZ13,
author = {Christopher Ruff and
Uwe Laufs and
Moritz M{\"{u}}ller and
Jan Zibuschka},
editor = {Stefan Wagner and
Horst Lichter},
title = {Saving Energy in Production Using Mobile Services},
booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. M{\"{a}}rz
2013 in Aachen},
series = {{LNI}},
volume = {{P-215}},
pages = {355--361},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17385},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/RuffLMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenM13,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {The Fine Classification of Conjunctive Queries and Parameterized Logarithmic
Space Complexity},
journal = {CoRR},
volume = {abs/1306.5424},
year = {2013},
url = {http://arxiv.org/abs/1306.5424},
eprinttype = {arXiv},
eprint = {1306.5424},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenM13a,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {One Hierarchy Spawns Another: Graph Deconstructions and the Complexity
Classification of Conjunctive Queries},
journal = {CoRR},
volume = {abs/1307.1353},
year = {2013},
url = {http://arxiv.org/abs/1307.1353},
eprinttype = {arXiv},
eprint = {1307.1353},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenM13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/AtseriasMO13,
author = {Albert Atserias and
Moritz M{\"{u}}ller and
Sergi Oliva},
title = {Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole
Principle},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR13-116}},
year = {2013},
url = {https://eccc.weizmann.ac.il/report/2013/116},
eprinttype = {ECCC},
eprint = {TR13-116},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/AtseriasMO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/MullerS13,
author = {Moritz M{\"{u}}ller and
Stefan Szeider},
title = {Revisiting Space in Proof Complexity: Treewidth and Pathwidth},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR13-113}},
year = {2013},
url = {https://eccc.weizmann.ac.il/report/2013/113},
eprinttype = {ECCC},
eprint = {TR13-113},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/MullerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-6696,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified
Constraint Satisfaction},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:15)2013},
doi = {10.2168/LMCS-9(1:15)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-6696.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ChenFM12,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {Hard Instances of Algorithms and Proof Systems},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {118--128},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_13},
doi = {10.1007/978-3-642-30870-3\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/ChenFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/FlumM12,
author = {J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
editor = {Dimitrios M. Thilikos and
Gerhard J. Woeginger},
title = {Some Definitorial Suggestions for Parameterized Proof Complexity},
booktitle = {Parameterized and Exact Computation - 7th International Symposium,
{IPEC} 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7535},
pages = {73--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33293-7\_9},
doi = {10.1007/978-3-642-33293-7\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/FlumM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChenM12,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified
Constraint Satisfaction},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {215--224},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.32},
doi = {10.1109/LICS.2012.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ChenM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlumM12,
author = {J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
title = {Some definitorial suggestions for parameterized proof complexity},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR12-018}},
year = {2012},
url = {https://eccc.weizmann.ac.il/report/2012/018},
eprinttype = {ECCC},
eprint = {TR12-018},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/FlumM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BussCFFM11,
author = {Sam Buss and
Yijia Chen and
J{\"{o}}rg Flum and
Sy{-}David Friedman and
Moritz M{\"{u}}ller},
title = {Strong isomorphism reductions in complexity theory},
journal = {J. Symb. Log.},
volume = {76},
number = {4},
pages = {1381--1402},
year = {2011},
url = {https://doi.org/10.2178/jsl/1318338855},
doi = {10.2178/JSL/1318338855},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BussCFFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ChenFM11,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
title = {Lower Bounds for Kernelizations and Other Preprocessing Procedures},
journal = {Theory Comput. Syst.},
volume = {48},
number = {4},
pages = {803--839},
year = {2011},
url = {https://doi.org/10.1007/s00224-010-9270-y},
doi = {10.1007/S00224-010-9270-Y},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ChenFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ChenFM11,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Consistency and Optimality},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {61--70},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_7},
doi = {10.1007/978-3-642-21875-0\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/ChenFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChenFM11,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
title = {Hard instances of algorithms and proof systems},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR11-085}},
year = {2011},
url = {https://eccc.weizmann.ac.il/report/2011/085},
eprinttype = {ECCC},
eprint = {TR11-085},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ChenFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/FellowsFHMR10,
author = {Michael R. Fellows and
J{\"{o}}rg Flum and
Danny Hermelin and
Moritz M{\"{u}}ller and
Frances A. Rosamond},
title = {W-Hierarchies Defined by Symmetric Gates},
journal = {Theory Comput. Syst.},
volume = {46},
number = {2},
pages = {311--339},
year = {2010},
url = {https://doi.org/10.1007/s00224-008-9138-6},
doi = {10.1007/S00224-008-9138-6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/FellowsFHMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ChenFM09,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {Lower Bounds for Kernelizations and Other Preprocessing Procedures},
booktitle = {Mathematical Theory and Computational Practice, 5th Conference on
Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5635},
pages = {118--128},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_13},
doi = {10.1007/978-3-642-03073-4\_13},
timestamp = {Sun, 02 Jun 2019 21:17:54 +0200},
biburl = {https://dblp.org/rec/conf/cie/ChenFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/FellowsHMR08,
author = {Michael R. Fellows and
Danny Hermelin and
Moritz M{\"{u}}ller and
Frances A. Rosamond},
editor = {Martin Grohe and
Rolf Niedermeier},
title = {A Purely Democratic Characterization of {W[1]}},
booktitle = {Parameterized and Exact Computation, Third International Workshop,
{IWPEC} 2008, Victoria, Canada, May 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5018},
pages = {103--114},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79723-4\_11},
doi = {10.1007/978-3-540-79723-4\_11},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/FellowsHMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/Muller08,
author = {Moritz M{\"{u}}ller},
editor = {Martin Grohe and
Rolf Niedermeier},
title = {Parameterized Derandomization},
booktitle = {Parameterized and Exact Computation, Third International Workshop,
{IWPEC} 2008, Victoria, Canada, May 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5018},
pages = {148--159},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79723-4\_15},
doi = {10.1007/978-3-540-79723-4\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/Muller08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Muller08,
author = {Moritz M{\"{u}}ller},
title = {Valiant-Vazirani Lemmata for Various Logics},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR08-063}},
year = {2008},
url = {https://eccc.weizmann.ac.il/eccc-reports/2008/TR08-063/index.html},
eprinttype = {ECCC},
eprint = {TR08-063},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/Muller08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/RooijHMW07,
author = {Iris van Rooij and
Matthew Hamilton and
Moritz M{\"{u}}ller and
Todd Wareham},
editor = {Erik D. Demaine and
Gregory Z. Gutin and
D{\'{a}}niel Marx and
Ulrike Stege},
title = {Approximating Solution Structure},
booktitle = {Structure Theory and {FPT} Algorithmics for Graphs, Digraphs and Hypergraphs,
08.07. - 13.07.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07281},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1234},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/RooijHMW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChenFM07,
author = {Yijia Chen and
J{\"{o}}rg Flum and
Moritz M{\"{u}}ller},
title = {Lower Bounds for Kernelizations},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR07-137}},
year = {2007},
url = {https://eccc.weizmann.ac.il/eccc-reports/2007/TR07-137/index.html},
eprinttype = {ECCC},
eprint = {TR07-137},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ChenFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/Muller06,
author = {Moritz M{\"{u}}ller},
editor = {Hans L. Bodlaender and
Michael A. Langston},
title = {Randomized Approximations of Parameterized Counting Problems},
booktitle = {Parameterized and Exact Computation, Second International Workshop,
{IWPEC} 2006, Z{\"{u}}rich, Switzerland, September 13-15, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4169},
pages = {50--59},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11847250\_5},
doi = {10.1007/11847250\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/Muller06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
