選出版物

• 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]

学業の出版物

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

査読付き出版物

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", submitted to CMCS'10
  [PDF]