Christoph Schubert Dr. rer. nat., Dipl.-Math. christoph.schubert"at"tu-dortmund.de Research associate at the Chair of Software Technology Faculty of Computer Science Technische Universität Dortmund Germany

Teaching

Research

• Preprints:
  • Coalgebraic logic over measurable spaces: behavioral and logical equivalence, February 2009 (pdf), submitted to Calco 2009.
  • Final coalgebras for measure-polynomial functors, December 2008, (pdf), to be published in Proceedings TAMC'09.
  • Coalgebraic logic over analytic spaces, October 2007 (pdf), submitted to FoSSaCS'08.
  • A Tychonoff Theorem for lax algebras, January 2005, (dvi, pdf), to appear in Applied Categorical Structures.
  
  
• Published articles
  • Coalgebraic logic for stochastic right coalgebras. Annals Pure Applied Logic (2009) doi:10.1016/j.apal.2008/06/018 (joint work with Ernst-Erich Doberkat).
  • Extensions in the theory of lax algebras. Theory and Applications of Categories 21(2008), 118-151 (joint work with Gavin Seal).
  • Universality of coproducts in categories of lax algebras. Applied Categorical Structures 14(2006), 243-249, (joint work with Mojgan Mahmoudi and Walter Tholen).
  • Terminal coalgebras and tree-structures. Contributions to general algebra 14(2004), 59-62, (dvi, pdf) (joint work with Christian Dzierzon).
  
  
• Qualification work (under the supervision of Prof. Dr. H.-E. Porst)
  • Lax Algebras - A Scenic Approach, PhD-thesis, Universität Bremen 2006 (pdf).
  • Topologische Strukturen als laxe Algebren, Diplomarbeit, Universität Bremen 2002, in German (pdf).
  
  
• some notes and old preprints.

Talks

General

• contact information
• My CV (dvi, pdf).

Personal

Teaching in previous semesters