I'm Assistant Professor (Akademischer Rat auf Zeit) at the Chair for Theoretical Computer Science of the Friedrich-Alexander Universität Erlangen-Nürnberg.

Contact

Martensstr. 3, room 11.157
D-91058 Erlangen
Tel: +49-9131-856-4030
Fax: +49-9131-856-4055

e-mail: daniel.gorin (blah blah) cs . fau . de

Research

My research interests are mainly in Computational Logic, in particular in the area of modal logics (including hybrid logics and coalgebraic modal logics). I'm interested in theoretical aspects and also in applications, especially software verification and the construction of provably correct programs in general.

Publications

2014
  • S. Figueira, D. Gorín and R. Grimson. Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. Journal of Computer and System Sciences, 80(6):1102–1118. doi://10.1016/j.jcss.2014.04.004 PDF
  • D. Gorín and L. Schröder. Subsumption checking in conjunctive coalgebraic fixpoint logics. In Advances in Modal Logic, vol. 10. To appear. PDF
  • D. Gorín, D. Pattinson, L. Schröder, F. Widmann and T. Wisßmann. Cool – A generic reasoner for coalgebraic hybrid logics (system description). In IJCAR '14. To appear. PDF
2013
  • D. Gorín, L. Schröder and T. Wißmann. Reasoning with bounded self-reference using logical interpreters. In DL '13, CEUR Workshop Proceedings, pages 689–703. CEUR-WS.org. PDF
  • D. Gorín and L. Schröder. Simulations and bisimulations for coalgebraic modal logics. In CALCO '13, LNCS 8089, pages 253–266. Springer. doi://10.1007/978-3-642-40206-7_19 PDF
  • F. Carreiro, D. Gorín and L. Schröder. Coalgebraic announcement logics. In ICALP '13, LNCS 7966, pages 101–112. Springer. doi://10.1007/978-3-642-39212-2_12 PDF
2012
  • G. de Caso, D. Garbervetsky and D. Gorín. Integrated Program Verification Tools in Education. Software: Practice & Experience, 43(4):403–418. doi://10.1002/spe.2143 PDF
  • D. Gorín and L. Schröder. Extending ALCQ with bounded self-reference. In Advances in Modal Logic, vol. 9. College Publications. PDF
  • D. Gorín and L. Schröder. Narcissists are easy, stepmothers are hard. In FoSSaCS '12, LNCS 7213, pages 240–254. Springer. doi://10.1007/978-3-642-28729-9_16 PDF
2011
  • C. Areces and D. Gorín. Unsorted functional translations. In M4M '11, ENTCS 278, pages 3–16. Elsevier. doi://10.1016/j.entcs.2011.10.002 PDF
  • D. Gorín, S. Mera and F. Schapachnik. A Software Tool for Legal Drafting. In FLACOS '11, EPTCS 68, pages 71–86. Electronic Proceedings in Theoretical Computer Science. doi://10.4204/EPTCS.68.7 PDF
  • C. Areces, S. Figueira and D. Gorín. Using Logic in the Generation of Referring Expressions. In LACL '11, LNCS 6736, pages 17–32. Springer. doi://10.1007/978-3-642-22221-4_2 PDF
  • G. de Caso, D. Garbervetsky and D. Gorín. Pest: from the Lab to the Classroom. In TOPI '11, ICSE Workshop Proceedings, pages 5–8. ACM. doi://10.1145/1984708.1984711 PDF
  • S. Figueira, D. Gorín and R. Grimson. On the expressive power of IF-logic with classical negation. In WoLLIC '11, LNCS 6642, pages 135–145. Springer. doi://10.1007/978-3-642-20920-8_16 PDF
  • D. Garbervetsky, D. Gorín and A. Neisen. Enforcing Structural Invariants Using Dynamic Frames. In TACAS '11, LNCS 6605, pages 65–80. Springer. doi://10.1007/978-3-642-19835-9_8 PDF
  • C. Areces and D. Gorín. Resolution with Order and Selection for Hybrid Logics. Journal of Automated Reasoning, 46(1):1–42. doi://10.1007/s10817-010-9167-0 PDF
2010
  • D. Gorín, S. Mera and F. Schapachnik. Model Checking Legal Documents. In JURIX '10, Frontiers in Artificial Intelligence and Applications 223, pages 151–154. IOS Press. doi://10.3233/978-1-60750-682-9-151 PDF
  • S. Figueira and D. Gorín. On the size of shortest modal descriptions. In Advances in Modal Logic, vol. 8, pages 120–139. College Publications. PDF
  • C. Areces and D. Gorín. Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). Journal of Applied Logic, 8(4):305–318. doi://10.1016/j.jal.2010.08.010 PDF
  • S. Figueira, D. Gorín and R. Grimson. On the formal semantics of IF-like logics. Journal of Computer and System Sciences, 76(5):333–346. doi://10.1016/j.jcss.2009.10.006 PDF
  • D. Gorín, S. Mera and F. Schapachnik. Verificación automática de documentos normativos: ¿ficción o realidad?. In Anales del Simposio Argentino de Informática y Derecho (SID 2010) de las 39as Jornadas Argentinas de Informática (39JAIIO). PDF
2009
  • D. Gorín. Automated reasoning techniques for hybrid logics. Phd. Thesis. PDF
  • C. Areces, D. Gorín, A. Lorenzo and M. P. Rodríguez. Testing Provers on a Grid – Framework Description. In DL '09, CEUR Workshop Proceedings. CEUR-WS.org. PDF
  • C. Areces, D. Gorín, D. Figueira and S. Mera. Tableaux and model checking for Memory logics. In TABLEAUX '09, LNCS 5607, pages 47–61. Springer. doi://10.1007/978-3-642-02716-1_5 PDF
  • G. de Caso, D. Garbervetsky and D. Gorín. Reducing the number of annotations in a verification-oriented imperative language. In APV '09. PDF
2008
2006
  • D. Gorín. Hybrid Layering. In ESSLLI StuS '06. PDF
2005
2004
  • C. Areces and D. Gorín. Resolución con orden y selección para la lógica H(@). In CLEI '04. PDF