Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael Luttenberger
@inproceedings{DBLP:conf/rv/ChengLY23,
author = {Chih{-}Hong Cheng and
Michael Luttenberger and
Rongjie Yan},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Runtime Monitoring DNN-Based Perception - (via the Lens of Formal
Methods)},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {428--446},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_24},
doi = {10.1007/978-3-031-44267-4\_24},
timestamp = {Sun, 08 Oct 2023 09:22:52 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChengLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-03999,
author = {Chih{-}Hong Cheng and
Michael Luttenberger and
Rongjie Yan},
title = {Runtime Monitoring DNN-Based Perception},
journal = {CoRR},
volume = {abs/2310.03999},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.03999},
doi = {10.48550/ARXIV.2310.03999},
eprinttype = {arXiv},
eprint = {2310.03999},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-03999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-00251,
author = {Swen Jacobs and
Guillermo A. P{\'{e}}rez and
Remco Abraham and
V{\'{e}}ronique Bruy{\`{e}}re and
Micha{\"{e}}l Cadilhac and
Maximilien Colange and
Charly Delfosse and
Tom van Dijk and
Alexandre Duret{-}Lutz and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Klara J. Meyer and
Thibaud Michaud and
Adrien Pommellet and
Florian Renkin and
Philipp Schlehuber{-}Caissier and
Mouhammad Sakr and
Salomon Sickert and
Ga{\"{e}}tan Staquet and
Cl{\'{e}}ment Tamines and
Leander Tentrup and
Adam Walker},
title = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
journal = {CoRR},
volume = {abs/2206.00251},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.00251},
doi = {10.48550/ARXIV.2206.00251},
eprinttype = {arXiv},
eprint = {2206.00251},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-00251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LobelLS21,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
title = {On the Balancedness of Tree-to-Word Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {32},
number = {6},
pages = {761--783},
year = {2021},
url = {https://doi.org/10.1142/S0129054121420077},
doi = {10.1142/S0129054121420077},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LobelLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LuttenbergerMS20,
author = {Michael Luttenberger and
Philipp J. Meyer and
Salomon Sickert},
title = {Practical synthesis of reactive systems from {LTL} specifications
via parity games},
journal = {Acta Informatica},
volume = {57},
number = {1-2},
pages = {3--36},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00349-3},
doi = {10.1007/S00236-019-00349-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LuttenbergerMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LobelLS20,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
editor = {Natasa Jonoska and
Dmytro Savchuk},
title = {Equivalence of Linear Tree Transducers with Output in the Free Group},
booktitle = {Developments in Language Theory - 24th International Conference, {DLT}
2020, Tampa, FL, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12086},
pages = {207--221},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48516-0\_16},
doi = {10.1007/978-3-030-48516-0\_16},
timestamp = {Tue, 26 May 2020 17:27:29 +0200},
biburl = {https://dblp.org/rec/conf/dlt/LobelLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LobelLS20a,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
editor = {Natasa Jonoska and
Dmytro Savchuk},
title = {On the Balancedness of Tree-to-Word Transducers},
booktitle = {Developments in Language Theory - 24th International Conference, {DLT}
2020, Tampa, FL, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12086},
pages = {222--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48516-0\_17},
doi = {10.1007/978-3-030-48516-0\_17},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/LobelLS20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-03480,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
title = {Equivalence of Linear Tree Transducers with Output in the Free Group},
journal = {CoRR},
volume = {abs/2001.03480},
year = {2020},
url = {https://arxiv.org/abs/2001.03480},
eprinttype = {arXiv},
eprint = {2001.03480},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-03480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-12576,
author = {Michael Luttenberger and
Philipp J. Meyer and
Salomon Sickert},
title = {Practical Synthesis of Reactive Systems from {LTL} Specifications
via Parity Games},
journal = {CoRR},
volume = {abs/1903.12576},
year = {2019},
url = {http://arxiv.org/abs/1903.12576},
eprinttype = {arXiv},
eprint = {1903.12576},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-12576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07736,
author = {Swen Jacobs and
Roderick Bloem and
Maximilien Colange and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Philipp J. Meyer and
Thibaud Michaud and
Mouhammad Sakr and
Salomon Sickert and
Leander Tentrup and
Adam Walker},
title = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks,
Participants {\&} Results},
journal = {CoRR},
volume = {abs/1904.07736},
year = {2019},
url = {http://arxiv.org/abs/1904.07736},
eprinttype = {arXiv},
eprint = {1904.07736},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-13054,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
title = {On the Balancedness of Tree-to-word Transducers},
journal = {CoRR},
volume = {abs/1911.13054},
year = {2019},
url = {http://arxiv.org/abs/1911.13054},
eprinttype = {arXiv},
eprint = {1911.13054},
timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-13054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeyerSL18,
author = {Philipp J. Meyer and
Salomon Sickert and
Michael Luttenberger},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Strix: Explicit Reactive Synthesis Strikes Back!},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {578--586},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_31},
doi = {10.1007/978-3-319-96145-3\_31},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeyerSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LuttenbergerPS18,
author = {Michael Luttenberger and
Raphaela Palenta and
Helmut Seidl},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {Computing the Longest Common Prefix of a Context-free Language in
Polynomial Time},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {48:1--48:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.48},
doi = {10.4230/LIPICS.STACS.2018.48},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/LuttenbergerPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LuttenbergerPS17,
author = {Michael Luttenberger and
Raphaela Palenta and
Helmut Seidl},
title = {Computing the longest common prefix of a context-free language in
polynomial time},
journal = {CoRR},
volume = {abs/1702.06698},
year = {2017},
url = {http://arxiv.org/abs/1702.06698},
eprinttype = {arXiv},
eprint = {1702.06698},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LuttenbergerPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-05278,
author = {Philipp J. Meyer and
Matthias Rungger and
Michael Luttenberger and
Javier Esparza and
Majid Zamani},
title = {Quantitative Implementation Strategies for Safety Controllers},
journal = {CoRR},
volume = {abs/1712.05278},
year = {2017},
url = {http://arxiv.org/abs/1712.05278},
eprinttype = {arXiv},
eprint = {1712.05278},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-05278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LuttenbergerS16,
author = {Michael Luttenberger and
Maximilian Schlund},
title = {Convergence of Newton's Method over Commutative Semirings},
journal = {Inf. Comput.},
volume = {246},
pages = {43--61},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2015.11.008},
doi = {10.1016/J.IC.2015.11.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LuttenbergerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MeyerL16,
author = {Philipp J. Meyer and
Michael Luttenberger},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Solving Mean-Payoff Games on the {GPU}},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {262--267},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_17},
doi = {10.1007/978-3-319-46520-3\_17},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/MeyerL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/EsparzaLS15,
author = {Javier Esparza and
Michael Luttenberger and
Maximilian Schlund},
title = {{FPSOLVE:} {A} Generic Solver for Fixpoint Equations Over Semirings},
journal = {Int. J. Found. Comput. Sci.},
volume = {26},
number = {7},
pages = {805--826},
year = {2015},
url = {https://doi.org/10.1142/S0129054115400018},
doi = {10.1142/S0129054115400018},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/EsparzaLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BachmeierLS15,
author = {Georg Bachmeier and
Michael Luttenberger and
Maximilian Schlund},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional
and Computational Complexity},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {473--485},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_37},
doi = {10.1007/978-3-319-15579-1\_37},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/BachmeierLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/SchlundLE14,
author = {Maximilian Schlund and
Michael Luttenberger and
Javier Esparza},
editor = {Gosse Bouma and
Yannick Parmentier},
title = {Fast and Accurate Unlexicalized Parsing via Structural Annotations},
booktitle = {Proceedings of the 14th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2014, April 26-30,
2014, Gothenburg, Sweden},
pages = {164--168},
publisher = {The Association for Computer Linguistics},
year = {2014},
url = {https://doi.org/10.3115/v1/e14-4032},
doi = {10.3115/V1/E14-4032},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/SchlundLE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/EsparzaLS14,
author = {Javier Esparza and
Michael Luttenberger and
Maximilian Schlund},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {A Brief History of Strahler Numbers},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {1--13},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_1},
doi = {10.1007/978-3-319-04921-2\_1},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/EsparzaLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/LuttenbergerS14,
author = {Michael Luttenberger and
Maximilian Schlund},
editor = {Adriane Chapman and
Bertram Lud{\"{a}}scher and
Andreas Schreiber},
title = {Regular Expressions for Provenance},
booktitle = {6th Workshop on the Theory and Practice of Provenance, TaPP'14, Cologne,
Germany, June 12-13, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/tapp2014/agenda/presentation/luttenberger},
timestamp = {Tue, 02 Feb 2021 08:04:56 +0100},
biburl = {https://dblp.org/rec/conf/tapp/LuttenbergerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/EsparzaLS14,
author = {Javier Esparza and
Michael Luttenberger and
Maximilian Schlund},
editor = {Markus Holzer and
Martin Kutrib},
title = {FPsolve: {A} Generic Solver for Fixpoint Equations over Semirings},
booktitle = {Implementation and Application of Automata - 19th International Conference,
{CIAA} 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8587},
pages = {1--15},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08846-4\_1},
doi = {10.1007/978-3-319-08846-4\_1},
timestamp = {Mon, 05 Feb 2024 20:35:24 +0100},
biburl = {https://dblp.org/rec/conf/wia/EsparzaLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BachmeierLS14,
author = {Georg Bachmeier and
Michael Luttenberger and
Maximilian Schlund},
title = {Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional
and Computational Complexity},
journal = {CoRR},
volume = {abs/1410.2737},
year = {2014},
url = {http://arxiv.org/abs/1410.2737},
eprinttype = {arXiv},
eprint = {1410.2737},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BachmeierLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HoffmannL13,
author = {Philipp Hoffmann and
Michael Luttenberger},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Solving Parity Games on the {GPU}},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {455--459},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_34},
doi = {10.1007/978-3-319-02444-8\_34},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HoffmannL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/LuttenbergerS13,
author = {Michael Luttenberger and
Maximilian Schlund},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Convergence of Newton's Method over Commutative Semirings},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {407--418},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_36},
doi = {10.1007/978-3-642-37064-9\_36},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/LuttenbergerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SchlundTL13,
author = {Maximilian Schlund and
Michal Terepeta and
Michael Luttenberger},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Putting Newton into Practice: {A} Solver for Polynomial Equations
over Semirings},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {727--734},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_48},
doi = {10.1007/978-3-642-45221-5\_48},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SchlundTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrazdilEKL12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Space-efficient scheduling of stochastically generated tasks},
journal = {Inf. Comput.},
volume = {210},
pages = {87--110},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2011.10.005},
doi = {10.1016/J.IC.2011.10.005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BrazdilEKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/EsparzaGKL11,
author = {Javier Esparza and
Pierre Ganty and
Stefan Kiefer and
Michael Luttenberger},
title = {Parikh's theorem: {A} simple and direct automaton construction},
journal = {Inf. Process. Lett.},
volume = {111},
number = {12},
pages = {614--619},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.03.019},
doi = {10.1016/J.IPL.2011.03.019},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/EsparzaGKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EsparzaKL11,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Derivation tree analysis for accelerated fixed-point computation},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3226--3241},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.03.020},
doi = {10.1016/J.TCS.2011.03.020},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/EsparzaKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/EsparzaL11,
author = {Javier Esparza and
Michael Luttenberger},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Solving Fixed-Point Equations by Derivation Tree Analysis},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {19--35},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_2},
doi = {10.1007/978-3-642-22944-2\_2},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/EsparzaL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChengKLB11,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Michael Luttenberger and
Christian Buckl},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {{GAVS+:} An Open Platform for the Research of Algorithmic Game Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {258--261},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_22},
doi = {10.1007/978-3-642-19835-9\_22},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChengKLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-2864,
author = {Michael Luttenberger},
title = {An Extension of Parikh's Theorem beyond Idempotence},
journal = {CoRR},
volume = {abs/1112.2864},
year = {2011},
url = {http://arxiv.org/abs/1112.2864},
eprinttype = {arXiv},
eprint = {1112.2864},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-2864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Luttenberger10,
author = {Michael Luttenberger},
title = {Solving Polynomial Systems on Semirings (L{\"{o}}sen polynomieller
Systeme {\"{u}}ber Semiringen)},
school = {Technical University of Munich, Germany},
year = {2010},
url = {https://mediatum.ub.tum.de/796584},
urn = {urn:nbn:de:bvb:91-diss-20100212-796584-1-3},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Luttenberger10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/EsparzaKL10,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Newtonian program analysis},
journal = {J. {ACM}},
volume = {57},
number = {6},
pages = {33:1--33:47},
year = {2010},
url = {https://doi.org/10.1145/1857914.1857917},
doi = {10.1145/1857914.1857917},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/EsparzaKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/EsparzaKL10,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Computing the Least Fixed Point of Positive Polynomial Systems},
journal = {{SIAM} J. Comput.},
volume = {39},
number = {6},
pages = {2282--2335},
year = {2010},
url = {https://doi.org/10.1137/090749591},
doi = {10.1137/090749591},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/EsparzaKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengBLK10,
author = {Chih{-}Hong Cheng and
Christian Buckl and
Michael Luttenberger and
Alois C. Knoll},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {{GAVS:} Game Arena Visualization and Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {347--352},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_26},
doi = {10.1007/978-3-642-15643-4\_26},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChengBLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilEKL10,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Space-Efficient Scheduling of Stochastically Generated Tasks},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {539--550},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_45},
doi = {10.1007/978-3-642-14162-1\_45},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilEKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Luttenberger10,
author = {Michael Luttenberger},
editor = {Abraham Bernstein and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {L{\"{o}}sen polynomieller Gleichungssysteme {\"{u}}ber Semiringen},
booktitle = {Ausgezeichnete Informatikdissertationen 2010},
series = {{LNI}},
volume = {{D-11}},
pages = {211--220},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/33768},
timestamp = {Tue, 04 Jul 2023 17:43:58 +0200},
biburl = {https://dblp.org/rec/conf/gi/Luttenberger10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/EsparzaL10,
author = {Javier Esparza and
Michael Luttenberger},
editor = {Javier Esparza and
Bernd Spanfelner and
Orna Grumberg},
title = {Newtonian Program Analysis - An Introduction},
booktitle = {Logics and Languages for Reliability and Security},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {25},
pages = {31--72},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-100-8-31},
doi = {10.3233/978-1-60750-100-8-31},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/EsparzaL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-0340,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Computing the Least Fixed Point of Positive Polynomial Systems},
journal = {CoRR},
volume = {abs/1001.0340},
year = {2010},
url = {http://arxiv.org/abs/1001.0340},
eprinttype = {arXiv},
eprint = {1001.0340},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-0340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4286,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Space-efficient scheduling of stochastically generated tasks},
journal = {CoRR},
volume = {abs/1004.4286},
year = {2010},
url = {http://arxiv.org/abs/1004.4286},
eprinttype = {arXiv},
eprint = {1004.4286},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-4286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-3825,
author = {Javier Esparza and
Pierre Ganty and
Stefan Kiefer and
Michael Luttenberger},
title = {Parikh's Theorem: {A} simple and direct construction},
journal = {CoRR},
volume = {abs/1006.3825},
year = {2010},
url = {http://arxiv.org/abs/1006.3825},
eprinttype = {arXiv},
eprint = {1006.3825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-3825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/EsparzaKL09,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Solving Fixed-Point Equations on omega-Continuous Semirings},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {9},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/invited2.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/EsparzaKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Masami Ito and
Masafumi Toyama},
title = {Derivation Tree Analysis for Accelerated Fixed-Point Computation},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {301--313},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_24},
doi = {10.1007/978-3-540-85780-8\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Newton's Method for omega-Continuous Semirings},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {14--26},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_2},
doi = {10.1007/978-3-540-70583-3\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Solving Monotone Polynomial Equations},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {285--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_20},
doi = {10.1007/978-0-387-09680-3\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EsparzaKL08,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Susanne Albers and
Pascal Weil},
title = {Convergence Thresholds of Newton's Method for Monotone Polynomial
Equations},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
pages = {289--300},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1351},
doi = {10.4230/LIPICS.STACS.2008.1351},
timestamp = {Tue, 22 Jun 2021 15:44:08 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EsparzaKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-2856,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
title = {Convergence Thresholds of Newton's Method for Monotone Polynomial
Equations},
journal = {CoRR},
volume = {abs/0802.2856},
year = {2008},
url = {http://arxiv.org/abs/0802.2856},
eprinttype = {arXiv},
eprint = {0802.2856},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-2856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0806-2923,
author = {Michael Luttenberger},
title = {Strategy Iteration using Non-Deterministic Strategies for Solving
Parity Games},
journal = {CoRR},
volume = {abs/0806.2923},
year = {2008},
url = {http://arxiv.org/abs/0806.2923},
eprinttype = {arXiv},
eprint = {0806.2923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0806-2923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EsparzaKL07,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}}},
title = {An Extension of Newton's Method to \emph{omega} -Continuous Semirings},
booktitle = {Developments in Language Theory, 11th International Conference, {DLT}
2007, Turku, Finland, July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4588},
pages = {157--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73208-2\_17},
doi = {10.1007/978-3-540-73208-2\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EsparzaKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EsparzaKL07,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Wolfgang Thomas and
Pascal Weil},
title = {On Fixed Point Equations over Commutative Semirings},
booktitle = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
Science, Aachen, Germany, February 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4393},
pages = {296--307},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70918-3\_26},
doi = {10.1007/978-3-540-70918-3\_26},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EsparzaKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KieferLE07,
author = {Stefan Kiefer and
Michael Luttenberger and
Javier Esparza},
editor = {David S. Johnson and
Uriel Feige},
title = {On the convergence of Newton's method for monotone systems of polynomial
equations},
booktitle = {Proceedings of the 39th Annual {ACM} Symposium on Theory of Computing,
San Diego, California, USA, June 11-13, 2007},
pages = {217--226},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250790.1250822},
doi = {10.1145/1250790.1250822},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/KieferLE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Luttenberger06,
author = {Michael Luttenberger},
editor = {Oscar H. Ibarra and
Hsu{-}Chun Yen},
title = {Reachability Analysis of Procedural Programs with Affine Integer Arithmetic},
booktitle = {Implementation and Application of Automata, 11th International Conference,
{CIAA} 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4094},
pages = {281--282},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11812128\_29},
doi = {10.1007/11812128\_29},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/Luttenberger06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cga/HopfLE04,
author = {Matthias Hopf and
Michael Luttenberger and
Thomas Ertl},
title = {Hierarchical Splatting of Scattered 4D Data},
journal = {{IEEE} Computer Graphics and Applications},
volume = {24},
number = {4},
pages = {64--72},
year = {2004},
url = {https://doi.org/10.1109/MCG.2004.7},
doi = {10.1109/MCG.2004.7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cga/HopfLE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 01:25 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:
