Room: 11.155, E-Mail: thorsten.wissmann at fau dot de, Phone: +49 9131 85-64032
I am a PhD student at Chair for Theoretical Computer Science of Friedrich-Alexander University of Erlangen and Nürnberg.
- The rational fixed point in nominal sets and its application to infinitary lambda-calculus, master-project report during the master studies in computer science (this is not my master thesis!), PDF.
- Transforming OWL ontologies with bounded self-reference to plain OWL ontologies, bachelor thesis, PDF.
|||Regular Behaviours with Names , In Applied Categorical Structures, vol. 24(5), pp. 663–701, 2016. [bib] [pdf] [doi]|
|||A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties , In 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, pp. 107–125, 2016. [bib] [pdf] [doi]|
|||Finitary Corecursion for the Infinitary Lambda Calculus , In Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Leibniz International Proceedings in Informatics, 2015. [bib] [pdf]|
|||COOL -- A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) , In Proc. 7th Internat. Joint Conf. on Automated Reasoning, IJCAR 2014 (Stéphane Demri, Deepak Kapur, Christoph Weidenbach, eds.), Lect. Notes Comput. Sci., vol. 8562, pp. 396–402, Springer, 2014. [bib] [pdf]|
|||Reasoning with Bounded Self-reference Using Logical Interpreters , In 26th International Workshop on Description Logics, DL 2013 (Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds.), CEUR Workshop Proceedings, vol. 1014, pp. 689–703, CEUR-WS.org, 2013. [bib] [pdf]|
Powered by bibtexbrowser