Thorsten Wißmann

@inproceedings{RW23,
  author       = {Jurriaan Rot and Thorsten Wi{\ss}mann},
  title        = {Bisimilar States in Uncertain Structures},
  booktitle    = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
  series       = {Leibniz International Proceedings in Informatics},
  pages        = {12:1--12:17},
  year         = 2023,
  month        = 09,
  doi          = {10.4230/LIPIcs.CALCO.2023.12},
  preprinturl  = {https://arxiv.org/abs/2303.15279},
}

@inproceedings{VW23,
  author       = {Frits Vaandrager and Thorsten Wi{\ss}mann},
  title        = {Action Codes},
  booktitle    = {50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)},
  pages        = {137:1--137:20},
  series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
  year         = 2023,
  month        = 7,
  volume       = 261,
  editor       = {Etessami, Kousha and Feige, Uriel and Puppis, Gabriele},
  publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address      = {Dagstuhl, Germany},
  nourl        = {https://drops.dagstuhl.de/opus/volltexte/2023/18189},
  nourn        = {urn:nbn:de:0030-drops-181895},
  doi          = {10.4230/LIPIcs.ICALP.2023.137},
  preprinturl  = {https://arxiv.org/abs/2301.00199},
}

@inproceedings{DW23,
  author       = {Jérémy Dubut and Thorsten Wißmann},
  title        = {Weighted and Branching Bisimilarities from Generalized Open Maps},
  year         = 2023,
  booktitle    = {{FOSSACS} 2023},
  month        = 4,
  notes        = {to appear},
  preprinturl  = {http://arxiv.org/abs/2301.07004},
}

@inproceedings{SuppSet23,
  author       = {Thorsten Wi{\ss}mann},
  title        = {Supported Sets – {A} New Foundation for Nominal Sets and Automata},
  booktitle    = {Computer Science Logic ({CSL'23})},
  pages        = {38:1--38:19},
  series       = {LIPIcs},
  year         = 2023,
  month        = 02,
  preprinturl  = {http://arxiv.org/abs/2201.09825},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2023.38},
  doi          = {10.4230/LIPIcs.CSL.2023.38},
}

@inproceedings{JW23,
  author       = {Jules Jacobs and Thorsten Wißmann},
  title        = {Fast Coalgebraic Bisimilarity Minimization},
  booktitle    = {Principles of Programming Languages, {POPL} '23},
  year         = 2023,
  publisher    = {{ACM}},
  month        = 01,
  preprinturl  = {https://arxiv.org/abs/2204.12368},
  number       = {{POPL}},
  url          = {https://dx.doi.org/10.1145/3571245},
  doi          = {10.1145/3571245},
}

@misc{WMS22,
  author       = {Thorsten Wißmann and Stefan Milius and Lutz Schröder},
  title        = {Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence},
  volume       = {{Volume 18, Issue 4}},
  year         = 2022,
  month        = 11,
  preprinturl  = {https://arxiv.org/abs/2203.11175},
  journal      = {Logical Methods in Computer Science},
  doi          = {10.46298/lmcs-18(4:6)2022},
  url          = {https://lmcs.episciences.org/10320},
}

@article{Wissmann22,
  author       = {Thorsten Wißmann},
  title        = {Minimality Notions via Factorization Systems and Examples},
  year         = 2022,
  preprinturl  = {https://arxiv.org/abs/2202.05701},
  journal      = {Logical Methods in Computer Science},
  doi          = {10.46298/lmcs-18(3:31)2022},
  volume       = {Volume 18, Issue 3},
  url          = {https://lmcs.episciences.org/10014},
  month        = 09,
}

@inproceedings{MW22,
  author       = {Joshua Moerman and Thorsten Wi{\ss}mann},
  title        = {State Identification and Verification with Satisfaction},
  booktitle    = {A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday},
  pages        = {450--466},
  year         = 2022,
  month        = 09,
  nocrossref   = {DBLP:conf/birthday/2022vaandrager},
  url          = {https://link.springer.com/chapter/10.1007/978-3-031-15629-8_23},
  doi          = {10.1007/978-3-031-15629-8_23},
  timestamp    = {Thu, 22 Sep 2022 19:57:46 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MoermanW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org},
}

@inproceedings{VGRW22,
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, {TACAS} 2022},
  title        = {A New Approach for Active Automata Learning Based on Apartness},
  author       = {Frits Vaandrager and Bharat Garhewal and Jurriaan Rot and Thorsten Wi{\ss}mann},
  series       = {Lecture Notes in Computer Science},
  publisher    = {Springer},
  year         = 2022,
  month        = 04,
  doi          = {10.1007/978-3-030-99524-9_12},
  preprinturl  = {https://arxiv.org/abs/2107.05419},
}

@inproceedings{Wissmann21,
  author       = {Thorsten Wi{\ss}mann},
  title        = {Minimality Notions via Factorization Systems},
  month        = 09,
  year         = 2021,
  booktitle    = {Proc. 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
  pages        = {24:1--24:21},
  series       = {LIPIcs},
  volume       = 211,
  preprinturl  = {https://arxiv.org/abs/2106.07233},
  doi          = {10.4230/LIPIcs.CALCO.2021.24},
  url          = {https://drops.dagstuhl.de/opus/volltexte/2021/15379},
}

@inproceedings{WMS21,
  author       = {Thorsten Wi{\ss}mann and Stefan Milius and Lutz Schr{\"{o}}der},
  title        = {Explaining Behavioural Inequivalence Generically in Quasilinear Time},
  month        = 08,
  year         = 2021,
  doi          = {10.4230/LIPIcs.CONCUR.2021.32},
  preprinturl  = {https://arxiv.org/abs/2105.00669},
  url          = {https://drops.dagstuhl.de/opus/volltexte/2021/14409/},
  booktitle    = {Proc. 32nd International Conference on Concurrency Theory ({CONCUR} 2021)},
  series       = {LIPIcs},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
}

@inproceedings{DMW21,
  author       = {Deifel, Hans-Peter and Milius, Stefan and Wi{\ss}mann, Thorsten},
  title        = {Coalgebra Encoding for Efficient Minimization},
  booktitle    = {6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)},
  pages        = {28:1--28:19},
  series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn         = {978-3-95977-191-7},
  issn         = {1868-8969},
  year         = 2021,
  month        = 06,
  volume       = 195,
  editor       = {Kobayashi, Naoki},
  publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address      = {Dagstuhl, Germany},
  url          = {https://drops.dagstuhl.de/opus/volltexte/2021/14266},
  urn          = {urn:nbn:de:0030-drops-142664},
  doi          = {10.4230/LIPIcs.FSCD.2021.28},
  annote       = {Keywords: Coalgebra, Partition refinement, Transition systems, Minimization},
  preprinturl  = {https://arxiv.org/abs/2102.12842},
}

@article{WissmannEA2021,
  doi          = {10.1007/s00165-020-00526-z},
  url          = {https://link.springer.com/article/10.1007%2Fs00165-020-00526-z},
  year         = 2021,
  month        = {March},
  pages        = {1--33},
  publisher    = {Springer Science and Business Media {LLC}},
  author       = {Thorsten Wi{\ss}mann and Hans-Peter Deifel and Stefan Milius and Lutz Schr\"{o}der},
  title        = {From generic partition refinement to weighted tree automata minimization},
  journal      = {Formal Aspects of Computing},
  preprinturl  = {https://arxiv.org/abs/2004.01250},
}

@article{lffiac,
  title        = {A New Foundation for Finitary Corecursion and Iterative Algebras},
  journal      = {Information and Computation},
  note         = {Article 104456},
  year         = 2020,
  month        = 04,
  volume       = 271,
  pages        = {1--28},
  pagesnote    = {page range is according to authors proof},
  issn         = {0890-5401},
  doi          = {10.1016/j.ic.2019.104456},
  url          = {http://www.sciencedirect.com/science/article/pii/S0890540119300720},
  preprinturl  = {https://arxiv.org/abs/1802.08070},
  author       = {Stefan Milius and Dirk Pattinson and Thorsten Wi{\ss}mann},
  publisher    = {Elsevier},
  keywords     = {coalgebra, fixpoints of functors, automata behaviour, algebraic trees},
  abstract     = {This paper contributes to a theory of the behaviour of “finite-state” systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a finitely generated carrier for an endofunctor on a locally finitely presentable category. Their behaviour gives rise to a new fixpoint of the coalgebraic type functor called locally finite fixpoint (LFF). We prove that if the given endofunctor is finitary and preserves monomorphisms then the LFF always exists and is a subcoalgebra of the final coalgebra (unlike the rational fixpoint previously studied by Adámek, Milius, and Velebil). Moreover, we show that the LFF is characterized by two universal properties: (1) as the final locally finitely generated coalgebra, and (2) as the initial fg-iterative algebra. As instances of the LFF we first obtain the known instances of the rational fixpoint, e.g. regular languages, rational streams and formal power-series, regular trees etc. Moreover, we obtain a number of new examples, e.g. (realtime deterministic resp. non-deterministic) context-free languages, constructively S-algebraic formal power-series (in general, the behaviour of finite coalgebras under the coalgebraic language semantics arising from the generalized powerset construction by Silva, Bonchi, Bonsangue, and Rutten), and the monad of Courcelle's algebraic trees.},
}

@article{concurSpecialIssue,
  title        = {Efficient and Modular Coalgebraic Partition Refinement},
  author       = {Wißmann, Thorsten and Dorsch, Ulrich and Milius, Stefan and Schröder, Lutz},
  url          = {https://lmcs.episciences.org/6064},
  doi          = {10.23638/LMCS-16(1:8)2020},
  journal      = {Logical Methods in Computer Science},
  pages        = {8:1-8:63},
  volume       = {16:1},
  year         = 2020,
  month        = {January},
}

@article{wmkd20reachability,
  author       = {Thorsten Wißmann and Stefan Milius and Katsumata, Shin-ya and Jérémy Dubut},
  title        = {A Coalgebraic View on Reachability},
  year         = 2019,
  month        = 12,
  journal      = {Commentationes Mathematicae Universitatis Carolinae},
  volume       = {60:4},
  pages        = {605-638},
  preprinturl  = {https://arxiv.org/abs/1901.10717},
  doi          = {10.14712/1213-7243.2019.026},
}

@article{amsw19b,
  author       = {Ji\v{r}\'i{} Ad\'amek and Stefan Milius and Lurdes Sousa and Thorsten Wi{\ss}mann},
  title        = {Finitely Presentable Algebras for Finitary Monads},
  journal      = {Theory and Applications of Categories},
  year         = 2019,
  optkey       = {},
  volume       = 34,
  number       = 37,
  pages        = {1179--1195},
  url          = {http://www.tac.mta.ca/tac/volumes/34/37/34-37abs.html},
  month        = 11,
  optmonth     = {},
  optnote      = {},
  optannote    = {},
}

@inproceedings{coparFM19,
  author       = {Deifel, Hans-Peter and Milius, Stefan and Schr{\"o}der, Lutz and Wi{\ss}mann, Thorsten},
  editor       = {ter Beek, Maurice H. and McIver, Annabelle and Oliveira, Jos{\'e} N.},
  title        = {Generic Partition Refinement and Weighted Tree Automata},
  booktitle    = {Formal Methods -- The Next 30 Years, Proc.~3rd World Congress on Formal Methods (FM 2019)},
  year         = 2019,
  month        = 10,
  publisher    = {Springer International Publishing},
  series       = {LNCS},
  volume       = 11800,
  address      = {Cham},
  pages        = {280--297},
  abstract     = {Partition refinement is a method for minimizing automata and transition systems of various types. Recently, we have developed a partition refinement algorithm that is generic in the transition type of the given system and matches the run time of the best known algorithms for many concrete types of systems, e.g. deterministic automata as well as ordinary, weighted, and probabilistic (labelled) transition systems. Genericity is achieved by modelling transition types as functors on sets, and systems as coalgebras. In the present work, we refine the run time analysis of our algorithm to cover additional instances, notably weighted automata and, more generally, weighted tree automata. For weights in a cancellative monoid we match, and for non-cancellative monoids such as (the additive monoid of) the tropical semiring even substantially improve, the asymptotic run time of the best known algorithms. We have implemented our algorithm in a generic tool that is easily instantiated to concrete system types by implementing a simple refinement interface. Moreover, the algorithm and the tool are modular, and partition refiners for new types of systems are obtained easily by composing pre-implemented basic functors. Experiments show that even for complex system types, the tool is able to handle systems with millions of transitions.},
  isbn         = {978-3-030-30942-8},
  note         = {Best Theory Paper Award at the FM'2019 Symposium},
  url          = {https://link.springer.com/chapter/10.1007/978-3-030-30942-8_18},
  preprinturl  = {https://arxiv.org/abs/1811.08850},
  doi          = {10.1007/978-3-030-30942-8_18},
}

@article{amsw19,
  author       = {Ji\v{r}\'i{} Ad\'amek and Stefan Milius and Lurdes Sousa and Thorsten Wi{\ss}mann},
  title        = {On Finitary Functors},
  journal      = {Theory and Applications of Categories},
  year         = 2019,
  optkey       = {},
  volume       = 34,
  number       = 35,
  pages        = {1134--1164},
  url          = {http://www.tac.mta.ca/tac/volumes/34/35/34-35abs.html},
  month        = 10,
  optmonth     = {},
  optnote      = {},
  optannote    = {},
}

@inproceedings{WDKH2019,
  author       = {Wi{\ss}mann, Thorsten and Dubut, J{\'e}r{\'e}my and Katsumata, Shin-ya and Hasuo, Ichiro},
  editor       = {Boja{\'{n}}czyk, Miko{\l}aj and Simpson, Alex},
  title        = {Path Category for Free},
  series       = {LNCS},
  volume       = 11425,
  booktitle    = {Proc.~22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019)},
  year         = 2019,
  month        = 04,
  publisher    = {Springer International Publishing},
  address      = {Cham},
  doi          = {10.1007/978-3-030-17127-8_30},
  pages        = {523--540},
  abstract     = {There are different categorical approaches to variations of transition systems and their bisimulations. One is coalgebra for a functor G, where a bisimulation is defined as a span of G-coalgebra homomorphism. Another one is in terms of path categories and open morphisms, where a bisimulation is defined as a span of open morphisms. This similarity is no coincidence: given a functor G, fulfilling certain conditions, we derive a path-category for pointed G-coalgebras and lax homomorphisms, such that the open morphisms turn out to be precisely the G-coalgebra homomorphisms. The above construction provides path-categories and trace semantics for free for different flavours of transition systems: (1) non-deterministic tree automata (2) regular nondeterministic nominal automata (RNNA), an expressive automata notion living in nominal sets (3) multisorted transition systems. This last instance relates to Lasota's construction, which is in the converse direction.},
  isbn         = {978-3-030-17127-8},
  preprinturl  = {http://arxiv.org/abs/1811.12294},
  url          = {https://link.springer.com/chapter/10.1007%2F978-3-030-17127-8_30},
}

@article{lmcsCTS,
  title        = {A coalgebraic treatment of conditional transition systems with upgrades},
  author       = {Beohar, Harsh and K{\"o}nig, Barbara and K{\"u}pper, Sebastian and Silva, Alexandra and Wi{\ss}mann, Thorsten},
  url          = {http://lmcs.episciences.org/4330},
  doi          = {10.23638/LMCS-14(1:19)2018},
  preprinturl  = {https://arxiv.org/abs/1612.05002},
  journal      = {Logical Methods in Computer Science},
  volume       = {14:1},
  pages        = {19:1--19:32},
  year         = 2018,
  month        = {February},
  keywords     = {Computer Science -- Logic in Computer Science},
}

@inproceedings{DorschEA2018,
  doi          = {10.1007/978-3-030-00389-0_5},
  url          = {https://doi.org/10.1007/978-3-030-00389-0_5},
  year         = 2018,
  publisher    = {Springer},
  pages        = {56--77},
  author       = {Ulrich Dorsch and Stefan Milius and Lutz Schr\"{o}der and Thorsten Wi{\ss}mann},
  title        = {Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages},
  booktitle    = {Proc.~14th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018)},
  editor       = {Corina C{\^i}rstea},
  series       = {LNCS},
  volume       = 11202,
  preprinturl  = {https://arxiv.org/abs/1805.07211},
}

@inproceedings{DorschEA17,
  author       = {Ulrich Dorsch and Stefan Milius and Lutz Schr{\"o}der and Thorsten Wi{\ss}mann},
  title        = {Efficient Coalgebraic Partition Refinement},
  booktitle    = {Proc.~28th International Conference on Concurrency Theory (CONCUR 2017)},
  editor       = {Roland Meyer and Uwe Nestmann},
  series       = {LIPIcs},
  volume       = 85,
  pages        = {32:1--32:16},
  publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  year         = 2017,
  month        = 09,
  preprinturl  = {https://arxiv.org/abs/1705.08362},
  url          = {https://drops.dagstuhl.de/opus/volltexte/2017/7793/},
  doi          = {10.4230/LIPIcs.CONCUR.2017.32},
}

@inproceedings{skmw17,
  author       = {Lutz Schr\"oder and Dexter Kozen and Stefan Milius and Thorsten Wi\ss{}mann},
  title        = {Nominal Automata with Name Binding},
  optcrossref  = {},
  optkey       = {},
  booktitle    = {Proc.~20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)},
  year         = 2017,
  editor       = {Javier Esparza and Andrzej Murawski},
  volume       = 10203,
  optnumber    = {},
  series       = {LNCS},
  pages        = {124--142},
  month        = 04,
  optmonth     = {},
  optaddress   = {},
  optorganization = {},
  publisher    = {Springer},
  preprinturl  = {http://arxiv.org/abs/1603.01455},
  comment      = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-54458-7_8">http://dx.doi.org/10.1007/978-3-662-54458-7_8</a>.},
  optannote    = {},
  doi          = {10.1007/978-3-662-54458-7_8},
}

@article{msw16,
  author       = {Milius, Stefan and Schr{\"{o}}der, Lutz and Wi{\ss}mann, Thorsten},
  title        = {Regular Behaviours with Names},
  journal      = {Applied Categorical Structures},
  publisher    = {Springer},
  year         = 2016,
  month        = 08,
  volume       = 24,
  number       = 5,
  pages        = {663--701},
  issn         = {1572-9095},
  doi          = {10.1007/s10485-016-9457-8},
  preprinturl  = {https://arxiv.org/abs/1607.07828},
}

@inproceedings{mpw16,
  author       = {Stefan Milius and Dirk Pattinson and Thorsten Wi{\ss}mann},
  title        = {A New Foundation for Finitary Corecursion -- The Locally Finite Fixpoint and Its Properties},
  booktitle    = {Proc.~19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016)},
  booktitlefull = {Foundations of Software Science and Computation Structures -- 19th International Conference, {FOSSACS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  editor       = {Bart Jacobs and Christof L{\"{o}}ding},
  publisher    = {Springer},
  series       = {LNCS},
  volume       = 9634,
  pages        = {107--125},
  year         = 2016,
  month        = 04,
  xcrossref    = {DBLP:conf/fossacs/2016},
  preprinturl  = {http://arxiv.org/abs/1601.01532},
  doi          = {10.1007/978-3-662-49630-5_7},
}

@inproceedings{MiliusWissmannRatlambda,
  title        = {Finitary Corecursion for the Infinitary Lambda Calculus},
  author       = {Stefan Milius and Thorsten Wi{\ss}mann},
  booktitle    = {Proc. 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
  series       = {Leibniz International Proceedings in Informatics},
  year         = 2015,
  pages        = {336--351},
  volume       = 35,
  editor       = {Lawrence S. Moss and Pawe{\l} Soboci{\'{n}}ski},
  publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  url          = {http://coalg.org/calco15/papers/p21-Wi%C3%9Fmann.pdf},
  doi          = {10.4230/LIPIcs.CALCO.2015.336},
  preprinturl  = {https://arxiv.org/abs/1505.07736},
}

@inproceedings{GorinEA14,
  author       = {Daniel Gor{\'{i}}n and Dirk Pattinson and Lutz Schr{\"{o}}der and Florian Widmann and Thorsten Wi{\ss}mann},
  title        = {{COOL} -- A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)},
  booktitle    = {Proc.~7th International Joint Conference on Automated Reasoning (IJCAR 2014)},
  year         = 2014,
  editor       = {St{\'{e}}phane Demri and Deepak Kapur and Christoph Weidenbach},
  series       = {LNCS},
  publisher    = {Springer},
  pages        = {396--402},
  volume       = 8562,
  doi          = {10.1007/978-3-319-08587-6_31},
  preprinturl  = {https://www8.cs.fau.de/ext/thorsten/cool-ijcar2014.pdf},
  url          = {https://link.springer.com/chapter/10.1007/978-3-319-08587-6_31},
}

@inproceedings{GorinEA13,
  author       = {Daniel Gor{\'{i}}n and Lutz Schr{\"{o}}der and Thorsten Wi{\ss}mann},
  title        = {Reasoning with Bounded Self-reference Using Logical Interpreters},
  pages        = {689-703},
  editor       = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"{o}}tzsch},
  booktitle    = {Proc.~26th International Workshop on Description Logics (DL 2013)},
  publisher    = {CEUR-WS.org},
  series       = {CEUR Workshop Proceedings},
  volume       = 1014,
  year         = 2013,
  url          = {http://ceur-ws.org/Vol-1014/paper_75.pdf},
  bibsource    = {DBLP, http://dblp.uni-trier.de},
}