Angel Fernández

12 papers C 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2016 J jnl
Message fragmentation assessment in DTN nanosatellite-based sensor networks.
Ad Hoc Networks
Hector Bedon, Carlos Miguel, Ramón Alcarria, Angel Fernández, Fco. Javier Ruiz
2013 J jnl
A DTN System for Nanosatellite-based Sensor Networks using a New ALOHA Multiple Access with Gateway Priority.
Smart Comput. Rev.
Hector Bedon, Carlos Miguel, Angel Fernández, Jong Sou Park
2004 — conf
Fixed-point refinement of OFDM-based adaptive equalizers: An heuristic approach.
EUSIPCO
Gabriel Caffarena, Angel Fernández, Carlos Carreras, Octavio Nieto-Taladriz
1998 J jnl
Multimedia Systems Based on Satellite Technology.
Comput. Networks
Francisco Javier Ruiz Piñar, Angel Fernández, Carlos Miguel, Leon Vidaller, Antonio Martínez Mas, Juan Antonio Carral Pelayo
1994 — conf
FDDI Performance Evaluation Based on LOTOS Formal Description Tecnique.
HPN
Antonio Martínez Maz, Carlos Miguel, E. Pérez, Angel Fernández
1993 J jnl
A LOTOS Based Performance Evaluation Tool.
Comput. Networks ISDN Syst.
Carlos Miguel, Angel Fernández, J. M. Ortuño, Leon Vidaller
1993 J jnl
LOTOS Extended with Probablistic Behaviours.
Formal Aspects Comput.
Carlos Miguel, Angel Fernández, Leon Vidaller
1992 — conf
Development of Satellite Communication Networks Based on LOTOS.
PSTV
Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada
1992 C conf
Extending LOTOS towards performance evaluation.
FORTE
Carlos Miguel, Angel Fernández, Leon Vidaller
1989 — conf
State Exploration by Transformation with LOLA.
Automatic Verification Methods for Finite State Systems
Juan Quemada, Santiago Pavón, Angel Fernández
1988 C conf
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.
FORTE
Juan Quemada, Santiago Pavón, Angel Fernández
1987 — conf
Introduction of Quantitative Relative Time into LOTOS.
PSTV
Juan Quemada, Angel Fernández