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]

Academic Works

• C Kissig, "Decidability of S2S" (Master of Logic Dissertation), 2007, ILLC MoL Series,
  [PDF] [Bibtex] [Abstract, TXT]

Peer-Reviewed Publications

2009

• C Kissig, Y Venema, "Complementation of Coalgebra Automata", CALCO 2009
  [PDF] [Bibtex] [Video]

2004

• C Kissig, A-Y Turhan, "SONIC-Non-standard Inferences go OilEd", In Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), LNCS, Springer-Verlag, 2004.
  [PDF] [PS] [Bibtex]
• C Kissig, A-Y Turhan, "SONIC-System Description", In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
  [PDF] [PS] [Bibtex]

Forthcoming Publications

Note that these are preliminary versions and are subject to modifications after reviewing. Please consider these files as preprints. Papers marked as "submitted", may be rejected. I will withdraw rejected papers. Nevertheless, I do appreciate any comments you may have on these papers. Do also let me know, if you wish to cite any of these papers. For any of these matters, write me an email email(at)christiankissig.de

• C Kissig, A Kurz, "Generic Trace Logics"
  [PDF]
• C Kissig, "Infinite Trace Semantics for Coalgebras", submitted
  [PDF]