Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz Quasilinear-time computation of generic modal witnesses for behavioural inequivalence. (English) Zbl 07639914 Log. Methods Comput. Sci. 18, No. 4, Paper No. 6, 48 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Wißmann} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 6, 48 p. (2022; Zbl 07639914) Full Text: DOI arXiv
Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz Explaining behavioural inequivalence generically in quasilinear time. (English) Zbl 07730634 Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 32, 18 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Wißmann} et al., LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 32, 18 p. (2021; Zbl 07730634) Full Text: DOI arXiv
Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz From generic partition refinement to weighted tree automata minimization. (English) Zbl 1519.68126 Formal Asp. Comput. 33, No. 4-5, 695-727 (2021). MSC: 68Q45 60J20 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{T. Wißmann} et al., Formal Asp. Comput. 33, No. 4--5, 695--727 (2021; Zbl 1519.68126) Full Text: DOI arXiv
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz Efficient and modular coalgebraic partition refinement. (English) Zbl 1442.68113 Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020). MSC: 68Q65 60J22 68Q45 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{T. Wißmann} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020; Zbl 1442.68113) Full Text: arXiv
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Predicate liftings and functor presentations in coalgebraic expression languages. (English) Zbl 1519.68146 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 56-77 (2018). MSC: 68Q65 03G30 18C50 PDFBibTeX XMLCite \textit{U. Dorsch} et al., Lect. Notes Comput. Sci. 11202, 56--77 (2018; Zbl 1519.68146) Full Text: DOI arXiv
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Efficient coalgebraic partition refinement. (English) Zbl 1442.68112 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017). MSC: 68Q65 60J22 68Q45 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{U. Dorsch} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017; Zbl 1442.68112) Full Text: DOI arXiv
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten Nominal automata with name binding. (English) Zbl 1486.68097 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 124-142 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Schröder} et al., Lect. Notes Comput. Sci. 10203, 124--142 (2017; Zbl 1486.68097) Full Text: DOI arXiv
Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. (English) Zbl 1375.18029 Appl. Categ. Struct. 24, No. 5, 663-701 (2016). MSC: 18C50 18C15 18A30 18B20 18B25 PDFBibTeX XMLCite \textit{S. Milius} et al., Appl. Categ. Struct. 24, No. 5, 663--701 (2016; Zbl 1375.18029) Full Text: DOI