Výsledky vyhledávání - "Stachon, Max"

Report

On Minimization and Learning of Deterministic $\omega$-Automata in the Presence of Don't Care Words

Autor: Löding, Christof, Stachon, Max Philip

Publikováno v: Fundamenta Informaticae, Volume 189, Issue 1 (July 1, 2023) fi:10322

We study minimization problems for deterministic $\omega$-automata in the presence of don't care words. We prove that the number of priorities in deterministic parity automata can be efficiently minimized under an arbitrary set of don't care words. W

Externí odkaz: http://arxiv.org/abs/2211.08787

Zobrazit plný text záznamu

Akademický článek

On Minimization and Learning of Deterministic ω-Automata in the Presence of Don't Care Words.

Autor: Löding, Christof¹ (AUTHOR) loeding@automata.rwth-aachen.de, Stachon, Max Philip¹ (AUTHOR) max.stachon@rwth-aachen.de

Publikováno v: Fundamenta Informaticae. 2022, Vol. 189 Issue 1, p69-91. 23p.

Zobrazit plný text záznamu

On Implementing Open World Semantic Differencing for Class Diagrams

Autor: Ringert, Jan Oliver, Rumpe, Bernhard, Stachon, Max Philip

Journal of object technology : JOT 22(2), 2 (2023). doi:10.5381/jot.2023.22.2.a11
Published by [Verlag nicht ermittelbar], Zürich

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d33a5a22c0f185a0f927920d39f75dea

Zobrazit plný text záznamu

Text/Conference Paper

Autor: Nachmann, Imke, Rumpe, Bernhard, Stachon, Max, Stüber, Sebastian

Class Diagrams (CDs) model data structures in object-oriented systems and evolve throughout the course of the development process. Analyzing the semantic differences between consecutive versions of a CD is crucial to detect unintended changes of the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::716f871c5607f273bb5ab7e12835573f

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání