Ordered Resolution with Selection for H(@). - Carlos Areces; Daniel Gorín (LPAR, 2004)

Testing Provers on a Grid - Framework Description. - Carlos Areces; Daniel Gorín; Alejandra Lorenzo; Mariano Pérez Rodríguez (Description Logics, 2009)

Tableaux and Model Checking for Memory Logics. - Carlos Areces; Diego Figueira; Daniel Gorín; Sergio Mera (TABLEAUX, 2009)

On the Size of Shortest Modal Descriptions. - Santiago Figueira; Daniel Gorín (Advances in Modal Logic, 2010)

Model Checking Legal Documents. - Daniel Gorín; Sergio Mera; Fernando Schapachnik (JURIX, 2010)

The Question of Expressiveness in the Generation of Referring Expressions - Carlos Areces; Santiago Figueira; Daniel Gorín (CoRR, 2010)

Reducing the Number of Annotations in a Verification-oriented Imperative Language - Guido de Caso; Diego Garbervetsky; Daniel Gorín (CoRR, 2010)

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). - Carlos Areces; Daniel Gorín (J. Appl. Log., 2010)

On the formal semantics of IF-like logics. - Santiago Figueira; Daniel Gorín; Rafael Grimson (J. Comput. Syst. Sci., 2010)

Pest: from the lab to the classroom. - Guido de Caso; Diego Garbervetsky; Daniel Gorín (TOPI@ICSE, 2011)

Using Logic in the Generation of Referring Expressions. - Carlos Areces; Santiago Figueira; Daniel Gorín (LACL, 2011)

Enforcing Structural Invariants Using Dynamic Frames. - Diego Garbervetsky; Daniel Gorín; Ariel Neisen (TACAS, 2011)

On the Expressive Power of IF-Logic with Classical Negation. - Santiago Figueira; Daniel Gorín; Rafael Grimson (WoLLIC, 2011)

A Software Tool for Legal Drafting - Daniel Gorín; Sergio Mera; Fernando Schapachnik (FLACOS, 2011)

Unsorted Functional Translations. - Carlos Areces; Daniel Gorín (M4M/LAMAS, 2011)

Resolution with Order and Selection for Hybrid Logics. - Carlos Areces; Daniel Gorín (J. Autom. Reason., 2011)

Extending ALCQ with Bounded Self-Reference. - Daniel Gorín; Lutz Schröder (Advances in Modal Logic, 2012)

Narcissists Are Easy, Stepmothers Are Hard. - Daniel Gorín; Lutz Schröder (FoSSaCS, 2012)

Simulations and Bisimulations for Coalgebraic Modal Logics. - Daniel Gorín; Lutz Schröder (CALCO, 2013)

Reasoning with Bounded Self-reference Using Logical Interpreters. - Daniel Gorín; Lutz Schröder; Thorsten Wißmann (Description Logics, 2013)

Coalgebraic Announcement Logics. - Facundo Carreiro; Daniel Gorín; Lutz Schröder (ICALP (2), 2013)

Integrated program verification tools in education. - Guido de Caso; Diego Garbervetsky; Daniel Gorín (Softw. Pract. Exp., 2013)

Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. - Daniel Gorín; Lutz Schröder (Advances in Modal Logic, 2014)

Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). - Daniel Gorín; Dirk Pattinson; Lutz Schröder; Florian Widmann; Thorsten Wißmann (IJCAR, 2014)

Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. - Santiago Figueira; Daniel Gorín; Rafael Grimson (J. Comput. Syst. Sci., 2014)

Ontological Modelling of a Psychiatric Clinical Practice Guideline. - Daniel Gorín; Malte Meyn; Alexander Naumann; Miriam Polzer; Ulrich Rabenstein; Lutz Schröder (KI, 2017)