Fingerprint
Ergründen Sie die Forschungsthemen, in denen Michael Luttenberger aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
-
Newton’s Method – There and Back Again
Luttenberger, M. & Schlund, M., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, S. 181-205 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band LNCS 14660).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
-
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021
Jacobs, S., Pérez, G. A., Abraham, R., Bruyère, V., Cadilhac, M., Colange, M., Delfosse, C., van Dijk, T., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P. & Sakr, M. &5 mehr, , Okt. 2024, in: International Journal on Software Tools for Technology Transfer. 26, 5, S. 551-567 17 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access4 Zitate (Scopus) -
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
3 Zitate (Scopus) -
On the Balancedness of Tree-to-Word Transducers
Löbel, R., Luttenberger, M. & Seidl, H., 1 Sept. 2021, in: International Journal of Foundations of Computer Science. 32, 6, S. 761-783 23 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access2 Zitate (Scopus) -
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 Access1 Zitat (Scopus)