Luis Fernando Llana Díaz

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 1

Top Topics

Graph Clustering

Recommender Systems

Information Networks

Betweenness Centrality

Top Venues

J. Univers. Comput. Sci.

Publications

Daniel Gomez Gonzalez, Luis Fernando Llana Díaz, Cristóbal Pareja
A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems. J. Univers. Comput. Sci. 28 (2) (2022)
Luis Fernando Llana Díaz, Manuel Núñez
Testing Semantics for RTPA. Fundam. Informaticae 90 (3) (2009)
César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez
Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebraic Methods Program. 78 (6) (2009)
Manuel Núñez, Luis Fernando Llana Díaz
A Hierarchy of Equivalences for Probabilistic Processes. FORTE (2008)
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. FORTE (2006)
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
Customized Testing for Probabilistic Systems. TestCom (2006)
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide, Pedro Palao-Gostanza
A system to generate electronic books on programming exercises. Electron. Libr. 20 (4) (2002)
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide
EXercita: automatic web publishing of programming exercises. ITiCSE (2001)
Luis Fernando Llana Díaz, David de Frutos-Escrig
Relating May and Must Testing Semantics for Discrete Timed Process Algebras. ASIAN (1999)
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
An invitation to friendly testing. J. Comput. Sci. Technol. 13 (6) (1998)
Luis Fernando Llana Díaz, Manuel Núñez
Testing Semantics for Unbounded Nondeterminism. Euro-Par (1997)
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
Friendly Testing as a Conformance Relation. FORTE (1997)
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza
Testing Semantics for a Probabilistic-Timed Process Algebra. ARTS (1997)
Luis Fernando Llana Díaz, David de Frutos-Escrig
Denotational Semantics for Timed Testing. ARTS (1997)
Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz
Acceptance Trees for Probabilistic Processes. CONCUR (1995)