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

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.