BibTeX records: Maximilian Schlund

download as .bib file

@phdthesis{DBLP:phd/dnb/Schlund16,
  author    = {Maximilian Schlund},
  title     = {Algebraic Systems of Fixpoint Equations over Semirings: Theory and
               Applications},
  school    = {Technical University Munich},
  year      = {2016},
  url       = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20160223-1273784-1-3},
  urn       = {urn:nbn:de:bvb:91-diss-20160223-1273784-1-3},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Schlund16.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}
}
@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 = {Sat, 27 May 2017 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 = {Tue, 28 Jan 2020 00:00:00 +0100},
  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 = {Mon, 16 Sep 2019 15:27:03 +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 = {Tue, 14 May 2019 10:00:41 +0200},
  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},
  archivePrefix = {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/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/fuin/EsparzaLS11,
  author    = {Javier Esparza and
               Martin Leucker and
               Maximilian Schlund},
  title     = {Learning Workflow Petri Nets},
  journal   = {Fundam. Informaticae},
  volume    = {113},
  number    = {3-4},
  pages     = {205--228},
  year      = {2011},
  url       = {https://doi.org/10.3233/FI-2011-607},
  doi       = {10.3233/FI-2011-607},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/EsparzaLS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EsparzaLS10,
  author    = {Javier Esparza and
               Martin Leucker and
               Maximilian Schlund},
  editor    = {Johan Lilius and
               Wojciech Penczek},
  title     = {Learning Workflow Petri Nets},
  booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
               {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6128},
  pages     = {206--225},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13675-7\_13},
  doi       = {10.1007/978-3-642-13675-7\_13},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/EsparzaLS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics