| 2007 |
|---|
| 25 | EE | Manuel J. Fernández Iglesias,
Felicitas Rodríguez González,
Esther Medina Ferreiro:
El Centro Multimedia de Galicia: un modelo de colaboración entre el sector público y el privado en el desarrollo de e-learning.
IEEE-RITA 2(1): 1-8 (2007) |
| 2005 |
|---|
| 24 | EE | Manuel J. Fernández Iglesias,
Juan C. Burguillo-Rial,
Francisco J. González-Castaño,
Martín Llamas Nistal:
Wireless protocol testing and validation supported by formal methods. A hands-on report.
Journal of Systems and Software 75(1-2): 139-154 (2005) |
| 23 | EE | Manuel J. Fernández Iglesias,
Luis Álvarez Sabucedo,
C. Lojo-Silva,
Luis E. Anido-Rifón:
Generating high quality printouts from content management systems: a cost-effective approach.
Softw., Pract. Exper. 35(11): 1007-1026 (2005) |
| 2004 |
|---|
| 22 | EE | Manuel J. Fernández Iglesias,
Martín Llamas Nistal:
An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students.
TFM 2004: 153-165 |
| 2003 |
|---|
| 21 | EE | Judith S. Rodríguez,
Luis E. Anido-Rifón,
Manuel J. Fernández Iglesias:
How Can the Web Services Paradigm Improve the E-Learning?
ICALT 2003: 479 |
| 20 | EE | Judith S. Rodríguez,
Luis E. Anido-Rifón,
Manuel J. Fernández Iglesias,
Fernando A. Mikic,
Luis M. Álvárez:
A Web Services Broker for E-learning.
International Conference on Computational Science 2003: 659-668 |
| 19 | | Martín Llamas Nistal,
Luis E. Anido-Rifón,
Judith S. Rodríguez,
Manuel J. Fernández Iglesias,
Juan M. Santos,
Manuel Caeiro:
What do we need to know about e-learning standards?
Quality Education @ a Distance 2003: 45-52 |
| 2002 |
|---|
| 18 | EE | Juan C. Burguillo-Rial,
Manuel J. Fernández Iglesias,
Francisco J. González-Castaño,
Martín Llamas Nistal:
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study.
FME 2002: 57-76 |
| 17 | EE | Manuel J. Fernández Iglesias,
Judith S. Rodríguez,
Luis E. Anido-Rifón,
Juan M. Santos,
Manuel Caeiro,
Martín Llamas Nistal:
Modeling Metadata-Enabled Information Retrieval.
International Conference on Computational Science (1) 2002: 78-87 |
| 16 | EE | Manuel J. Fernández Iglesias,
Francisco J. González-Castaño,
Martín Llamas Nistal,
José M. Pousada Carballo,
Javier Vales-Alonso:
On the application of formal description techniques to the design of interception systems for GSM mobile terminals.
Journal of Systems and Software 60(1): 51-58 (2002) |
| 2001 |
|---|
| 15 | EE | Luis E. Anido-Rifón,
Martín Llamas Nistal,
Manuel J. Fernández Iglesias,
Judith S. Rodríguez,
Juan M. Santos,
Manuel Caeiro:
A Distributed Object Computing Approach to e-Learning.
DOA 2001: 260-269 |
| 14 | EE | Luis E. Anido-Rifón,
Martín Llamas Nistal,
Manuel J. Fernández Iglesias,
Judith S. Rodríguez,
Juan M. Santos,
Manuel Caeiro:
A Conceptual Modelling Framework for Standards-Driven Web-Based Distance Learning.
ER 2001: 585-598 |
| 13 | EE | Manuel J. Fernández Iglesias,
Francisco J. González-Castaño,
José M. Pousada Carballo,
Martín Llamas Nistal,
Alberto Romero Feijoo:
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study.
FME 2001: 436-448 |
| 12 | | Luis E. Anido-Rifón,
Martín Llamas Nistal,
Manuel J. Fernández Iglesias,
Judith S. Rodríguez,
Manuel Caeiro,
Juan M. Santos:
A Standards-Driven Open Architecture for Learning Systems.
ICALT 2001: 3-4 |
| 11 | EE | Luis E. Anido-Rifón,
Martín Llamas Nistal,
Manuel J. Fernández Iglesias:
A component model for stardardized web-based education.
WWW 2001: 86-95 |
| 10 | | Luis E. Anido-Rifón,
Manuel J. Fernández Iglesias,
Martín Llamas Nistal,
Manuel Caeiro Rodríguez,
J. Santos-Gago,
J. Rodríguez-Estévez:
A component model for standardized web-based education.
ACM Journal of Educational Resources in Computing 1(2): 1 (2001) |
| 9 | | Luis E. Anido-Rifón,
Juan M. Santos,
Manuel Caeiro,
Judith S. Rodríguez,
Manuel J. Fernández Iglesias,
Martín Llamas Nistal:
Moving the business logic tier to the client. Cost-effective distributed computing for the WWW.
Softw., Pract. Exper. 31(14): 1331-1350 (2001) |
| 8 | | Luis E. Anido-Rifón,
Martín Llamas Nistal,
Manuel J. Fernández Iglesias:
Developing WWW-based highly interactive and collaborative applications using software components.
Softw., Pract. Exper. 31(9): 845-867 (2001) |
| 2000 |
|---|
| 7 | EE | Manuel J. Fernández Iglesias,
Pablo Pavón-Mariño,
J. Rodríguez-Estévez,
Luis E. Anido-Rifón,
Martín Llamas Nistal:
DelfosnetX: A Workbench for XML-Based Information Retrieval Systems.
SPIRE 2000: 87-95 |
| 6 | | Luis E. Anido-Rifón,
Martín Llamas Nistal,
Manuel J. Fernández Iglesias,
Juan C. Burguillo-Rial,
C. Brandin,
Juan M. Santos,
Manuel Caeiro:
An Authoring Environment for the SimulNet Educational Platform.
Computers and Education in the 21st Century 2000: 65-78 |
| 1999 |
|---|
| 5 | | Luis E. Anido-Rifón,
Martín Llamas Nistal,
Manuel J. Fernández Iglesias,
Juan C. Burguillo-Rial:
CATWEB: A Tool for Developing Courses for the Web and from the Web.
Building University Electronic Educational Environments 1999: 155-168 |
| 4 | | Juan C. Burguillo-Rial,
Manuel J. Fernández Iglesias,
Martín Llamas Nistal,
Luis E. Anido-Rifón:
Improving Computer Support for Cooperative Applications over Internet.
ICSC 1999: 305-310 |
| 1998 |
|---|
| 3 | | Martín Llamas Nistal,
Luis E. Anido-Rifón,
Manuel J. Fernández Iglesias:
Student Participation and First Results from SimulNet, a Distance Access Training Laboratory.
Teleteaching 1998: 615-626 |
| 1997 |
|---|
| 2 | | Manuel J. Fernández Iglesias,
Martín Llamas Nistal:
Algebraic Specification through Expression Transformation.
FORTE 1997: 355-366 |
| 1996 |
|---|
| 1 | | Martín Llamas Nistal,
Juan Quemada,
Manuel J. Fernández Iglesias:
Direct Verification of Bisimulations.
FORTE 1996: 349-363 |
