Daniel Gor\'in

Identifiers

• name variant Daniel Gor\'in 0.60 · backfill

Papers (4)

1. Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics cs.LO · 2014 · author #1
2. Simulations and Bisimulations For Coalgebraic Modal Logics cs.LO · 2013 · author #1
3. Reducing the Number of Annotations in a Verification-oriented Imperative Language cs.PL · 2010 · author #3
4. The Question of Expressiveness in the Generation of Referring Expressions cs.LO · 2010 · author #3

Mentions

• 1401.6359 #1 · backfill · confidence 0.70 Daniel Gor\'in
• 1303.2467 #1 · backfill · confidence 0.70 Daniel Gor\'in
• 1011.3407 #3 · backfill · confidence 0.70 Daniel Gor\'in
• 1006.4621 #3 · backfill · confidence 0.70 Daniel Gor\'in

Frequent Coauthors

• Lutz Schr\"oder 2 shared papers
• Carlos Areces 1 shared papers
• Diego Garbervetsky 1 shared papers
• Guido de Caso 1 shared papers
• Santiago Figueira 1 shared papers