Go back to publication list.

pubs.bib

@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 = {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}
}
@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 Internat.\ Joint Conf.\ 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},
  url = {http://www8.cs.fau.de/_media/research:papers:cool.pdf}
}
@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},
  url = {https://coalg.org/calco15/papers/p21-Wi%C3%9Fmann.pdf}
}
@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 = {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},
  pages = {107--125},
  year = {2016},
  xcrossref = {DBLP:conf/fossacs/2016},
  url = {http://arxiv.org/abs/1601.01532},
  doi = {10.1007/978-3-662-49630-5_7}
}
@article{msw16,
  author = {Milius, Stefan
and Schr{\"{o}}der, Lutz
and Wi{\ss}mann, Thorsten},
  title = {Regular Behaviours with Names},
  journal = {Applied Categorical Structures},
  year = {2016},
  volume = {24},
  number = {5},
  pages = {663--701},
  issn = {1572-9095},
  doi = {10.1007/s10485-016-9457-8},
  url = {http://www8.cs.fau.de/ext/thorsten/nomliftings.pdf}
}
@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 = {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages = {124--142},
  optmonth = {},
  optaddress = {},
  optorganization = {},
  publisher = {Springer},
  url = {http://arxiv.org/abs/1603.01455},
  comment = {The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54458-7_8.},
  optannote = {}
}
@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)},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2017},
  url = {https://arxiv.org/abs/1705.08362}
}