Fingerprint
Dive into the research topics where Michael Luttenberger is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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, p. 181-205 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14660).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
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 others, , Oct 2024, In: International Journal on Software Tools for Technology Transfer. 26, 5, p. 551-567 17 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 428-446 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14245 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations -
On the Balancedness of Tree-to-Word Transducers
Löbel, R., Luttenberger, M. & Seidl, H., 1 Sep 2021, In: International Journal of Foundations of Computer Science. 32, 6, p. 761-783 23 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
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. (eds.). Springer, p. 207-221 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12086 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations