GISUM Grupo de Ingeniería del Software de la Universidad de Málaga

Capítulos de Libros

1.

Christian Cintrano; Javier Ferrer; Manuel López-Ibáñez; Enrique Alba

Hybridization of Racing Methods with Evolutionary Operators for Simulation Optimization of Traffic Lights Programs Capítulo de libro

En: pp. 17-33, 2021, ISBN: 978-3-030-72903-5.

BibTeX | Enlaces:

2.

Miguel Domínguez-Ríos; Francisco Chicano; Enrique Alba

Improving Search Efficiency and Diversity of Solutions in Multiobjective Binary Optimization by Using Metaheuristics Plus Integer Linear Programming Capítulo de libro

En: pp. 242-257, 2021, ISBN: 978-3-030-72698-0.

BibTeX | Enlaces:

3.

Miguel Domínguez-Ríos; Francisco Chicano; Enrique Alba

Improving Search Efficiency and Diversity of Solutions in Multiobjective Binary Optimization by Using Metaheuristics Plus Integer Linear Programming Capítulo de libro

En: pp. 242-257, 2021, ISBN: 978-3-030-72698-0.

BibTeX | Enlaces:

4.

Jose Pastrana Brincones

Virtual Dog Capítulo de libro

En: pp. 88-95, 2021, ISBN: 978-3-030-55189-6.

BibTeX | Enlaces:

5.

Christian Cintrano; Javier Ferrer; Enrique Alba

Intelligent System for the Reduction of Injuries in Archery Capítulo de libro

En: pp. 128-137, 2020, ISBN: 978-3-030-41912-7.

BibTeX | Enlaces:

6.

Francisco Luna; Pablo Zapata-Cano; Ángel Palomares-Caballero; Juan Valenzuela-Valdés

A Capacity-Enhanced Local Search for the 5G Cell Switch-off Problem Capítulo de libro

En: pp. 165-178, 2020, ISBN: 978-3-030-41912-7.

BibTeX | Enlaces:

7.

Houssem Eddine Ben Smida; Francisco Chicano; Saoussen Krichen

Iterated Granular Neighborhood Algorithm for the Taxi Sharing Problem Capítulo de libro

En: pp. 291-304, 2020, ISBN: 978-3-030-43721-3.

BibTeX | Enlaces:

8.

María-del-Mar Gallardo; Laura Panizo

Trace Analysis Using an Event-Driven Interval Temporal Logic Capítulo de libro

En: pp. 177-192, 2020, ISBN: 978-3-030-45259-9.

BibTeX | Enlaces:

9.

Sergio Nesmachnow; Jonathan Muraña; Gerardo Goñi; Renzo Massobrio; Andrei Tchernykh

Evolutionary Approach for Bus Synchronization Capítulo de libro

En: pp. 320-336, 2020, ISBN: 978-3-030-41004-9.

BibTeX | Enlaces:

10.

Daniel Flores-Martin; Sergio Laso; Javier Berrocal; Carlos Canal; Juan Murillo

Allowing IoT Devices Collaboration to Help Elderly in Their Daily Lives Capítulo de libro

En: pp. 111-122, 2020, ISBN: 978-3-030-41493-1.

BibTeX | Enlaces:

11.

Daniel Jesus Muñoz Guerra; Denisa Constantinescu; Rafael Asenjo; Lidia Fuentes

ClinicAppChain: A Low-Cost Blockchain Hyperledger Solution for Healthcare Capítulo de libro

En: pp. 36-44, 2020, ISBN: 978-3-030-23812-4.

BibTeX | Enlaces:

12.

Manuel Bertoa; Nathalie Moreno; Alejandro Pérez-Vereda; David Bandera; José Álvarez-Palomo; Carlos Canal

Digital Avatars for Older People’s Care Capítulo de libro

En: pp. 59-70, 2020, ISBN: 978-3-030-41493-1.

BibTeX | Enlaces:

13.

Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel

A Formal Programming Framework for Digital Avatars Capítulo de libro

En: pp. 236-251, 2020, ISBN: 978-3-030-57505-2.

BibTeX | Enlaces:

14.

Renzo Massobrio; Sergio Nesmachnow

Urban Data Analysis for the Public Transportation System of Montevideo, Uruguay Capítulo de libro

En: pp. 199-214, 2020, ISBN: 978-3-030-38888-1.

BibTeX | Enlaces:

15.

David Bandera; Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel

A Programming Framework for People as a Service Capítulo de libro

En: pp. 308-312, 2020, ISBN: 978-3-030-45988-8.

BibTeX | Enlaces:

16.

Rubén Saborido Infantes; Ana Belen Ruiz; Mariano Luque; Kaisa Miettinen

IRA-EMO: Interactive Method Using Reservation and Aspiration Levels for Evolutionary Multiobjective Optimization: 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings Capítulo de libro

En: pp. 618-630, 2019, ISBN: 978-3-030-12597-4.

BibTeX | Enlaces:

17.

Francisco Chicano; Gabriela Ochoa; Darrell Whitley; Renato Tinós

Quasi-Optimal Recombination Operator Capítulo de libro

En: pp. 131-146, 2019, ISBN: 978-3-030-14811-9.

BibTeX | Enlaces:

18.

Daniel Flores-Martin; Javier Berrocal; Jose Garcia-Alonso; Carlos Canal; Juan Murillo

Enabling the Interconnection of Smart Devices Through Semantic Web Techniques Capítulo de libro

En: pp. 534-537, 2019, ISBN: 978-3-030-19273-0.

BibTeX | Enlaces:

19.

Atanu Mazumdar; Tinkle Chugh; Kaisa Miettinen; Manuel López-Ibáñez

On Dealing with Uncertainties from Kriging Models in Offline Data-Driven Evolutionary Multiobjective Optimization: 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings Capítulo de libro

En: pp. 463-474, 2019, ISBN: 978-3-030-12597-4.

BibTeX | Enlaces:

20.

Jonathan Denis; Renzo Massobrio; Sergio Nesmachnow; Alfredo Cristobalsalas; Andrei Tchernykh; Esteban Meneses

Parallel Computing for Processing Data from Intelligent Transportation Systems Capítulo de libro

En: pp. 266-281, 2019, ISBN: 978-3-030-38042-7.

BibTeX | Enlaces:

21.

Juan Caro-Romero; Joaquin Ballesteros; Francisco García-Lagos; Cristina Urdiales; Francisco Sandoval

A Neural Network for Stance Phase Detection in Smart Cane Users Capítulo de libro

En: pp. 310-321, 2019, ISBN: 978-3-030-20520-1.

BibTeX | Enlaces:

22.

José M García-Nieto; Ismael Navas; María Mar Roldán-García; Antonio J Nebro; María Teresa Gómez; Beatriz Bernárdez; José F Aldana

Coordinación de casos prácticos en asignaturas del área de conocimeinto Capítulo de libro

En: Investigación y práctiva en la educación superor= Investigación e práctica na educación superor, pp. 701–705, Educación Editora, 2018, ISBN: 978-84-15524-38-0.

BibTeX

23.

Inmaculada Ayala; Mercedes Amor; Jose-Miguel Horcas; Lidia Fuentes

Model Driven Evolution of an Agent-Based Home Energy Management System Capítulo de libro

En: New Trends in Intelligent Software Methodologier, Tools and Techniques. Frontiers in Artificiao Intelligence and Applications; Vol. 303, pp. 17–30, IOS Press, 2018, ISBN: 978-1-61499-899-0.

BibTeX | Enlaces:

24.

Ismael Navas; María Jesús García-Godoy; Esteban López; Maciek Rybinski; José F Aldana

Kpath: integración de datos de rutas metabólicas utilizando la tecnología de datos vinculados Capítulo de libro

En: Miguel Ángel Medina Torres, Fernanda Suárez Marín, Francisco José Alonso Carrión, [coords.]. La Enseñanza del metabolismo: retos y oportunidades, pp. 221–237, Universidad de Málaga, 2017, ISBN: 978-84-697-7814-2.

BibTeX

25.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Using SPL to develop AAL systems based on self-adaptive agents Capítulo de libro

En: F. de la Prieta et al. (eds.), Trends in Pract. Appl. of Scalable Multi-Agent Syst., the PAAMS Collection, Advances in Intelligent Systems and Computing 473, pp. 263–275, 2016, ISBN: 978-3-319-40158-4.

BibTeX | Enlaces:

26.

Rubén Ríos; Javier López; Jorge Cuellar

Location privacy in WSNs: solutions challenges, and future trends Capítulo de libro

En: pp. 244–282, Springer, 2014, ISBN: 978-3-319-10081-4.

BibTeX

27.

Jose A Martín; Fabio Martinelli; Llaria Matteucci; Ernesto Pimentel; Mathieu Turuani

On the Synthesis of secure services composition Capítulo de libro

En: pp. 140–159, Springer, 2014, ISBN: 978-3-319-07451-1.

BibTeX

28.

Francisco Moyano; Carmen Fernandez-Gago; Benoit Baudry; Javier Lopez

Engineering trust-awareness and self-adaptability in services and systems Capítulo de libro

En: pp. 180–209, Springer, 2014, ISBN: 978-3-319-07451-1.

BibTeX

29.

Guillermo Leguizamón; Enrique Alba

Ant colony based algorithms for dynamic optimization problems Capítulo de libro

En: pp. 189–210, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-30665-5.

BibTeX

30.

Andrea Villagra; Enrique Alba

Hybridizing cGAs with PSO-like mutation Capítulo de libro

En: pp. 289–302, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-32725-4.

BibTeX

31.

Julián Domínguez; Enrique Alba

HydroCM: a hybrid parallel search model for heterogeneous platforms Capítulo de libro

En: pp. 219–235, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-30664-8.

BibTeX

32.

Mostepha R. Khouadjia; Briseida Sarasola; Enrique Alba; El-ghazali Talbi; Laetitia Jourdan

Metaheuristics for dynamic vehicle routing Capítulo de libro

En: pp. 265–289, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-30665-5.

BibTeX

33.

Enrique Alba; Briseida Sarasola

Quantitative performance measures for dynamic optimization problems Capítulo de libro

En: pp. 17–33, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-30665-5.

BibTeX

34.

A Villagra; Enrique Alba

Hybridizing cellular GAs with active components of bio-inspired algorithms Capítulo de libro

En: pp. 121–133, Springer-Verlag, Berlin Heidelberg, 2013, ISBN: 978-3-642-30671-6.

BibTeX

35.

Javier Cubo; Ernesto Pimentel

Reusing services through context-aware discovery and adaptation in pervasive systems Capítulo de libro

En: Adaptative web services for modular and reusable software development: tactics and solutions, IGI Global, 2013, ISBN: 978-1466620896.

BibTeX

36.

David Rodríguez Rueda; Carlos Cotta; Antonio J. Fernández-Leiva

The Template design problem: a perspective with metaheuristics Capítulo de libro

En: Karl K. Sabelfeld; Ivan Dimow (eds.). Monte Carlo Methods and Applications: proceedings of the 8th IMACS Seminar on Monte Carlo Methods, august 29-september2, 2012. Borovets, Bulgaria, De Gruyter, Berlín, 2013, ISBN: 978-3-11-029347-0.

BibTeX

37.

Francisco Javier López Muñoz; Roberto Setola; Stephen Wolthusen

Overview of Critical Information Infrastructure Protection Capítulo de libro

En: Javier Lopez; Roberto Setola and Stephen D. Wolthusen (Eds.). Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense, Springer, 2012, ISBN: 978-3-642-28920-0.

BibTeX

38.

Lidia Fuentes; Nadia Gámez; Pablo Sánchez

Variability in ambient intelligence: a family of middleware solution Capítulo de libro

En: Kevin Curran (ed.). Ubiquitous developmnts in ambient computing and intelligence: human-centered applications, Igi Global, 2011, ISBN: 9781609605490.

BibTeX

39.

Juan J. Durillo; Antonio J. Nebro; José García-Nieto; Enrique Alba

On the Velocity update in multi-objective particle swarm optimizers Capítulo de libro

En: Carlos A. Coello Coello; Clarisse Dhaenens, and Laetitia Jourdan (eds.). Advances in multi-objective nature inspired computing, Springer, Berlín, 2010, ISBN: 978-3-642-11217-1.

BibTeX

40.

José Luis Pastrana Brincones

Escultismo: más de 100 años implantando la filosofía del espacio europeo de educación superior Capítulo de libro

En: La docencia en el nuevo escenario del espacio europeo de educación superior= a docencia no novo escenario do espazo europeo de educación superior, Universidade de Vigo, 2010, ISBN: 978-84-8158-494-3.

BibTeX

41.

Álvaro Manuel Recio

Creación e instalación de aplicaciones Capítulo de libro

En: pp. 11–36, Editorial Arguval, Málaga, 2010, ISBN: 978-84-9612-86-1.

BibTeX

42.

Alberto Salmerón

Descriptores Capítulo de libro

En: pp. 67–81, Editorial Arguval, Málaga, 2010, ISBN: 978-84-9612-86-1.

BibTeX

43.

Almudena Díaz

Gestión de los recursos del sistema: arquitectura cliente-servidor Capítulo de libro

En: pp. 117–130, Editorial Arguval, Málaga, 2010, ISBN: 978-84-9612-86-1.

BibTeX

44.

Almudena Díaz; Pedro Merino

Incorporanto TCP/IP en las aplicaciones Symbian Capítulo de libro

En: pp. 131–158, Editorial Arguval, Málaga, 2010, ISBN: 978-84-9612-86-1.

BibTeX

45.

Laura Panizo

Objetos activos Capítulo de libro

En: pp. 101–116, Editorial Arguval, Málaga, 2010, ISBN: 978-84-9612-86-1.

BibTeX

46.

Álvaro Manuel Recio

Portabilidad de aplicaciones usando Open C/C++ Capítulo de libro

En: pp. 171–199, Editorial Arguval, Málaga, 2010, ISBN: 978-84-9612-86-1.

BibTeX

47.

Alberto Salmerón

Tipos, clases y convenciones de nombrado Capítulo de libro

En: pp. 37–49, Editorial Arguval, Málaga, 2010, ISBN: 978-84-9612-86-1.

BibTeX

48.

Mercedes Amor; Lidia Fuentes

Context-aware agents for vehicular networks: an aspect-oriented approach Capítulo de libro

En: pp. 139–146, Springer-Verlag, Berlin-Heidelberg, 2010, ISBN: 978-3-642-12432-7.

BibTeX

49.

Jhon Edgar Amaya; Carlos Cotta; Antonio J. Fernández-Leiva

Hybrid cooperation models for the tool switching problem Capítulo de libro

En: Juan R. González...[et al], (eds). Nature inspired cooperative strategies for optimization (NICSO 2010). Studies in computational intelligence; 284, Springer-Verlag, Berlín, 2010, ISBN: 978-3-642-12537-9.

BibTeX

50.

Antonio Maña; Gimena Pujol; Antonio Muñoz

Policy-based security engineering of service oriented systems Capítulo de libro

En: Carlos A. Gutiérrez; Eduardo Fernández-Medina and Mario Piattini (eds.). Web services security development and architecture: theoretical and practical issues, Igi Global, 2010, ISBN: 978-1-60566-950-2.

BibTeX

51.

Pedro Merino; José María Álvarez; Laura Panizo; Francisco C Pérez; Andrés Sanz

Communication software: design and testing Capítulo de libro

En: Encyclopedia of Software Engineering, pp. 153–169, Taylor & Francis, 2010, ISBN: 978-1-4200-5977-9.

BibTeX

52.

Antonio J Fernández; Pablo Guerrero

Jornadas de alumnos de informática sobre juegos. Una metáfora de congreso docente como sistema de evaluación dentro del marco del espacio europeo de educación superior Capítulo de libro

En: La docencia en el nuevo escenario del espacio europeo de educación superior= a docencia no novo escenario do espazo europeo de educación superior, Universidade de Vigo, 2010, ISBN: 978-84-8158-494-3.

BibTeX

53.

José F Aldana; Sergio Muñoz

Arquitectura informática y desarrollo computacional para la investigación terminológico-conceptual de colecciones textuales. ATENEA: sistema informático integral de gestión e investigación Capítulo de libro

En: Nuria Rodríguez Ortega (dir.). Teoría y literatura artística en la sociedad digital: construcción y aplicabilidad de colecciones textuales informatizadas. La experiencia del proyecto ATENEA, Ediciones TREA, Gijón, Asturias, 2009, ISBN: 978-84-9704-462-2.

BibTeX

54.

Francisco Chicano; Enrique Alba

Debugging concurrent programs using metaheuristics Capítulo de libro

En: Software engineering and development, Nova Publishers, New York, 2009, ISBN: 978-1-60692-146-3.

BibTeX

55.

Antonio Muñoz; Antonio Maña; Daniel Serrano

Model checking ambient intelligence with AVISPA Capítulo de libro

En: pp. 182–193, IOS Press, 2009, ISBN: 978-1-58603-946-2.

BibTeX

56.

Álvaro Armenteros; Laura García; Antonio Muñoz; Antonio Maña

Realising the potential of SERENITY in emerging AmI ecosystems: implications and challenges Capítulo de libro

En: pp. 323–342, Springer, Berlin, 2009, ISBN: 978-0-387-88774-6.

BibTeX

57.

Francisco Sánchez-Cid; Anonio Maña; George Spanoudakis; Daniel Serrano; Antonio Muñoz

Representation of security and dependability solutions Capítulo de libro

En: pp. 69–95, Springer, Berlin, 2009, ISBN: 978-0-387-88774-6.

BibTeX

58.

Carsten Rudolph; Luca Compagna; Antonio Muñoz; Jurgen Repp

Verification of S & D solutions for workflows, network communications and devices Capítulo de libro

En: pp. 143–164, Springer, Berlin, 2009, ISBN: 978-0-387-88774-6.

BibTeX

59.

Gabriel Luque; Enrique Alba; B Dorronsoro

Analyzing parallel cellular genetic algorithms Capítulo de libro

En: Enrique Alba…, [et al], (eds.). Optimization techniques for solving complex problems, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

60.

G. Leguizamón; G. Ordóñez; S. Molina; E. Alba

Canonical metaheuristics for dynamic optimization problems Capítulo de libro

En: Enrique Alba…, [et al], (eds.). Optimization techniques for solving complex problems, Wiley, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

61.

A. J. Nebro; J. J. Durillo; F. Luna; E. Alba

Evaluating new advanced multiobjective metaheuristics Capítulo de libro

En: Enrique Alba…, [et al], (eds.). Optimization techniques for solving complex problems, Wiley, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

62.

C. Salto; J. M. Molina; E. Alba

Greedy seedign and problem-specific operators for GAs solution of strip packing problems Capítulo de libro

En: Enrique Alba…, [et al], (eds.). Optimization techniques for solving complex problems, Wiley, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

63.

Antonio J. Nebro; Juan J. Durillo

On the effect of applying a steady-state selection scheme in the multi-objective genetic algorithm NSGA-II Capítulo de libro

En: Raymond Chiong, (ed.). Nature inspired algorithms for optimisation, pp. 435–456, Berlin, 2009, ISBN: 978-3-642-00266-3.

BibTeX

64.

G. Molina; F. Chicano; E. Alba

Optimal location of antennas in telecommunication networks Capítulo de libro

En: Enrique Alba…, [et al], (eds.). Optimization techniques for solving complex problems, Wiley, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

65.

J. García-Nieto; F. Chicano; E. Alba

Remote optimization service Capítulo de libro

En: Enrique Alba…, [et al], (eds.). Optimization techniques for solving complex problems, Wiley, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

66.

J E Gallardo; Carlos Cotta; A J Fernández

Exact, metaheuristic, and hybrid approaches to multidimensional knapsack problems Capítulo de libro

En: Enrique Alba...[et al.], (eds.). Optimization techniques for solving complex problems, pp. 365–380, Wiley, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

67.

Carlos Cotta; Antonio J Fernández; J E Gallardo; Gabriel Luque; Enrique Alba

Metaheuristics in bioinformatics: DNA sequencing and reconstruction Capítulo de libro

En: Enrique Alba...[et al], (eds.). Optimization techniques for solving complex problems, pp. 265–286, Wiley, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

68.

Carlos Cotta; A J Fernández

Solving constrained optimization problems with hybrid evolutionary algorithms Capítulo de libro

En: Enrique Alba..[et. al], (eds.). Optimization techniques for solving complex problems, pp. 101–115, Wiley, New Jersey, USA, 2009, ISBN: 978-0-470-29332-4.

BibTeX

69.

Antonio Maña; G. Spanoudakis; Spyros Kokolakis

Future directions Capítulo de libro

En: pp. 379–384, Springer-Verlag, Berlin, 2009, ISBN: 978-0-387-88774-6.

BibTeX

70.

Beatriz Gallego_Nicasio; Daniel Serrano; Antonio Maña

Pattern driven selection and configuratin of S & D mechanisms at runtime Capítulo de libro

En: George Spanoudakis, Antonio Maña y Spyros Kokolakis, (Eds.). Security and dependability for ambient intelligence. Advances in information security. Vol 45, pp. 199–212, Springer-Verlag, Berlín, 2009, ISBN: 978-0-387-88774-6.

BibTeX

71.

Daniel Serrano; Antonio Maña; Gimena Pujol; David Donnan; Joseph Latanicki

Security aware development of e-government systems Capítulo de libro

En: pp. 251–278, IGI Global, 2009, ISBN: 978-1605662411.

BibTeX

72.

Antonio Roa-Valverde; Ismael Navas-Delgado; José Aldana-Montes

Semantic web services: towards and appropiate solution to application integration Capítulo de libro

En: pp. 259–280, IGI Global, 2009, ISBN: 978- 1605666501.

BibTeX

73.

Daniel Serrano; Antonio Maña; Rafael Llarena; Beatriz Gallego_Nicasio; Keqin Li

Serenity aware development of security and dependability solutions Capítulo de libro

En: pp. 127–142, Springer-Verlag, Berlin, 2009, ISBN: 978-0-387-88774-6.

BibTeX

74.

Daniel Serrano; Antonio Maña; Rafael Llarena; Beatriz Gallego_Nicasio Crespo; Keqin Li

Serenity aware system development process Capítulo de libro

En: pp. 165–182, Springer-Verlag, Berlin, 2009, ISBN: 978-0-387-88774-6.

BibTeX

75.

Beatriz Gallego_Nicasio Crespo; Ana Piñuela; Pedro Soria-Rodríguez; Daniel Serrano; Antonio Maña

The Serenity runtime framework Capítulo de libro

En: pp. 183–198, Springer-Verlag, Berlin, 2009, ISBN: 978-0-387-88774-6.

BibTeX

76.

Thomas Weise; Michael Zapf; Raymong Chiong; Antonio J Nebro

Why is optimization difficult? Capítulo de libro

En: pp. 1–50, Springer-Verlag, Berlin, 2009, ISBN: 978-3-642-00266-3.

BibTeX

77.

Ismael Navas; José F Aldana

Data integration: introducing semantics Capítulo de libro

En: pp. 460–470, IGI Global, 2009, ISBN: 1605662429.

BibTeX

78.

Feijoo Colomine; Carlos Cotta; Antonio J Fernández

Evolutionary optimization for multiobjective portfolio selection under Markowitz´s Model with application to the caracas stock exchange Capítulo de libro

En: Raymond Chiong, (ed.). Nature inspired algorithms for optimisation. Studies in computational intelligence; 193, Springer, Berlin, 2009, ISBN: 978-3-642-00266-3.

BibTeX

79.

Lidia Fuentes; Nadia Gámez; Pablo Sánchez

Variability in AmI middleware context-awareness service Capítulo de libro

En: Peter Mikulecký; et al. (eds.). Ambient Intelligence perspectives: selected papers form the First International Ambient Intelligence. Forum 2008, IOS Press, Amsterdam, The Netherlands, 2008, ISBN: 978-1-58603-946-2.

BibTeX

80.

Nathalie Moreno; José Raúl Romero; Antonio Vallecillo

An Overview of Model-Driven web engineering and the MDA Capítulo de libro

En: G. Rossi; O. Pastor; D. Schwabe and L. Olsina (Eds.). Web Engineering: modelling and Implementing Web Applications, pp. 353–382, Springer, Berlin, 2008, ISBN: 978-1-84628-922-4.

BibTeX

81.

Rodrigo Roman; Cristina Alcaraz; Nicolas Sklavos

On the Hardware implementation efficiency of cryptographic primitives Capítulo de libro

En: pp. 291–311, IOS Press, Amsterdam, The Netherlands, 2008, ISBN: 978-1-58603-813-7.

BibTeX

82.

Javier Lopez; Jianying Zhou

Overview of wireless sensor network security Capítulo de libro

En: pp. 1–21, IOS Press, Amsterdam, The Netherlands, 2008, ISBN: 978-1-58603-7.

BibTeX

83.

Ismael Navas-Delgado; Raúl Montañez; Miguel Ángel Medina; José Luis Urdiales; José F. Aldana; Francisca Sánchez-Jiménez

The Amine system project: systems biology in practice Capítulo de libro

En: pp. 277–292, Springer, Berlin, 2008, ISBN: 978-540-76802-9.

BibTeX

84.

Christian Blum; Carlos Cotta; Antonio J Fernández; José E Gallardo; Monaldo Mastrolilli

Hibridizations of metaheuristcs with branch & bound derivates Capítulo de libro

En: C. Blum, et al.: Hibryd metaheuristics-an emergent approach for optimization, pp. 85–116, 2008, ISBN: 978-3-540-78294-0.

BibTeX

85.

Carmen M Fernandez; Rodrigo Roman; Javier Lopez; Hsiao-Hwa Chen

Trust and reputation systems for wireless sensor networks Capítulo de libro

En: Stefanos Gritzalis, Tom Karygiannis and Charalabos Skianis (Eds.). Security and Privacy in Mobile and Wireless Networking, pp. to Appear, Troubador Publishing Ltd., 2007, ISBN: 978-1905886-906.

BibTeX

86.

Luigi Telesca; Hristo Koshutanski

A Trusted negotiation environment for digital ecosystems Capítulo de libro

En: pp. 141–146, European Commission press, 2007, ISBN: 92-79-01817-5.

BibTeX

87.

Hristo Koshutanski; Fabio Massacci

Interactive access control and trust negotiation for autonomic communication Capítulo de libro

En: IGI press, 2007, ISBN: 978-1-59904-090-5.

BibTeX

88.

Pablo Najera; Javier Lopez

RFID: technological issues and privacy concerns Capítulo de libro

En: pp. to appear, Taylor and Francis, 2007, ISBN: 978-1420052176.

BibTeX

89.

Sandy Tyndale-Biscoe; Antonio Vallecillo; Bryan Wood

Enterprise modeling with ODP and UML Capítulo de libro

En: Peter Rittgen (Ed.). Enterprise modeling and computing with UML, pp. 115–137, Idea Group, Hershey; London, etc., 2007, ISBN: 1-59904-174-X.

BibTeX

90.

Nathalie Moreno; José E Rivera; Antonio Vallecillo

Desarrollo de Software dirigido por Modelos Capítulo de libro

En: Romero, Raúl (Ed.): M. Piattini, J. Garzás (eds.). Fábricas de software: experiencias, tecnologías y organización, pp. Cap.2, 2007, ISBN: 978-84-7997-809-0.

BibTeX

91.

J Muruzabal; Carlos Cotta

A Study on the evolution of Bayesian network graph structures Capítulo de libro

En: pp. 193–214, Springer-Verlag, 2007.

BibTeX

92.

Carlos Cotta; M Langston; Pablo Moscato

Combinatorial and algorithmic issues for microarray analysis Capítulo de libro

En: pp. cap. 74, Chapman & Hall; CRC Press, 2007, ISBN: 978-1-58488-550-4.

BibTeX

93.

Pablo Moscato; Carlos Cotta

Memetic algorithms Capítulo de libro

En: pp. cap. 27, Chapman & Hall; CRC Press, 2007, ISBN: 978-1-58488-550-4.

BibTeX

94.

Antonio Maña; Mariemma I. Yagüe; Stamatis Karnouskos; Habtamu Abie

Information use-control in e-government applications Capítulo de libro

En: pp. 1076–1082, Idea Group Reference, Hershey, London, 2007, ISBN: 1-59140-789-3.

BibTeX

95.

Carlos Cotta; Antonio J Fernández

Memetic algorithms in planning, scheduling and timetabling Capítulo de libro

En: Keshav P. Dahal, et al (Ed.). Evolutionary Scheduling, pp. 1–30, Springer, Berlin, 2007, ISBN: 3540485821.

BibTeX

96.

José E Gallardo; Carlos Cotta; Antonio J Fernández

Reconstructing phylogenies with Memetic Algorithms and Branch-and-Bound Capítulo de libro

En: Sanghamitra Bandyopadhyay; Ujjwal Maulik and Janson Tsong-Li Wang (Eds.). Analysis of biological data: a soft computing approach, pp. 59–84, World Scientific, 2007, ISBN: 981-270-780-8.

BibTeX

97.

Isaac Agudo; Javier Lopez; Jose A Montenegro

Delegation service: a step beyond authorization Capítulo de libro

En: D. Khadraoui and F. Herrmann (Eds.). Advances in enterprise IT security, pp. 149–168, Idea Group, 2006, ISBN: 978-1599040905.

BibTeX

98.

Jose L Vivas; Javier Lopez; Jose A Montenegro

Grid security architecture: requirements, fundamentals, standards and models Capítulo de libro

En: Yang Xiao (Ed.). Security in distributed, Grid and pervasive computing, pp. 255–288, CRC Press, 2006, ISBN: 978-0849379215.

BibTeX

99.

Enrique Alba; José Francisco Chicano; Francisco Luna; Antonio J Nebro

Advanced evolutionary algorithms for training neural networks Capítulo de libro

En: Stephan Olariu and Albert Y. Zomaya (Eds.) Handbook of bioinspired algorithms and applications, Chapman & Hall, Boca Ratón, Florida, 2006, ISBN: 1-5848-475-4.

BibTeX

100.

María Mar Roldán-García; Ismael Navas-Delgado; José F Aldana-Montes

Applying database techniques to the semantic web Capítulo de libro

En: Laura C. Rivero; Jorge Horacio Doorn and Viviana E. Ferraggine (Eds). Encyclopedia of database technologies and applications, pp. 18–22, Idea Group, 2006, ISBN: 1-59140-560-2.

BibTeX

101.

Enrique Alba; Carlos Cotta

Evolutionary algorithms Capítulo de libro

En: Stephan Olariu and Albert Y. Zomaya (Eds.).Handbook of bioinspired algorithms and applications, pp. 103–120, Chapman & Hall, Boca Ratón, Florida (Etc.), 2006, ISBN: 1-58488-475-4.

BibTeX

102.

A. J. Nebro; E. Alba; F. Luna

Observations in using Grid technlogies for multi-objective optimization Capítulo de libro

En: Beniamino di Martino... [et. al] , (Eds.). Engineering the Grid: status and perspectives, pp. 27–39, Stevenson Ranch, California, 2006, ISBN: 1-58883-038-1.

BibTeX

103.

Sergio Ramirez; Enrique Andres; Ismael Navas; Antonio Jose Perez; José Francisco Aldana; Oswaldo Trelles Salazar

Services integration and task-scheduling in bioinformatics grids Capítulo de libro

En: G. R. Joubert, et al (eds.). Parallel computing : current and future issues of high and computing : proceedings of the International Conference ParCo 2005, pp. 735–742, John von Neumann Institute for Computing, Jülich, Germany, 2006, ISBN: 3-00-017352-8.

BibTeX

104.

Manuel F Bertoa; Antonio Vallecillo; Félix García

An Ontology for software measurement Capítulo de libro

En: C. Calero; F. Ruiz and M. Piattini (Eds.). Ontologies for software engineering and software technology, Springer, Berlin, 2006, ISBN: 3-540-34517-5.

BibTeX

105.

Julio Madera; Bernabé Dorronsoro

Estimation of distribution algorithms Capítulo de libro

En: Enrique Alba y Rafael Martí (Eds.). Metaheuristic procedures for training neural networks, pp. 87–108, Springer, USA, 2006, ISBN: 0-387-33415-7.

BibTeX

106.

Enrique Alba; Francisco Chicano

Genetic algorithms Capítulo de libro

En: Enrique Alba y Rafael Martí (Eds.). Metahueristic procedures for training neural networks, pp. 109–138, Springer, 2006, ISBN: 0-387-33415-7.

BibTeX

107.

Francisco Luna; Antonio J Nebro; Enrique Alba

Parallel evolutionary multiobjective optimization Capítulo de libro

En: N. Nedjah; E. Albaand L. de Macedo Mourelle (Eds.). Parallel Evolutionary Computations, pp. 33–56, Springer, Berlin-Heidelberg, 2006, ISBN: 3-540-32837-8.

BibTeX

108.

Enrique Alba; Gabriel Luque

Perfomance of distributed GAs on DNA fragment assembly Capítulo de libro

En: N. Nedjah; E. Alba; L. de Macedo Mourelle (Eds.). Parallel evolutionary computations, pp. 97–115, Springer, Berlin-Heidelberg, 2006, ISBN: 3-540-32837-8.

BibTeX

109.

Enrique Alba; Gabriel Luque; S. Khuri

Assembling DNA fragments with a distributed genetic algorithm Capítulo de libro

En: pp. 285–302, Wiley, 2006, ISBN: 0-471-71848-3.

BibTeX

110.

Enrique Alba; Bernabe Dorronsoro Diaz; M Giacobini; Marco Tomassini

Decentralized cellular evolutionary algorithms Capítulo de libro

En: Stephan Olariu and Albert Y. >omaya (Eds.) Handbook of bioinspired algorithms and applications, pp. 3–19, Chapman & Hall, Boca Ratón, Florida (etc.), 2006, ISBN: 1-58488-475-4.

BibTeX

111.

N Melab; E-G Talbi; S Cahon; E Alba; G Luque

Parallel metaheuristics: algorithms and frameworks Capítulo de libro

En: El-Ghazali Talbi (Ed.). Parallel combinatorial optimization, pp. 149–161, Wiley-Interscience, Hoboken, New Jersey, 2006, ISBN: 978-0-471-72101-7.

BibTeX

112.

María Mar Gallardo; Jesús Martínez; Pedro Merino; Ernesto Pimentel

Abstracting UML behaviour diagrams for verification Capítulo de libro

En: Hongji Yang (Ed.).Software evolution with UML and XML, pp. 296–320, Idea Group Publishing, Leicester, Inglaterra, 2005, ISBN: 1-59140-462-2.

BibTeX

113.

Antonio José Fernández Leiva; Javier Jiménez González

Action games evolutive experiences Capítulo de libro

En: Bernd Reusch, (Ed.). Computational intelligence, theory and applications, pp. 487–501, Springer, Berlín, 2005, ISBN: 3-540-22807-1.

BibTeX

114.

Aldana J F Montes; Gómez A C Lora; Moreno N Vergara; Navas I Delgado; Roldán M M García

Database technologies on the web Capítulo de libro

En: Encyclopedia of Information science and technology, pp. 745–749, 2005, ISBN: 1-59140-553-X.

BibTeX

115.

Enrique Alba; Gabriel Luque

Measuring the performance of parallel metaheuristics Capítulo de libro

En: Enrique Alba (ed.). Parallel metaheuristics: a new class of algorithms, pp. 43–62, John Wiley & Sons, Hoboken, New Yersey, 2005, ISBN: 0-471-67806-6.

BibTeX

116.

E.Alba; E-G Talbi; N Melab

Metaheuristics and parallelism Capítulo de libro

En: Luque, G (Ed.): Enrique Alba (Ed.). Parallel metaheuristics: a new class of algorithms, pp. 79–104, John Wiley & Sons, Hoboken, New Jersey, 2005, ISBN: 0-471-67806-6.

BibTeX

117.

Enrique Alba; Antonio J Nebro

New technologies in paralellism Capítulo de libro

En: Enrique Alba (Ed). Parallel metaheuristics: a new class of algorithms, pp. 63–78, John Wiley & Sons, Hoboken, New Yersey, 2005, ISBN: 0-471-67806-6.

BibTeX

118.

Enrique Alba; S Khuri

Parallel algorithms for solving the fragment assembly problem in Dna strands Capítulo de libro

En: Wiley &Sons, 2005, ISBN: 0-471-71848-3.

BibTeX

119.

Enrique Alba; Bernabé Dorronsoro

Parallel genetic algorithms Capítulo de libro

En: Luque, Gabriel (Ed.): Enrique Alba (Ed.). Parallel metaheuristics a new class of algorithms, pp. 107–126, John Wiley & Sons, Hoboken, New Yersey, 2005, ISBN: 0-471-67806-6.

BibTeX

120.

Francisco Luna; Enrique Alba; Antonio J Nebro

Parallel heterogeneous metaheuristics Capítulo de libro

En: Enrique Alba, (Ed.). Parallel metaheuristics: a new class of algorithms, pp. 395–422, Jonh Wiley & Sons, Hoboken, New Jersey, 2005, ISBN: 0-471-67806-6.

BibTeX

121.

Carlos Cotta; El-ghazali Talbi; Enrique Alba

Parallel hybrid metaheuristics Capítulo de libro

En: Enrique Alba (Ed.). Parallel metaheuristics: a new class of algorithms, pp. 347–370, John Wiley & Sons, Hoboken, N.J., 2005, ISBN: 0-471-67806-6.

BibTeX

122.

A. J. Nebro; F. Luna; E-G. Talbi; E. Alba

Parallel multi-objective optimization Capítulo de libro

En: Enrique Alba (Ed.). Parallel metaheuristics: a new class of algorithms, pp. 371–394, John Wiley & Sons, Hoboken, N.J., 2005, ISBN: 0-471-67806-6.

BibTeX

123.

Carlos Cotta; Antonio J Fernández; José L Pastrana; Enrique Soler; Mariemma I Yagüe

Proyecto Ápice 3 y Suma adaptación de la programación en Informática al EEES en la Universidad de Málaga Capítulo de libro

En: Innovación educativa y enseñanza virtual en la Universidad de Málaga, pp. 1–14, 2005.

BibTeX

124.

Luis Iribarne; José María Troya; Antonio Vallecillo

Trading for COTS components to fulfill architectural requirements Capítulo de libro

En: Sergio de Cesare; Mark Lycett and Robert D. Macredie (Eds.). Development of component-based information systems, pp. 202–222, M.E. Sharpe, 2005, ISBN: 0-7656-1248-8.

BibTeX

125.

Julio Madera; Enrique Alba; Alberto Ochoa

Parallel estimation of distribution algorithms Capítulo de libro

En: Enrique Alba (Ed.). Parallel metaheuristics: a new class of algoritms, pp. 203–222, Wiley, USA, 2005, ISBN: 13-978-0-47-67806-9.

BibTeX

126.

Christian Blum; Andrea Roli; Enrique Alba

An Introduction to metaheuristics techniques Capítulo de libro

En: Enrique Alba (Ed.). Parallel metaheuristics: a new class of algoritms, pp. 3–31, John Wiley & Sons, Hoboken, New Yersey, 2005, ISBN: 0-471-67806-6.

BibTeX

127.

Amparo Consuelo Civila Salas; Antonio J. Fernández Leiva

Compartiendo con los ordenadores: estudio de casos Capítulo de libro

En: Nuevos Desafios de la Educación, pp. 257–266, Editorial Club Universitario, San Vicente, Alicante, 2005, ISBN: 84-8454-475-3.

BibTeX

128.

Sergio Nesmachnow; Héctor Cancela; Enrique Alba; Francisco Chicano

Parallel metaheuristics in telecommunications Capítulo de libro

En: Enrique Alba (Ed.).Parallel metaheuristics: a new class of algorithms, pp. 495–515, John Wiley & Sons, Hoboken, N.J., 2005, ISBN: 0-471-67806-6.

BibTeX

129.

Jesús Martínez; Luis R López; Pedro Merino

Application-Oriented Middleware for E-Commerce Capítulo de libro

En: Middleware for Communications, pp. 393–412, Wiley & Sons, 2004, ISBN: 0-470-86206-8.

BibTeX

130.

Luis Iribarne; José M Troya; Antonio Vallecillo

Describing specifications and architectural requirements of Cots components Capítulo de libro

En: Kung-Kiu Lau (Ed.). Component-based software development. Case studies, pp. 35–56, World Scientific Press, New Jersey, 2004, ISBN: 981-238-828-1.

BibTeX

131.

Carlos Cotta

Evolutionary Algorithms Capítulo de libro

En: Handbook of Bioinspired Algorithms and Applications, 2004.

BibTeX

132.

Carlos Cotta; Pablo Moscato

Evolutionary computation challengues and duties Capítulo de libro

En: Frontiers in evolutionary computation, pp. 53–72, Kluwer Academic Pub., 2004, ISBN: 1-4020-7524-3.

BibTeX

133.

Carlos Cotta; P Moscato; A Mendes

Memetic Algorithms Capítulo de libro

En: New Optimization Techniques In Engineering 3-, 2004, ISBN: 540-20167-x.

BibTeX

134.

Carlos Cotta; P Moscato; A Mendes

Scheduling and production control Capítulo de libro

En: New optimization techniques in engineering, pp. 655–680, Springer, Berlín, Heidelberg, 2004, ISBN: 3-540-20167-x.

BibTeX

135.

Bernabe Dorronsoro Diaz; M. Giacobini; M. Tomassini; Enrique Alba Torres

Descentralized cellular evolutionary algorithms Capítulo de libro

En: Handbook of bioinspired algorithms applications, pp. 103–120, Londres, Reino Unido, 2004, ISBN: 978-158488-475-0.

BibTeX

136.

Enrique Alba; José Francisco Chicano; Carlos Cotta; Bernabe Dorronsoro Diaz; Francisco Luna; Antonio Jesús Nebro

Metaheurísticas secuenciales y paralelas para optimización de problemas complejos Capítulo de libro

En: Luque, Gabriel Jesús (Ed.): pp. 185–214, Serv. de Publicaciones e Intercambio Científico de la Unv. de Málaga, SPICUM, Málaga, 2004, ISBN: 84-9747-034-6.

BibTeX

137.

Manuel Fernández Bertoa; José Troya M Linero; Antonio Vallecillo

Aspectos de la calidad en el desarrollo de software basado en componentes Capítulo de libro

En: Mario G. Piattini y Félix O. García (eds.). Calidad en el desarrollo y mantenimiento del software, pp. 159–178, Ra Ma, Madrid, 2003, ISBN: 84-7897-544-6.

BibTeX

138.

Aldana J F Montes; Gómez A C Lora; Moreno M Vergara; Roldán M M García

Database management issues in the web environment Capítulo de libro

En: Shirley A. Becker (Ed.). Effective databases for text & document management, pp. 109–134, IRM Press, 2003, ISBN: 1-931777-47-0.

BibTeX

139.

Aldana J F Montes; Moreno N Vergara; Roldán M M García

La web semántica: punto de encuentro Capítulo de libro

En: José Antonio Frias y Críspulo Travieso (ed.). Tendencias de Investigación en Organización del Conocimento= Trends in knowledge organization research, pp. 417–425, 2003, ISBN: 84-78007091.

BibTeX

140.

R E Berretta; Carlos Cotta; Pablo Moscato

Enhancing the performance of memetic algorithms by using a matching-based recombination algorithm: results on the number partitioning problem Capítulo de libro

En: pp. 65–90, Kluwer Academic Publishers, Boston, MA, 2003, ISBN: 978-1-4020-7653-4.

BibTeX

141.

C Cotta; E Alba; R Sagarna; P Larrañaga

Adjusting weights in artificial neural networks using evolutionary algorithms Capítulo de libro

En: Pedro Larrañaga and José A. Lozano (eds.). Estimation of distribution algorithms: a new tool for evolutionary computation, pp. 361–373, Kluwer Academic Publisher, The Netherlands, 2002, ISBN: 0-7923-7466- 5.

BibTeX

142.

José F Aldana; Mariemma I Yagüe; Antonio César Gómez

Integrity issues in the web beyond distributed databases Capítulo de libro

En: Jorge H. Doorn and Laura Rivero (eds.). Database integrity: challenges and solutions, pp. 293–321, Idea Group Publishing, USA, 2002, ISBN: 1-930708-38-6.

BibTeX

143.

E Alba; S Khuri

Sequential and distributed evolutionary algorithms for combinatorial optimization problems Capítulo de libro

En: pp. 211–233, Springer, 2002, ISBN: 3-7908-1480-6.

BibTeX

144.

Antonio J. Fernández; Fernando Sáenz-Pérez; Teresa Hortalá-González

A Constraint functional logic language for solving combinatorial problems Capítulo de libro

En: Research and Development in Intelligent Systems XIX, pp. 337–350, 2002, ISBN: 1-85233-674-9.

BibTeX

145.

Pablo Moscato; Carlos Cotta

A Gentle introduction to memetic algorithms Capítulo de libro

En: Fred Glover and Gary A. Kochenberger (ed.). Handbook on metaheuristics, pp. 105–144, Kluwer Academic Publishers, Boston, EEUU, 2001.

BibTeX

146.

Antonio Vallecillo Moreno

RM-ODP: the ISO reference model for open distributed processing Capítulo de libro

En: Monográfico sobre normalización del software= special issue on software standardbation, pp. 69–99, Edición Dintel, Madrid, 2001, ISBN: 84-9319-332-1.

BibTeX

147.

M V Belmonte; C Cotta; A J Fernández; I Gómez; J L Pastrana; J A Pedreira; F Rus; E Soler

Foundations of programming a teaching improvement Capítulo de libro

En: Manuel Ortega and José Bravo (eds.). Computer in education: towards an interconnected society, pp. 81–90, Kluwer Academic Publishers, The Netherlands, 2001, ISBN: 0-7923-7188-7.

BibTeX

148.

Manuel Clavel; Francisco Durán; Steven Eker; José Meseguer

Building Equational Proving Tools By Reflection In Rewriting Logic Capítulo de libro

En: 2000.

BibTeX

149.

Lidia Fuentes; José M Troya

Building internet-based collaborative multimedia applications with plug-and-play components Capítulo de libro

En: Borko Furht (Ed.). Handbook of internet computing, pp. 159–182, CRS press, Boca Ratón, Fl, USA, 2000, ISBN: 0-8493-0086-X.

BibTeX

150.

Vicente Benjumea; José M Troya

A Static implementation of the basic Andorra model for distributed memory systems Capítulo de libro

En: Inês de Castro Dutra...[et.al] (Eds.). Parallelism and implementation of logic constraint logic programming, pp. 57–72, Nova Science, Commack (New York), 1999, ISBN: 1-56072-673-3.

BibTeX

151.

Carlos Cotta; José Luis Pastrana; Francisco Rus; Enrique Soler; M Belmonte; I Gómez

Mejora docente en elementos de programación. Espuma Capítulo de libro

En: Desarrollo Profesional Y Docencia Universitaria Proyecto De Innovación En La Universidad, 1999, ISBN: 84-7496-746-5.

BibTeX

152.

Lidia Fuentes; José M Troya

MultiTel: a component-oriented framework in the domain of multimedia telecommunication services Capítulo de libro

En: Wiley and Sons, 1999.

BibTeX

153.

Antonio Vallecillo Moreno; José María Troya Linero

Object Interoperability Capítulo de libro

En: Ecoop'99 Workshops Reader, 1999, ISBN: 3-540-66954-x.

BibTeX

154.

Ernesto Pimentel; Francisco Gutiérrez

Smalltalk Capítulo de libro

En: Saba Zamir (Ed.). Handbook of object technology, pp. 19(1–24), CRC Press, Boca Ratón, 1999, ISBN: 0-8493-3135-8.

BibTeX

155.

Carlos Cotta; Enrique Soler; Francisco Rus; José Luis Pastrana; Maria Victoria Belmonte; Ivan Gomez Gallego

Docencia En Elementos Programación Capítulo de libro

En: Desarrollo Profesional Y Docencia Universitaria Proyecto De Innovación En La Universidad, 1999, ISBN: 84-7496-746-5.

BibTeX

156.

José Francisco Aldana; Mariemma I Yagüe

WWW as a distributed deductive database D3web Capítulo de libro

En: Management of data, 1998, ISBN: 81-7319-215-4.

BibTeX

157.

Pedro Merino; José María Troya

Modelling and Verification of the MCS Layer with SPIN Capítulo de libro

En: The SPIN Verification System,, pp. 101–110, 1997, ISBN: 0-8218-0680-7.

BibTeX