Kein Foto von Michael Luttenberger

Scopus-Profil ansehen

Michael Luttenberger

Prof. Dr. rer. nat. habil.

20062024

Publikationen pro Jahr

Filter
Konferenzbeitrag

Suchergebnisse

  • 2023

    Runtime Monitoring DNN-Based Perception: (via the Lens of Formal Methods)

    Cheng, C. H., Luttenberger, M. & Yan, R., 2023, Runtime Verification - 23rd International Conference, RV 2023, Proceedings. Katsaros, P. & Nenzi, L. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 428-446 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14245 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 2020

    Equivalence of Linear Tree Transducers with Output in the Free Group

    Löbel, R., Luttenberger, M. & Seidl, H., 2020, Developments in Language Theory - 24th International Conference, DLT 2020, Proceedings. Jonoska, N. & Savchuk, D. (Hrsg.). Springer, S. 207-221 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12086 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • On the Balancedness of Tree-to-Word Transducers

    Löbel, R., Luttenberger, M. & Seidl, H., 2020, Developments in Language Theory - 24th International Conference, DLT 2020, Proceedings. Jonoska, N. & Savchuk, D. (Hrsg.). Springer, S. 222-236 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12086 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
  • 2018

    Computing the longest common prefix of a context-free language in polynomial time

    Luttenberger, M., Palenta, R. & Seidl, H., 2 Feb. 2018, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018. Vallee, B. & Niedermeier, R. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; Band 96).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    5 Zitate (Scopus)

  • Strix: Explicit reactive synthesis strikes back!

    Meyer, P. J., Sickert, S. & Luttenberger, M., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (Hrsg.). Springer Verlag, S. 578-586 9 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10981 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    73 Zitate (Scopus)
  • 2016

    Solving mean-payoff games on the GPU

    Meyer, P. J. & Luttenberger, M., 2016, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings. Artho, C., Peled, D. & Legay, A. (Hrsg.). Springer Verlag, S. 262-267 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9938 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    10 Zitate (Scopus)
  • 2015

    Finite automata for the sub- and superword closure of CFLs: Descriptional and computational complexity

    Bachmeier, G., Luttenberger, M. & Schlund, M., 2015, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Proceedings. Dediu, A.-H., Martín-Vide, C., Formenti, E. & Truthe, B. (Hrsg.). Springer Verlag, S. 473-485 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8977).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    15 Zitate (Scopus)
  • 2014

    A brief history of Strahler numbers

    Esparza, J., Luttenberger, M. & Schlund, M., 2014, Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Proceedings. S. 1-13 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8370 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    17 Zitate (Scopus)

  • Fast and Accurate Unlexicalized Parsing via Structural Annotations

    Schlund, M., Luttenberger, M. & Esparza, J., 2014, EACL 2014 - 14th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), S. 164-168 5 S. (EACL 2014 - 14th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)

  • FPsolve: A generic solver for fixpoint equations over semirings

    Esparza, J., Luttenberger, M. & Schlund, M., 2014, Implementation and Application of Automata - 19th International Conference, CIAA 2014, Proceedings. Springer Verlag, S. 1-15 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8587 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    9 Zitate (Scopus)
  • 2013

    Convergence of newton's method over commutative semirings

    Luttenberger, M. & Schlund, M., 2013, Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Proceedings. Springer Verlag, S. 407-418 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7810 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    8 Zitate (Scopus)

  • Putting Newton into practice: A solver for polynomial equations over semirings

    Schlund, M., Terepeta, M. & Luttenberger, M., 2013, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR 2013, Proceedings. S. 727-734 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8312 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)

  • Solving parity games on the GPU

    Hoffmann, P. & Luttenberger, M., 2013, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Proceedings. S. 455-459 5 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8172 LNAI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    16 Zitate (Scopus)
  • 2011

    GAVS+: An open platform for the research of algorithmic game solving

    Cheng, C. H., Knoll, A., Luttenberger, M. & Buckl, C., 2011, Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2011, Proceedings. S. 258-261 4 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6605 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    23 Zitate (Scopus)

  • Solving fixed-point equations by derivation tree analysis

    Esparza, J. & Luttenberger, M., 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. S. 19-35 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6859 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    9 Zitate (Scopus)
  • 2010

    GAVS: Game arena visualization and synthesis

    Cheng, C. H., Buckl, C., Luttenberger, M. & Knoll, A., 2010, Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Proceedings. S. 347-352 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6252 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • Space-efficient scheduling of stochastically generated tasks

    Brázdil, T., Esparza, J., Kiefer, S. & Luttenberger, M., 2010, Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings. PART 2 Aufl. S. 539-550 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6199 LNCS, Nr. PART 2).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
  • 2008

    Convergence thresholds of Newton's method for monotone polynomial equations

    Esparza, J., Kiefer, S. & Luttenberger, M., 2008, Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008. IBFI Schloss Dagstuhl, S. 289-300 12 S. (Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    19 Zitate (Scopus)

  • Derivation tree analysis for accelerated fixed-point computation

    Esparza, J., Kiefer, S. & Luttenberger, M., 2008, Developments in Language Theory - 12th International Conference, DLT 2008, Proceedings. S. 301-313 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5257 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)

  • Newton's method for ω-continuous semirings

    Esparza, J., Kiefer, S. & Luttenberger, M., 2008, Automata, Languages and Programming - 35th International Colloquium, ICALP 2008, Proceedings. PART 2 Aufl. S. 14-26 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5126 LNCS, Nr. PART 2).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    9 Zitate (Scopus)

  • Solving monotone polynomial equations

    Esparza, J., Kiefer, S. & Luttenberger, M., 2008, Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008. Ausiello, G., Karhumäki, J., Mauri, G. & Ong, L. (Hrsg.). S. 285-289 5 S. (IFIP International Federation for Information Processing; Band 273).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    4 Zitate (Scopus)
  • 2007

    An extension of Newton's method to ω-continuous semirings

    Esparza, J., Kiefer, S. & Luttenberger, M., 2007, Developments in Language Theory - 11th International Conference, DLT 2007 Proceedings. Springer Verlag, S. 157-168 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4588 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    17 Zitate (Scopus)

  • On fixed point equations over commutative semirings

    Esparza, J., Kiefer, S. & Luttenberger, M., 2007, STACS 2007 - 24th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Springer Verlag, S. 296-307 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4393 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    28 Zitate (Scopus)

  • On the convergence of Newton's method for monotone systems of polynomial equations

    Kiefer, S., Luttenberger, M. & Esparza, J., 2007, STOC'07: Proceedings of the 39th Annual ACM Symposium on Theory of Computing. S. 217-226 10 S. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    36 Zitate (Scopus)
  • 2006

    Reachability analysis of procedural programs with affine integer arithmetic

    Luttenberger, M., 2006, Implementation and Application of Automata - 11th International Conference, CIAA 2006, Proceedings. Springer Verlag, S. 281-282 2 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4094 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung