| 2017 | KI | Ontological Modelling of a Psychiatric Clinical Practice Guideline. | Daniel Gorn, Malte Meyn, Alexander Naumann, Miriam Polzer, Ulrich Rabenstein, Lutz Schrder |
| 2014 | AiML | Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. | Daniel Gorn, Lutz Schrder |
| 2014 | CADE | Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). | Daniel Gorn, Dirk Pattinson, Lutz Schrder, Florian Widmann, Thorsten Wimann |
| 2013 | CALCO | Simulations and Bisimulations for Coalgebraic Modal Logics. | Daniel Gorn, Lutz Schrder |
| 2013 | ICALP | Coalgebraic Announcement Logics. | Facundo Carreiro, Daniel Gorn, Lutz Schrder |
| 2012 | AiML | Extending ALCQ with Bounded Self-Reference. | Daniel Gorn, Lutz Schrder |
| 2012 | FOSSACS | Narcissists Are Easy, Stepmothers Are Hard. | Daniel Gorn, Lutz Schrder |
| 2011 | ICSE | Pest: from the lab to the classroom. | Guido de Caso, Diego Garbervetsky, Daniel Gorn |
| 2011 | TACAS | Enforcing Structural Invariants Using Dynamic Frames. | Diego Garbervetsky, Daniel Gorn, Ariel Neisen |
| 2011 | WoLLIC | On the Expressive Power of IF-Logic with Classical Negation. | Santiago Figueira, Daniel Gorn, Rafael Grimson |
| 2010 | AiML | On the Size of Shortest Modal Descriptions. | Santiago Figueira, Daniel Gorn |
| 2010 | JURIX | Model Checking Legal Documents. | Daniel Gorn, Sergio Mera, Fernando Schapachnik |
| 2009 | TABLEAUX | Tableaux and Model Checking for Memory Logics. | Carlos Areces, Diego Figueira, Daniel Gorn, Sergio Mera |
| 2008 | WoLLIC | On the Formal Semantics of IF-Like Logics. | Santiago Figueira, Daniel Gorn, Rafael Grimson |
| 2004 | LPAR | Ordered Resolution with Selection for H(@). | Carlos Areces, Daniel Gorn |