Author of the publication

Small Test Suites for Active Automata Learning.

, , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 109-129. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Up-to Techniques for Branching Bisimilarity., , and . CoRR, (2020)Effectively Eliminating Auxiliaries., and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 226-241. Springer, (2016)Distributive laws for monotone specifications.. Acta Inf., 56 (7-8): 585-617 (2019)Structural congruence for bialgebraic semantics., and . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)Coalgebraic Determinization of Alternating Automata., and . CoRR, (2018)Fast Computations on Ordered Nominal Sets., , and . ICTAC, volume 11187 of Lecture Notes in Computer Science, page 493-512. Springer, (2018)Fast computations on ordered nominal sets., , and . Theor. Comput. Sci., (2022)Separation and Renaming in Nominal Sets., and . CoRR, (2019)Presenting Distributive Laws., , , and . Log. Methods Comput. Sci., (2015)A big step from finite to infinite computations., , , and . Sci. Comput. Program., (2020)