Selected Publications

• C Kissig, Y Venema, "Complementation of Coalgebra Automata", CALCO 2009
  [PDF] [Bibtex] [Video]
• C Kissig, "Decidability of S2S" (Master of Logic Dissertation), 2007, ILLC MoL Series,
  [PDF] [Bibtex] [Abstract, TXT]

Trace theory is concerned with assigning transition systems a semantics in trace monoids. Informally, trace monoids are word monoids generated from an independence relation, analogous to parallelism in concurrency. Generic trace theory seeks to extends trace theory to arbitrary transition systems, that formally are Set-based coalgebras.

I am a member of the following societies.

• American Mathematical Society (AMS)
• Association for Symbolic Logic (ASL)
• De Nederlandse Vereniging voor Logica en Wijsbegehrte der Exacte Wetenschappen (VvL)
• European Association for Theoretical Computer Science (EATCS)

My Research Group

• Alexander Kurz
• Daniela Petrisan
• Suzuki Tomoyuki
• Tadeusz Litak

Coauthors

• Anni-Yasmin Turhan
• Yde Venema

Other Colleagues

• Bart Jacobs
• Bartek Klin
• Chris Kapulkin
• Clemens Kupke
• Ichiro Hasuo
• Nick Bezhanishvili
• Vincenzo Ciancia