Daniel Gorín

	2012
17		Daniel Gorín, Lutz Schröder: Narcissists Are Easy, Stepmothers Are Hard. FoSSaCS 2012: 240-254
	2011
16		Daniel Gorín, Sergio Mera, Fernando Schapachnik: A Software Tool for Legal Drafting FLACOS 2011: 71-86
15		Carlos Areces, Santiago Figueira, Daniel Gorín: Using Logic in the Generation of Referring Expressions. LACL 2011: 17-32
14		Diego Garbervetsky, Daniel Gorín, Ariel Neisen: Enforcing Structural Invariants Using Dynamic Frames. TACAS 2011: 65-80
13		Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Expressive Power of IF-Logic with Classical Negation. WoLLIC 2011: 135-145
12		Carlos Areces, Daniel Gorín: Unsorted Functional Translations. Electr. Notes Theor. Comput. Sci. 278: 3-16 (2011)
11		Carlos Areces, Daniel Gorín: Resolution with Order and Selection for Hybrid Logics. J. Autom. Reasoning 46(1): 1-42 (2011)
	2010
10		Santiago Figueira, Daniel Gorín: On the Size of Shortest Modal Descriptions. Advances in Modal Logic 2010: 120-139
9		Daniel Gorín, Sergio Mera, Fernando Schapachnik: Model Checking Legal Documents. JURIX 2010: 151-154
8		Carlos Areces, Santiago Figueira, Daniel Gorín: The Question of Expressiveness in the Generation of Referring Expressions CoRR abs/1006.4621: (2010)
7		Guido de Caso, Diego Garbervetsky, Daniel Gorín: Reducing the Number of Annotations in a Verification-oriented Imperative Language CoRR abs/1011.3407: (2010)
6		Carlos Areces, Daniel Gorín: Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). J. Applied Logic 8(4): 305-318 (2010)
5		Santiago Figueira, Daniel Gorín, Rafael Grimson: On the formal semantics of IF-like logics. J. Comput. Syst. Sci. 76(5): 333-346 (2010)
	2009
4		Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez: Testing Provers on a Grid - Framework Description. Description Logics 2009
3		Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera: Tableaux and Model Checking for Memory Logics. TABLEAUX 2009: 47-61
	2008
2		Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Formal Semantics of IF-Like Logics. WoLLIC 2008: 164-178
	2004
1		Carlos Areces, Daniel Gorín: Ordered Resolution with Selection for H(@). LPAR 2004: 125-141

Coauthor Index

1	Carlos Areces	[1] [3] [4] [6] [8] [11] [12] [15]
2	Guido de Caso	[7]
3	Diego Figueira	[3]
4	Santiago Figueira	[2] [5] [8] [10] [13] [15]
5	Diego Garbervetsky	[7] [14]
6	Rafael Grimson	[2] [5] [13]
7	Alejandra Lorenzo	[4]
8	Sergio Mera	[3] [9] [16]
9	Ariel Neisen	[14]
10	Mariano Pérez Rodríguez	[4]
11	Fernando Schapachnik	[9] [16]
12	Lutz Schröder	[17]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page