Luis Fernando Llana Daz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1995–2008
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | FORTE | A Hierarchy of Equivalences for Probabilistic Processes. | Manuel Nez, Luis Fernando Llana Daz |
| 2006 | FORTE | Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. | Luis Fernando Llana Daz, Manuel Nez, Ismael Rodrguez |
| 2001 | ITiCSE | EXercita: automatic web publishing of programming exercises. | Carlos Gregorio-Rodrguez, Luis Fernando Llana Daz, Pedro Palao-Gostanza, Cristbal Pareja-Flores, Raquel Martnez-Unanue, J. ngel Velzquez-Iturbide |
| 1997 | EuroPar | Testing Semantics for Unbounded Nondeterminism. | Luis Fernando Llana Daz, Manuel Nez |
| 1997 | FORTE | Friendly Testing as a Conformance Relation. | David de Frutos-Escrig, Luis Fernando Llana Daz, Manuel Nez |
| 1995 | CONCUR | Acceptance Trees for Probabilistic Processes. | Manuel Nez, David de Frutos-Escrig, Luis Fernando Llana Daz |