GISUM

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

Artículos de revista

1.

Eneko Osaba; Javier Del Ser; Carlos Cotta; Pablo Moscato

Editorial: Memetic Computing: Accelerating optimization heuristics with problem-dependent local search methods Artículo de revista

En: Swarm Evol. Comput., vol. 70, pp. 101047, 2022.

BibTeX

2.

Delia Rico; Karl-Johan Grinnemo; Anna Brunström; Pedro Merino

Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API Artículo de revista

En: NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, pp. 1-6, 2022.

BibTeX

3.

Delia Rico; Karl-Johan Grinnemo; Anna Brunström; Pedro Merino

Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API Artículo de revista

En: NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, pp. 1-6, 2022.

BibTeX

4.

Harilaos Koumaras; Dimitris Tsolkas; J. Garcia; D. Artunedo; Bruno García; Ruffini Marco; A. Salkintzis; Dimitrios Fragkos; George Makropoulos; Fotini Setaki; Alfonso Gomez Diaz; Pedro Merino; Vaios Koumaras; Paula Encinar; Y. Karadimas

A network programmability framework for vertical applications in the beyond 5G era Artículo de revista

En: 2022 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit), pp. 375-380, 2022.

BibTeX

5.

Harilaos Koumaras; Dimitris Tsolkas; J. Garcia; D. Artunedo; Bruno García; Ruffini Marco; A. Salkintzis; Dimitrios Fragkos; George Makropoulos; Fotini Setaki; Alfonso Gomez Diaz; Pedro Merino; Vaios Koumaras; Paula Encinar; Y. Karadimas

A network programmability framework for vertical applications in the beyond 5G era Artículo de revista

En: 2022 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit), pp. 375-380, 2022.

BibTeX

6.

Lola Burgue no; Paula Mu noz; Robert Clarisó; Jordi Cabot; Sébastien Gérard; Antonio Vallecillo

Dealing with belief uncertainty in domain models Artículo de revista

En: ACM Transactions on Software Engineering and Methodology, 2022.

BibTeX

7.

Miguel-Ángel Berciano-Guerrero; Rocio Lavado-Valenzuela; Aurelio Moya; Luis delaCruz-Merino; Fátima Toscano; Javier Valdivia; Victoria Castellón; Fernando Henao-Carrasco; Pilar Sancho; Juan-Luis Onieva-Zafra; Ismael Navas-Delgado; Antonio Rueda-Domínguez; Elisabeth Pérez-Ruiz; Emilio Alba

Genes Involved in Immune Reinduction May Constitute Biomarkers of Response for Metastatic Melanoma Patients Treated with Targeted Therapy Artículo de revista

En: Biomedicines, vol. 10, 2022.

BibTeX

8.

Manuel Fernández-Carmona; Joaquín Ballesteros; Marta Díaz Boladeras; Xavier Parra Llanas; Cristina Urdiales; Jes'us M. Gómez Gabriel

Walk-IT: An Open-Source Modular Low-Cost Smart Rollator Artículo de revista

En: Sensors (Basel, Switzerland), vol. 22, 2022.

BibTeX

9.

Angel Ca nete; Mercedes Amor; Lidia Fuentes

Supporting IoT applications deployment on edge-based infrastructures using multi-layer feature models Artículo de revista

En: J. Syst. Softw., vol. 183, pp. 111086, 2022.

BibTeX

10.

José Á. Morell; Enrique Alba

Dynamic and adaptive fault-tolerant asynchronous federated learning using volunteer edge devices Artículo de revista

En: Future Gener. Comput. Syst., vol. 133, pp. 53-67, 2022.

BibTeX

11.

Rubén Saborido; Javier Ferrer; Francisco Chicano; Enrique Alba

Automatizing Software Cognitive Complexity Reduction Artículo de revista

En: IEEE Access, vol. 10, pp. 11642-11656, 2022.

BibTeX

12.

Jes'us Sánchez Cuadrado; Loli Burgue no; Manuel Wimmer; Antonio Vallecillo

Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism Artículo de revista

En: IEEE Transactions on Software Engineering, vol. 48, pp. 1097-1114, 2022.

BibTeX

13.

Tomohiro Harada; Enrique Alba; Gabriel Luque

A Fresh Approach to Evaluate Performance in Distributed Parallel Genetic Algorithms Artículo de revista

En: Appl. Soft Comput., vol. 119, pp. 108540, 2022.

BibTeX

14.

Zakaria Abd El Moiz Dahi; Enrique Alba

Metaheuristics on quantum computers: Inspiration, simulation and real execution Artículo de revista

En: Future Gener. Comput. Syst., vol. 130, pp. 164-180, 2022.

BibTeX

15.

Zakaria Abd El Moiz Dahi; Enrique Alba; Gabriel Luque

A takeover time-driven adaptive evolutionary algorithm for mobile user tracking in pre-5G cellular networks Artículo de revista

En: Appl. Soft Comput., vol. 116, pp. 107992, 2022.

BibTeX

16.

Antonio Brogi; José Carrasco; Francisco Durán; Ernesto Pimentel; Jacopo Soldani

Self-healing trans-cloud applications Artículo de revista

En: Computing, vol. 104, pp. 809-833, 2022.

BibTeX

17.

Javier Rojo; José Manuel García-Alonso; Javier Berrocal; Juan Hernández; Juan Manuel Murillo; Carlos Canal

SOWCompact: A federated process mining method for social workflows Artículo de revista

En: Inf. Sci., vol. 595, pp. 18-37, 2022.

BibTeX

18.

Inessa Tyan; Yagüe Mariemma; Guevara-Plaza Antonio

Blockchain adoption in tourism:Grounded theory-based conceptual model Artículo de revista

En: ARA: Journal of Tourism Research / Revista de Investigación Turística, pp. 68-89, 2021.

BibTeX | Enlaces:

19.

María Mar Roldán-García; José García-Nieto; Alejandro Maté; Juan Trujillo; José F. Aldana-Montes

Ontology-driven approach for KPI meta-modelling, selection and reasoning Artículo de revista

En: International Journal of Information Management, vol. 58, pp. 102018, 2021, ISSN: 0268-4012.

Resumen | BibTeX | Enlaces:

20.

Sandro Hurtado; José García-Nieto; Ismael Navas-Delgado; Antonio J. Nebro; José F. Aldana-Montes

Reconstruction of gene regulatory networks with multi-objective particle swarm optimisers Artículo de revista

En: Applied Intelligence: The International Journal Of Artificial Intelligence, Neural Networks, And Complex Problem-Solving Technologies, vol. 51, pp. 1972-1991, 2021.

BibTeX

21.

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

Modelling digital avatars: A tuple space approach Artículo de revista

En: Science of Computer Programming, vol. 203, pp. 102583, 2021.

BibTeX | Enlaces:

22.

Eneko Osaba; Esther Villar-Rodriguez; Javier Del Ser; Antonio Nebro; Daniel Molina; Antonio Latorre; Ponnuthurai Suganthan; Carlos Coello; Francisco Herrera

A Tutorial on the Design, Experimentation and Application of Metaheuristic Algorithms to Real-World Optimization Problems Artículo de revista

En: Swarm and Evolutionary Computation, vol. 64, pp. 100888, 2021.

BibTeX | Enlaces:

23.

Jose Pastrana Brincones; Juan Morillo Baro; Raimundo Vinuesa-Piote; Juan Vázquez-Diz; Rafael Reigal Garrido; Antonio Hernández Mendo; Verónica Morales Sánchez

Mixed Methods in Tactical Analysis Through Polar Coordinates and Function Estimation: The Transition Play in ACB Basketball Artículo de revista

En: Frontiers in Psychology, vol. 3, pp. 739308, 2021.

BibTeX | Enlaces:

24.

Cristóbal Barba-González; Antonio Nebro; José García-Nieto; Maria Mar Roldan; Ismael Navas Delgado; Jose Aldana Montes

Injecting domain knowledge in multi-objective optimization problems: A semantic approach Artículo de revista

En: Computer Standards & Interfaces, vol. 78, pp. 103546, 2021.

BibTeX | Enlaces:

25.

Daniel Héctor Stolfi-Rosso; Enrique Alba-Torres

Yellow Swarm: LED panels to advise optimal alternative tours to drivers in the city of Malaga Artículo de revista

En: Applied Soft Computing, vol. 109, pp. 107566, 2021.

BibTeX | Enlaces:

26.

Paula Muñoz; Karkhanis P.; Antonio Vallecillo-Moreno

Modeling Objects with Uncertain Behaviors Artículo de revista

En: The Journal of Object Technology, vol. 20, pp. 8:1, 2021.

BibTeX | Enlaces:

27.

Antonio Brogi; Jose Carrasco; Francisco Durán; Ernesto Pimentel; Jacopo Soldani

Self-healing trans-cloud applications Artículo de revista

En: Computing, 2021.

BibTeX | Enlaces:

28.

David Rueda; Carlos Cotta; Antonio Fernández-Leiva

Metaheuristics for the template design problem: encoding, symmetry and hybridisation Artículo de revista

En: Journal of Intelligent Manufacturing, vol. 32, 2021.

BibTeX | Enlaces:

29.

Sandro Hurtado; José García-Nieto; Ismael Navas Delgado; Jose Aldana Montes

FIMED: Flexible management of biomedical data Artículo de revista

En: Computer Methods and Programs in Biomedicine, vol. 212, pp. 106496, 2021.

BibTeX | Enlaces:

30.

José Aldana-Martín; José García-Nieto; Maria Mar Roldan; Jose Aldana Montes

Semantic modelling of Earth Observation remote sensing Artículo de revista

En: Expert Systems with Applications, vol. 187, pp. 115838, 2021.

BibTeX | Enlaces:

31.

Enrique Alba; Javier Ferrer; Ignacio Villalobos

Metaheuristics and Software Engineering: Past, Present, and Future Artículo de revista

En: International Journal of Software Engineering and Knowledge Engineering, vol. 31, pp. 1349-1375, 2021.

BibTeX | Enlaces:

32.

Renzo Massobrio; Sergio Nesmachnow; Francisco Palomo-Lozano; Bernabe Dorronsoro

Virtual Savant as a generic learning approach applied to the basic independent Next Release Problem Artículo de revista

En: Applied Soft Computing, vol. 108, pp. 107374, 2021.

BibTeX | Enlaces:

33.

Aurora Ramírez; Nathalie Moreno; Antonio Vallecillo

Rule‐based preprocessing for data stream mining using complex event processing Artículo de revista

En: Expert Systems, vol. 38, 2021.

BibTeX | Enlaces:

34.

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

Effective anytime algorithm for multiobjective combinatorial optimization problems Artículo de revista

En: Information Sciences, vol. 565, 2021.

BibTeX | Enlaces:

35.

María Franquelo; Jose Pastrana Brincones; Rafael Reigal Garrido; Juan Morillo Baro; Juan Vázquez-Diz; Verónica Morales Sánchez

Data Mining for Attitudinal and Belief Profiles Determination towards Hypnosis Artículo de revista

En: Sustainability, vol. 13, pp. 7721, 2021.

BibTeX | Enlaces:

36.

Cristian Martín; Peter Langendoerfer; Pouya Soltani Zarrin; Manuel Díaz; Bartolomé Rubio

Kafka-ML: Connecting the data stream with ML/AI frameworks Artículo de revista

En: Future Generation Computer Systems, vol. 126, 2021.

BibTeX | Enlaces:

37.

Patrícia Araújo-de-Oliveira; Francisco Durán; Ernesto Pimentel

A procedural and flexible approach for specification, modeling, definition, and analysis for self‐adaptive systems Artículo de revista

En: Software: Practice and Experience, vol. 51, 2021.

BibTeX | Enlaces:

38.

Rafael Reigal Garrido; Jose Páez Maldonado; Jose Pastrana Brincones; Juan Morillo Baro; Antonio Hernández Mendo; Verónica Morales Sánchez

Physical Activity Is Related to Mood States, Anxiety State and Self-Rated Health in COVID-19 Lockdown Artículo de revista

En: Sustainability, vol. 13, pp. 5444, 2021.

BibTeX | Enlaces:

39.

David Ameller; Xavier Franch; Cristina Gómez; Silverio Martínez-Fernández; João Araújo; Stefan Biffl; Jordi Cabot; Vittorio Cortellessa; Daniel Méndez Fernández; Ana Moreira; Henry Muccini; Antonio Vallecillo; Manuel Wimmer; Vasco Amaral; Wolfgang Böhm; Hugo Bruneliere; Loli Burgueño; Miguel Goulão; Sabine Teufl; Luca Berardinelli

Dealing with Non-Functional Requirements in Model-Driven Development: A Survey Artículo de revista

En: IEEE Transactions on Software Engineering, vol. 47, no 4, pp. 818-835, 2021.

BibTeX | Enlaces:

40.

Soledad Ojeda; Pilar Jiménez-Quevedo; Rafael Romaguera; Ignacio Cruz-González; Antonio Vallecillo

Impact of the COVID-19 pandemic on transcatheter aortic valve implantation in Spain Artículo de revista

En: REC: interventional cardiology (English Edition), 2021.

BibTeX

41.

Antonio Molina-Carballo; Rafael Palacios-López; Antonio Jeréz-Calero; María Del Carmen Augustín-Morales; Ahmed Agil; Antonio Muňoz-Hoyos; Antonio Mu noz-Gallego

Protective Effect of Melatonin Administration against SARS-CoV-2 Infection: A Systematic Review Artículo de revista

En: Current Issues in Molecular Biology, vol. 44, pp. 31 - 45, 2021.

BibTeX

42.

David Ameller; Ana Moreira; Henry Muccini; Antonio Vallecillo; Manuel Wimmer; Vasco Amaral; Wolfgang Böhm; Hugo Bruneli`ere; Loli Burgue no; Miguel Goul ao; Sabine Teufl; Xavier Franch; Luca Berardinelli; Cristina Gómez; Silverio Martínez-Fernández; Jo Ara'ujo; Stefan Biffl; Jordi Cabot; Vittorio Cortellessa; Daniel Méndez

Dealing with Non-Functional Requirements in Model-Driven Development: A Survey Artículo de revista

En: IEEE Transactions on Software Engineering, vol. 47, pp. 818-835, 2021.

BibTeX

43.

Cristian Martín; Peter Langendoerfer; Manuel Díaz; Bartolomé Rubio

Kafka-ML: connecting the data stream with ML/AI frameworks Artículo de revista

En: Future Gener. Comput. Syst., vol. 126, pp. 15-33, 2021.

BibTeX

44.

Barbara Valera-Muros; Laura Panizo; Alvaro Rios; Pedro Merino

An Architecture for Creating Slices to Experiment on Wireless Networks Artículo de revista

En: J. Netw. Syst. Manag., vol. 29, pp. 1, 2021.

BibTeX

45.

Sandra González‐Gallardo; Rubén Saborido; Ana Belen Ruiz; Mariano Luque

Preference-Based Evolutionary Multiobjective Optimization Through the Use of Reservation and Aspiration Points Artículo de revista

En: IEEE Access, vol. 9, pp. 108861-108872, 2021.

BibTeX

46.

Belén Juanes Cortés; José Antonio Vera-Ramos; Ruth C. Lovering; Pascale Gaudet; Astrid Laegreid; Colin Logie; Stefan Schulz; María Del Mar Roldán-García; Martin Kuiper; Jesualdo Tomás Fernández-breis

Formalization of gene regulation knowledge using ontologies and gene ontology causal activity models. Artículo de revista

En: Biochimica et biophysica acta. Gene regulatory mechanisms, pp. 194766, 2021.

BibTeX

47.

Sergio Laso; Javier Berrocal; José Manuel García-Alonso; Carlos Canal; Juan Manuel Murillo

Human microservices: A framework for turning humans into service providers Artículo de revista

En: Software: Practice and Experience, vol. 51, pp. 1910 - 1935, 2021.

BibTeX

48.

María Luisa Antequera-Gómez; Luis Díaz-Martínez; Juan Antonio Guadix; Ana María Sánchez-Tévar; Sara Sope na-Torres; Jes'us Hierrezuelo; Hung K. Doan; Johan H. J. Leveau; Antonio Vicente; Diego Romero

Sporulation is dispensable for the vegetable‐associated life cycle of the human pathogen Bacillus cereus Artículo de revista

En: Microbial Biotechnology, vol. 14, pp. 1550 - 1565, 2021.

BibTeX

49.

Daniel Stolfi; Enrique Alba

Yellow Swarm: LED panels to advise optimal alternative tours to drivers in the city of Malaga Artículo de revista

En: Appl. Soft Comput., vol. 109, pp. 107566, 2021.

BibTeX

50.

Antonio Benítez-Hidalgo; Cristóbal Barba-González; José García-Nieto; Pedro Gutiérrez-Moncayo; Manuel Paneque; Antonio J. Nebro; María Mar Roldán-García; José F. Aldana-Montes; Ismael Navas-Delgado

TITAN: A knowledge-based platform for Big Data workflow management Artículo de revista

En: Knowl. Based Syst., vol. 232, pp. 107489, 2021.

BibTeX

51.

Aurora Ramírez; Nathalie Moreno; Antonio Vallecillo

Rule‐based preprocessing for data stream mining using complex event processing Artículo de revista

En: Expert Systems, vol. 38, 2021.

BibTeX

52.

Juan Pablo Morillo-Baro; Belén Troyano-Gallegos; José Luis Pastrana-Brincones; Juan Antonio Vázquez-Diz; Rafael E. Reigal; Yarisel Qui nones-Rodríguez; Antonio Hernández-Mendo; Coral Falcó; Verónica Morales-Sánchez

Data Mining and Polar Coordinates in the Analysis by Gender of Finishing Behaviors in Professional Basketball Pick and Roll Artículo de revista

En: Frontiers in Sports and Active Living, vol. 3, 2021.

BibTeX

53.

Martine Kuiper; Joseph Bonello; Jesualdo Tomás Fernández-breis; Philipp Bucher; Matthias E. Futschik; Pascale Gaudet; Ivan V. Kulakovskiy; Luana Licata; Colin Logie; Ruth C. Lovering; Vsevolod J. Makeev; Sandra E. Orchard; Simona Panni; Livia Perfetto; David Van Sant; Stefan Schulz; Daniel R. Zerbino; Astrid Lægreid; Christoph Bock; Stein Aerts; Klaas Vandepoele; Lejla Kapur-Pojskivc; Naida Lojo-Kadri'c; Ney Lemke; Vesselin Baev; Wyeth W. Wasserman; Jacques Helden; Beno^it Ballester; Juan M. Vaquerizas; Maria Gazouli; Dimitris Kardassis; Dávid Fazekas; Des Higgins; Piero Carninci; Juris Viksna; Marcio Luis Acencio; András Hartmann; Stephanie Kreis; Ernest Cachia; Nikolai Pace; Julio Collado Vides; Kodylan Moodley; Michel Dumontier; Sebastian Schmeier; Steven Vercruysse; Anthony Mathelier; Matthias E. Futschik; Daniel Sobral; Filipe Castro; Pedro T. Monteiro; Marieta Costache; Gina Cecilia Pistol; Mihail Alexandru Gras; Sorina Dinescu; Yulia Mihailovna Medvedeva; Vsevolod J. Makeev; Iva Pruner; Branislava Gemovi'c; Valentina J. Djordjevic; Damjana Rozman; Martin Krallinger; Alfonso Valencia; Miguel Vazquez; Ismael Navas-Delgado; José F. Aldana; José García-Nieto; María Mar Roldán; Jesualdo Tomás Fernández Breis; Fabio Rinaldi; Yavuz Oktay; Selcuk Sozer Tokdemir; Anton Popov; Ruth C. Lovering; Christian H. Mungall; Paul Martin Thomas; Karen Eibeck

The Gene Regulation Knowledge Commons: The action area of GREEKC. Artículo de revista

En: Biochimica et biophysica acta. Gene regulatory mechanisms, pp. 194768, 2021.

BibTeX

54.

Irene Lebrusán; Jamal Toutouh-El Alamin

Lo Que Nos Dicen Los Datos Sobre Madrid Central Artículo de revista

En: El Pais (National Edition), 2020.

BibTeX

55.

Pilar Escobar Esteban; Maria Mar Roldan; Jesús Peral; Gustavo Candela; José García-Nieto

An Ontology-Based Framework for Publishing and Exploiting Linked Open Data: A Use Case on Water Resources Management Artículo de revista

En: Applied Sciences, vol. 10, pp. 779, 2020.

BibTeX | Enlaces:

56.

Rubén Saborido Infantes; Enrique Alba

Software systems from smart city vendors Artículo de revista

En: Cities, vol. 101, pp. 102690, 2020.

BibTeX | Enlaces:

57.

Christian Cintrano; Francisco Chicano; Enrique Alba

Using Metaheuristics for the Location of Bicycle Stations Artículo de revista

En: Expert Systems with Applications, vol. 161, pp. 113684, 2020.

BibTeX | Enlaces:

58.

Jhon Amaya; Carlos Cotta; Antonio Fernández-Leiva; Pablo García-Sánchez

Deep memetic models for combinatorial optimization problems: application to the tool switching problem Artículo de revista

En: Memetic Computing, vol. 12, pp. 1-20, 2020.

BibTeX | Enlaces:

59.

Patrycja Strycharczuk; Manuel López-Ibáñez; Georgina Brown; Adrian Leemann

General Northern English. Exploring Regional Variation in the North of England With Machine Learning Artículo de revista

En: Frontiers in Artificial Intelligence, vol. 3, 2020.

BibTeX | Enlaces:

60.

Andrés Camero; Jamal Toutouh; Enrique Alba

Random error sampling-based recurrent neural network architecture optimization Artículo de revista

En: Engineering Applications of Artificial Intelligence, vol. 96, 2020.

BibTeX | Enlaces:

61.

Cristóbal Barba-González; Antonio Nebro; Antonio Benítez-Hidalgo; José García-Nieto; Jose Aldana Montes

On the design of a framework integrating an optimization engine with streaming technologies Artículo de revista

En: Future Generation Computer Systems, vol. 107, 2020.

BibTeX | Enlaces:

62.

Mariano Luque; Sandra González-Gallardo; Rubén Saborido Infantes; Ana Belen Ruiz

Adaptive Global WASF-GA to handle many-objective optimization problems Artículo de revista

En: Swarm and Evolutionary Computation, vol. 54, pp. 100644, 2020.

BibTeX | Enlaces:

63.

Jose Garcia-Alonso; Javier Berrocal; Alejandro Pérez-Vereda; Jaime Galán-Jiménez; Carlos Canal; Juan Murillo

Using Bluetooth Low Energy Advertisements for the Detection of People Temporal Proximity Patterns Artículo de revista

En: Mobile Information Systems, vol. 2020, 2020.

BibTeX | Enlaces:

64.

Javier Berrocal; Jose Garcia-Alonso; Pablo Fernandez; Alejandro Pérez-Vereda; Juan Hernández; Carlos Canal; Juan Murillo; Antonio Ruiz-Cortés

Early Evaluation of Mobile Applications’ Resource Consumption and Operating Costs Artículo de revista

En: IEEE Access, vol. PP, pp. 1-1, 2020.

BibTeX | Enlaces:

65.

Amr Abdelhafez; Gabriel Luque; Enrique Alba

Parallel execution combinatorics with metaheuristics: Comparative study Artículo de revista

En: Swarm and Evolutionary Computation, vol. 55, pp. 100692, 2020.

BibTeX | Enlaces:

66.

Jamal Toutouh; Diego Rossit; Sergio Nesmachnow

Soft computing methods for multiobjective location of garbage accumulation points in smart cities Artículo de revista

En: Annals of Mathematics and Artificial Intelligence, vol. 88, 2020.

BibTeX | Enlaces:

67.

Pedro Delgado-Pérez; Francisco Chicano

An Experimental and Practical Study on the Equivalent Mutant Connection: An Evolutionary Approach Artículo de revista

En: Information and Software Technology, vol. 124, pp. 106317, 2020.

BibTeX | Enlaces:

68.

Tomohiro Harada; Enrique Alba

Parallel Genetic Algorithms: A Useful Survey Artículo de revista

En: ACM Computing Surveys, vol. 53, pp. 1-39, 2020.

BibTeX | Enlaces:

69.

Delia Rico; Pedro Merino

A Survey of End-to-End Solutions for Reliable Low-Latency Communications in 5G Networks Artículo de revista

En: IEEE Access, vol. 8, pp. 192808-192834, 2020.

BibTeX | Enlaces:

70.

Esteban López-Camacho; María García-Godoy; José García-Nieto; Antonio Nebro; Jose Aldana Montes

Optimizing ligand conformations in flexible protein targets: a multi-objective strategy Artículo de revista

En: Soft Computing, vol. 24, pp. 1-15, 2020.

BibTeX | Enlaces:

71.

Aurora Ramírez; José Raúl Romero; Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Javier Ferrer; Francisco Chicano

A systematic literature review of the SBSE research community in Spain Artículo de revista

En: Progress in Artificial Intelligence, vol. 9, pp. 1-16, 2020.

BibTeX | Enlaces:

72.

Manuel Díaz; Enrique Soler; Luis Llopis; Joaquin Trillo

Integrating Blockchain in Safety-Critical Systems: An Application to the Nuclear Industry Artículo de revista

En: IEEE Access, vol. 8, pp. 190605-190619, 2020.

BibTeX | Enlaces:

73.

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

Digital Avatars: Promoting Independent Living for Older Adults Artículo de revista

En: Wireless Communications and Mobile Computing, vol. 2020, pp. 1-11, 2020.

BibTeX | Enlaces:

74.

Rafael Reigal Garrido; Luna Moral-Campillo; Rocío Juárez Ruiz Mier; Juan Morillo Baro; Verónica Morales Sánchez; Jose Pastrana Brincones; Antonio Hernández Mendo

Physical Fitness Level Is Related to Attention and Concentration in Adolescents Artículo de revista

En: Frontiers in Psychology, vol. 11, 2020.

BibTeX | Enlaces:

75.

Cristóbal Barba-González; Antonio Nebro; Antonio Benítez-Hidalgo; José García-Nieto; Jose Aldana Montes

On the design of a framework integrating an optimization engine with streaming technologies Artículo de revista

En: Future Generation Computer Systems, vol. 107, 2020.

BibTeX | Enlaces:

76.

Eduardo Cañete-Carmona; Juan-Jose Gallego-Martinez; Cristian Martín; Maria Brox; Juan-Jesus Luna-Rodriguez; Juan Moreno

A Low-Cost IoT Device to Monitor in Real-Time Wine Alcoholic Fermentation Evolution through CO2 emissions Artículo de revista

En: IEEE Sensors Journal, vol. PP, pp. 1-1, 2020.

BibTeX | Enlaces:

77.

Una-May O’Reilly; Jamal Toutouh; Marcos Pertierra; Daniel Sanchez; Dennis Garcia; Anthony Luogo; Jonathan Kelly; Erik Hemberg

Adversarial genetic programming for cyber security: a rising application domain where GP matters Artículo de revista

En: Genetic Programming and Evolvable Machines, vol. 21, 2020.

BibTeX | Enlaces:

78.

Diego Rossit; Jamal Toutouh; Sergio Nesmachnow

Exact and heuristic approaches for multi-objective garbage accumulation points location in real scenarios Artículo de revista

En: Waste Management, vol. 105, pp. 467-481, 2020.

BibTeX | Enlaces:

79.

Antonio Benítez-Hidalgo; Antonio Nebro; Jose Aldana Montes

Sequoya: Multi-objective multiple sequence alignment in Python Artículo de revista

En: Bioinformatics (Oxford, England), vol. 36, 2020.

BibTeX | Enlaces:

80.

Joaquin Ballesteros; Inmaculada Ayala; Juan Caro-Romero; Mercedes Pinilla; Lidia Fuentes

Evolving dynamic self-adaptation policies of mHealth systems for long-term monitoring Artículo de revista

En: Journal of Biomedical Informatics, vol. 108, pp. 103494, 2020.

BibTeX | Enlaces:

81.

María-del-Mar Gallardo; Pedro Merino

Introduction to the Special Issue devoted to SPIN 2018 Artículo de revista

En: International Journal on Software Tools for Technology Transfer, vol. 22, 2020.

BibTeX | Enlaces:

82.

Rafael Reigal Garrido; Fernando González-Guirval; Jose Pastrana Brincones; Sergio González-Ruiz; Antonio Hernández Mendo; Verónica Morales Sánchez

Analysis of Reliability and Generalizability of One Instrument for Assessing Visual Attention Span: MenPas Mondrian Color Artículo de revista

En: Sustainability, vol. 12, pp. 7655, 2020.

BibTeX | Enlaces:

83.

Andrea Villagra; Enrique Alba; Gabriel Luque

A better understanding on traffic light scheduling: New cellular GAs and new in-depth analysis of solutions Artículo de revista

En: Journal of Computational Science, vol. 41, pp. 101085, 2020.

BibTeX | Enlaces:

84.

Jose-Miguel Horcas; Monica Pinto

Automatic Evolution of Eco-Efficient Software Architectures with CVL Models Artículo de revista

En: IEEE Latin America Transactions, vol. 18, pp. 1238-1246, 2020.

BibTeX | Enlaces:

85.

Irene Lebrusán Murillo; Jamal Toutouh

Using Smart City Tools to Evaluate the Effectiveness of a Low Emissions Zone in Spain: Madrid Central Artículo de revista

En: Smart Cities, vol. 3, pp. 456-478, 2020.

BibTeX | Enlaces:

86.

Rafael Reigal Garrido; Jose Pastrana Brincones; Sergio González-Ruiz; Antonio Hernández Mendo; Juan Morillo Baro; Verónica Morales Sánchez

Use of Data Mining to Determine Usage Patterns of an Online Evaluation Platform During the COVID-19 Pandemic Artículo de revista

En: Frontiers in Psychology, vol. 11, 2020.

BibTeX | Enlaces:

87.

Zakaria Abdelmoiz Dahi; Enrique Alba

The grid-to-neighbourhood relationship in cellular GAs: from design to solving complex problems Artículo de revista

En: Soft Computing, vol. 24, 2020.

BibTeX | Enlaces:

88.

Alejandro Ramírez-Arroyo; Pablo Zapata-Cano; Ángel Palomares-Caballero; Javier Carmona-Murillo; Francisco Luna; Juan Valenzuela-Valdés

Multilayer Network Optimization for 5G & 6G Artículo de revista

En: IEEE Access, vol. 8, pp. 204295 - 204308, 2020.

BibTeX | Enlaces:

89.

Chaimae Azroumahli; Maciej Rybinski; Yacine Younoussi; Jose Montes

Comparative study of Arabic Word Embeddings: Evaluation and Application Artículo de revista

En: vol. 12, pp. 349-362, 2020.

BibTeX

90.

Inessa Tyan; Mariemma Yagüe; Antonio Guevara-Plaza

Blockchain Technology for Smart Tourism Destinations Artículo de revista

En: Sustainability, vol. 12, pp. 9715, 2020.

BibTeX | Enlaces:

91.

Pedro Delgado-Pérez; Francisco Chicano

Evaluation of alternative design choices for evolutionary mutation testing by means of automated configuration Artículo de revista

En: Software Quality Journal, pp. 1-26, 2020.

BibTeX | Enlaces:

92.

Andrés Camero; Hao Wang; Enrique Alba; Thomas Bäck

Bayesian Neural Architecture Search using A Training-Free Performance Metric Artículo de revista

En: 2020.

BibTeX

93.

Ernesto Pimentel; Jacopo Soldani

Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications Artículo de revista

En: Science of Computer Programming, vol. 204, pp. 102594, 2020.

BibTeX | Enlaces:

94.

Laura Panizo; Almudena Díaz; Bruno García

Model-based testing of apps in real network scenarios Artículo de revista

En: International Journal on Software Tools for Technology Transfer, vol. to-to, pp. 1–10, 2019, ISSN: 1433-2779, (Proyectos: 5GENESIS. 5th Generation End-to-end Network, Experimentation, System Integration, and Showcasing y TRIANGLE: 5G Applications and Devices Benchmarking).

BibTeX | Enlaces:

95.

Ana Rosario Espada; Mar M Gallardo; Alberto Salmerón; Laura Panizo; Pedro Merino

A formal approach to automatically analyse extra-functional properties in mobile applications Artículo de revista

En: ACM Computing Surveys, 2019, ISSN: 0360-0300, (Proyectos: DADIOT. Construcción, Análisis y Despliegue de Aplicaciones IoT y TRIANGLE: 5G Applications and Devices Benchmarking).

BibTeX | Enlaces:

96.

Almudena Díaz-Zayas; Bruno García-García; Pedro Merino

An End-to-End Automation Framework for Mobile Network Testbeds Artículo de revista

En: Mobile Information Systems, vol. 2019, pp. 8 pag., 2019, ISSN: 1574-017-X, (Proyectos: 5GENESIS. 5th Generation End-to-end Network, Experimentation, System Integration, and Showcasing y TRIANGLE: 5G Applications and Devices Benchmarking).

BibTeX | Enlaces:

97.

Álvaro Rios; Bárbara Valera-Muros; Pedro Merino-Gomez; Jerry Sobieski

Expanding GÉANT testbeds service to support Pan-European 5G network slices for research in the EuWireless Project Artículo de revista

En: Mobile Information Systems, vol. 2019, pp. 13, 2019, ISSN: 1574-017-X, (Proyectos: EuWireless: Design of the European mobile network operator for research).

BibTeX | Enlaces:

98.

Ben Ali Abdelkamel; Gabriel Luque; Enrique Alba

An efficient discrete PSO coupled with a fast local search heuristic for the DNA fragment assembly problem Artículo de revista

En: Information Sciences, vol. 512, 2019.

BibTeX | Enlaces:

99.

Leonardo Bezerra; Manuel López-Ibáñez; Thomas Stützle

Automatically Designing State-of-the-Art Multi- and Many-Objective Evolutionary Algorithms Artículo de revista

En: Evolutionary Computation, vol. 28, pp. 1-31, 2019.

BibTeX | Enlaces:

100.

Jose Carrasco; Francisco Durán; Ernesto Pimentel

Live Migration of Trans-Cloud Applications Artículo de revista

En: Computer Standards & Interfaces, vol. 69, pp. 103392, 2019.

BibTeX | Enlaces:

101.

Rodrigo Morales; Rubén Saborido Infantes; Yann-Gaël Guéhéneuc

MoMIT: Porting a JavaScript Interpreter on a Quarter Coin Artículo de revista

En: 2019.

BibTeX

102.

David Monge; Elina Pacini; Cristian Mateos; Enrique Alba; Carlos Garcia Garino

CMI: An online multi-objective genetic autoscaler for scientific and engineering workflows in cloud infrastructures with unreliable virtual machines Artículo de revista

En: Journal of Network and Computer Applications, vol. 149, pp. 102464, 2019.

BibTeX | Enlaces:

103.

Angel Cañete; Jose-Miguel Horcas; Inmaculada Ayala; Lidia Fuentes

Energy Efficient Adaptation Engines for Android Applications Artículo de revista

En: Information and Software Technology, vol. 118, pp. 106220, 2019.

BibTeX | Enlaces:

104.

Juan Torre Macías; Renzo Massobrio; Patricia Ruiz; Sergio Nesmachnow; Bernabe Dorronsoro

Parallel Virtual Savant for the Heterogeneous Computing Scheduling Problem Artículo de revista

En: Journal of Computational Science, vol. 39, pp. 101048, 2019.

BibTeX | Enlaces:

105.

Pablo García-Sánchez; Alberto Tonda; Antonio Fernández-Leiva; Carlos Cotta

Optimizing Hearthstone agents using an evolutionary algorithm Artículo de revista

En: Knowledge-Based Systems, vol. 188, pp. 105032, 2019.

BibTeX | Enlaces:

106.

David Rueda; Carlos Cotta; Antonio Fernández-Leiva

Memetic collaborative approaches for finding balanced incomplete block designs Artículo de revista

En: Computers & Operations Research, vol. 114, pp. 104804, 2019.

BibTeX | Enlaces:

107.

Javier Arellano-Verdejo; Federico Alonso-Pecina; Enrique Alba; Adolfo Guzman-Arenas

Optimal allocation of public parking spots in a smart city: problem characterisation and first algorithms Artículo de revista

En: Journal of Experimental & Theoretical Artificial Intelligence, vol. 31, pp. 1-23, 2019.

BibTeX | Enlaces:

108.

Javier Ferrer; Enrique Alba

BIN-CT: Urban Waste Collection based on Predicting the Container Fill Level Artículo de revista

En: Biosystems, vol. 186, 2019.

BibTeX | Enlaces:

109.

Umair Ahmed; Rafia Mumtaz; Hirra Anwar; Asad Ali Shah; Rabia Irfan; José García-Nieto

Efficient Water Quality Prediction Using Supervised Machine Learning Artículo de revista

En: Water, 2019.

BibTeX

110.

Gala Barquero; Javier Troya; Antonio Vallecillo

Trading Accuracy for Performance in Data Processing Applications. Artículo de revista

En: The Journal of Object Technology, vol. 18, pp. 9:1, 2019.

BibTeX | Enlaces:

111.

Cristóbal Barba-González; Antonio Nebro; José García-Nieto; Jose Aldana Montes

A multi-objective interactive dynamic particle swarm optimizer Artículo de revista

En: Progress in Artificial Intelligence, vol. 9, 2019.

BibTeX | Enlaces:

112.

Inmaculada Ayala; Mercedes Pinilla; Lidia Fuentes

An Energy Efficiency Study of Web-Based Communication in Android Phones Artículo de revista

En: Scientific Programming, vol. 2019, pp. 1-19, 2019.

BibTeX | Enlaces:

113.

Ismael Navas Delgado; José García-Nieto; Esteban López-Camacho; Maciej Rybinski; Rocio Lavado; Miguel Berciano-Guerrero; Jose Aldana Montes

VIGLA-M: Visual gene expression data analytics Artículo de revista

En: BMC Bioinformatics, vol. 20, 2019.

BibTeX | Enlaces:

114.

Amr Abdelhafez; Enrique Alba; Gabriel Luque

Performance analysis of synchronous and asynchronous distributed genetic algorithms on multiprocessors Artículo de revista

En: Swarm and Evolutionary Computation, vol. 49, 2019.

BibTeX | Enlaces:

115.

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

Reliable simulation-optimization of traffic lights in a real-world city Artículo de revista

En: Applied Soft Computing, vol. 78, 2019.

BibTeX | Enlaces:

116.

Christian Cintrano; Francisco Chicano; Enrique Alba

Facing Robustness as a Multi-objective Problem: A Bi-objective Shortest Path Problem in Smart Regions Artículo de revista

En: Information Sciences, vol. 503, 2019.

BibTeX | Enlaces:

117.

Marina Calleja; Jose Rodríguez-Santos; María Luque; Javier Ferrer

LATS (Language Assessment Training system) una propuesta b-learning para adquirir competencias en toma de decisiones clínicas en intervención logopédica Artículo de revista

En: EDUSER, vol. 6, pp. 85-93, 2019.

BibTeX | Enlaces:

118.

Jose Pastrana Brincones; Rafael Reigal Garrido; Verónica Morales Sánchez; Juan Morillo Baro; Rocío Juárez Ruiz Mier; Jose Alves; Antonio Hernández Mendo

Data Mining in the Mixed Methods: Application to the Study of the Psychological Profiles of Athletes Artículo de revista

En: Frontiers in Psychology, vol. 10, pp. 2675, 2019.

BibTeX | Enlaces:

119.

Miguel Domí-nguez-Ríos; Francisco Chicano; Enrique Alba; Isabel Águila; José Sagrado

Efficient anytime algorithms to solve the bi-objective Next Release Problem Artículo de revista

En: Journal of Systems and Software, vol. 156, 2019.

BibTeX | Enlaces:

120.

Eduardo Cañete-Carmona; Jaime Chen; Manuel Díaz; Bartolomé Rubio; José Troya

Performance analysis of wireless sensor networks and priority queueing systems Artículo de revista

En: International Journal of Sensor Networks, vol. 30, pp. 126, 2019.

BibTeX | Enlaces:

121.

Alejandro Santiago; Bernabe Dorronsoro; Antonio Nebro; Juan Durillo; Oscar Castillo; Héctor Fraire-Huacuja

A Novel Multi-Objective Evolutionary Algorithm with Fuzzy Logic Based Adaptive Selection of Operators: FAME Artículo de revista

En: Information Sciences, vol. 471, pp. 233-251, 2019.

BibTeX | Enlaces:

122.

Daniel Muñoz; Mónica Pinto; Lidia Fuentes (Ed.)

Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant Artículo de revista

En: Computing, pp. to-to, 2018, (Proyectos: HADAS: Herramienta de Análisis y Desarrollo de Aplicaciones sostenibles y MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas).

BibTeX | Enlaces:

123.

Díaz A Zayas; C A García-Pérez; Recio A M Pérez; P Merino

3GPP evolution on LTE connectivity for IoT Artículo de revista

En: ACM Computing Surveys, pp. 1–20, 2018, ISSN: 0360-0300.

BibTeX | Enlaces:

124.

Cristina Alcaraz; Javier López

A Cyber-Physical systems-based checkpoint model for sctructural controllability Artículo de revista

En: IEEE Systems Journal, pp. 1–12, 2018, ISSN: 1932-8184.

BibTeX | Enlaces:

125.

Mathieu Pedemonte; Francisco Luna; Enrique Alba

A theoretical and empirical study of the trajectories of solutions on the grid of systolic genetic search Artículo de revista

En: Information Sciences, vol. 445-446, pp. 445–446, 2018, ISSN: 0020-0255.

BibTeX | Enlaces:

126.

Javier López; Juan Enrique Rubio

Access control for cyber-physical systems interconned to the cloud Artículo de revista

En: Computer Networks, vol. 134, pp. 46–54, 2018, ISSN: 1389-1286.

BibTeX | Enlaces:

127.

Cristina Alcaraz

Cloud-Assisted dynamic resilience for cyber-physical control systems Artículo de revista

En: IEEE Wireless Communications, vol. 25, no 1, pp. 76–82, 2018, ISSN: 1536-1284.

BibTeX | Enlaces:

128.

Cristina Alcaraz; Lorena Cazorla; Javier López

Cyber Stealth attacks in critical information infrastructures Artículo de revista

En: IEEE Systems Journal, vol. 12, no 2, pp. 1778–1792, 2018, ISSN: 1932-8184.

BibTeX | Enlaces:

129.

C A García-Pérez; P Merino

Experimental evaluation of fog computing techniques to reduce latency in LTE networks Artículo de revista

En: ACM Computing Surveys, vol. 29, no 4, 2018, ISSN: 0360-0300.

BibTeX | Enlaces:

130.

A Nieto; R Rios; J Lopez

IoT-Forensics meets privacy: towards cooperative digital investigations. Artículo de revista

En: vol. 18, no 2, pp. 492, 2018, ISSN: 1424-8220.

BibTeX | Enlaces:

131.

Luis Alonso; Javier Barbarán; Jaime Chen; Manuel Díaz; Luis Llopis; Bartolomé Rubio

Middleware and communication technologies for structural health monitoring of critical infrastructures: a survey Artículo de revista

En: Computer Standards & Interfaces, vol. 56, pp. 83–100, 2018, ISSN: 0920-5489, (Proyectos: MIsTIca: monitorización de infraestructuras críticas basada en tecnologías inalámbricas).

BibTeX | Enlaces:

132.

Rodrigo Román; Javier López; Masahiro Mambo

Mobile edge computing Fog et al.: a survey and analysis of security threats and challenger Artículo de revista

En: Future Generation Computer Systems, vol. 78, pp. 680–698, 2018, ISSN: 0167-739x.

BibTeX | Enlaces:

133.

Ana Reyna; Cristian Martín; Jaime Chen; Enrique Soler; Manuel Díaz

On blockchain and its integration with IoT. Challenges and opportunities Artículo de revista

En: Future Generation Computer Systems, pp. to-to, 2018, ISSN: 0167-739x, (Proyectos: MIsTIca: monitorización de infraestructuras críticas basada en tecnologías inalámbricas y POLYCIMS. Un Marco dirigido por modelos para el diseño e integración de sistemas de gestión de infraestructuras críticas).

BibTeX | Enlaces:

134.

Andrés Camero; Javier Arellano Verdejo; Enrique Alba

Road map partitioning for routing by using a micro steady state evolutionary algorithm Artículo de revista

En: Engineering Applications of Artificial Intelligence, vol. 71, pp. 155–165, 2018, ISSN: 0952-1976.

BibTeX | Enlaces:

135.

Raja Naeem Akram; Hsiao-Hwa Chen; Javier López and

Security, privacy and trust of user-centric solutions (Editorial) Artículo de revista

En: Future Generation Computer Systems, vol. 80, pp. 417–420, 2018, ISSN: 0167-739x.

BibTeX | Enlaces:

136.

María Mar Roldán García; Suzan Uskudarli; Neda B. Marvasti; Burak Acar; José F. Aldana Montes

Towards and ontology-driven clinical experience sharing ecosystem: demostration with liver Artículo de revista

En: Expert Systems with Applications, vol. 101, pp. 176–195, 2018, ISSN: 0957-4174.

BibTeX | Enlaces:

137.

José Miguel Horcas; Mónica Pinto; Lidia Fuentes

Variability models for generating efficient configurations of functional quality attributes Artículo de revista

En: Information and Software Technology, vol. 95, pp. 147–164, 2018, ISSN: 0950-5849.

BibTeX | Enlaces:

138.

Jose A. Montenegro; Mónica Pinto; Lidia Fuentes

What do software devolpers need to know to build secure-energy-efficient Android applications? Artículo de revista

En: IEEE Access, vol. 6, pp. 1428–1450, 2018, ISSN: 2169-3536.

BibTeX | Enlaces:

139.

Yan Zhang; Javier López; Jian Tang; Ying-Chang Liang; Xing Zhang

Wireless Big Data: Technologies and applications (Editorial) Artículo de revista

En: IEEE Wireless Communications, vol. 25, no 1, pp. 10–11, 2018, ISSN: 1536-1284.

BibTeX | Enlaces:

140.

José Carrasco; Francisco Durán; Ernesto Pimentel

Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud Artículo de revista

En: Computer Standards & Interfaces, pp. in press, 2018, ISSN: 0920-5489.

BibTeX | Enlaces:

141.

Ricardo Conejo; Beatriz Barros; Manuel Bertoa

Automated Assessment of Complex Programming Tasks Using SIETTE Artículo de revista

En: IEEE Transactions on Learning Technologies, vol. PP, pp. 1-1, 2018.

BibTeX | Enlaces:

142.

Cristóbal Barba-González; José García-Nieto; Maria Mar Roldan; Ismael Navas Delgado; Antonio Nebro; Jose Aldana Montes

BIGOWL: Knowledge centered Big Data analytics Artículo de revista

En: Expert Systems with Applications, vol. 115, 2018.

BibTeX | Enlaces:

143.

Jose-Miguel Horcas; Monica Pinto; Lidia Fuentes

Context-Aware Energy-Efficient Applications for Cyber-Physical Systems Artículo de revista

En: Ad Hoc Networks, vol. 82, 2018.

BibTeX | Enlaces:

144.

Daniel Jesus Muñoz Guerra; José Montenegro; Monica Pinto; Lidia Fuentes

Energy-aware environments for the development of green applications for cyber-physical systems Artículo de revista

En: Future Generation Computer Systems, vol. 91, 2018.

BibTeX | Enlaces:

145.

Daniel H. Stolfi; Enrique Alba

Epigenetic algorithms: a new way of building GAs based on epigenetics Artículo de revista

En: Information Sciences, vol. 424, pp. 250-272, 2018, ISSN: 0020-0255.

BibTeX | Enlaces:

146.

José García-Nieto; Esteban López-Camacho; María García-Godoy; Antonio Nebro; Jose Aldana Montes

Multi-objective ligand-protein docking with particle swarm optimizers Artículo de revista

En: Swarm and Evolutionary Computation, vol. 44, 2018.

BibTeX | Enlaces:

147.

David Peña Morales; Andrei Tchernykh; Sergio Nesmachnow; Renzo Massobrio; Alexander Feoktistov; Igor Bychkov; Gleb Radchenko; Alexander Drozdov; Sergey Garichev

Operating cost and quality of service optimization for multi-vehicle-type timetabling for urban bus systems Artículo de revista

En: Journal of Parallel and Distributed Computing, vol. 133, 2018.

BibTeX | Enlaces:

148.

Almudena Díaz; Laura Panizo; Janie Baños; Carlos Cárdenas; Michael Dieudonne

QoE Evaluation: The TRIANGLE testbed approach Artículo de revista

En: Wireless Communications and Mobile Computing, vol. 2018, pp. 12, 2018, ISSN: 1530-8677.

BibTeX | Enlaces:

149.

Eduardo Cañete; Jaime Chen; Cristian Martín; Bartolomé Rubio

Smart Winery: a real-time monitoring system for structural health and ullage in Fino style wine casks Artículo de revista

En: Sensors, vol. 18, no 3, pp. 15, 2018, ISSN: 1424-8220, (Proyectos: MIsTIca: monitorización de infraestructuras críticas basada en tecnologías inalámbricas y POLYCIMS. Un Marco dirigido por modelos para el diseño e integración de sistemas de gestión de infraestructuras críticas).

BibTeX | Enlaces:

150.

C. Madroñal; Ernesto Pimentel-Sánchez

The Riemann Problem for the Shallow Water Equations with Discontinuous Topography: The Wet-Dry Case Artículo de revista

En: Journal of Computational Physics, vol. 378, 2018.

BibTeX | Enlaces:

151.

C. Madroñal; Ernesto Pimentel-Sánchez

The Riemann Problem for the Shallow Water Equations with Discontinuous Topography: The Wet-Dry Case Artículo de revista

En: Journal of Computational Physics, vol. 378, 2018.

BibTeX | Enlaces:

152.

Liudmila Reyes-Álvarez; Maria Mar Roldan; Jose Aldana Montes

Tool for materializing OWL ontologies in a column-oriented database Artículo de revista

En: Software: Practice and Experience, vol. 49, 2018.

BibTeX | Enlaces:

153.

Sergio Nesmachnow; Renzo Massobrio; Efraín Arreche; Christine Mumford; Ana Olivera; Pablo Vidal; Andrei Tchernykh

Traffic lights synchronization for Bus Rapid Transit using a parallel evolutionary algorithm Artículo de revista

En: International Journal of Transportation Science and Technology, vol. 8, 2018.

BibTeX | Enlaces:

154.

Daniel H. Stolfi; Enrique Alba

Epigenetic algorithms: a new way of building GAs based on epigenetics Artículo de revista

En: Information Sciences, vol. 424, pp. 250-272, 2018, ISSN: 0020-0255.

BibTeX | Enlaces:

155.

Juan E. Rubio; Cristina Alcaraz; Javier López

Recommender system for privacy-preserving solutions in smart metering Artículo de revista

En: Pervasive and Mobile Computing, vol. 41, pp. 205–218, 2017, ISSN: 1574-1192, (Proyectos: PERSIST. Plataforma de Servicios de Seguridad para Infraestructuras de Smart Grid y SMOG. Mecanismos de Seguridad para Fog Computing- Desafíos en la protección de la Infraestructura).

BibTeX | Enlaces:

156.

Leticia Lavado; Laura Panizo; María-del-Mar Gallardo; Pedro Merino

A Characterisation of verification tools for software defined networks Artículo de revista

En: Journal of Reliable Intelligent Environments, vol. 3, no 3, pp. 189–207, 2017, ISSN: 2199-4668, (Proyectos: DADIOT. Construcción, Análisis y Despliegue de Aplicaciones IoT).

BibTeX | Enlaces:

157.

María-del-Mar Gallardo; Leticia Lavado; Laura Panizo; Laura Titolo

A Constraint-based language for modelling intelligent environments Artículo de revista

En: Journal of Reliable Intelligent Environments, vol. 3, no 1, pp. 55–79, 2017, ISSN: 2199-4668.

Resumen | BibTeX | Enlaces:

158.

Marco Comini; María Mar Gallardo; Laura Titolo; Alicia Villanueva

A Program analysis framework for TCCP based on abstract interpretation Artículo de revista

En: Formal Aspects of Computing, vol. 29, no 3, pp. 531–557, 2017, ISSN: 0934-5043, (Proyectos: CHECK-IT. Nuevas Extensiones para el uso de Técnicas Formales de Modelado, Verificación, Síntesis y Optimización de Sistemas Empotrados y de Comunicaciones Móviles: Aplicación a la Certificación de Protocolos LTE).

BibTeX | Enlaces:

159.

Cristian Zambrano-Vega; Antonio J. Nebro; José García-Nieto; José F. Aldana-Montes

Comparting multi-objective metaheuristics for solving a three-objective formulation of multiple sequence alignment Artículo de revista

En: Progress in Artificial Intelligence, vol. 6, no 3, pp. 195–210, 2017, ISSN: 2192-6352.

BibTeX | Enlaces:

160.

Pablo Padilla; Juan Valenzuela; José Luis Padilla; Francisco Luna

Electromagnetic near field inhomogeneity reduction for image acquisition optimization in high resolution multi-channel magnetic resonance imaging (MRI) systems Artículo de revista

En: IEEE Access, vol. 5, pp. 5149–5157, 2017, ISSN: 2169-3536.

BibTeX | Enlaces:

161.

María Mar Roldán García; José Manuel García Nieto; José Francisco Aldana Montes

Enhancing semantic consistency in anti-fraud rule-based expert systems Artículo de revista

En: ACM Computing Surveys, vol. 90, pp. 332–343, 2017, ISSN: 0360-0300, (Proyectos: E-COMmerce Proficient Applications in Security and Sales for SMEs: SME-ECOMPASS y PERCEPCIÓN: Semántica en una Plataforma de Análisis del Big Data).

Resumen | BibTeX | Enlaces:

162.

Javier López; Ruben Ríos; Feng Bao; Guilin Wang

Envolving privacy: from sensors to the Internet of Things Artículo de revista

En: Future Generation Computer Systems, vol. 75, pp. 46–57, 2017, ISSN: 0167-739x, (Proyectos: PERSIST. Plataforma de Servicios de Seguridad para Infraestructuras de Smart Grid y SMOG. Mecanismos de Seguridad para Fog Computing- Desafíos en la protección de la Infraestructura).

BibTeX | Enlaces:

163.

Renzo Massobrio; Jamal Toutouh; Sergio Nesmachnow; Enrique Alba

Infrastructure desployment in vehicular communication networks using a parallel multiobjective evolutionary algorithm Artículo de revista

En: International Journal of Intelligent Systems, vol. 32, no 8, pp. 801–829, 2017, ISSN: 1098-111X.

BibTeX | Enlaces:

164.

Cristóbal Barba González; José García Nieto; Antonio J. Nebro; José A. Cordero; Juan J. Durillo; Ismael Navas Delgado; José F. Aldana Montes

jMetalSP: a framework for dynamic multi-objetive Big Data optimization Artículo de revista

En: Applied Soft Computing, 2017, ISSN: 1568-4946.

BibTeX | Enlaces:

165.

Cristian Zambrano Vega; Antonio J. Nebro; José García Nieto; José F. Aldana Montes

M2Align: parallel multiple sequence alignment with a multi-objective metaheuristic Artículo de revista

En: ACM Computing Surveys, 2017, ISSN: 0360-0300.

BibTeX | Enlaces:

166.

Carmen Fernández Gago; Francisco Moyano; Javier López

Modelling trust dynamics in the Internet of Things Artículo de revista

En: Information Sciences, vol. 396, pp. 72–82, 2017, ISSN: 0020-0255, (Proyectos: PERSIST. Plataforma de Servicios de Seguridad para Infraestructuras de Smart Grid y PRECISE. PRoceso de diseño basado en Confianza para el desarrollo de Software sEguro).

BibTeX | Enlaces:

167.

Inmaculada Ayala; Lawrence Mandow; Mercedes Amor; Lidia Fuentes

A Mobile and interactive multiobjective urban tourist route planning system Artículo de revista

En: Journal of Ambient Intelligence and Smart Environments, vol. 9, no 1, pp. 129–144, 2017, ISSN: 1876-1364.

BibTeX | Enlaces:

168.

Rodrigo Morales; Zéphyrin Soh; Foutse Khonh; Giuliano Antoniol; Francisco Chicano

On the use of developers context for automatic refactoring of sotware anti-patterns Artículo de revista

En: Journal of Systems and Software, vol. 128, pp. 236–251, 2017, ISSN: 0164-1212.

BibTeX | Enlaces:

169.

Ana Moreira; Bernhard Schätz; Peter Clarke; Antonio Vallecillo-Moreno

Guest editorial to the special issue on "modeling foundations and applications" (MODELS 2013) Artículo de revista

En: Software and Systems Modeling, vol. 16, no 2, pp. 309–311, 2017, ISSN: 1619-1366.

BibTeX | Enlaces:

170.

Carlos Cotta; José E. Gallardo

Metaheuristic approaches to the placement of suicide bomber detectors. Artículo de revista

En: Journal of Heuristics, pp. 1–31, 2017, ISSN: 1572-9397.

BibTeX | Enlaces:

171.

Abdelkamel Ben Ali; Gabriel Luque; Enrique Alba; Kamal E Mekemi

An improved problem aware local search algorithm for the DNA fragment assembly problem Artículo de revista

En: Soft Computing, vol. 21, no 7, pp. 1709–1720, 2017, ISSN: 1432-7643.

BibTeX | Enlaces:

172.

Jamal Toutouh; Enrique Alba

Parallel multi-objective metaheuristics for smart communications in vehicular networks Artículo de revista

En: Soft Computing, vol. 21, no 8, pp. 1949–1961, 2017, ISSN: 1432-7643, (Proyectos: moveON: Metaheurísticas, Inteligencia Holística y Movilidad Inteligente).

BibTeX | Enlaces:

173.

Cristian Martín; Manuel Díaz; Bartolomé Rubio

Run-time deployment and management of CoAP resources for the Internet of Things Artículo de revista

En: International Journal of Distributed Sensor Networks, vol. 13, no 3, 2017, ISSN: 1550-1477, (Proyectos: MIsTIca: monitorización de infraestructuras críticas basada en tecnologías inalámbricas y POLYCIMS. Un Marco dirigido por modelos para el diseño e integración de sistemas de gestión de infraestructuras críticas).

BibTeX | Enlaces:

174.

Hajer Ben Romdhane; Saoussen Krichen; Enrique Alba

A bi-population based scheme for an explicit exploration/exploitation trade-off in dynamic environments Artículo de revista

En: Journal of Experimental & Theoretical Artificial Intelligence, vol. 29, no 3, pp. 453–479, 2017, ISSN: 0952-813X, (Proyectos: moveON: Metaheurísticas, Inteligencia Holística y Movilidad Inteligente).

BibTeX | Enlaces:

175.

Javier Berrocal; Jose García; Cristina Vicente-Chicote; Juan Hernández; Tommi Mikkonen; Carlos Canal; Juan M Murillo

Early analysis of resource consumption patterns in mobile applications Artículo de revista

En: Pervasive and Mobile Computing, vol. 35, pp. 32–50, 2017, ISSN: 1574-1192.

BibTeX | Enlaces:

176.

Rodrigo Morales; F. Chicano; Foutse Khonh; Giuliano Antoniol

Exact search-space size fro the refactoring scheduling problem Artículo de revista

En: Automated Software Engineering, 2017, ISSN: 1573-7535.

BibTeX | Enlaces:

177.

Cristian Zambrano Vega; Antonio J. Nebro; Juan J. Durillo; José García Nieto; José F. Aldana Montes

Multiple sequence alignment with multiobjective metaheuristics. A comparative study Artículo de revista

En: International Journal of Intelligent Systems, vol. 32, no 8, pp. 843–864, 2017, ISSN: 1098-111X, (Proyectos: HACIA una Plataforma para la Explotación y Análisis de datos vinculados en Biología de Sistemas; PERCEPCIÓN: Semántica en una Plataforma de Análisis del Big Data y Una Plataforma colaborativas para el análisis del Big Data).

BibTeX | Enlaces:

178.

Ana Rosario Espada; María Mar Gallardo; Alberto Salmerón; Pedro Merino

Performance analysis of Spotify for Andorid with Model-Based Testing Artículo de revista

En: Mobile Information Systems, vol. 2017, pp. 14, 2017, ISSN: 1574-017-X, (Proyectos: CHECK-IT. Nuevas Extensiones para el uso de Técnicas Formales de Modelado, Verificación, Síntesis y Optimización de Sistemas Empotrados y de Comuncaciones Móviles: Aplicación a la Certificación de Protocolos LTE; DADIOT. Construcción, Análisis y Despliegue de Aplicaciones IoT; Fed4FIRE y FLEX. Enabling interoperability and corss experimentation with PerformLTE).

BibTeX | Enlaces:

179.

Jose-Miguel Horcas; Monica Pinto; Lidia Fuentes

Variability Models for Generating Efficient Configurations of Functional Quality Attributes Artículo de revista

En: Information and Software Technology, 2017.

BibTeX | Enlaces:

180.

Francisco Chicano; Gabriel Luque

A Mobile application and academic portal to support professionals working with people having sever intellectual or developmental disabilities Artículo de revista

En: Procedia- Social and Behavioral Sciences, vol. 237, pp. 568–575, 2017, ISSN: 1877-0428.

BibTeX | Enlaces:

181.

Francisco Durán; Antonio Moreno Delgado; Fernando Orejas; Steffen Zschaler

Amalgamation of domain specific languages with behaviour Artículo de revista

En: Journal of Logical and Algebraic Methods in Programming, vol. 86, pp. 208–235, 2017, ISSN: 2352-2208, (Proyectos: POLYCIMS. Un Marco dirigido por modelos para el diseño e integración de sistemas de gestión de infraestructuras críticas y SISTEMAS inalámbricos de gestión de información crítica).

BibTeX | Enlaces:

182.

David Gil; Song; José F. Aldana Montes; Juan Trujillo

Big Data. New approaches of modelling and management Artículo de revista

En: Computer Standards & Interfaces, vol. 54, no part2, pp. 61–63, 2017, ISSN: 0920-5489.

BibTeX | Enlaces:

183.

María Mar Gallardo; Pedro Merino; Laura Panizo; Alberto Salmerón

Integrating river basin DSSs with model checking Artículo de revista

En: International Journal on Software Tools for Technology Transfer, pp. 1–16, 2017, ISSN: 1433-2779, (Proyectos: DADIOT. Construcción, Análisis y Despliegue de Aplicaciones IoT y SAID. SmArt Water Management with Integrated Decision Support Systems).

Resumen | BibTeX | Enlaces:

184.

Manuel Díaz; Cristian Martín; Bartolome Rubio

State-of-the-art, challenges, and open issues in the integration of Internet of Things and Cloud Computing Artículo de revista

En: Journal of Network and Computer Applications, vol. 67, pp. 99–117, 2017, ISSN: 1084-8045, (Proyectos: MIsTIca: monitorización de infraestructuras críticas basada en tecnologías inalámbricas y POLYCIMS. Un Marco dirigido por modelos para el diseño e integración de sistemas de gestión de infraestructuras críticas).

BibTeX | Enlaces:

185.

Rafael Nogueras; Carlos Cotta

Analyzing self *island-based memetic algorithms in heterogeneous unstable environments Artículo de revista

En: International Journal of High Perfomance Systems Architecture, pp. 1–17, 2016, ISSN: 1751-6536.

BibTeX | Enlaces:

186.

J F Valenzuela-Valdés; Francisco Luna; P Padilla; J L Padilla; R Luque-Baena; J E Agudo

Securing and greening wireless sensor networks with beamforming Artículo de revista

En: Mobile, Networks and Applications, pp. 9 online first, 2016, ISSN: 1572-8153.

BibTeX | Enlaces:

187.

Maciek Rybinski; José F. Aldana Montes

tESA: a distributional measure for calculating semantic relatedness Artículo de revista

En: Journal of Biomedical Semantics, vol. 7, no 67, pp. 1–14, 2016, ISSN: 2041-1480, (Proyectos: HACIA una Plataforma para la Explotación y Análisis de datos vinculados en Biología de Sistemas; PERCEPCIÓN: Semántica en una Plataforma de Análisis del Big Data y Una Plataforma colaborativas para el análisis del Big Data).

BibTeX | Enlaces:

188.

Frank Hilken; Martin Gogolla; Loli Burgueño; Antonio Vallecillo

Testing models and model transformations using classifying terms Artículo de revista

En: Software and Systems Modeling, pp. 1–28, 2016, ISSN: 1619-1366.

BibTeX | Enlaces:

189.

María Mar Roldán García; José Manuel García Nieto; José F. Aldana Montes

An ontology-based data integration approach for web analytics in e-commerce Artículo de revista

En: Expert Systems with Applications, vol. 63, pp. 20–34, 2016, ISSN: 0957-4174, (Proyectos: E-COMmerce Proficient Applications in Security and Sales for SMEs: SME-ECOMPASS; HACIA una Plataforma para la Explotación y Análisis de datos vinculados en Biología de Sistemas y Una Plataforma colaborativas para el análisis del Big Data).

BibTeX | Enlaces:

190.

María Jesús García-Godoy; Esteban López-Camacho; José García-Nieto; Antonio J Nebro; José F Aldana-Montes

Molecular Docking Optimization in the Context of Multi-Drug Resistant and Sensitive EGFR Mutants Artículo de revista

En: vol. 21, no 11, pp. 1–14, 2016, ISSN: 1420-3049.

Resumen | BibTeX | Enlaces:

191.

Loli Burgueño; Antonio Vallecillo

A Linda-based platorm for the parallel execution of out-place model transformations Artículo de revista

En: Information and Software Technology, vol. 79, pp. 17–35, 2016, ISSN: 0950-5849, (Proyectos: POLYCIMS. Un Marco dirigido por modelos para el diseño e integración de sistemas de gestión de infraestructuras críticas).

BibTeX | Enlaces:

192.

Andrea Villagra; Enrique Alba; Guillermo Leguizamón

A methodology for the hybridization based in active components: the case of cGA and Scatter search Artículo de revista

En: Computational Intelligence and Neuroscience, vol. 2016, pp. 11 pages, 2016, ISSN: 1687-5265, (Proyectos: moveON: Metaheurísticas, Inteligencia Holística y Movilidad Inteligente).

BibTeX | Enlaces:

193.

Francisco Moyano; Carmen Fernández Gago; Javier López

A model-driven approach for engineering trust and reputation into software services Artículo de revista

En: Journal of Network and Computer Applications, vol. 69, pp. 134–151, 2016, ISSN: 1084-8045, (Proyectos: PERSIST. Plataforma de Servicios de Seguridad para Infraestructuras de Smart Grid y PRECISE. Proceso de diseño basado en Confianza para el desarrollo de Software Seguro).

BibTeX | Enlaces:

194.

Carlos Roberto Brys; José F. Aldana-Montes

A semantic model for electronic govemment in the province of Misiones, Argentina Artículo de revista

En: An International Journal Electronic Govemment, vol. 12, no 4, pp. 337–356, 2016, ISSN: 1740-7508.

BibTeX | Enlaces:

195.

Martín Pedemonte; Francisco Luna; Enrique Alba

A systolic genetic search for reducing the execution cost of regression testing Artículo de revista

En: Applied Soft Computing, vol. 49, pp. 1145–1161, 2016, ISSN: 1568-4946.

BibTeX | Enlaces:

196.

Marco A. Moreno Armendáriz; Martin Hagan; Enrique Alba; José Jesús Rubio; Carlos A. Cruz Villar; Guillermo Leguizamón

Advances in neural networks and hybrid-metaheuristics: Theory, algorithms, and Novel Engineering Applications Artículo de revista

En: Computational Intelligence and Neuroscience, vol. 2016, pp. 1, 2016, ISSN: 1687-5265.

BibTeX | Enlaces:

197.

Almudena Díaz-Zayas; Álvaro Recio M Pérez; Pedro Merino

Characterizing radio and networking power consumption in LTE networks Artículo de revista

En: Mobile Information Systems, vol. 2016, pp. 10 pags, 2016, ISSN: 1574-017-X.

BibTeX | Enlaces:

198.

Francisco Porcel-Rodríguez; Juan Valenzuela Valdés; Pablo Padilla; Francisco Luna-Valero; Rafael Luque-Baena; Miguel Ángel López Gordo

Clustering and beamforming for efficient communication in wireless sensor networks Artículo de revista

En: Sensors, vol. 16, no 8, pp. 14 pags, 2016, ISSN: 1424-8220.

BibTeX | Enlaces:

199.

Mariela Nogueira Collado; Carlos Cotta; Antonio J. Fernández Leiva

Competitive algorithms for coevolving both game content and AI. A Case study: planet wars Artículo de revista

En: IEEE Transactions on Computational Intelligence and AI in Games, vol. 8, no 4, pp. 325–337, 2016, ISSN: 1943-068X, (Proyectos: ALGORITMOS bioinspirados en entornos efímeros complejos y DNEMESIS. Optimización interactiva en sistemas distribuidos para la obtención de soluciones subjetivamente interesantes mediante heurísticas bioinspiradas y modelos de cooperación híbridos).

BibTeX | Enlaces:

200.

Carlos Cotta; Robert Schaefer

Complex metaheuristics Artículo de revista

En: ACM Computing Surveys, vol. 17, no 1, pp. 171–173, 2016, ISSN: 0360-0300.

BibTeX | Enlaces:

201.

Rodrigo Roman; Miguel Rodel; Phua Eu; Jianying Zhou

Complying with security requirements in cloud storage systems Artículo de revista

En: Journal of Computers, vol. 11, no 3, pp. 201–206, 2016, ISSN: 1796-203X.

BibTeX | Enlaces:

202.

Cristina Alcaraz; Lorena Cazorla; Javier López

Cyber stealth attacks in critical information infrastructures Artículo de revista

En: IEEE Systems Journal, no 99, pp. 1–15, 2016, ISSN: 1932-8184, (Proyectos: FACIES. Online Identification of Failure and Attack on Interdependent Critical InfrastructurES; FISICCO. Federación e Interconexión Segura de Infraestructuras de Cloud Computing; PERSIST. Plataforma de Servicios de Seguridad para Infraestructuras de Smart Grid y PISCIS. Plataformas para la Interconexión Segura de Infraestructuras Críticas).

BibTeX | Enlaces:

203.

Juan F. Valenzuela Valdés; José Luis Padilla; P. Padilla; Francisco Luna; José Manuel Fernández González

Design rules for antenna placement on MIMO system Artículo de revista

En: Journal of Electromagnetic Waves and Applications, vol. 30, no 13, pp. 1731–1739, 2016, ISSN: 0920-5071.

BibTeX | Enlaces:

204.

Ana Nieto; Rodrigo Román; Javier López

Digital witness: safeguarding digital evidence by using secure architectures in personal devices Artículo de revista

En: IEEE Network, vol. 30, no 6, pp. 34–41, 2016, ISSN: 0890-8044, (Proyectos: IoTEST. Testigos Digitales: Dispositivos Inteligentes de Ciberseguridad para la IoT).

BibTeX | Enlaces:

205.

María Mar Roldán García; María Jesús García Godoy; José F. Aldana Montes

Dione: An OWL representation of ICD-10-CM for classifying patients Artículo de revista

En: Journal of Biomedical Semantics, vol. 2016, no 7, pp. 1–14, 2016, ISSN: 2041-1480.

BibTeX | Enlaces:

206.

Francisco Luna; Gustavo R. Zavala; Antonio J. Nebro; Juan J. Durillo; Carlos A. Coello Coello

Distributed multi-objective metaheuristics for real-world structural optimization problems Artículo de revista

En: The Computer Journal, vol. 59, no 6, pp. 777–792, 2016, ISSN: 0010-4620.

BibTeX | Enlaces:

207.

Francisco Chicano; Christian Blum; Gabriela Ochoa

Editorial for the special issue on combinatorial optimization problems Artículo de revista

En: Evolutionary Computation, vol. 24, no 4, pp. 573–575, 2016, ISSN: 1063-6560.

BibTeX | Enlaces:

208.

Carmen Mª Fernández; David Alejandro Nuñez; Jesús Luna

Eliciting metrics for accountability of cloud systems Artículo de revista

En: Computers & Security, vol. 62, pp. 149–164, 2016, ISSN: 0167-4048, (Proyectos: A4CLOUD. Accountability for Cloud and other Future Internet Services y PRECISE. PRoceso de diseño basado en Confianza para el desarrollo de Software sEguro).

BibTeX | Enlaces:

209.

Darrell L. Whitley; Francisco Chicano; Brian W. Goldman

Gray box optimization for Mk landscapes (NK Landscapes and MAX-kSAT) Artículo de revista

En: Evolutionary Computation, vol. 24, no 3, pp. 491–519, 2016, ISSN: 1063-6560.

BibTeX | Enlaces:

210.

Francisco Javier Rivas Tocado; Almudena Díaz Zayas; Pedro Merino

Innovative tools and processes for mobile communications research and education Artículo de revista

En: International Journal of online Engineering, vol. 12, no 9, pp. 40–46, 2016, ISSN: 1861-2121.

BibTeX

211.

Javier Ferrer; José García-Nieto; Enrique Alba; Frnacisco Chicano

Intelligent testing of traffic light programs: validation in Smart mobility scenarios Artículo de revista

En: Mathematical Problems in Engineering, vol. 2016, pp. 19, 2016, ISSN: 1024-123X.

BibTeX | Enlaces:

212.

Jamal Toutouh; Enrique Alba

Light commodity devices for building vehicular ad hoc networks: an experimental study Artículo de revista

En: Ad Hoc Networks, vol. 37, no part2, pp. 499–511, 2016, ISSN: 1570-8705.

BibTeX | Enlaces:

213.

Cristian Zambrano-Vega; Antonio J Nebro; José F Aldana-Montes

MO-Phylogenetics: a phylogenetic inference software tool with multi-objective evolutionary metaheuristics Artículo de revista

En: Methodos in Ecology and Evolution, vol. 7, no 7, pp. 800–805, 2016, ISSN: 2041-210X.

BibTeX | Enlaces:

214.

David Núñez; Isaac Agudo; Javier López

On the application of genetic CCA-Secure transformations to proxy re-encryption Artículo de revista

En: Security and Communication Networks, vol. 9, no 12, pp. 1769–1789, 2016, ISSN: 1939-0122.

BibTeX | Enlaces:

215.

Francisco Durán; Gwen Salaün

Robust and reliable reconfiguration of cloud applications Artículo de revista

En: Journal of Systems and Software, vol. 122, pp. 524–537, 2016, ISSN: 0164-1212.

BibTeX | Enlaces:

216.

José Manuel Berutich; Francisco López; Francisco Luna; David Quintana Montero

Robust technical trading strategies using GP for algorithmic: portfolio selection Artículo de revista

En: Expert Systems with Applications, vol. 46, pp. 307–315, 2016, ISSN: 0957-4174.

BibTeX | Enlaces:

217.

Hajer Ben-Romdhane; Enrique Alba; Saoussen Krichen

Towards a dynamic modeling of the predator prey problem Artículo de revista

En: Applied Intelligence: the International Journal of Research on Intelligent Systems for Real Life Complex Problems, vol. 44, no 4, pp. 755–770, 2016, ISSN: 0924-669x, (Proyectos: moveON: Metaheurísticas, Inteligencia Holística y Movilidad Inteligente).

BibTeX | Enlaces:

218.

Cristóbal Barba González; José García Nieto; Ismael Navas Delgado; José Francisco Aldana Montes

A Fine grain sentiment analysis with semantics in tweets Artículo de revista

En: International Journal of Interactive Multimedia and Artificial Intelligence, vol. 3, no 6, pp. 22–28, 2016, ISSN: 1989-1660.

BibTeX | Enlaces:

219.

G. Zavala; A. J. Nebro; F. Luna and

Structural design using multi-objective metaheuristics. Comparative study and application to a real-world problem Artículo de revista

En: Structural and Multidisciplinary Optimization, vol. 53, no 3, pp. 545–566, 2016, ISSN: 1615-147X, (Proyectos: HACIA una Plataforma para la Explotación y Análisis de datos vinculados en Biología de Sistemas; PERCEPCIÓN: Semántica en una Plataforma de Análisis del Big Data y Una Plataforma colaborativas para el análisis del Big Data).

BibTeX | Enlaces:

220.

Jose-Miguel Horcas; Mónica Pinto; Lidia Fuentes

An automatic process for weaving functional quality attributes using a software product line approach Artículo de revista

En: Journal of Systems and Software, vol. 112, pp. 78–95, 2016, ISSN: 0164-1212, (Proyectos: MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas y MAVI. Modelos, Aspectos y Variabilidad aplicados a la Auto-Adaptación en la Internet de las Cosas).

BibTeX | Enlaces:

221.

Rafael Nogueras; Carlos Cotta

Studying self-balancing strategies in island-based multimemetic algorithms Artículo de revista

En: Journal of Computational and Applied Mathematics, vol. 293, pp. 180–191, 2016, ISSN: 0377-0427, (Proyectos: ALGORITMOS bioinspirados en entornos efímeros complejos; ANYSELF. SELF* Properties in Bioinspired Algorihtms and Complex Systems= Propiedades SELF. En Algoritmos meméticos para problemas de optimización complejos y DNEMESIS. Optimización interactiva en sistemas distribuidos para la obtención de soluciones subjetivamente interesantes mediante heurísticas bioinspiradas y modelos de cooperación híbridos).

BibTeX | Enlaces:

222.

Jose Miguel Horcas; Mónica Pinto; Lidia Fuentes; Wissam Mallouli; Edgardo Montes Oca

An approach for deploying and monitoring dynamic security policies Artículo de revista

En: Computers & Security, vol. 58, pp. 20–38, 2016, ISSN: 0167-4048, (Proyectos: MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas y MAVI. Modelos, Aspectos y Variabilidad aplicados a la Auto-Adaptación en la Internet de las Cosas).

BibTeX | Enlaces:

223.

Javier Arellano-Verdejo; Enrique Alba; Salvador Godoy-Calderon

Efficiently finding the optimum number of clusters in a dataset with a new bybrid differential evolution algorithm: DELA Artículo de revista

En: Soft Computing a Fusion of Foundations, Methodologies and Applications, vol. 20, no 3, pp. 895–905, 2016, ISSN: 1432-7643.

BibTeX | Enlaces:

224.

Yesnier Bravo; Enrique Alba; Gabriel Luque

Global memory schemes for dynamic optimization Artículo de revista

En: Natural Computing, vol. 15, no 2, pp. 319–333, 2016, ISSN: 1567-7818.

BibTeX | Enlaces:

225.

Antonio Hernández; Ángel Blanco-Villaseñor; José Luis Pastrana; Vernónica Morales Sánchez; Francisco Jesús Ramos-Pérez

SAGT: programa informático para análisis de generalizabilida Artículo de revista

En: Revista Iberoamericana de Psicología del Ejercicio y el Deporte, vol. 11, no 1, pp. 77–89, 2016, ISSN: 1886-8576.

BibTeX

226.

Javier Apolloni; Guillermo Leguizamón; Enrique Alba

Two hybrid wrapper-filter feature selection algorithms applied to high-dimensional microarray experiments Artículo de revista

En: Applied Soft Computing, vol. 38, pp. 922–932, 2016, ISSN: 1568-4946, (Proyectos: moveON: Metaheurísticas, Inteligencia Holística y Movilidad Inteligente).

BibTeX | Enlaces:

227.

Briseida Sarasola; Karl F Doerner; Verena Schmid; Enrique Alba

Variable neighborhood search for the stochastic and dynamic vehicle routing problem Artículo de revista

En: Annals of Operations Research, vol. 236, no 2, pp. 425–461, 2016, ISSN: 0254-5330, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación; M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA) y RoadME. Fundamentos para la Aplicación de Metaheurísticas a Problemas Reales: el Caso de las Redes Vehiculares).

BibTeX | Enlaces:

228.

Javier Ferrer; Francisco Chicano; Enrique Alba

Search based algorithms for test sequence generation in functional testing Artículo de revista

En: Information and Software Technology, vol. 58, pp. 419–432, 2015, ISSN: 0950-5849, (Proyectos: RoadME. Fundamentos para la Aplicación de Metaheurísticas a Problemas Reales: el Caso de las Redes Vehiculares).

BibTeX | Enlaces:

229.

Ismael Navas Delgado; María Jesús García Godoy; Esteban López Camacho; Maciek Rybinski; Armando Reyes Palomares; Miguel Ángel Medina; José F. Aldana Montes

Kpath: integration of metabolic pathway linked data Artículo de revista

En: Database: The Journal of Biological Databases and Curation, vol. 2015, pp. 1–11, 2015, ISSN: 1758-0463, (Proyectos: HACIA una Plataforma para la Explotación y Análisis de datos vinculados en Biología de Sistemas; PERCEPCIÓN: Semántica en una Plataforma de Análisis del Big Data; REALIDAD. Gestión, análisis y explotación eficiente de datos vinculados y Una Plataforma colaborativas para el análisis del Big Data).

BibTeX | Enlaces:

230.

María Jesús García-Godoy; Esteban López-Camacho; José García-Nieto; Antonio J Nebro; José F Aldana-Montes

Solving molecular docking problems with multi-objective metaheuristics Artículo de revista

En: vol. 20, no 6, pp. 10154–10183, 2015, ISSN: 1420-3049.

BibTeX | Enlaces:

231.

Eduardo Cañete; Jaime Chen; Manuel Díaz; Luis Llopis; Ana Ryna; Bartolomé Rubio

Using wireless sensor networks and trains as data mules to monitor Slab track infrastructures Artículo de revista

En: Sensors, vol. 15, no 7, pp. 15101–15126, 2015, ISSN: 1424-8220.

BibTeX | Enlaces:

232.

José E. Gallardo; Carlos Cotta

A GRASP-base memetic algorithm with path relinking for the far from most string problem Artículo de revista

En: Engineering Applications of Artificial Intelligence, vol. 41, pp. 183–194, 2015, ISSN: 0952-1976, (Proyectos: ANYSELF. SELF* Properties in Bioinspired Algorihtms and Complex Systems= Propiedades SELF. En Algoritmos meméticos para problemas de optimización complejos y DNEMESIS. Optimización interactiva en sistemas distribuidos para la obtención de soluciones subjetivamente interesantes mediante heurísticas bioinspiradas y modelos de cooperación híbridos).

BibTeX | Enlaces:

233.

Andrea Villagra; G. Leguizamón; Enrique Alba

Active components of metaheuristics in cellular genetic algorithms Artículo de revista

En: Soft Computing a Fusion of Foundations, Methodologies and Applications, vol. 19, no 5, pp. 1295–1309, 2015, ISSN: 1432-7643.

BibTeX | Enlaces:

234.

Gustavo G Pascual; Roberto E Lopez-Herrejon; Mónica Pinto; Lidia Fuentes; Alexander Egyed

Applying multiobjective evolutionary algorithms to dynamic software product lines for reconfiguring mobile applications Artículo de revista

En: Journal of Systems and Software, vol. 103, pp. 392–411, 2015, ISSN: 0164-1212, (Proyectos: FAMIWARE: una Familia de plataformas dinámicas orientadas a aspectos para inteligencia ambiental; MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas y MAVI. Modelos, Aspectos y Variabilidad aplicados a la Auto-Adaptación en la Internet de las Cosas).

BibTeX | Enlaces:

235.

Nadia Gámez; Lidia Fuentes; José María Troya

Creating self-adapting mobile systems with dynamic software product lines Artículo de revista

En: IEEE Software, vol. 32, no 2, pp. 105–112, 2015, ISSN: 0740-7459, (Proyectos: FAMIWARE: una Familia de plataformas dinámicas orientadas a aspectos para inteligencia ambiental; INTER-TRUST: Interoperable Trust Assurance Infrastructure; MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas y MAVI. Modelos, Aspectos y Variabilidad aplicados a la Auto-Adaptación en la Internet de las Cosas).

BibTeX | Enlaces:

236.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

The Sol agent platform: enabling group communication and introperability of sel-configuring agents in the ineternet of things Artículo de revista

En: Journal of Ambient Intelligence and Smart Environments, vol. 7, no 2, pp. 243–269, 2015, ISSN: 1876-1364, (Proyectos: FAMIWARE: una Familia de plataformas dinámicas orientadas a aspectos para inteligencia ambiental; MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas y MAVI. Modelos, Aspectos y Variabilidad aplicados a la Auto-Adaptación en la Internet de las Cosas).

BibTeX | Enlaces:

237.

Mónica Pinto; Nadia Gámez; Lidia Fuentes; Mercedes Amor; José Miguel Horcas; Inmaculada Ayala

Dynamic reconfiguration of security policies in wireless sensor networks Artículo de revista

En: Sensors, vol. 15, no 3, pp. 5251–5280, 2015, ISSN: 1424-8220, (Proyectos: FAMIWARE: una Familia de plataformas dinámicas orientadas a aspectos para inteligencia ambiental; INTER-TRUST: Interoperable Trust Assurance Infrastructure; MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas y MAVI. Modelos, Aspectos y Variabilidad aplicados a la Auto-Adaptación en la Internet de las Cosas).

BibTeX | Enlaces:

238.

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

Probabilistic receiver-location privacy protection in wireless [in press] Artículo de revista

En: Information Sciences, pp. to appear, 2015, ISSN: 0020-0255, (Proyectos: NESSos. Network of excellence on engineering secure future internet software y PISCIS. Plataformas para la Interconexión Segura de Infraestructuras Críticas).

BibTeX | Enlaces:

239.

Santiago Iturriaga; Sergio Nesmachnow; Francisco Luna; Enrique Alba

A Parallel local search in CPU/GPU for schduling independent tasks on large heterogeneous computing systems Artículo de revista

En: Journal of Supercomputing, vol. 71, no 2, pp. 648–672, 2015, ISSN: 0920-8542.

BibTeX | Enlaces:

240.

Fernando Sánchez; Samuel Benavides; Fernando Moreno; Guillermo Garzón; María Mar Roldan García; Ismael Navas Delgado; José F. Aldana Montes

A Repository of semantic open EHR archetypes Artículo de revista

En: International Journal of Artificial Intelligence and Interactive Multimedia, vol. 3, no 2, pp. 57–62, 2015, ISSN: 1989-1660.

BibTeX | Enlaces:

241.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes; José M Troya

A Software product line process to develop agents for the IoT Artículo de revista

En: Sensors, vol. 15, pp. 15640–15660, 2015, ISSN: 1424-8220.

BibTeX | Enlaces:

242.

Alberto Salmerón; Pedro Merino

Integrating model checking and simulation for protocol optimization Artículo de revista

En: vol. 9, pp. 2–25, 2015, ISSN: 1741-3133.

BibTeX | Enlaces:

243.

Raúl Lara Cabrera; Mariela Nogueira Collazo; Carlos Cotta; Antonio J. Fernández Leiva

Procedural content generation for Real-Time strategy games Artículo de revista

En: International Journal of Artificial Intelligence and Interactive Multimedia, vol. 3, no 2, pp. 40–48, 2015, ISSN: 1989-1660.

BibTeX | Enlaces:

244.

N Nomikos; A. Nieto; J Lopez

Relay selection for secure 5G green communications Artículo de revista

En: Telecommunications Systems, vol. 59, no 1, pp. 169–187, 2015, ISSN: 1018-4864.

BibTeX

245.

Gustavo G. Pascual; Mónica Pinto; Lidia Fuentes

Self-adaptation of mobile systems driven by the common variability language Artículo de revista

En: Future Generation Computer Systems, vol. 47, pp. 127–144, 2015, ISSN: 0167-739x, (Proyectos: FAMIWARE: una Familia de plataformas dinámicas orientadas a aspectos para inteligencia ambiental; INTER-TRUST: Interoperable Trust Assurance Infrastructure; MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas y MAVI. Modelos, Aspectos y Variabilidad aplicados a la Auto-Adaptación en la Internet de las Cosas).

BibTeX | Enlaces:

246.

Eduardo Cañete; Jaime Chen; Manuel Díaz; Luis Llopis; Bartolomé Rubio

Sensor4PRI: a sensor platform for the protection of railway infrastructures Artículo de revista

En: vol. 15, no 3, pp. 4996–5019, 2015, ISSN: 1424-8220.

BibTeX | Enlaces:

247.

Antonio Brogi; Javier Cubo; Laura González; Ernesto Pimentel; Raúl Ruggia

Dynamic verification of Mashups of Service-Oriented Things through a mediation platform Artículo de revista

En: Journal of Universal Computer Science, vol. 20, no 8, 2014, ISSN: 0948-695X, (Proyectos: CHECK-IT. Nuevas Extensiones para el uso de Técnicas Formales de Modelado, Verificación, Síntesis y Optimización de Sistemas Empotrados y de Comuncaciones Móviles: Aplicación a la Certificación de Protocolos LTE; SeaClouds. Seamless adaptive multi-cloud management of service-based applications y SOFIA. Optimización y Orquestación de Servicios en Aplicaciones de Internet del Futuro).

BibTeX

248.

Inmaculada Ayala; Mercedes Amor; Mónica Pinto; Lidia Fuentes; Nadia Gámez

iMusemA: an agent-based context-aware intelligent museum system Artículo de revista

En: Sensors, vol. 14, no 11, 2014, ISSN: 1424-8220, (Proyectos: FAMIWARE: una Familia de plataformas dinámicas orientadas a aspectos para inteligencia ambiental; MAGIC. Líneas de producto software y sistemas multiagente para la auto-gestión de sistemas de la Internet-de-las-cosas y MAVI. Modelos, Aspectos y Variabilidad aplicados a la Auto-Adaptación en la Internet de las Cosas).

BibTeX

249.

Flavio De Paoli; Ernesto Pimentel

Introduction to the special issue from the European conference on service-oriented and cloud computing [editorial] Artículo de revista

En: Service Oriented Computing and Applications, vol. 8, no 4, pp. 259–260, 2014, ISSN: 1863-2386.

BibTeX

250.

R Lara-Cabrera; C Cotta; A J Fernández-Leiva

Geometrical vs topological measures for the evolution of aesthetic maps in a RTS game Artículo de revista

En: Entertainment Computing, vol. 5, no 4, pp. 251–258, 2014, ISSN: 1875-9521.

BibTeX | Enlaces:

251.

José Antonio Montenegro; Javier López

A Practical solution for sealed bid and multi-currency auctions Artículo de revista

En: Computers & Security, vol. 45, pp. 186-198, 2014, ISSN: 0167-4048.

BibTeX

252.

A Nieto; J Lopez

Analysis and taxonomy of security/Qos tradeoff solutions for the future internet Artículo de revista

En: Security and Communication Networks, vol. 7, no 12, pp. 2778–2803, 2014.

BibTeX | Enlaces:

253.

Carolina Salto; Francisco Luna; Enrique Alba

Enhancing distributed EAs by a proactive strategy Artículo de revista

En: Cluster Computing: The Journal of Networks, Software Tools and Applications, vol. 17, no 2, pp. 219-229, 2014, ISSN: 1386-7857, (Proyectos: RoadME. Fundamentos para la Aplicación de Metaheurísticas a Problemas Reales: el Caso de las Redes Vehiculares).

BibTeX

254.

Daniel H. Stolfi; Enrique Alba

Red Swarm: reducing travel times in smart cities by using bio-inspired algorithms Artículo de revista

En: Applied Soft Computing, vol. 24, pp. 181-195, 2014, ISSN: 1568-4946, (Proyectos: RoadME. Fundamentos para la Aplicación de Metaheurísticas a Problemas Reales: el Caso de las Redes Vehiculares).

BibTeX

255.

Pablo Vidal; Francisco Luna; Enrique Alba

Systolic neighborhood search on graphics processing units Artículo de revista

En: Soft Computing a Fusion of Foundations, Methodologies and Applications, vol. 18, 2014, ISSN: 1432-7643, (Proyectos: RoadME. Fundamentos para la Aplicación de Metaheurísticas a Problemas Reales: el Caso de las Redes Vehiculares).

BibTeX

256.

Gustavo R Zavala; Antonio J Nebro; Juan J Durillo; Francisco Luna

Integrating a multi-objective optimization framework into a structural design software Artículo de revista

En: vol. 76, pp. 161–170, 2014, ISSN: 0965-9978.

BibTeX

257.

Antonio M. Grilo; Jaime Chen; Manuel Díaz; Daniel Garrido; Augusto Casaca

An integrated WSAN and SCADA system for monitoring a critical infrastructure Artículo de revista

En: IEEE Transactions on Industrial Informatics, vol. 10, no 3, pp. 1755–1764, 2014, ISSN: 1551-3203.

BibTeX | Enlaces:

258.

Ismael Navas-Delgado; José F. Aldana-Montes

BioSStore: a client interface for a repository of semantically annotated Bioinformatics web services Artículo de revista

En: vol. 1, no 1, pp. 19–29, 2014, ISSN: 2199-336X, (Proyectos: HACIA una Plataforma para la Explotación y Análisis de datos vinculados en Biología de Sistemas; REALIDAD. Gestión, análisis y explotación eficiente de datos vinculados y Una Plataforma colaborativas para el análisis del Big Data).

BibTeX

259.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

A Model driven engineering process of platform neutral agents for ambient intelligence devices Artículo de revista

En: Autonomous Agents and Multi-Agent Systems, vol. 28, no 2, pp. 214–255, 2014, ISSN: 1387-2532, (Proyectos: FAMIWARE: una Familia de plataformas dinámicas orientadas a aspectos para inteligencia ambiental y RAP. Automatización del proceso de desarrollo de aplicaciones orientados a aspectos usando un enfoque dirigido por modelos).

BibTeX

260.

Ana Nieto; Javier Lopez

A Model for the analysis of QoS and security tradeoff in mobile platforms Artículo de revista

En: Mobile, Networks and Applications (MONET) Journal, vol. 19, no 1, pp. 64–78, 2014, ISSN: 1572-8153.

BibTeX

261.

Albert Levi; Özgür Gürbüz; Antonio Maña; Marek Klonowski; Matteo Cesana; Mona Ghassemian; Susana Sargento

A Special issue of ad hoc networks on "Smart solutions for mobility supported distributed and embedded systems" Artículo de revista

En: Ad Hoc Networks, pp. 1–3, 2014, ISSN: 1570-8705.

BibTeX

262.

Carmen Fernández Gago; Isaac Agudo; Javier López

Building trust from context similarity measures Artículo de revista

En: Computer Standards & Interfaces, vol. 36, no 4, pp. 792–800, 2014, ISSN: 0920-5489, (Proyectos: NESSos. Network of excellence on engineering secure future internet software y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

263.

Cristina Alcaraz; Javier López

Diagnosis mechanism for accurate monitoring in critical infrastructure protection Artículo de revista

En: Computer Standards & Interfaces, no 6, pp. 501–512, 2014, ISSN: 0920-5489.

BibTeX

264.

Roberto E López; Francisco Chicano; Javier Ferrer; Evelyn Nicole Haslinger; Alexander Egyed; Enrique Alba

Towards a benchmark and a comparison framework for combinatorial interaction testing of software product lines Artículo de revista

En: CoRR: computing research repository, 2014.

BibTeX

265.

Cristina Alcaraz; Javier López

WASAM: a dinamic wide-area situational awareness model for critical domains in Smart Grids Artículo de revista

En: Future Generation Computer Systems, vol. 30, pp. 146–154, 2014, ISSN: 0167-739x, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy y PISCIS. Plataformas para la Interconexión Segura de Infraestructuras Críticas).

BibTeX

266.

V Ciancia; Fabio Martinelli; José Antonio Martín; I Matteucci; M Petrocchi; Ernesto Pimentel

Automated synthesis and ranking of secure BPMN orchestrators Artículo de revista

En: International Journal of Secure Software Engineering, vol. 5, no 2, 2014, ISSN: 1947-3036.

BibTeX | Enlaces:

267.

Francisco Javier Rivas; Almudena Díaz; Pedro Merino

Characterizing traffic performance in cellular networks Artículo de revista

En: IEEE Internet Computing, vol. 18, no 1, pp. 12–19, 2014, ISSN: 1089-7801, (Proyectos: CHECK-IT. Nuevas Extensiones para el uso de Técnicas Formales de Modelado, Verificación, Síntesis y Optimización de Sistemas Empotrados y de Comunicaciones Móviles: Aplicación a la Certificación de Protocolos LTE; SOFIA. Optimización y Orquestación de Servicios en Aplicaciones de Internet del Futuro y TECRAIL. Técnicas de comunicación LTE para la conducción automática y el control ferroviario).

BibTeX

268.

Francisco Chicano; Darrell L Whitley; Enrique Alba

Exact computation of the expectation surfaces for uniform crossover along with bit-flip mutation Artículo de revista

En: Theoretical Computer Science, vol. 545, 2014, ISSN: 0304-3975.

BibTeX

269.

Esteban López Camacho; María Jesús García Godoy; Antonio Jesús Nebro Urbaneja; José Francisco Aldana Montes

jMetalCpp: optimizing molecular docking problems with a C++ metaheuristic framework Artículo de revista

En: Bioinformatics, vol. 30, no 3, 2014, ISSN: 1367-4803.

BibTeX

270.

Raúl Lara-Cabrera; Carlos Cotta Porras; Antonio José Fernández Leiva

On balance and dynamism in procedural content generation with self-adaptive evolutionary algorithms Artículo de revista

En: Natural Computing, pp. online first, 2014, ISSN: 1567-7818, (Proyectos: ANYSELF. SELF* Properties in Bioinspired Algorihtms and Complex Systems= Propiedades SELF. En Algoritmos meméticos para problemas de optimización complejos y DNEMESIS. Optimización interactiva en sistemas distribuidos para la obtención de soluciones subjetivamente interesantes mediante heurísticas bioinspiradas y modelos de cooperación híbridos).

BibTeX

271.

Flavio De Paoli; Gianluigi Zavattaro; Ernesto Pimentel

Preface. Special issue of the conference on service-oriented and cloud computing Artículo de revista

En: ACM Computing Surveys, pp. to appear, 2014, ISSN: 0360-0300.

BibTeX

272.

Antonio Brogi; Ahmad Ibrahim; Jacopo Soldani; José Carrasco; Javier Cubo; Ernesto Pimentel; Francesco DÁndria

SeaClouds: a european project on seamless management of multi-cloud applications Artículo de revista

En: ACM SIGSOFT Software Engineering Notes, no 1, pp. 1–4, 2014, ISSN: 0163-5948.

BibTeX

273.

Francisco Luna; Francisco Chicano; M. A. Vega; David L. González

The Software project scheduling problem: a scalability analysis of multi-objective metaheuristics Artículo de revista

En: Applied Soft Computing, pp. 136–148, 2014, ISSN: 1568-4946.

BibTeX

274.

Mariela Nogueira Collazo; Carlos Cotta; Antonio José Fernández

Virtual player design using self-learning via compoetitive coevolutionary algorithms Artículo de revista

En: ACM Computing Surveys, pp. 1572–9796, 2014, ISSN: 0360-0300.

BibTeX

275.

Almudena Díaz; García César A. Pérez; Merino Pedro Merino

Third-Generation partnership project standards: for delivery of critical communications for railways Artículo de revista

En: IEEE Vehicular Technology Magazine, vol. 9, no 2, pp. 58–68, 2014, ISSN: 1556-6072, (Proyectos: HACIA una Plataforma para la Explotación y Análisis de datos vinculados en Biología de Sistemas; SOFIA. Optimización y Orquestación de Servicios en Aplicaciones de Internet del Futuro y TECRAIL. Técnicas de comunicación LTE para la conducción automática y el control ferroviario).

BibTeX

276.

Joaquín Guillén; Javier Miranda; Javier Berrocal; José Manuel García-Alonso; Juan Manuel Murillo; Carlos Canal

People as a Service: A Mobile-centric Model for Providing Collective Sociological Profiles Artículo de revista

En: IEEE Software, vol. 31, pp. 48-53, 2014.

BibTeX

277.

Francisco Chicano; Javier Ferrer; Enrique Alba

Estimating software testing complexity Artículo de revista

En: Information and Software Technology, vol. 55, no 12, pp. 2126–2139, 2013, ISSN: 0950-5849, (Proyectos: RoadME. Fundamentos para la Aplicación de Metaheurísticas a Problemas Reales: el Caso de las Redes Vehiculares).

BibTeX

278.

Mirialys Machín; Antonio Nebro J. Urbaneja

Metaheurísticas multiobjetivo adaptativas Artículo de revista

En: Computación y Sistemas. Revista Iberoamericana de Computación, vol. 17, no 1, pp. 53–62, 2013, ISSN: 1405-5546.

BibTeX

279.

Francisco Javier Rivas; Almudena Díaz; Pedro Merino

Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case Artículo de revista

En: Journal of Computer Networks and Communications, no 2013, pp. 1–10, 2013, (Proyectos: TECRAIL. Técnicas de comunicación LTE para la conducción automática y el control ferroviario).

BibTeX

280.

Cristina Alcaraz; Rodrigo Román; Plablo Nájera; Javier Lopez

Security of industrial sensor network-based remote substations in the context of the Internet of Things Artículo de revista

En: Ad Hoc Networks, no 3, pp. 1091–1104, 2013, ISSN: 1570-8705.

BibTeX

281.

Javier López; Cristina Alcaraz; Rodrigo Román

Smart control of operational threats in control substations Artículo de revista

En: Computers & Security, vol. 38, pp. 14–27, 2013, ISSN: 0167-4048, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy; PISCIS. Plataformas para la Interconexión Segura de Infraestructuras Críticas y SECRET.Secularización de los elementos críticos de las redes eléctricas telecontroladas).

BibTeX

282.

Cristina Alcaraz; Javier López

Wide-Area situational awareness for critical infrastructure protection Artículo de revista

En: no 4, pp. 30–37, 2013, ISSN: 0018-9162, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy y NESSos. Network of excellence on engineering secure future internet software).

BibTeX

283.

María Mar Gallardo; Laura Panizo

Extending model checkers for hybrid system verification: the case study of SPIN (in press) Artículo de revista

En: Software Testing Verification & Reliability, vol. 24, no 6, 2013, ISSN: 0960-0833.

BibTeX

284.

J. A. Fernández Madrigal; Luis Llopis; A. Cruz Martín; C. Galindo; J. González-Jiménez

H: a component-based specification language for heterogeneous applications Artículo de revista

En: Computer Standards & Interfaces, vol. 35, 2013, ISSN: 0920-5489.

BibTeX

285.

Jaime Chen; Manuel Díaz; Bartolomé Rubio; José Mª Troya

PS-QUASAR: a publish/subscribe QoS aware middleware for wireless sensor and actor networks Artículo de revista

En: The Journal of Systems and Software, vol. 86, pp. 1650–1662, 2013, ISSN: 0164-1212.

BibTeX

286.

Maria-Victoria Belmonte; Manuel Díaz; José-Luis Pérez-de-la-Cruz; Ana Reyna

COINS: COalitions and INcentiveS for effective peer-to-peer downloads Artículo de revista

En: Journal of Network and Computer Applications, pp. 484–497, 2013, ISSN: 1084-8045.

BibTeX

287.

Rubén Ríos; Jose A. Onieva; Javier López

Covert communications through network configuration messages Artículo de revista

En: Computers & Security, no Part. A, pp. 34–46, 2013, ISSN: 0167-4048, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy; PISCIS. Plataformas para la Interconexión Segura de Infraestructuras Críticas y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

288.

Cristina Alcaraz; Sherali Zeadally

Critical control system protection in the 21st century Artículo de revista

En: IEEE Computer, no 10, pp. 74–83, 2013, ISSN: 0018-9162.

BibTeX

289.

Julián Domínguez; Enrique Alba Torres

Dealing with hardware heterogeneity: a new parallel search model Artículo de revista

En: Natural Coputing, no 2, pp. 179–193, 2013, ISSN: 1567-7818.

BibTeX

290.

Francisco Chicano; Enrique Alba

Elementary landscape decomposition of the 0-1 unconstrained quadratic optimization Artículo de revista

En: Journal of Heuristics, no 4, pp. 711–728, 2013, ISSN: 1572-9397.

BibTeX

291.

Francisco Chicano; Andrew M Sutton; Darrell L Whitley; Enrique Alba

Fitness probability distribution of Bit-Flip mutation Artículo de revista

En: CoRR: computing research repository, 2013.

BibTeX

292.

Mostepha Redouane Khouadjia; El-ghazali Talbi; Laetitia Jourdan; Enrique Alba

Multi-environmental cooperative parallel metaheuristics solving dynamic optimization problems Artículo de revista

En: The Journal of Supercomputing, no 3, pp. 836–853, 2013, ISSN: 0920-8542.

BibTeX

293.

Rodrigo Román; Jianying Zhou; Javier López

On the Features and challenges of security and privacy in distributed internet of things Artículo de revista

En: ACM Computing Surveys, vol. 57, no 10, pp. 2266–2279, 2013, ISSN: 0360-0300, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

294.

José Manuel García; Ana Carolina Olivera; Enrique Alba

Optimal cycle program of traffic lightes with particle Swarm optimization Artículo de revista

En: Evolutionary Computation, vol. 17, no 6, pp. 823–839, 2013, ISSN: 1063-6560.

BibTeX

295.

Javier López; Svetla Nikova; Andreas Pashalidis; Günther Pernul; Bart Preneel

Preface Artículo de revista

En: Computers & Mathematics with Applications, no 5, pp. 747, 2013, ISSN: 0898-1221.

BibTeX

296.

Jose A. Montenegro; Michael J. Fischer; Javier López; Rene Peralta

Secure sealed-bid online auctions using discreet cryptographic proofs Artículo de revista

En: Mathematical and Computer Modelling, no 11-12, pp. 2583–2595, 2013, ISSN: 0895-7177.

BibTeX

297.

Bernabé Dorronsoro; Enrique Alba

Special issue: bio-inspired algorithms with structured populations Artículo de revista

En: Soft Computing a Fusion of Foundations, Methodologies and Applications, no 7, pp. 1107–1108, 2013, ISSN: 1432-7643.

BibTeX

298.

Sherali Zeadally; Al-Sakib Khan Pathan; Cristina Alcaraz; Mohamad Badra

Towards privacy protection in Smart Grid Artículo de revista

En: ACM Computing Surveys, no 10, pp. 23–50, 2013, ISSN: 0360-0300.

BibTeX

299.

Rubén Ríos; Javier López

Un Suitability of anonymous communication systems to WSN Artículo de revista

En: IEEE Systems Journal, vol. 7, no 2, pp. 298–310, 2013, ISSN: 0360-0300.

BibTeX

300.

Pablo Nájera; Rodrigo Román; Javier López

User-Centric secure integration of personal RFID tags and sensor networks Artículo de revista

En: Security and Communication Networks, no 10, pp. 1177–1197, 2013.

BibTeX

301.

Francisco Moyano; Carmen Fernández-Gago; Javier López

A Framework for enabling trust requirements in social cloud applications Artículo de revista

En: Requirements Engineering Journal, no 4, pp. 321–341, 2013, ISSN: 1432-010X, (Proyectos: FISICCO. Federación e Interconexión Segura de Infraestructuras de Cloud Computing y NESSos. Network of excellence on engineering secure future internet software).

BibTeX

302.

Isaac Agudo; Rubén Ríos; Javier López

A Privacy-aware continuous authentication scheme for proximity-based access control Artículo de revista

En: Computers & Security, no Part. B, pp. 117–126, 2013, ISSN: 0167-4048, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy; NESSos. Network of excellence on engineering secure future internet software y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

303.

Eduardo Cañete; Manuel Díaz; Bartolomé Rubio

A Wireless sensor network framework based on light databases Artículo de revista

En: Software Practice & Experience, no 5, pp. 501–523, 2013, ISSN: 0038-0644.

BibTeX

304.

Hajer Ben-Romdhane; Enrique Alba; Saoussen Krichen

Best practices in measuring algorithm performance for dynamic optimization Artículo de revista

En: Soft Computing a Fusion of Foundations, Methodologies and Applications, no 6, pp. 1005–1017, 2013, ISSN: 1432-7643.

BibTeX

305.

Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal

A service-oriented framework for developing cross cloud migratable software Artículo de revista

En: Journal of Systems and Software, no 3, pp. 2294–2308, 2013, ISSN: 0164-1212.

BibTeX

306.

Javier Troya; Antonio Vallecillo; Francisco Durán; Steffen Zschaler

Model-Driven performance analysis of rule-based domain specific visual models Artículo de revista

En: Information and Software Technology, vol. 55, no 1, pp. 88-110, 2013, ISSN: 0950-5849, (Proyectos: MOVIS: Modernización y Visualización de sistemas de Información Complejos y SISTEMAS inalámbricos de gestión de información crítica).

BibTeX

307.

Francisco Javier Rivas; Almudena Díaz; Pedro Merino

Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks) Artículo de revista

En: IEEE Internet Computing, pp. in press, 2013, ISSN: 1089-7801.

BibTeX

308.

Damián Adalid; Alberto Salmerón; María Mar Gallardo; Pedro Merino

Using SPIN for automated debugging of infinite executions of Java programs (in press) Artículo de revista

En: Journal of Systems and Software, 2013, ISSN: 0164-1212.

BibTeX

309.

Samuel Paul Kaluvuri; Hristo Koshutanski; Francesco Di Cerbo; Renato Menicocci; Antonio Maña

A Digital security certificate framework for services Artículo de revista

En: International Journal of Services Computing, no 2, pp. 25–38, 2013, ISSN: 2330-4472.

BibTeX

310.

Bernabé Dorronsoro; Grégoire Danoy; Antonio J. Nebro; Pascal Bouvry

Achieving super-linear performance in parallel multi-objective evolutionary algorithms by means of cooperative coevolution Artículo de revista

En: Computers & Operations Research, vol. 40, no 6, pp. 1552–1563, 2013, ISSN: 0305-0548, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

Resumen | BibTeX

311.

Pablo Anton; Antonio Maña; Antonio Muñoz; Hristo Koshutanski

An Immersive view approach by secure interactive multimedia proof-of-concept implementation Artículo de revista

En: Multimedia Tools & Applications, 2013, ISSN: 1380-7501.

BibTeX

312.

Jamal Toutouh; Sergio Nesmachnow; Enrique Alba

Fast energy-aware OLSR routing in VANETs by means of a parallel evolutonary algorithm Artículo de revista

En: Cluster Computing: The Journal of Networks, Software Tools and Applications, vol. 16, no 3, pp. 435–450, 2013, ISSN: 1386-7857, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación; M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA) y RoadME. Fundamentos para la Aplicación de Metaheurísticas a Problemas Reales: el Caso de las Redes Vehiculares).

BibTeX | Enlaces:

313.

Ernesto Pimentel; Valentín Valero

Guest editors' foreword Artículo de revista

En: Journal of Logic and Algebraic Programming, vol. 82, no 5-6, pp. 163, 2013, ISSN: 1567-8326.

BibTeX

314.

Ismael Navas-Delgado; Maria Jesús García Godoy; Fátima Arjona-Pulido; Trinidad Castillo-Castillo; Ana Isabel Ramos; Sarai Infantes; Ana Medina; José F Aldana-Montes

iNGS: a prototype tool for genome interpretation and annotation Artículo de revista

En: EMBnet.journal, no suppl.B, pp. 27–31, 2013, ISSN: 2226-6089.

BibTeX

315.

Jorge Martínez Gil; José F. Aldana Montes

Semantic similarity measurement using historical google search patterns Artículo de revista

En: Information Systems Frontiers, vol. 15, no 3, pp. 399-410, 2013, ISSN: 1572-9419, (Proyectos: HACIA una Plataforma para la Explotación y Análisis de datos vinculados en Biología de Sistemas y REALIDAD. Gestión, análisis y explotación eficiente de datos vinculados).

BibTeX

316.

María Jesús García; Esteban López; Ismael Navas; José Francisco Aldana

Sharing and executing linked data queries in a collaborative environment Artículo de revista

En: Bioinformatics, vol. 29, no 13, pp. 1663-1670, 2013, ISSN: 1367-4803, (Proyectos: PROYECTO piloto de formación y desarrollo de tecnología aplicada a la biología de sistemas y REALIDAD. Gestión, análisis y explotación eficiente de datos vinculados).

BibTeX

317.

José E Gallardo

A Multilevel probalbilistic beam search algorithm for the shortest common sypersequence problem Artículo de revista

En: PLOS ONE, vol. 7, no 12, 2012, ISSN: e1932-6203.

BibTeX

318.

Cristina Alcaraz; Javier López

Analysis of requirements for critical control systems Artículo de revista

En: International Journal of Critical Infrastructure Protection, vol. 5, no 3-4, 2012, ISSN: 1874-5482, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy; PISCIS. Plataformas para la Interconexión Segura de Infraestructuras Críticas y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

319.

Francisco Chicano; Gabriel Luque; Enrique Alba

Autocorrelation measures for the quadratic assignment problem Artículo de revista

En: Applied Mathematics Letters, vol. 25, no 4, 2012, ISSN: 0893-9659, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX | Enlaces:

320.

Cristina Alcaraz; Javier López; Rodrigo Román; Hsiao-Hwa Chen

Selecting key management schemes for WSN applications Artículo de revista

En: Computers & Security, vol. 31, no 8, 2012, ISSN: 0167-4048.

BibTeX

321.

J. A. Martín; F. Martinelli; E. Pimentel.

Synthesis of secure adaptors Artículo de revista

En: Journal of Logic and Algebraic Programming, vol. 81, no 2, pp. 99–126, 2012, ISSN: 1567-8326, (Proyectos: PICASSO. Propuesta Integrada para la CAlidad de Sistemas SOftware y ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013)).

BibTeX

322.

Laura Panizo; María Mar Gallardo

An Extension of Java PathFinder for Hybrid Systems Artículo de revista

En: ACM Computing Surveys, vol. 37, no 6, 2012, ISSN: 0360-0300.

BibTeX

323.

Julio Garralón; Francisco R Villatoro

Numerical Evaluation of Compactons and Kovatons of the K(cos) Rosenau-Pikovsky equation Artículo de revista

En: Mathematical and Computer Modelling, vol. 55, no 7-8, 2012, ISSN: 0895-7177.

BibTeX

324.

Carlos Canal; Javier Cámara; Gwen Salaün

Structural reconfiguration of systems under behavioral adaptation Artículo de revista

En: Science of Computer Programming, vol. 78, no 1, 2012, ISSN: 0167-6423.

BibTeX

325.

Rodrigo Román; Javier López; Olivier Dugeon; Marc Lacoste; Pierre Ives Plaza; Marta Bel

Advanced secure multimedia services for digital homes Artículo de revista

En: Information Systems Frontiers, vol. 14, no 3, pp. 527-540, 2012, ISSN: 1572-9419, (Proyectos: FEEL@HOME).

BibTeX

326.

María Mar Gallardo; David Sanán Baena

Verification of complex dynamic data tree with mu-calculus Artículo de revista

En: Automated Software Engineering, pp. online first, 2012, ISSN: 1573-7535.

BibTeX

327.

Jorge Martínez-Gil; José F. Aldana-Montes

An Overview of current ontology meta-matching solutions Artículo de revista

En: The Knowledge Engineering Review, vol. 27, no 4, 2012, ISSN: 0269-8889, (Proyectos: ICARIA. Desde la web semántica a la biología de sistemas y PROYECTO piloto de formación y desarrollo de tecnología aplicada a la biología de sistemas).

BibTeX

328.

Jorge Martinez-Gil; José F Aldana-Montes

KnoE: a web mining tool to validate previously correspondences Artículo de revista

En: Journal of Computer Science and Technology, vol. 27, no 6, 2012, ISSN: 1666-6038.

BibTeX

329.

Jorge Martínez-Gil; José F. Aldana-Montes

Smart combination of web measures for solving semantic similarity problems Artículo de revista

En: Online Information Review, vol. 36, no 5, 2012, ISSN: 1468-4527.

BibTeX

330.

M M Gallardo; P Merino; C Joubert; D Sanán

A Model-extraction approach to verifying concurrent C programs with CADP Artículo de revista

En: Science of Computer Programming, vol. 77, no 3, 2012, ISSN: 0167-6423.

BibTeX

331.

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

A Comparative study between dynamic adapted PSO and VNS for the vehicle routing problem with dynamic requests Artículo de revista

En: Applied Soft Computing, vol. 12, no 4, pp. 1426-1439, 2012, ISSN: 1568-4946.

BibTeX

332.

Antonio Maña; Hristo Koshutanski; Ernesto J. Pérez

A Trust negotiation based security framework for service provisioning in load-balancing clusters Artículo de revista

En: Computers & Security, vol. 31, no 1, pp. 4-25, 2012, ISSN: 0167-4048, (Proyectos: DESEOS. Dispositivos electrónicos seguros para la educación, el ocio y la socialización y OKKAM. Enabling the Web of entities- a Scalable and sustainable solution for systematic and global identifier reuse in decentralized information enviroments).

BibTeX

333.

Eduardo Cañete; Manuel Díaz; Luis Llopis; Bartolomé Rubio

HERO: a hierarchical, efficient and reliable routing protocol for wireless sensor and actor networks Artículo de revista

En: Computer Communications, pp. to appear, 2012, ISSN: 0140-3664, (Proyectos: MOVIS: Modernización y Visualización de sistemas de Información Complejos y SISTEMAS inalámbricos de gestión de información crítica).

BibTeX

334.

Ferrante Neri; Carlos Cotta

Memetic algorithms and memetic computing optimization: a literature review Artículo de revista

En: Swarm and Evolutionary Computation, vol. 2, 2012, ISSN: 2210-6502.

BibTeX

335.

Carlos Cotta; Jhon Edgar Amaya; Antonio José Fernández

Solving the tool switching problem with memetic algorithms Artículo de revista

En: ACM Computing Surveys, vol. 26, no 2, 2012, ISSN: 0360-0300.

BibTeX

336.

José Manuel García; Carolina A Olivera; Enrique Alba

Swarm intelligence for traffic light schedulig: application to real urban areas Artículo de revista

En: Engineering Applications of Artificial Intelligence, vol. 25, no 2, pp. 274-283, 2012, ISSN: 0952-1976, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

337.

Enrique Alba; Franciszek Seredynski; El-Ghazali Talbi; Albert Y. Zomaya

Special Issue: Nature Inspired Distributed Computing. Preface Artículo de revista

En: International Journal of Foundations of Computer Science, vol. 23, no 2, pp. 403–405, 2012, ISSN: 0129-0541.

BibTeX

338.

Jesús Martínez; Adrián Romero; Juan Pedro Bandera; Rebeca Marfil; Antonio Bandera Rubio

A DDS-based middleware for quality-of-service and high-performance networked robotics Artículo de revista

En: Concurrency and Computation _ Practice and Experience, 2012, ISSN: 1532-0634.

BibTeX | Enlaces:

339.

Sergio Nesmachnow; Héctor Cancela; Enrique Alba

A Parallel micro evolutionary algorithm for heterogeneous computing and grid scheduling Artículo de revista

En: Applied Soft Computing, vol. 12, no 2, pp. 626-639, 2012, ISSN: 1568-4946, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

340.

Nadia Gámez; Javier Cubo; Lidia Fuentes; Ernesto Pimentel

Configuring a context-aware middleware for wireless sensor networks Artículo de revista

En: vol. 12, 2012, ISSN: 1424-8220.

BibTeX

341.

Carolina Salto; Enrique Alba

Designing heterogeneous distributed GAs by efficiently self-adapting the migration period Artículo de revista

En: Applied Intelligence: the International Journal of Artificial Intelligence, Neural Networks, and Complex problem-solving Technologies, vol. 36, no 4, 2012, ISSN: 0924-669x, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

342.

Daniel Urda; Eduardo Cañete; José Luis Subirats; Leonardo Franco; Luis Manuel Llopis; José Manuel Jerez

Energy-efficient reprogramming in WSN using constructive neural networks Artículo de revista

En: International Journal of Innovative, Computing, Information and Control, vol. 8, no 11, pp. to appear, 2012, ISSN: 1349-4198.

BibTeX

343.

Antonio Hernández; José Antonio López López; Julen Castellano Paulis; Verónica Morales Sánchez; José Luis Pastrana Brincones

HOISAN 1.2: programa informático para uso en metodología observacional Artículo de revista

En: Cuadernos de Psicología del Deporte, vol. 12, no 1, 2012, ISSN: 1578-8423.

BibTeX

344.

Jamal Toutouh; José García; Enrique Alba

Intelligent OLSR routing protocol optimization for VANETs Artículo de revista

En: IEEE Transactions on Vehicular Technology, vol. 61, no 4, pp. 1884-1894, 2012, ISSN: 0018-9545.

BibTeX

345.

Javier Cámara; Gwen Salaün; Carlos Canal; Meriem Ouederni

Interactive specification and verification of behavioral adaptation contracts Artículo de revista

En: Information and Software Technology, vol. 54, no 7, pp. 701-723, 2012, ISSN: 0950-5849, (Proyectos: MOVIS: Modernización y Visualización de sistemas de Información Complejos y ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013)).

BibTeX

346.

Jorge Martínez-Gil; Ismael Navas-Delgado; José F. Aldana-Montes

MaF: an ontology matching framework Artículo de revista

En: Journal of Universal Computer Science, vol. 18, no 2, 2012, ISSN: 0948-695X.

BibTeX

347.

David Galindo; Rodrigo Román; Javier López

On the Energy cost of authenticated key agreement in wireless sensor networks Artículo de revista

En: Wireless Communications and Mobile Computing, vol. 12, no 1, 2012, ISSN: 1530-8677, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy y CRISIS - Redes Interconectadas de Sensores para la Seguridad de Infraestructuras Críticas de Información).

BibTeX | Enlaces:

348.

Ana Reyes; Juan Jesús Ruiz; Carlos Cotta; Antonio J Fernández-Leiva

On User-centric memetic algorithms Artículo de revista

En: Soft Computing a Fusion of Foundations, Methodologies and Applications, 2012, ISSN: 1432-7643.

BibTeX

349.

Enrique Alba; José García-Nieto

Parallel multi-swarm optimizer for gene selection in DNA microarrays Artículo de revista

En: Applied Intelligence: the International Journal of Artificial Intelligence, Neural Networks, and Complex problem-solving Technologies, vol. 37, no 2, 2012, ISSN: 0924-669x, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

350.

Antonio Hernández; A Martínez; José Luis Pastrana Brincones; Verónica Morales Sánchez

Programa informático para evaluación y entrenamiento de la atención Artículo de revista

En: Revista Iberoamericana de Psicología del Ejercicio y el Deporte, vol. 7, no 2, 2012, ISSN: 1886-8576.

BibTeX

351.

Sergio Nesmachnow; Héctor Cancela; Enrique Alba

Scheduling in heterogeneous computing and Grid environments using a parallel CHC evolutionary algorithms Artículo de revista

En: Computational Intelligence, vol. 28, no 2, pp. 131-155, 2012, ISSN: 1467-8640, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

352.

Inmaculada Ayala; Mercedes Amor; Lidia Fuentes

Self-confuring agents for ambient assisted living applications Artículo de revista

En: Personal Ubiquitous Computing, 2012, ISSN: 1617-49117.

BibTeX

353.

Abdelaali Briache; Kamar Marrakchi; Amine Kerzazi; Ismael Navas Delgado; Badr Din Rossi Hassani; Khalid Lairini; José F. Aldana Montes

Transparent mediation-based access to multiple yeast data sources using an ontology driven interface Artículo de revista

En: BMC Bioinformatics, vol. 13, no s. 1, 2012, ISSN: 1471-2105, (Proyectos: REALIDAD. Gestión, análisis y explotación eficiente de datos vinculados).

BibTeX

354.

Francisco Chicano; Darrell L. Whitley; Enrique Alba

A Methodology to find the elementary landscape decomposition of combinatorial optimization problems Artículo de revista

En: Evolutionary Computation, vol. 19, no 4, pp. 597-637, 2011, ISSN: 1063-6560, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX | Enlaces:

355.

Ruiz B C Jiménez; Ruiz M Muñoz

From recreational mathematics to recreational programming, and back Artículo de revista

En: International Journal of Mathematical Education in Science and Technology, vol. 42, no 6, 2011, ISSN: 0020-739X.

BibTeX

356.

Antonio Maña

TPM-based protection for mobile agents Artículo de revista

En: International Journal of Security and Communication Networks and Information Security, vol. 4, no 1, pp. 45–60, 2011, ISSN: 2073-607X.

BibTeX

357.

Cristina Alcaraz; Carmen Fernández-Gago; Javier López

An Early warning system based on reputation for energy control systems Artículo de revista

En: IEEE Transactions on Smart Grid, vol. 2, no 4, 2011, ISSN: 1949-3053, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy; NESSos. Network of excellence on engineering secure future internet software y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

358.

Ruben Rios; Javier Lopez

Exploiting context-awareness to enhance source-location privacy in wireless sensor networks Artículo de revista

En: ACM Computing Surveys, vol. 54, no 10, 2011, ISSN: 0360-0300.

BibTeX

359.

Rodrigo Roman; Cristina Alcaraz; Javier Lopez; Nicolas Sklavos

Key management systems for sensor networks in the context of the Internet of Things Artículo de revista

En: ACM Computing Surveys, vol. 37, no 2, 2011, ISSN: 0360-0300.

BibTeX

360.

Almudena Díaz; Pedro Merino; Alberto Salmerón

Obtaining models for realistic mobile network simulations using real traces Artículo de revista

En: ACM Computing Surveys, vol. 15, no 7, 2011, ISSN: 0360-0300.

BibTeX

361.

Cristina Alcaraz; Javier López; Jianying Zhou; Rodrigo Román

Secure SCADA framework for the protection of energy control systems Artículo de revista

En: Concurrency and Computation _ Practice and Experience, vol. 23, no 12, pp. 1431-1442, 2011, ISSN: 1532-0634, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy; PROTEC-IC. (parte II). Tecnologías para la protección de infraestructuras críticas ante ciberataques y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

362.

Rodrigo Román; Pablo Nájera; Javier López

Securing the Internet of Things Artículo de revista

En: vol. 44, no 9, 2011, ISSN: 0018-9162, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy; NESSos. Network of excellence on engineering secure future internet software y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

363.

Yang Xiang; Javier López; Haining Wang; Wanlei Zhou

Special Issue: Securing Distributed Networks and Systems Artículo de revista

En: Concurrency and Computation _ Practice and Experience, vol. 23, no 12, pp. 1311-1312, 2011, ISSN: 1532-0634.

BibTeX

364.

Jhon Edgar Amaya; Carlos Cotta Porras; Antonio José Fernández Leiva

Memetic cooperative models for the tool switching problem Artículo de revista

En: Memetic Computing, vol. 3, 2011, ISSN: 1865-9292.

BibTeX

365.

Eduardo Cañete; Jaime Chen; Manuel Díaz; Luis Llopis; Bartolomé Rubio

A Service-oriented approach to facilitate WSAN application development Artículo de revista

En: Ad Hoc Networks, vol. 9, no 3, 2011, ISSN: 1570-8705.

BibTeX

366.

Mónica Pinto; Lidia Fuentes; Luis Fernández

Deriving detailed design models from an aspect-oriented ADL using MDD (in press) Artículo de revista

En: 2011, ISSN: 0164-1212.

BibTeX

367.

Mónica Pinto; Lidia Fuentes; José María Troya

Specifying aspect-oriented architectures in AO-ADL (in press) Artículo de revista

En: Information and Software Technology, 2011, ISSN: 0950-5849, (Proyectos: FAMIWARE: una Familia de plataformas dinámicas orientadas a aspectos para inteligencia ambiental y RAP. Automatización del proceso de desarrollo de aplicaciones orientados a aspectos usando un enfoque dirigido por modelos).

BibTeX | Enlaces:

368.

José Bravo; Lidia Fuentes; Diego López Ipiña

Theme issue Übiquitous computing and ambient intelligent [editorial] Artículo de revista

En: Personal Ubiquitous Computing, vol. 15, no 4, 2011, ISSN: 1617-49117.

BibTeX

369.

Eckhard Ammann; Ismael Navas Delgado; José F. Aldana Montes

A Knowledge development conception and its implementation: ontology categories, knowledge ontology, rule system and applications scenarios Artículo de revista

En: International Journal on Advances in Life Sciences, vol. 3, no 3 y 4, pp. 29–38, 2011, ISSN: 1942-2660, (Proyectos: ICARIA. Desde la web semántica a la biología de sistemas).

BibTeX

370.

Javier Cubo; Carlos Canal; Ernesto Pimentel

Context-Aware Composition and Adaptation based on Model Transformation Artículo de revista

En: Journal of Universal Computer Science, vol. 17, no 5, 2011, ISSN: 0948-695X, (Proyectos: PICASSO. Propuesta Integrada para la CAlidad de Sistemas SOftware; ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013) y TÉCNICAS para la Mejora de la Calidad de los Servicios de Internet en Telefonía Móvil).

BibTeX

371.

Rodrigo Román; Javier López; Pablo Nájera

A Cross-layer approach for integrating security mechanisms in sensor netoworks architectures Artículo de revista

En: Wireless Communications and Mobile Computing, vol. 11, no 2, 2011, ISSN: 1530-8677.

BibTeX

372.

Jose Luis Vivas; Isaac Agudo; Javier Lopez

A Methodology for security assurance-driven system development Artículo de revista

En: Requirements Engineering Journal, 2011, ISSN: 1432-010X.

BibTeX

373.

José Campo Ávila; Nathalie Moreno Vergara; Mónica Trella López

Analizying factors to increase the influence of a twitter user Artículo de revista

En: Advances in Intelligent and Soft Computing, 2011, ISSN: 1867-5662.

BibTeX

374.

Nadia Gámez; Lidia Fuentes

FamiWare: a family of event-based middleware for ambient intelligence Artículo de revista

En: Personal Ubiquitous Computing, 2011, ISSN: 1617-49117.

BibTeX

375.

Pablo Najera; Javier López; Rodrigo Román

Real-Time location and inpatient care systems based on passive RFID Artículo de revista

En: Journal of Network and Computer Applications, vol. 34, no 3, pp. 980-989, 2011, ISSN: 1084-8045, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy y SPRINT. Security services PlattorRM for the internet of things).

BibTeX

376.

Ismael Navas Delgado; Alejandro Real Chicharro; Miguel Ángel Medina; Francisca Sánchez Jiménez; José F. Aldana Montes

Social pathway annotation: extensions of the systems biology metabolic modelling assistant Artículo de revista

En: Briefings in Bioinformatics, vol. 12, no 6, pp. 576-587, 2011, ISSN: 1467-5463.

BibTeX

377.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

A practical use of model checking for synthesis: generating a dam controller for flood management Artículo de revista

En: Software Practice & Experience, vol. 41, no 11, 2011, ISSN: 0038-0644.

BibTeX

378.

Jaime Chen; Manuel Díaz; Luis Llopis; Bartolomé Rubio; José María Troya

A Survey on quality of service support in wireless sensor and actor networks: requirements and challenges in the context of critical infrastructure protection Artículo de revista

En: Journal of Network and Computer Applications, vol. 34, no 4, pp. 1225-1239, 2011, ISSN: 1084-8045, (Proyectos: DESARROLLO de Software para Redes Inalámbricas de Sensores y Actores y MDD-MERT: Diseño y Monitorización Dirigido por Modelos de Sistemas).

BibTeX

379.

José Antonio Martín; Ernesto Pimentel

Contracts for security adaptation Artículo de revista

En: Journal of Logic and Algebraic Programming, vol. 80, pp. 154-179, 2011, ISSN: 1567-8326, (Proyectos: PICASSO. Propuesta Integrada para la CAlidad de Sistemas SOftware y ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013)).

BibTeX

380.

Francisco Chicano; Enrique Alba

Elementary landscape de composition of the 0-1 unconstrained quadratic optimization Artículo de revista

En: Journal of Heuristics (Online First), 2011, ISSN: 1572-9397.

BibTeX

381.

Francisco Chicano; L. Darrell Whitley; Enrique Alba; Francisco Luna

Elementary landscape descomposition of the frequency assignment problem Artículo de revista

En: Theoretical Computer Science, vol. 412, 2011, ISSN: 0304-3975, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

382.

Eduardo Cañete; Jaime Chen; Marcos R. Luque; Bartolomé Rubio

NeuralSens: a neural network based framework to allow dynamic adaptation in wireless sensor and actor networks ( in press) Artículo de revista

En: Journal of Network and Computer Applications, 2011, ISSN: 1084-8045, (Proyectos: DESARROLLO de Software para Redes Inalámbricas de Sensores y Actores; MDD-MERT: Diseño y Monitorización Dirigido por Modelos de Sistemas y MOVIS: Modernización y Visualización de sistemas de Información Complejos).

BibTeX

383.

José Luis Pastrana; Ernesto Pimentel; Miguel Katrib

QoS-enabled and self-adaptive connectors for Web Services composition and coordination Artículo de revista

En: Computer Languages, Systems & Structures, vol. 37, no 1, pp. 2-23, 2011, ISSN: 0096-0551, (Proyectos: ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013)).

BibTeX

384.

Michael Fisher; Javier Lopez; Jose A Montenegro; Rene Peralta

Secure sealed-bid online auctions using discreet cryptographic proofs (in press) Artículo de revista

En: ACM Computing Surveys, 2011, ISSN: 0360-0300.

BibTeX

385.

Juan J. Durillo; Antonio J. Nebro; Carlos A. Coello Coello; García José M. Nieto

A Study of multi-objective metaheuristics when solving parameter scalable problems Artículo de revista

En: IEEE Transactions on Evolutionary Computation, vol. 14, no 4, pp. 618-635, 2010, ISSN: 1089-778x, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

386.

David García Rosado; Eduardo Fernández-Medina Patón; Javier López; Mario Piattini

Developing a secure mobile Grid system through a UML Artículo de revista

En: Journal of Universal Computer Science, vol. 16, no 17, 2010, ISSN: 0948-695X, (Proyectos: GREDIA- Grid enabled acces to rich media content).

BibTeX

387.

Francisco Luna; Juan J. Durillo; Antonio J. Nebro; Enrique Alba

Evolutionary algorithms for solving the automatic cell planning problem: a survey Artículo de revista

En: Engineering Optimization, vol. 42, no 7, pp. 671-690, 2010, ISSN: 0305-215X, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

388.

Javier Cámara; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel

Semi-Automatic specification of behavioural service adaptation contracts Artículo de revista

En: Electronic Notes in Computer Science, vol. 264, 2010, ISSN: 1571-0661, (Proyectos: ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013)).

BibTeX

389.

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

A Memetic algorithm for designing balanced incomplete blocks Artículo de revista

En: International Journal of Combinatorial Optimization Problems and Informatics, vol. 2, no 1, 2010, ISSN: en trámite.

BibTeX

390.

Javier Ferrer; Francisco Chicano; Enrique Alba

Correlation between static measures and code coverage in evolutionary tes Artículo de revista

En: International Journal of Software Engineering and its Applications, vol. 4, no 4, 2010, ISSN: 1738-9984.

BibTeX

391.

Antonio Cansado; Carlos Canal; Gwen Salaün; Javier Cubo

A Formal framework for structural reconfiguration of components under behavioural adaptation Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 263, 2010, ISSN: 1571-0661.

BibTeX

392.

Antonio Hernández; Sergio Luis González; José Luis Pastrana

Herramientas software para la evaluación psicosocial de deportistas y entornos deportivos Artículo de revista

En: EFDeportes.com, no 144, 2010, ISSN: 1514-3465.

BibTeX

393.

Carlos Roberto Brys; José Francisco Aldana Montes

"Gobierno electrónico 3.0". Aplicaciones de la web semántica a la administración pública Artículo de revista

En: pp. 15–30, 2010, ISSN: 1851-2526.

BibTeX

394.

C Alcaraz; J Lopez

A Security analysis for wireless sensor Mesh networks in highly critical systems Artículo de revista

En: ACM Computing Surveys, no 99, 2010, ISSN: 0360-0300.

BibTeX

395.

Isaac Agudo; Carmen Mª Fernández Gago; Javier López

A Scale based trust model for multi-context environments Artículo de revista

En: Computers & Mathematics with Applications, pp. in press, 2010, ISSN: 0898-1221.

BibTeX

396.

Almudena Díaz; Pedro Merino

A Testbed for energy profile characterization of IP services in samrtphones over live networks Artículo de revista

En: Mobile, Networks and Applications (MONET) Journal, 2010, ISSN: 1572-8153.

BibTeX

397.

Joseph Lluis Ferrer-Gomilla; José A. Onieva; Magdalena Payeras; Javier López

Certified electronic mail: properties revisited Artículo de revista

En: Computers & Security, vol. 29, pp. 167-179, 2010, ISSN: 0167-4048, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy y CRISIS - Redes Interconectadas de Sensores para la Seguridad de Infraestructuras Críticas de Información).

BibTeX

398.

Almudena Díaz; Pedro Merino; Francisco Javier Rivas

Mobile application profiling for conected mobile devices Artículo de revista

En: IEEE Pervasive Computing, vol. 9, pp. 54-61, 2010, ISSN: 1536-1268, (Proyectos: ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013) y TÉCNICAS para la Mejora de la Calidad de los Servicios de Internet en Telefonía Móvil).

BibTeX

399.

Pablo Sánchez; Ana Moreira; Lidia Fuentes; Joao Araujo; José Magno

Model-Driven development for early aspects Artículo de revista

En: Information and Software Technology, vol. 52, pp. 249-273, 2010, ISSN: 0950-5849.

BibTeX

400.

Almudena Díaz; Pedro Merino; Javier F. Rivas

QOS analysis of video streaming service in live cellular networks Artículo de revista

En: Computer Communications, vol. 33, pp. 322-335, 2010, ISSN: 0140-3664, (Proyectos: ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013) y TÉCNICAS para la Mejora de la Calidad de los Servicios de Internet en Telefonía Móvil).

BibTeX

401.

David G. Rosado; Eduardo Fernández Medina; Mario Piattini; Javier López

Analysis of secure mobile grid systems: a systematic approach (in press) Artículo de revista

En: Information and Software Technology, pp. 289-338, 2010, ISSN: 0950-5849.

BibTeX

402.

Ying Qiu; Jianying Zhou; Joansang Baek; Javier Lopez

Authentication and key establishment in dynamic wireless sensor networks Artículo de revista

En: Sensors, vol. 10, 2010, ISSN: 1424-8220.

BibTeX

403.

José M. García Nieto; Jamal Toutouh; Enrique Alba

Automatic tuning of communication protocols for vehicular ad-hoc networks using metaheuristics Artículo de revista

En: Engineering Applications of Artificial Intelligence, vol. 23, no 5, pp. 795-805, 2010, ISSN: 0952-1976, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

404.

Javier Lopez; Rodrigo Roman; Pablo Nájera

Los Desafíos de seguridad en la internet de los objetos Artículo de revista

En: ACM Computing Surveys, vol. 88, 2010, ISSN: 0360-0300.

BibTeX

405.

David Galindo; Rodrigo Román; Javier López

On the Energy cost of authenticated key agreement in wireless sensor networks Artículo de revista

En: Wireless Communications and Mobile Computing, 2010, ISSN: 1530-8677, (Proyectos: ARES. Team Advanced Research on Information Security and Privacy y CRISIS - Redes Interconectadas de Sensores para la Seguridad de Infraestructuras Críticas de Información).

BibTeX

406.

D. Cofer; A. Fantechi

Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008) Artículo de revista

En: Science of Computer Programming, vol. 76, 2010, ISSN: 0167-6423.

BibTeX

407.

José García-Nieto; Enrique Alba

Restart particle swarm optimization with velocity modulation: a scalability test Artículo de revista

En: Soft Computing a Fusion of Foundations, Methodologies and Applications, 2010, ISSN: 1432-7643.

BibTeX

408.

David G. Rosado; Eduardo Fernández-Medina; Javier López

Security services architecture for secure mobile Grid Systems Artículo de revista

En: Journal of Systems Architecture, 2010, ISSN: 1383-7621.

BibTeX

409.

José García-Nieto; Enrique Alba

Swarm intelligence approach for accurate gene selection in DNA microarrays Artículo de revista

En: Ercim News, vol. 82, 2010, ISSN: 0926-4981.

BibTeX

410.

Rodrigo Roman; Javier Lopez; Pablo Nájera

A Cross-Layer approach for integrating security mechanisms in sensor networks architectures Artículo de revista

En: Wireless Communications and Mobile Computing, 2010, ISSN: 1530-8677.

BibTeX

411.

Guillermo Molina; Francisco Luna; Antonio J. Nebro; Enrique Alba

An Efficient local improvement operator for hte multi-objective wireless sensor network deployment problem (to appear) Artículo de revista

En: Engineering Optimization, 2010, ISSN: 0305-215X, (Proyectos: DIRICOM. Diseño inteligente de redes inalámbricas de comunicación y M*. Metaheurísticas multiobjetivo y muldisciplinares (coordinando, más subproyecto M*::UMA)).

BibTeX

412.

Carlos Canal; Antonio Cansado

Component reconguration in presence of mismatch Artículo de revista

En: ACM Computing Surveys, 2010, ISSN: 0360-0300.

BibTeX

413.

Lidia Fuentes; Nadia Gámez

Configuration process of a software product line for Aml middleware Artículo de revista

En: Journal of Universal Computer Science, vol. 16, no 12, 2010, ISSN: 0948-695X.

BibTeX

414.

J Cubo; C Canal; E Pimentel

Context-Aware composition and adaptation based on model transformation (accepted) Artículo de revista

En: Journal of Universal Computer Science, 2010, ISSN: 0948-695X.

BibTeX

415.

José García-Nieto; Javier Apolloni; Guillermo Leguizamón; Enrique Alba

Island based distributed differential evolution: an experimental study (to appear) Artículo de revista

En: Journal of Hibrid computing research, 2010, ISSN: 0974-5858.

BibTeX

416.

Francisco Luna; Enrique Alba

Metaheuristics and real-world problems (nº especial) Artículo de revista

En: ACM Computing Surveys, 2010, ISSN: 0360-0300.

BibTeX

417.

J Cubo; C Canal; E Pimentel

Model-Based dependable composition of self-adaptive (accepted) Artículo de revista

En: Informatica: an International Journal of Computing and Informatics, 2010, ISSN: 1854-3871.

BibTeX

418.

F Luna; C Estébanez; C León; J M Chávez; A J Nebro; R Aler; C Segura; M A Vega; E Alba; J M Valls; G Miranda; Gómez J A Pulido

Optimization algorithms for large-scale real-world instances of the frequency assignment problem (to appear) Artículo de revista

En: Soft Computing a Fusion of Foundations, Methodologies and Applications, 2010, ISSN: 1432-7643.

BibTeX

419.

José Luis Pastrana Brincones; Antonio Hernández Mendo; Sergio Luis González Ruiz

Programa informático para la evaluación y entrenamiento de la atención: Rejilla v.1- 2010. Manual de Usuario Artículo de revista

En: EFDeportes.com, no 145, 2010, ISSN: 1514-3465.

BibTeX

420.

Javier López; Rodrigo Román; Isaac Agudo; Carmen Mª Fernández Gago

Trust management systems for wireless sensor networks: best practices (in press) Artículo de revista

En: Computer Communications, 2010, ISSN: 0140-3664.

BibTeX

421.

Pedro Cámara; Rául J Castro; María Mar Gallardo; Pedro Merino

Verification support for arinc-653-based avionics software (to appear) Artículo de revista

En: Software Testing Verification & Reliability, 2010, ISSN: 0960-0833.

BibTeX

422.

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

Aspect-oriented design and implementation of context-aware pervasive applications Artículo de revista

En: Innovation in System and Software Engineering, vol. 5, no 1, 2009, ISSN: 1614-5046.

BibTeX

423.

Jesús Martínez; Pedro Merino; Alberto Salmerón; Francisco Malpartida

UML-Based model-driven development for HSDPA design Artículo de revista

En: IEEE Software, vol. 26, no 3, pp. 26-33, 2009, ISSN: 0740-7459, (Proyectos: TÉCNICAS para la Mejora de la Calidad de los Servicios de Internet en Telefonía Móvil).

BibTeX

424.

Francisco Durán; Peter Csaba

A Guide to extending full Maude illustrated with the implementation of Real-Time Maude Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 238, no 3, 2009, ISSN: 1571-0661.

BibTeX

425.

Francisco Durán; Meriem Ouederni; Gwen Salaün

Checking protocol compatibility using Maude Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 255, 2009, ISSN: 1571-0661.

BibTeX

426.

José E Rivera; Francisco Durán; Antonio Vallecillo

Formal specification and analysis of damain specific models using Maude Artículo de revista

En: vol. 85, no 11/12, 2009, ISSN: 1741-3133.

BibTeX

427.

Antonio Maña Gómez; Hristo Koshutanski

Highly dynamic coalitions drive forward eBusiness Artículo de revista

En: eStrategies Magazine, 2009.

BibTeX

428.

Manuel Roldán; Francisco Durán; Antonio Vallecillo

Invariant-driven specifications in Maude Artículo de revista

En: Science of Computer Programming, vol. 74, no 10, 2009, ISSN: 0167-6423.

BibTeX

429.

S Estévez-Martín; T Hortalá-González; M Rodríguez-Artalejo; R Vado-Vírseda; F Sáenz-Pérez; A J Fernández

On the Cooperation of the Constriant domains H, R and FD CFLP Artículo de revista

En: Theory and Practice of Logic Programming, vol. 9, no 4, 2009, ISSN: 1471-0684.

BibTeX

430.

Alejandro Real Chicharro; Iván Ruíz Mostazo; Ismael Navas Delgado; Amine Kerzazi; Othmane Chniber; Francisca Sánchez Jiménez; José F. Aldana Montes

Protopia: a protein-protein interaction tool Artículo de revista

En: BMC Bioinformatics, vol. 10, no 12, pp. 1-11, 2009, ISSN: 1471-2105, (Proyectos: ICARIA. Desde la web semántica a la biología de sistemas y PROYECTO piloto de formación y desarrollo de tecnología aplicada a la biología de sistemas).

BibTeX

431.

Francisco Durán; Manuel Roldán; Emilie Balland; Brand Mark; Steven Eker; Karl Tryve Kalleberg; Lennart C L Kats; Pierre-Etienne Moreau; Ruslan Schevchencko; Eelco Visser

The Second rewrite engines competition Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 238, no 3, 2009, ISSN: 1571-0661.

BibTeX

432.

Francisco Durán; Salvador Lucas; José Meseguer; Francisco Gutiérrez

Web services and interoperability for the Maude termination tool Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 248, 2009, ISSN: 1571-0661.

BibTeX

433.

Carlos Cotta; Álvaro Morales

A Computational analysis of galactic exploration with space probes: implications to the Fermi Paradox Artículo de revista

En: Journal of the British Interplanetary Society, vol. 62, no 3, 2009, ISSN: 0007-084X.

BibTeX

434.

Hristo Koshutanski

A Survey on distributed access control systems for web business processes Artículo de revista

En: International Journal of Network Security, vol. 9, no 1, 2009, ISSN: 1816-3548.

BibTeX

435.

José Antonio Martín; Ernesto Pimentel

Automatic generation of adaptation contracts Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 229, 2009, ISSN: 1571-0661.

BibTeX

436.

Miguel Frade; F. Fernández Vega; Carlos Cotta

Breeding terrains with genetic terrain programming: the evolution of terrain generators Artículo de revista

En: International Journal of Computer Games Technology, vol. (2009), 2009.

BibTeX

437.

José Antonio Martín; Ernesto Pimentel

Dinapter: automatic adaptor specification for software composition Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 248, 2009, ISSN: 1571-0661, (Proyectos: PICASSO. Propuesta Integrada para la CAlidad de Sistemas SOftware y ReSCUE. Composición de Software Fiable en Entornos Ubiquos (prorrogado hasta septiembre 2013)).

BibTeX

438.

Hristo Koshutanski; Aliaksandr Lazouski; Fabio Martinelli; Paolo Mori

Enhancing Grid Security by fine-grained behavioral control and negotiation-based authorization Artículo de revista

En: International Journal of Information Security, vol. 8, no 4, pp. 291-314, 2009, ISSN: 1615-5262.

BibTeX

439.

Javier Cámara; Alfred Kobsa

Facilitating controlled tests of website design changes using aspect oriented programming and software product lines Artículo de revista

En: LNCS. Transactions on Large Scale Data and Knowledge Centered Systems, vol. 5740, 2009, ISSN: 0302-9743.

BibTeX

440.

Carlos Cotta; Jose E. Gallardo; Antonio J. Fernández

Finding low autocorrelation binary sequences with memetic algorithms Artículo de revista

En: Applied Soft Computing, vol. 9, no 4, 2009, ISSN: 1568-4946.

BibTeX

441.

Hristo Koshutanski; Antonio Maña

Interoperable semantic access control for highly dynamic coalitions Artículo de revista

En: Security and Communication Networks, 2009, (Proyectos: OKKAM. Enabling the Web of entities- a Scalable and sustainable solution for systematic and global identifier reuse in decentralized information enviroments).

BibTeX

442.

María Mar Roldán García; Ismael Navas Delgado; Amine Kerzazi; Othmane Chniber; Joaquín Molina Castro; José F. Aldana Montes

KA-SB: from data integration to large scale reasoning Artículo de revista

En: BMC Bioinformatics, vol. 10, no 10, 2009, ISSN: 1471-2105.

BibTeX

443.

Almudena Díaz; Pedro Merino; Francisco Javier Rivas

Mobile application profiling for connected Smartphones Artículo de revista

En: IEEE Pervasive Computing, pp. in press, 2009, ISSN: 1536-1268, (Proyectos: DESARROLLO de Software para Sistemas Distribuidos P2P y TÉCNICAS para la Mejora de la Calidad de los Servicios de Internet en Telefonía Móvil).

BibTeX

444.

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

Solving weighted constraint satisfaction problems with memetic/exact hybrid algorithms Artículo de revista

En: Journal of Artificial Intelligence Research, vol. 35, pp. 533-555, 2009, ISSN: 11076-9757.

BibTeX

445.

Almudena Díaz; Pedro Merino

Testing mobile data applications on smartphones with SymPA Artículo de revista

En: Ercim News, vol. 77, 2009, ISSN: 0926-4981.

BibTeX

446.

Hristo Koshutanski; Michaela Ion; Luigi Telesca

Towards user-centric identity interoperability for digital ecosystems Artículo de revista

En: International Journal on Advances in Security, vol. 1, no 1, 2009, ISSN: 1942-2636.

BibTeX

447.

S Estévez-Martín; Fernández A J Leiva; F Sáenz-Pérez

TOY: a system for experimenting with cooperation of constraint domains Artículo de revista

En: Electronic Notes in Theoretical Computer Science, no 258, 2009, ISSN: 1571-0661.

BibTeX

448.

Lidia Fuentes; Pablo Sánchez

Dynamic weaving of aspect-oriented executable UML models Artículo de revista

En: Transaction on aspect-oriented software development, 2009, ISSN: 0302-9743.

BibTeX

449.

Mercedes Amor; Lidia Fuentes; Juan A Valenzuela

Enhancing Malaca agents with learning Artículo de revista

En: International Journal of Intelligent Information and Database Systems, vol. 3, 2009, ISSN: 1751-5866.

BibTeX

450.

Mercedes Amor; Lidia Fuentes

Malaca: a component and aspect-oriented agent architecture Artículo de revista

En: Information and Software Technology, pp. 1052-1065, 2009, ISSN: 0950-5849.

BibTeX | Enlaces:

451.

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

Managing variablility of ambient intelligence middleware Artículo de revista

En: International Journal of Ambient Computing and Intelligence, vol. 1, no 1, 2009, ISSN: 1941-6237.

BibTeX

452.

Ana Mª Roldán; Ernesto Pimentel; Antonio Brogi

Software composition with Linda Artículo de revista

En: Computer Languages, vol. 35, no 4, pp. 395-405, 2009, ISSN: 0096-0551, (Proyectos: SELF. Formalismos Ágiles en Ingeniería del Software).

BibTeX

453.

Ismael Navas-Delgado; José F Aldana-Montes

Extending SD-Core for ontology-based data integration Artículo de revista

En: Journal of Universal Computer Science, vol. 15, no 17, 2009, ISSN: 0948-695X.

BibTeX

454.

Ismael Navas; María Mar Roldán; Juan J Farfán-Leiva; Fritz Laux; Dimitris A Dervos; José F Aldana-Montes

Innovative unity in the diversity of information management skills teaching and training acorss europe Artículo de revista

En: IADAT Journal of Advanced Technology on Education, vol. 3, no 3, 2009, ISSN: 1698-1073.

BibTeX

455.

Fatos Xhafa; Juan José Durillo; Enrique Alba

A Tabu search algorithm for scheduling indepedent jobs in computational grids Artículo de revista

En: Computing and Informatics, vol. 28, no 2, 2009, ISSN: 1335-9150.

BibTeX

456.

Nima Roohi; Gwen Salaün; Seyyed Hassan Mirian

Analyzing chor specifications by translation into FSP Artículo de revista

En: Electronic Notes in Computer Science, vol. 255, 2009, ISSN: 1571-0661.

BibTeX

457.

Silvio P. Mendes; Guillermo Molina; Miguel A. Vega Rodríguez; Juan A. Gómez Pulido; Yago Sáenz; Gara Miranda; Carlos Segura; Enrique Alba; Pedro Isasi; Coromoto León; Juan M. Sánchez Pérez

Benchmarking a wide spectrum of metaheuristic techniques for the radio networksdesign problem Artículo de revista

En: IEEE Transactions on Evolutionary Computation, vol. 13, no 5, pp. 1133-1150, 2009, ISSN: 1089-778x.

BibTeX

458.

Isaac Agudo; Carmen Mª Fernández Gago; Javier López

Concurrent access control for multi-user and multi-processor systems based on trust relationships Artículo de revista

En: Concurrency and Computation _ Practice and Experience, vol. 21, no 10, pp. 1389-1403, 2009, ISSN: 1532-0634, (Proyectos: CRISIS - Redes Interconectadas de Sensores para la Seguridad de Infraestructuras Críticas de Información y SPIKE. Secure Process-Oriented Integrative Service Infrastructure for Networked Enterprises).

BibTeX

459.

Carlos Gálvez; Djamel Khadraoui; Hedi Ayed; Zineb Habbas; Enrique Alba

Distributed approach for solving time-dependent problems in multidodal transport networks Artículo de revista

En: Advances in Operations Research, vol. 2009, 2009, ISSN: 1687-9147.

BibTeX

460.

Javier Lopez; Rodrigo Roman

Integrating wireless sensor networks and the internet: a security analysis Artículo de revista

En: Internet Research-Electronic Networking Applications and Policy, vol. 19, no 2, 2009, ISSN: 1066-2243.

BibTeX

461.

Armando Reyes; Ana Florencia Correa; A Real; Raúl Montañez-Martínez; Amine Kerzazi; Othmane Chniber; Miguel Ángel Medina Torres; José F Aldana-Montes; Francisca Sánchez-Jiménez

Integration of metabolic information: developing new tools and hypothesis to study amino acid amine metabolism regulation Artículo de revista

En: Amino Acids, no 1, pp. 56–56, 2009, ISSN: 1438-2199.

BibTeX

462.

Antonio J. Nebro; Juan J. Durillo; Francisco Luna; Bernabé Dorronsoro; Enrique Alba

MOCell: a cellular genetic algorithm for multiobjective optimization Artículo de revista

En: International Journal of Intelligent Systems, vol. 24, no 7, pp. 726-746, 2009, ISSN: 0884-8173, (Proyectos: OPTIMIZACIÓN y ambientes de Red ( más subproyecto: OPLINK::UMA)).

BibTeX

463.

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

Protecting agents from malicious hosts using TPM Artículo de revista

En: International Journal of Computer Science & Applications, vol. 6, 2009, ISSN: 0972-9038.

BibTeX

464.

Mildrey Carbonell; José María Sierra; Javier López

Secure multiparty payment with an intermediary entity Artículo de revista

En: Computers & Security, vol. 28, pp. 289-300, 2009, ISSN: 0167-4048.

BibTeX

465.

Pablo Nájera; Francisco Moyano; Javier López

Security mechanisms and access control infrastructure for e-passports and general purpose e-documents Artículo de revista

En: Journal of Universal Computer Science, vol. 15, no 5, 2009, ISSN: 0948-695X.

BibTeX

466.

José García Nieto; Enrique Alba; Laetitia Jourdan; El-Ghazali Talbi

Sensitivity and specificity based multiobjective approach for feature selection: application to cancer diagnosis Artículo de revista

En: Information Processing Letters, vol. 109, no 16, pp. 887-896, 2009, ISSN: 0020-0190.

BibTeX

467.

Armando Reyes Palomares; Raúl Montañez; Alejandro Real Chicharro; Othmane Chniber; Amine Kerzazi; Ismael Navas Delgado; Miguel Ángel Medina; José Aldana Montes; Francisca Sánchez Jiménez

Systems biology metabolic modeling assistant (SBMM): an ontology-based tool for the integration of metabolic data in kinetic modeling Artículo de revista

En: Bioinformatics, vol. 25, pp. 1–2, 2009.

BibTeX

468.

Antonio J. Roa-Valverde; José F. Aldana-Montes

Towards a scalabel infrastructure for semantic web services execution Artículo de revista

En: Journal of Software, vol. 4, no 8, 2009, ISSN: 1796-217X.

BibTeX

469.

José L. Vivas; Carmen Fernández Gago; Javier López; Andrés Benjumea

A Security framework for a workflow-based grid development platform Artículo de revista

En: Computer Standards & Interfaces, pp. in press, 2009, ISSN: 0920-5489.

BibTeX

470.

Juan José Durillo; Antonio J. Nebro; José M. García-Nieto; Carlos A. Coello; Francisco Luna; Enrique Alba

A Study of multiobjective metaheuristics when solving parameter scalable problems (to appear) Artículo de revista

En: IEEE Transactions on Evolutionary Computation, 2009, ISSN: 1089-778x.

BibTeX

471.

Isaac Agudo; Carmen Fernández-Gago; Javier Lopez

An Evolutionary trust and distrust model Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 244, 2009, ISSN: 1571-0661.

BibTeX

472.

The BioMoby Consortium; José Aldana; Ismael Navas; al

Interoperability with Moby 1.0 - It´s better than sharing your thothbrush Artículo de revista

En: Briefings in Bioinformatics, vol. 9, no 3, pp. 220–231, 2008, ISSN: 1467-5463.

BibTeX

473.

Carlos Canal; Pascal Poizat; Gwen Salaün

Model-based adaptation of behavioral mismatching components Artículo de revista

En: IEEE Transactions on Software Engineering, vol. 34, no 4, pp. 546-563, 2008, ISSN: 0098-5589, (Proyectos: PICASSO. Propuesta Integrada para la CAlidad de Sistemas SOftware y SELF. Formalismos Ágiles en Ingeniería del Software).

BibTeX | Enlaces:

474.

Nora Koch; Santiago Melia-Beigbeder; Nathalie Moreno; Vicente Pelechano; Fernando Sánchez; Juan Manuel Vara

Model-driven web engineering Artículo de revista

En: ACM Computing Surveys, vol. 9, no 2, 2008, ISSN: 0360-0300.

BibTeX

475.

Pedro Merino; Erwin Schoitsch

Safety-critical software Artículo de revista

En: Ercim News, vol. 75, 2008, ISSN: 0926-4981.

BibTeX

476.

Rodrigo Roman; Javier Lopez; Stefanos Gritzalis

Situation awareness mechanisms for wireless sensor networks Artículo de revista

En: ACM Computing Surveys, vol. 46, no 4, 2008, ISSN: 0360-0300.

BibTeX

477.

Francisco Luna; Antonio J. Nebro; Enrique Alba; Juan J. Durillo

Solving large-scale real-world telecommunication problems using a Grid-based genetic algorithm Artículo de revista

En: Engineering Optimization, vol. 40, no 11, pp. 1067-1084, 2008, ISSN: 0305-215X, (Proyectos: OPTIMIZACIÓN y ambientes de Red ( más subproyecto: OPLINK::UMA)).

BibTeX | Enlaces:

478.

Carlos Canal; Juan Manuel Murillo; Pascal Poizat

Special issue on practical approaches to software adaptation Artículo de revista

En: Journal of Universal Computer Science, vol. 14, no 13, 2008, ISSN: 0948-695X.

BibTeX

479.

Ricardo Vázquez; Jesús Martínez; Francisco Sandoval Hernandez; Antonio Jesús Bandera; Pedro Miguel Nuñez

A New hybrid approach for simultaneous localization and mapping Artículo de revista

En: International Journal of Factory Automation, Robotics and Soft Computing, 2008, ISSN: 1828-6984.

BibTeX

480.

M A Pérez-Toledano; Amparo Navasa; Juan M Murillo; Carlos Canal

A Safe dynamic adaptation framework for aspect-oriented software development Artículo de revista

En: Journal of Universal Computer Science, vol. 14, 2008, ISSN: 0948-695X.

BibTeX

481.

Antonio Brogi; Razvan Popescu; Francisco Gutiérrez; Pablo López; Ernesto Pimentel

A Service-oriented model for embedded peer-to-peer systems Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 194, 2008, ISSN: 1571-0661.

BibTeX

482.

Nathalie Moreno; Antonio Vallecillo; al]

A Survey on web modeling approaches for ubiquitous web applications Artículo de revista

En: International Journal of Web Information Systems, vol. 4, 2008, ISSN: 1744-0084.

BibTeX

483.

Vicente Benjumea; Javier López; José M. Troya

Anonymity analysis in credentials-based systems: a formal framework Artículo de revista

En: Computer Standards & Interfaces, vol. 30, no 4, pp. 253-261, 2008, ISSN: 0920-5489, (Proyectos: CRISIS - Redes Interconectadas de Sensores para la Seguridad de Infraestructuras Críticas de Información).

BibTeX

484.

Javier Cámara; Gwen Salaün; Carlos Canal

Composition and Run-Time adaptation of Mismatching behavioural interfaces Artículo de revista

En: Journal of Universal Computer Science, vol. 14, no 13, 2008, ISSN: 0948-695X.

BibTeX

485.

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

DNA fragment assembly using a Grid based genetic algorithm Artículo de revista

En: Computers & Operations Research, vol. 35, no 9, pp. 2776-2790, 2008, ISSN: 0305-0548, (Proyectos: OPTIMIZACIÓN y ambientes de Red ( más subproyecto: OPLINK::UMA)).

BibTeX | Enlaces:

486.

Isaac Agudo; Javier López; Jose A. Montenegro

Enabling attribute delegation in ubiquitous environments Artículo de revista

En: Mobile, Networks and Applications (MONET) Journal, vol. 13, no 3-4, 2008, ISSN: 1572-8153.

BibTeX | Enlaces:

487.

Lidia Fuentes; Mónica Pinto; Pablo Sánchez

Generating CAM aspect-oriented architectures using model-driven development Artículo de revista

En: Information and Software Technology, pp. 1–18, 2008, ISSN: 0950-5849.

BibTeX

488.

Francisco Durán; Salvador Lucas; Claude Marché; José Meseguer; Xavier Urbain

Proving operational termination of membership equational programs Artículo de revista

En: Higher-Order and Symbolic Computation, vol. 21, no 1-2, pp. 59–88, 2008, ISSN: 1573-0557.

BibTeX

489.

Javier Cubo; Carlos Canal; Pascal Poizat; Gwen Salaün; Ernesto Pimentel

A Model-Based approach to the verification and adaptation of WF/.NET components Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 215, 2008, ISSN: 1571-0661.

BibTeX

490.

Ismael Navas Delgado; Raúl Montañez; Almudena Pino Ángeles; Aurelio A. Moya García; José Luis Urdiales; Francisca Sánchez Jiménez; José F. Aldana Montes

AMMO-Prot: amine system project 3D-model finder Artículo de revista

En: BioMed Central Ltd., vol. 9, no Supl. 4, pp. 1–14, 2008, ISSN: 0360-0300.

BibTeX

491.

Francisco Chicano; Enrique Alba

Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models Artículo de revista

En: Information Processing Letters, vol. 106, no 6, pp. 221-231, 2008, ISSN: 0020-0190, (Proyectos: OPTIMIZACIÓN y ambientes de Red ( más subproyecto: OPLINK::UMA)).

BibTeX

492.

Manuel Díaz; Daniel Garrido; Luis Llopis; José M. Troya

Designing distributed software with RT-Corba and SDL (Article in Press) Artículo de revista

En: Computer Standards & Interfaces, 2008, ISSN: 0920-5489, (Proyectos: SMEPP- Secure Middleware for Embedde peer to peer Systems).

BibTeX

493.

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

Finding still lifes with memetic/exact hybrid algorithms Artículo de revista

En: ACM Computing Surveys, vol. on line, no Dic., 2008, ISSN: 0360-0300.

BibTeX

494.

Hristo Koshutanski; Fabio Massacci

Interactive access control for autonomic systems: from theory to implementation Artículo de revista

En: ACM Transactions on Autonomous and Adaptive Systems, vol. 3, no 3, 2008, ISSN: 1556-4665.

BibTeX

495.

Jose A Onieva; Jianying Zhou; Javier Lopez

Multiparty non-repudiation: a survey Artículo de revista

En: ACM Computing Surveys, vol. 41, no 1, 2008, ISSN: 0360-0300.

BibTeX

496.

Javier Cámara; Carlos Canal; Gwen Salaün

Multiple concern adaptation for run-time composition in context-aware systems Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 215, 2008, ISSN: 1571-0661.

BibTeX

497.

Enrique Alba; Francisco Chicano

Observations in using parallel and sequential evolutionary algorithms for automatic software testing Artículo de revista

En: Computers & Operations Research, vol. 35, no 10, pp. 3161-3183, 2008, ISSN: 0305-0548.

BibTeX

498.

Hubert Garavel; Gwen Salaün; Wendelin Serwe

On the Semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP Artículo de revista

En: Science of Computer Programming, pp. to appear, 2008, ISSN: 0167-6423.

BibTeX

499.

Cristina Alcaraz-Tello; Gerardo Fernandez-Navarrete; Rodrigo Roman-Castro; Angel Balastegui-Velasco; Javier Lopez-Muñoz

Secure management of scada networks Artículo de revista

En: The European Journal for the Informatic Professional (UPGRADE), vol. 9, no 6, 2008, ISSN: 1684-5285.

BibTeX

500.

Nathalie Moreno; Antonio Vallecillo

Towards interoperable web engineering methods Artículo de revista

En: Journal of the American Society for Information Science and Technology, vol. 59, no 7, pp. 1073–1092, 2008, ISSN: 1532-2890.

BibTeX

501.

Francisco Durán; Adrián Riesco; Alberto Verdejo

A Distributed implementation of mobile Maude Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 176, no 4, pp. 113–131, 2007, ISSN: 1571-0661.

BibTeX

502.

Estévez S Martín; A J Fernández; Hortalá M T González; Rodríguez M Artalejo; Vado R Vírseda

A Fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 177, pp. 235–252, 2007, ISSN: 1571-0661.

BibTeX

503.

Silvia Amaro; Ernesto Pimentel; Ana Mª Roldán

A Preliminary comparative study on the expressive power of reo Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 180, pp. 3–19, 2007, ISSN: 1571-0661.

BibTeX

504.

Estévez S Martín; A J Fernández; Hortalá M T González; Rodríguez M Artalejo; Vado R Vírseda

A Proposal for the cooperation of solvers in constraint functional logic programming: proceedings of the sixth spanish conference on programming and languages (PLOLE 2006) Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 188, pp. 37–51, 2007, ISSN: 1571-0661.

BibTeX

505.

Alicia Triviño; Eduardo Casilari; Alfonso Ariza; Diego Bartolomé

A Proposal for traffic load distribution in internet connected MANETS with mobile gateways Artículo de revista

En: Wseas Transactions on Communications, vol. 6, no 1, pp. 117–124, 2007, ISSN: 1109-2742.

BibTeX

506.

Enrique Alba; Gabriel Luque; Carlos A Coello; Erika Hernández

Comparative study of serial and parallel heuristics used to design combinational logic circuits Artículo de revista

En: vol. 22, no 3, pp. 485–509, 2007, ISSN: 1029-4937.

BibTeX

507.

Antonio José Fernández Leiva; Teresa Hortalá González; Fernando Sáenz Pérez; Rafael Vado-Vírseda

Constraint functional logic programming over finite domains Artículo de revista

En: Theory and Practice of Logic Programming, vol. 7, pp. 537–582, 2007, ISSN: 1471-0684.

BibTeX

508.

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

Information integration of protein-protein interactions as essential tools for immunomics Artículo de revista

En: Cellular Immunology, vol. 244, no 2, pp. 84–86, 2007, ISSN: 0008-8749.

BibTeX

509.

Carlos Cotta; Iván Dotú; Antonio J. Fernández; Pascal Van Hentenryck

Local search-based hybrid algorithms for finding Golomb rulers Artículo de revista

En: vol. 12, no 3, pp. 263–291, 2007, ISSN: 1383-7133.

BibTeX

510.

Enrique Alba; Gabriel Luque; José García-Nieto; Guillermo Ordóñez; Guillermo Leguizamón

MALLBA: a software libray to design efficient optimisation algorithms Artículo de revista

En: International Journal of Innovative Computing and Applications, vol. 1, no 1, pp. 74–85, 2007, ISSN: 1751-6498.

BibTeX

511.

Francisco Durán; José Meseguer

MAUDE´s module algebra Artículo de revista

En: Science of Computer Programming, vol. 66, no 2, pp. 125–153, 2007, ISSN: 0167-6423.

BibTeX

512.

María Mar Gallardo; Christophe Joubert; Pedro Merino

On-the-Fly data flow analysis based on verification technology Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 190, no 4, pp. 33–48, 2007, ISSN: 1571-0661.

BibTeX

513.

Enrique Alba; Gabriel Luque; Francisco Luna

Parallel metaheuristics for workforce planning Artículo de revista

En: Journal of Mathematical Modelling and Algorithms, vol. 6, no 3, pp. 509–528, 2007, ISSN: 1572-9214.

BibTeX

514.

Julio Madera; Enrique Alba; Gabriel Luque

Performance evaluation of the parallel polytree approximation distribution algorithm on three network technologies Artículo de revista

En: Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol. 11, no 35, pp. 67–76, 2007, ISSN: 1137-3601.

BibTeX

515.

Enrique Alba; Francisco J Chicano

Software project management with GAS Artículo de revista

En: Information Services, vol. 177, pp. 2380–2401, 2007, ISSN: 0020-0255.

BibTeX

516.

L Fuentes; M Pinto; J M Troya

Supporting the development of CAM/DAOP applications: an integrated development process Artículo de revista

En: Software Practice & Experience, vol. 37, pp. 21–64, 2007, ISSN: 0038-0644.

BibTeX

517.

F Sánchez-Jiménez; R Montañez; F Correa-Fiz; P Chaves; C Rodríguez-Caso; J L Urdiales; J F Aldana; M A Medina

The Usefulness of post-genomics tools for characterization of the amine cross-talk in mammalian cells Artículo de revista

En: Biochemical Society Transactions, vol. 35, pp. 381–385, 2007, ISSN: 1470-8752.

BibTeX

518.

Manuel Díaz; Daniel Garrido; Luis Llopis; Francisco Rus; José M Troya

UM-RTCOM: an analyzable component model for real-time distributed systems Artículo de revista

En: Journal of Systems and Software, pp. 1–18, 2007, ISSN: 0164-1212.

BibTeX

519.

José Raúl Romero; Francisco Durán; Antonio Vallecillo

Writing and executing ODP computational viewpoint specifications using Maude Artículo de revista

En: Computer Standards & Interfaces, vol. 29, no 4, pp. 481–498, 2007, ISSN: 0920-5489.

BibTeX

520.

Hristo Koshutanski; Fabio Massacci

A Negotiation scheme for access rights establishment in autonomic communication Artículo de revista

En: Security and Communication Networks, vol. 15, no 1, 2007.

BibTeX

521.

Rodrigo Roman; Cristina Alcaraz; Javier Lopez

A Survey of cryptographic primitives and implementations for hardware-constrained sensor network nodes Artículo de revista

En: Mobile, Networks and Applications (MONET) Journal, vol. 12, no 4, pp. 231–244, 2007, ISSN: 1572-8153.

BibTeX

522.

Javier Cámara; Carlos Canal; Javier Cubo; Juan Manuel Murillo

An Aspect-Oriented adaptation framework for dynamic component evolution Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 189, 2007, ISSN: 1571-0661.

BibTeX

523.

Antonio Brogi; Javier Cámara; Carlos Canal; Javier Cubo; Ernesto Pimentel

Dynamic contextual adaptacion Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 175, pp. 81–95, 2007, ISSN: 1571-0661.

BibTeX

524.

Nathalie Moreno Vergara; José Troya M Linero; Antonio Vallecillo

Model-driven component adaptation in the context of Web Engineering Artículo de revista

En: European Journal of Information Systems, vol. 16, no 4, pp. 448–459, 2007, ISSN: 0960-085X.

BibTeX

525.

Javier Lopez; Isaac Agudo; Jose A Montenegro

On the Deployment of a real scalable delegation service Artículo de revista

En: Information Security Technical Report, vol. 12, pp. 139–146, 2007, ISSN: 1363-4127.

BibTeX

526.

Rodrigo Roman; Cristina Alcaraz; Javier Lopez

The Role of wireless sensor networks in the area of critical information infrastructure protection Artículo de revista

En: Information Security Technical Report, vol. 12, no 1, pp. 24–31, 2007, ISSN: 1363-4127.

BibTeX

527.

E Alba; G Leguizamón; G Ordóñez

Two models of parallel ACO algorithms for the minimum tardy task problem Artículo de revista

En: International Journal of High Perfomance Systems Architecture, vol. 1, no 1, pp. 50–59, 2007, ISSN: 1751-6536.

BibTeX

528.

Manuel Díaz; Daniel Garrido; Sergio Romero; Bartolomé Rubio; Enrique Soler; José M. Troya

A Component-based nuclear power plant simulator Kernel Artículo de revista

En: Concurrency and Computation _ Practice and Experience, vol. 19, no 5, pp. 593–607, 2007, ISSN: 1532-0634.

BibTeX

529.

Lidia Fuentes; Pablo Sánchez

Aspect-oriented coordination Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 189, pp. 87–103, 2007, ISSN: 1571-0661.

BibTeX

530.

Lidia Fuentes; Pablo Sánchez

Designing and weaving aspect-oriented executable UML models Artículo de revista

En: Journal of Object Technology, vol. 6, no 7, pp. 109–136, 2007, ISSN: 1660-1769.

BibTeX

531.

José Raúl Romero; José Eduardo Rivera; Francisco Durán; Antonio Vallecillo

Formal and tool support for model driven engineering with Maude Artículo de revista

En: Journal of Object Technology, vol. 6, no 9, 2007, ISSN: 1660-1769.

BibTeX

532.

Cándido Alcaide; Manuel Díaz; Luis Llopis; Antonio Márquez; Bartolomé Rubio; Enrique Soler

CoSP2P: a component-based service model for peer-to-peer systems Artículo de revista

En: International Journal of Electronics, Circuits and Systems, vol. 1, no 2, pp. 91–96, 2007, ISSN: 1307-4156.

BibTeX

533.

Javier Barbarán; Manuel Díaz; Iñaki Esteve; Bartolomé Rubio

RadMote: a mobile framework for radiation monitoring in nuclear power plants Artículo de revista

En: International Journal of Electronics, Circuits and Systems, vol. 1, no 2, pp. 104–109, 2007, ISSN: 1307-4156.

BibTeX

534.

J Barbarán; M Díaz; Iñaki Esteve; D Garrido; L Llopis; B Rubio

RTCoord: a methodology to design WSAN applications Artículo de revista

En: International Journal of Electronics, Circuits and Systems, vol. 1, no 2, pp. 97–103, 2007, ISSN: 1307-4156.

BibTeX

535.

Nathalie Moreno; Piero Fraternalli; Antonio Vallecillo

WebMl modeling in UML Artículo de revista

En: IET Software, vol. 1, no 3, pp. 67–80, 2007, ISSN: 1751-8806.

BibTeX

536.

Raúl Montañez Martínez; Francisca Sánchez Jiménez; José Francisco Aldana; Miguel Ángel Medina Torres

Polyamines: metabolism to systems biology and beyond Artículo de revista

En: pp. Online First, 2007, ISSN: 1438-2199.

BibTeX

537.

José Francisco Aldana; Francisco Román Villatoro Machuca; Oswaldo Trelles Salazar; Miguel Ángel Medina Torres; Gonzalo M. Claros Díaz; Francisca Sánchez Jiménez; José Luis Urdiales Ruiz

Amine System Project Artículo de revista

En: Inflammation Research, vol. 56, no Supl. 1, pp. S1-S2, 2007, ISSN: 1023-3830.

BibTeX

538.

Pascal Poizat; Gwen Salaün; Massimo Tivoli

An Adaptation-Based approach to incrementally build component systems Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 182, pp. 155–170, 2007, ISSN: 1571-0661.

BibTeX

539.

Carlos Cotta; Juan-Julián Merelo

Building bridges: the role of subfields in metaheuristics Artículo de revista

En: ACM Computing Surveys, vol. 1, no 4, 2007, ISSN: 0360-0300.

BibTeX

540.

Manuel Díaz; Daniel Garrido; José M Troya

Development of distributed real-time simulators based in CORBA Artículo de revista

En: Simulation Modelling: practice and theory, vol. 15, no 6, pp. 716–733, 2007, ISSN: 1569-190X.

BibTeX

541.

María Mar Gallardo; Jesús Martínez; Pedro Merino; Pablo Nuñez; Ernesto Pimentel

PiXL: appliyng XML standards to support the integration of analysis tools for protocols Artículo de revista

En: Science of Computer Programming, vol. 65, no 1, pp. 57–69, 2007, ISSN: 0167-6423.

BibTeX

542.

Carlos Cotta; Juan-Julián Merelo

Where is evolutionary computation going? a temporal analysisi of the EC community Artículo de revista

En: Genetic Programming and Evolvable Machines, vol. 8, no 3, 2007, ISSN: 1573-7632, (Proyectos: OPTIMIZACIÓN y ambientes de Red ( más subproyecto: OPLINK::UMA)).

BibTeX

543.

Christian Attiogbé; Gwen Salaün; Pascal Poizat

A Formal and tool-equipped approach for the integration of state diagrams and formal datatypes Artículo de revista

En: IEEE Transactions on Software Engineering, vol. 33, pp. 157–170, 2007, ISSN: 0098-5589.

BibTeX

544.

Jianying Zhou; Rodrigo Roman; Wee Yung Chin; Javier Lopez

An Effective multi-layered defense framework against Spam Artículo de revista

En: Information Security Technical Report, pp. 179–185, 2007, ISSN: 1363-4127.

BibTeX

545.

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

On the Hybridization of Memetic Algorithms with Branch and Bound Techniques Artículo de revista

En: IEEE Transactions on Systems, Man and Cybernetics.Part B: Cybernetics, vol. 37, no 1, pp. 77–83, 2007, ISSN: 1083-4419.

BibTeX

546.

Clare Dixon; Carmen Mª Fernández; Michael Fisher; Wiebe Van Hoek

Temporal logics of knowledge and their applications in security Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 186, pp. 27–42, 2007, ISSN: 1571-0661.

BibTeX

547.

E. Alba; B. Dorronsoro; F. Luna; A. J. Nebro; P. Bouvry; L. Hogie

A Cellular multi-objetive genetic algorithm for optimal broadcasting strategy in metropolitan MANETs Artículo de revista

En: Computer Communications, vol. 30, pp. 685–697, 2007, ISSN: 0140-3664.

BibTeX

548.

Manuel Díaz; Bartolomé Rubio; José M. Troya

A Tuple channel-based coordination model for parallel and distributed programming Artículo de revista

En: Journal of Parallel and Distributed Computing, vol. 67, no 10, pp. 1092–1107, 2007, ISSN: 0743-7315.

BibTeX

549.

S Molina; E Alba; G Leguizamón

An ACO model for a non-stationary formulation of the single elevator problem Artículo de revista

En: Journal of Computer Science and Technology, vol. 7, no 1, pp. 45–51, 2007, ISSN: 1666-6038.

BibTeX

550.

J L Pastrana; E Pimentel; M Katrib

Composition of self-adapting components for customizable systems Artículo de revista

En: Computer Journal, pp. 1–16, 2007, ISSN: 0010-4620.

BibTeX

551.

Antonio J. Fernández; Patricia M. Hill

An Interval constraint branching scheme for lattice domains Artículo de revista

En: Journal of Universal Computer Science, vol. 12, pp. 1466–1499, 2006, ISSN: 0948-695X.

BibTeX

552.

Enrique Alba; Antonio Jesús Nebro; Francisco Luna

Observations in using Grid-enabled technologies for solving multi-objetive optimization problems Artículo de revista

En: Parallel Computing, vol. 32, pp. 377–393, 2006, ISSN: 0167-8191.

BibTeX

553.

Antonio Vallecillo Moreno; V. Vasconcelos; A. Ravara

Typing the behavior of software components using session types Artículo de revista

En: Fundamenta Informaticae, vol. 73, no 4, pp. 593–598, 2006.

BibTeX

554.

Rodrigo Román; Jianying Zhou; Javier López

An Anti-spam scheme using pre-challenges Artículo de revista

En: Computer Communications, vol. 29, no 15, pp. 2739–2749, 2006, ISSN: 0140-3664.

BibTeX

555.

Äntonio Brogi; Carlos Canal; Ernesto Pimentel"

Component adaptation through flexible subservicing Artículo de revista

En: Science of Computer Programming, vol. 63, no 1, pp. 39–56, 2006, ISSN: 0167-6423.

BibTeX

556.

A. Joseph; A. Díaz; P. Merino; F. Rivas; U. Kulkarni; J. Vadavi; G. S. Thyagaraju; S. M. Joshi; A. Yardi

Mobile and ubiquitous objects - Communication awareness in mobile devices Artículo de revista

En: IEEE Pervasive Computing, vol. 5, no 3, pp. 57–59, 2006, ISSN: 1536-1268.

BibTeX

557.

E Alba; M Middendorf

The "Decent" project: decentralized metaheuristics Artículo de revista

En: Ercim News, vol. 64, pp. 51–52, 2006, ISSN: 0926-4981.

BibTeX

558.

Javier Lopez

Unleashing public-key cryptography in wireless sensor networks Artículo de revista

En: Journal of Computer Security, vol. 14, no 5, pp. 469–482, 2006, ISSN: 0926-227X.

BibTeX

559.

María Alpuente; María Mar Gallardo; Ernesto Pimentel; Alicia Villanueva

Verifying real-time properties of tccp programs Artículo de revista

En: Journal of Universal Computer Science, vol. 12, no 11, pp. 1551–1573, 2006, ISSN: 0948-695X.

BibTeX

560.

Vicente Benjumea; Javier Lopez; José M Troya

Anonymous attribute certificates based on traceable signatures Artículo de revista

En: Internet Research-Electronic Networking Applications and Policy, vol. 16, no 2, pp. 120–139, 2006, ISSN: 1066-2243.

BibTeX

561.

Francisco Rus; Julio Garralón; Francisco Román Villatoro Machuca

Compacton numerically-induced radiation in a fourth-order finite element method Artículo de revista

En: Wseas Transactions on Mathematics, vol. 5, pp. 89–96, 2006, ISSN: 1109-2769.

BibTeX

562.

Lidia Fuentes; Daniel Jiménez; Mónica Pinto

Development of ambient intelligence applications using components and aspects Artículo de revista

En: Journal of Universal Computer Science, vol. 12, pp. 236–251, 2006, ISSN: 0948-695X.

BibTeX

563.

Enrique Alba; Manuel Díaz; Carlos Cotta; F Almeida; M Blesa; I Dorta; Carlos Leon; J Petit; A Rojas; Fatos Xhafa; Gabriel Jesús Luque; J Gabarró; C Rodriguez

Efficient parallel LAN/WAN algorithms for optimization Artículo de revista

En: Parallel Computing, vol. 32, pp. 415–440, 2006, ISSN: 0167-8191.

BibTeX

564.

Javier Cámara; Carlos Canal; Javier Cubo; Antonio Vallecillo

Formalizing WSBPEL business processes using process algebra Artículo de revista

En: Electronic Notes in Computer Science, vol. 154, pp. 159–173, 2006, ISSN: 1571-0661.

BibTeX

565.

Ismael Navas; José Francisco Aldana; María Mar Rojano; Antonio Jesus Perez Pulido; Oswaldo Trelles Salazar

Intelligent client for integrating bioinformatics services Artículo de revista

En: Bioinformatics, vol. 22, pp. 106–111, 2006, ISSN: 1367-4803.

BibTeX

566.

Manuel F Bertoa; Antonio Vallecillo; José M Troya

Measuring the usability of software components Artículo de revista

En: The Journal of Systems and Software, vol. 79, no 3, pp. 427–439, 2006, ISSN: 0164-1212.

BibTeX

567.

Antonio Vallecillo Moreno; Manuel Fernández Bertoa

Medidas de usabilidad de componentes software Artículo de revista

En: IEEE América Latina, vol. 4, no 2, 2006.

BibTeX

568.

Carlos Cotta

Scatter search with path relinking for phylogenetic inference: feature cluster on scatter search methods for optimization Artículo de revista

En: European Journal of Operational Research, vol. 169, pp. 520–532, 2006, ISSN: 0377-2217.

BibTeX

569.

Vicente Benjumea; Javier Lopez; José M Troya

Specification of a framework for the anonymous use of privileges: developing a culture of privacy in the global village Artículo de revista

En: Telematics and Informatics, vol. 23, no 3, pp. 179–195, 2006, ISSN: 0736-5853.

BibTeX

570.

Manuel Díaz; Daniel Garrido; Sergio Romero; Bartolomé Rubio; Enrique Soler; José M Troya

Experiences with component-oriented technologies in nuclear power plant simulator Artículo de revista

En: Software Practice & Experience, vol. 36, no 13, pp. 1489–1512, 2006, ISSN: 0038-0644.

BibTeX

571.

Carolina Salto; Enrique Alba; Juan M Molina

Analysis of distributed genetic algorithms for solving cutting problems Artículo de revista

En: International Transactions in Operational Research, vol. 13, no 5, pp. 403–423, 2006, ISSN: 0360-0300.

BibTeX

572.

Enrique Alba; Enrique Domínguez

Comparative analysis of modern optimization tools for the p-median problem Artículo de revista

En: Statistics and Computing, vol. 16, no 3, pp. 251–260, 2006, ISSN: 0960-3174.

BibTeX

573.

Gwen Salaün; Lucas Bordeaux; Marco Schaerf

Describing and reasoning on web services using process algebra Artículo de revista

En: International Journal of Business Process Integration and Management, vol. 1, no 2, pp. 116–128, 2006, ISSN: 1741-8771.

BibTeX

574.

Enrique Alba; Gabriel Luque; Lourdes Araujo

Natural language tagging with genetic algorithms Artículo de revista

En: Information Processing Letters, vol. 100, pp. 173–182, 2006, ISSN: 0020-0190.

BibTeX

575.

M. M. Gallardo; Jesús Martínez; Pedro Merino; Ernesto Pimentel

On the Evolution of reliability methods for critical software Artículo de revista

En: Journal of Integrated Design and Process Science, vol. 10, no 4, pp. 55–67, 2006, ISSN: 1092-0617.

BibTeX

576.

Mariemma I. Yagüe Valle

Survey on XML-based policy languages for open environments Artículo de revista

En: Journal of Information Assurance and security, vol. 1, no 1, pp. 11–20, 2006, ISSN: 1554-1010.

BibTeX

577.

Silvia Amaro; Ernesto Pimentel; Ana M Roldán

Reo based interaction model Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 160, no 1-2, pp. 37–50, 2006, ISSN: 1571-0661.

BibTeX

578.

Sergio Contreras; María Mar Gallardo; Pedro Merino; David Sanán; Javier Rivas; Joaquín Torrecilla

Validating complex telecommunication software Artículo de revista

En: Ercim News, no 66, pp. 62–63, 2006, ISSN: 0926-4981.

BibTeX

579.

Bernabé Dorronsoro; Pascal Bouvry; L. Hogie; Enrique Alba; Francisco Luna

A Cellular multi-objective genetic algorithm for optimal broadcasting strategy in metropolitan Manets. (Artículo en Prensa) Artículo de revista

En: Computer Communications, pp. 1–13, 2006, ISSN: 0140-3664.

BibTeX

580.

R Vázquez-Martin; J Martínez; J C Toro; P Nuñez; F Sandoval

A software control arquitecture based on active perception for mobile robotics Artículo de revista

En: Wseas Transaction on Circuits and Systems, vol. 5, no 6, pp. 797–804, 2006.

BibTeX

581.

Ismael Navas; José Francisco Aldana; María Mar Roldán; Manuel Roldán; Oswaldo Trelles Salazar; Manuel Hidalgo Conde

Bio-Broker: a Tool for integration of biological data sources and data analysis tools Artículo de revista

En: Software Practice & Experience, vol. 36, pp. 1585–1604, 2006, ISSN: 0038-0644.

BibTeX

582.

Enrique Alba; Bernabe Dorronsoro Diaz

Computing nine new best-so-far solutions for capacitated VRP with a cellular genetic algorithm Artículo de revista

En: Information Processing Letters, vol. 98, no 6, pp. 225–230, 2006, ISSN: 0020-0190.

BibTeX

583.

Carlos Cotta

From Genes to Memes: optimization by problem-aware evolutionary algorithms Artículo de revista

En: Schedae Informaticae, vol. 15, 2006, ISSN: 0860-0295.

BibTeX

584.

Antonio Brogi; Carlos Canal; Ernesto Pimentel

On the Semantics of software adaptation Artículo de revista

En: Science of Computer Programming, vol. 61, pp. 136–151, 2006, ISSN: 0167-6423.

BibTeX

585.

Almudena Díaz; Pedro Merino; F. Javier Rivas Tocado

SymPA: un analizador de protocolos para dispositivos móviles Artículo de revista

En: RIiCU: Revista Internacional Iberoamericana sobre Computación Ubicua, no 1, pp. 1–8, 2006, ISSN: 1988-0022.

BibTeX

586.

Carlos Cotta; Juan Julian Merelo

The Complex network of EC authors Artículo de revista

En: vol. 1, no 2, pp. 2–9, 2006, ISSN: 1931-8499.

BibTeX

587.

Antonio Vallecillo Moreno; Manuel Fernández Bertoa; Mario Piattini; Félix García; Coral Calero Muñoz; Francisco Ruiz; M. Genero

Towards a consistent terminology for software measurement Artículo de revista

En: Information and Software Technology, vol. 48, no 8, pp. 631–644, 2006, ISSN: 0950-5849.

BibTeX

588.

María Alpuente; María Mar Gallardo; Ernesto Pimentel; Alicia Villanueva

Abstract model checking of TCCP programs Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 112, pp. 19–36, 2005, ISSN: 1571-0661.

BibTeX

589.

María Mar Gallardo; Jesús Martínez; Pedro Merino; Guillermo Rodriguez

Integration of reliability of performance analyses for active network services Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 133, pp. 217–236, 2005, ISSN: 1571-0661.

BibTeX

590.

Antonio José Fernández Leiva

Un Enfoque genérico y cooperativo para la resolución de restricciones de intervalo Artículo de revista

En: Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol. 9, no 17, pp. 125–128, 2005, ISSN: 1137-3601.

BibTeX

591.

Hristo Koshutanski; Fabio Massacci

Interactive access control and trust negotiation for autonomic communication Artículo de revista

En: Ercim News, vol. 63, 2005, ISSN: 0926-4981.

BibTeX

592.

Sokratis Katsikas; Javier Lopez; Günther Pernul

Security, trust and privacy in digital business Artículo de revista

En: International Journal of Computer System, Sciences & Engineering, 2005, ISSN: 0267-6192.

BibTeX

593.

Mónica Pinto; Lidia Fuentes; José María Troya

A dynamic component and aspect-oriented platform Artículo de revista

En: The Computer Journal, vol. 48, pp. 401–420, 2005, ISSN: 0010-4620.

BibTeX

594.

Andrea Bracciali; Jose Carlos Canal; Antonio Brogi

A formal approach to component adaptation Artículo de revista

En: The Journal of Systems and Software, vol. 74, pp. 45–54, 2005, ISSN: 0164-1212.

BibTeX

595.

Mariemma I Yagüe; Antonio Maña; Javier López

A Metadata-based access control model for web services Artículo de revista

En: Internet Research-Electronic Networking Applications and Policy, vol. 15, no 1, pp. 99–116, 2005, ISSN: 1066-2243.

BibTeX

596.

María Alpuente; María Mar Gallardo; Ernesto Pimentel; Alicia Villanueva

A Semantic framework for the abstract model checking of TCCP programs Artículo de revista

En: Theoretical Computer Science, vol. 346, pp. 58–95, 2005, ISSN: 0304-3975.

BibTeX | Enlaces:

597.

E. Soler; J. I. Ramos

Adaptive domain-decomposition methods for two-dimensional, time-dependent reaction- diffusion equations in nongraded meshes Artículo de revista

En: Progress in Computational Fluid Dynamics, an International Journal, vol. 5, no 8, pp. 482–494, 2005, ISSN: 1468-4349.

BibTeX

598.

Nathalie Moreno; José Raúl Romero

Building e-Learning systems using the e-MDA framework Artículo de revista

En: IADAT Journal of Advanced Technology, vol. 2, no 2, pp. 239–244, 2005, ISSN: 1698-1073.

BibTeX

599.

Rodrigo Roman; Javier Lopez; Jianying Zhou

Casual virtual private network Artículo de revista

En: International Journal of Computer System, Sciences & Engineering, vol. 20, no 3, pp. 185–192, 2005, ISSN: 0267-6192.

BibTeX

600.

Enrique Alba; Bernabe Dorronsoro Diaz

Computing nine new best-so-far solutions for capacitated Vrp with a cellular Ga Artículo de revista

En: Information Processing Letters, vol. 0, pp. To Appear, 2005, ISSN: 0020-0190.

BibTeX

601.

Silvia Amaro; Ernesto Pimentel; Ana M Roldán

Coordinating behavioral descriptions of components Artículo de revista

En: Journal of Universal Computer Science, vol. 11, pp. 1676–1694, 2005, ISSN: 0948-695X.

BibTeX

602.

Enrique Alba; Fikret Ercal; El-ghazali Talbi; Albert Y. Zomaya

Guest Editorial - nature-inspired distributed computing Artículo de revista

En: International Journal of Foundations of Computer Science, vol. 16, pp. 239–240, 2005, ISSN: 0129-0541.

BibTeX

603.

Antonio Vallecillo Moreno; Manuel Roldán Castro; Francisco Javier Durán Muñoz

Invariant-driven strategies for Maude Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 124, no 2, pp. 17–28, 2005, ISSN: 1571-0661.

BibTeX

604.

E Soler; J I Ramos

Numerical study of the thermal degradation of isotropic and anisotropic polymeric materials Artículo de revista

En: International Journal of Thermal Sciences, vol. 44, pp. 735–755, 2005, ISSN: 1290-0729.

BibTeX

605.

Enrique Alba; José Francisco Chicano

On the behavior of parallel genetic algorithms for optimal placement of antennae in telecommunications Artículo de revista

En: International Journal of Foundations of Computer Science, vol. 16, pp. 343–357, 2005, ISSN: 0129-0541.

BibTeX

606.

Jianying Zhou; Jose Onieva; Javier López

Optimised multi-party certified email protocols Artículo de revista

En: Information Management & Computer Security Journal, vol. 13, pp. 350–366, 2005, ISSN: 0968-5227.

BibTeX

607.

Antonio José Fernández Leiva

Programación declarativa con restricciones Artículo de revista

En: Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, pp. 1–27, 2005, ISSN: 1137-3601.

BibTeX

608.

Javier López; Juan J. Ortega; José M. Troya

Security protocols analysis: a SDL-based approach Artículo de revista

En: Computer Standards & Interfaces, vol. 27, no 5, pp. 489–499, 2005, ISSN: 0920-5489.

BibTeX

609.

Enrique Alba; Bernabé Dorronsoro Diaz

The exploration/exploitation tradeoff in dynamic cellular genetic algorithms Artículo de revista

En: IEEE Transactions on Evolutionary Computation, vol. 9, pp. 126–142, 2005, ISSN: 1089-778x.

BibTeX

610.

Antonio Vallecillo Moreno; Manuel Roldán Castro; Francisco Javier Durán Muñoz

Using Maude to write and execute Odp information viewpoint specifications Artículo de revista

En: Computer Standards & Interfaces, vol. 27, no 6, pp. 597–620, 2005, ISSN: 0920-5489.

BibTeX

611.

Javier Lopez; Rolf Oppliger; Günther Pernul

Why public key infrastructures have failed so far? Artículo de revista

En: Internet Research-Electronic Networking Applications and Policy, vol. 15, no 5, pp. 544–556, 2005, ISSN: 1066-2243.

BibTeX

612.

Francisco Durán

MAUDE´s internal strategies Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 124, pp. 11–15, 2005, ISSN: 1571-0661.

BibTeX

613.

Gabriel Luque; Enrique Alba

Metaheuristics for the DNA fragment assembly problem Artículo de revista

En: International Journal of Computational Intelligence Research, vol. 1, no 2, pp. 98–108, 2005, ISSN: 0973-1873.

BibTeX

614.

Carlos Cotta; Pablo Moscato

Mining genomic data with metaheuristc techniques Artículo de revista

En: Ercim News, vol. 60, pp. 32–33, 2005, ISSN: 0926-4981.

BibTeX

615.

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

Model checking active networks with SPIN Artículo de revista

En: Computer Communications, vol. 28, no 6, pp. 609–622, 2005, ISSN: 0140-3664.

BibTeX

616.

Francisco Durán; Salvador Lucas

New evaluation commands for Maude within full Maude Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 117, pp. 263–284, 2005, ISSN: 1571-0661.

BibTeX

617.

Francisco Durán; Santiago Escobar; Salvador Lucas

On Demand evaluation for Maude Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 124, pp. 25–39, 2005, ISSN: 1571-0661.

BibTeX

618.

Mónica Pinto Alarcón; Lidia Fuentes Fernández; José María Troya Linero

Using MDA to develop component and aspect based applications Artículo de revista

En: IEEE América Latina, vol. 3, no 1, pp. 1–9, 2005.

BibTeX

619.

Isaac Agudo; Javier Lopez; Jose A Montenegro

A Graphical delegation solution for X.509 attribute certificates Artículo de revista

En: Ercim News, no 63, 2005, ISSN: 0926-4981.

BibTeX

620.

Enrique Alba; Bernabé Dorronsoro; Hugo Alfonso

Cellular memetic algorithms Artículo de revista

En: Journal of Computer Science and Technology, vol. 5, no 4, pp. 257–263, 2005, ISSN: 1666-6038.

BibTeX

621.

Carlos Cotta; Antonio J Fernández; Robert Schaefer; Krzysztof Cetnarowicz

Fifth meeting on multiagent systems and new trends in soft computing Artículo de revista

En: Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol. 9, no 28, 2005, ISSN: 1137-3601.

BibTeX

622.

P Cámara; P Merino; M M Gallardo; D Sanán

Model checking software with well-defined APIS: the socket case Artículo de revista

En: EASST Newsletters, vol. 11, pp. 31–34, 2005.

BibTeX

623.

Javier López; José A Montenegro; José L. Vivas; Eiji Okamoto; Ed Dawson

Specification and design of advanced authentication and authorization services Artículo de revista

En: Computer Standards & Interfaces, vol. 27, no 5, pp. 467–478, 2005, ISSN: 0920-5489.

BibTeX

624.

Enrique Alba; Marco Tomassini; Mario Giacobini; Andrea G. B. Tettamanzi

The Selection intensity in cellular evolutionary algorithms for regular Lattices Artículo de revista

En: IEEE Transactions on Evolutionary Computation, vol. 9, pp. 489–505, 2005, ISSN: 1089-778x.

BibTeX

625.

Ismael Navas; José Francisco Aldana

A Distributed semantic mediation architecture Artículo de revista

En: Journal of Information and Organizational Sciences, vol. 28, pp. 135–150, 2004, ISSN: 0351-1804.

BibTeX

626.

Antonio Maña; Javier López; Juan J. Ortega; Ernesto Pimentel; José M. Troya

A Framework for secure execution of software Artículo de revista

En: International Journal of Information Security, vol. 3, no 2, pp. 99–112, 2004, ISSN: 1615-5262.

BibTeX

627.

María Mar Gallardo; Pedro Merino; Ernesto Pimentel

A Generalized semantics of Promela for abstract model checking Artículo de revista

En: Formal Aspects of Computing, vol. 16, pp. 166–193, 2004, ISSN: 0934-5043.

BibTeX

628.

Antonio José Fernández Leiva

A Generic, collaborative framework for interval constraint solving Artículo de revista

En: AI Communications, vol. 17, pp. 171–174, 2004, ISSN: 0921-7126.

BibTeX

629.

Silvia Amaro; Ernesto Pimentel; Ana M Roldán

A Preliminary comparative study on the expressive power of Reo and Linda Artículo de revista

En: Electronic Notes in Theoretical Computer Science, pp. 18, 2004, ISSN: 1571-0661.

BibTeX

630.

Lidia Fuentes; Mónica Pinto; Mercedes Amor

A Survey of multimedia software engineering Artículo de revista

En: Journal of Universal Computer Science, vol. 10, pp. 473–498, 2004, ISSN: 0948-695X.

BibTeX

631.

Luis Iribarne; José M Troya; Antonio Vallecillo

A trading service for COTS components Artículo de revista

En: Computer Journal, vol. 47, no 3, pp. 342–357, 2004, ISSN: 0010-4620.

BibTeX

632.

Mercedes Amor; Lidia Fuentes; Daniel Jiménez; Mónica Pinto

Adaptive collaborative virtual environments: a component and aspect-based approach Artículo de revista

En: Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol. 8, no 24, pp. 33–43, 2004, ISSN: 1137-3601.

BibTeX

633.

Enrique Alba; Antonio Jesús Nebro; Francisco Luna

Advances in parallel heterogeneus genetic algorithms for continuous optimization Artículo de revista

En: International Journal of Applied Mathematics and Computer Science, vol. 14, pp. 317–333, 2004, ISSN: 1641-876x.

BibTeX

634.

Jose A. Onieva; Jianying Zhou; Javier López; Mildrey Carbonell

Agent-mediated non-repudiation protocols Artículo de revista

En: Electronic Commerce Research and Applications, vol. 3, pp. 152–162, 2004, ISSN: 1567-4223.

BibTeX

635.

Antonio José Fernández Leiva; P. Hill

An Interval constraint system for Lattice domains Artículo de revista

En: ACM Transactions on Programming Languages and Systems, vol. 26, pp. 1–46, 2004, ISSN: 0164-0925.

BibTeX

636.

M. Pinto; M. Amor; L. Fuentes; J. M. Troya

Analyzing architectural evolution issues of multimedia frameworks Artículo de revista

En: Multimedia Tools & Applications, vol. 22, no 1, pp. 31–51, 2004, ISSN: 1380-7501.

BibTeX

637.

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

aSpin: a tool for abstract model checking Artículo de revista

En: Software Tools for Technology Transfer, vol. 5, no 2-3, pp. 165–184, 2004, ISSN: 1433-2779.

BibTeX

638.

Javier López; Rolf Oppliger; Günther Pernul

Authentication and authorization infrastructures (aals): a comparative survey Artículo de revista

En: Computers & Security, vol. 23, pp. 578–590, 2004, ISSN: 0167-4048.

BibTeX

639.

Carlos Cotta; Pablo Moscato

Erratum to Ä Memetic-aided approach to hierarchical clustering from distance Matrices application to gene expression clustering and phylogeny" Artículo de revista

En: Biosystems, vol. 77, pp. 229–229, 2004, ISSN: 0303-2647.

BibTeX

640.

Antonio Brogi; Carlos Canal; Ernesto Pimentel; Antonio Vallecillo

Formalizing web service choreographies Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 105, pp. 73–94, 2004, ISSN: 1571-0661.

BibTeX

641.

Nathalie Moreno-Vergara; Ismael Navas-Delgado; Antonio C Gómez-Lora; Maria Mar Roldán-García; Jose F Aldana-Montes

Musa-k a practical step to integrate databases and semantic web technologies Artículo de revista

En: Journal of Universal Computer Science, pp. 388–396, 2004, ISSN: 0948-695X.

Resumen | BibTeX

642.

Antonio Vallecillo Moreno; José Raúl Romero Salguero

Normas ISO para el desarrollo de sistemas abiertos y distribuidos Artículo de revista

En: Une, no 182, pp. 22–26, 2004, ISSN: 0213-9510.

BibTeX

643.

E Alba; F Luna; A J Nebro; J M Troya

Parallel heterogeneous genetic algorithms for continuous optimization Artículo de revista

En: Parallel Computing, vol. 30, no 5-6, pp. 699–719, 2004, ISSN: 0167-8191.

BibTeX

644.

E Alba; G J Luque; J M Troya

Parallel LAN/WAN heuristics for optimization Artículo de revista

En: Parallel Computing, vol. 30, no 5-6, pp. 611–628, 2004, ISSN: 0167-8191.

BibTeX

645.

Javier López; Antonio Maña; José A. Montenegro; Juan J. Ortega

PKI design based on the use of on-line certification authorities Artículo de revista

En: International Journal of Information Security, vol. 2, no 2, pp. 91–102, 2004, ISSN: 1615-5262.

BibTeX

646.

Manuel Díaz; Daniel Garrido; José M Troya

Real-time training simulators based on distributed reusable components Artículo de revista

En: International Journal of Simulation Systems, Science & Technology, vol. 5, no 3-4, pp. 11 pags, 2004, ISSN: 1473-804x.

BibTeX

647.

Luis Manuel Llopis; Enrique Dominguez Merino; Jose Manuel Jerez Aragones

Realnet a neural network architecture for real-time systems scheduling Artículo de revista

En: Neural Computing & Applications, vol. 13, pp. 281–287, 2004, ISSN: 0941-0643.

BibTeX

648.

Carlos Cotta; José M Troya

Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms Artículo de revista

En: vol. 62, pp. 111–129, 2004, ISSN: 0925-2312.

BibTeX

649.

Enrique Alba

Solving complex problems with advanced techniques Artículo de revista

En: Ercim News, pp. 45–46, 2004, ISSN: 0926-4981.

BibTeX

650.

Enrique Alba; Antonio Jesús Nebro

Solving optimization problems with Grid-enabled technologies Artículo de revista

En: Ercim News, pp. 53–54, 2004, ISSN: 0926-4981.

BibTeX

651.

Mercedes Amor; Lidia Fuentes; José María Troya

Training compositional agents in negotiation protocols using ontologies Artículo de revista

En: Integrated Computer-Aided Engineering, vol. 11, no 2, pp. 179–194, 2004, ISSN: 1069-2509.

BibTeX

652.

María Mar Roldán-García; Ismael Navas-Delgado; Jose F. Aldana-Montes

Using knowledge for enhancing queries in the semantic web Artículo de revista

En: Journal of Universal Computer Science, pp. 345–352, 2004, ISSN: 0948-695X.

Resumen | BibTeX

653.

Blas Carlos Ruiz; Manuel Ruíz Muñoz

Logaritmos combinatorios y el problema de los músicos Artículo de revista

En: no 36, pp. 64–79, 2004, ISSN: 0360-0300.

BibTeX

654.

José A. Onieva; Jianying Zhou; Javier López

Non-repudiation protocols for multiple entities Artículo de revista

En: Computer Communications, vol. 27, pp. 1608–1616, 2004, ISSN: 0140-3664.

BibTeX

655.

Antonio Brogi; Jean-Marie Jacquet; Ernesto Pimentel

Preface (Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Archiltectures, a Satellite event of CONCUR 2003) Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 97, pp. 1–2, 2004, ISSN: 1571-0661.

BibTeX

656.

Antonio Vallecillo; Lidia Fuentes

Una Introducción a los perfiles UML Artículo de revista

En: Novática: revista de la Asociación de Técnicos de Informática, no 168, pp. 6-11, 2004, ISSN: 0211-2124.

BibTeX

657.

Carlos Cotta; Pablo Moscato

A Memetic-aided approach to hierarchical clustering from distance Matrices application to gene expression clustering and phylogeny Artículo de revista

En: Biosystems, vol. 72, pp. 229–229, 2003, ISSN: 0303-2647.

BibTeX

658.

Carlos Cotta; Pablo Moscato

A Mixed evolutionary-statistical analysis of an algorithm's complexity Artículo de revista

En: Applied Mathematics Letters, vol. 16, no 1, pp. 41–47, 2003, ISSN: 0893-9659.

BibTeX

659.

Mariemma I Yagüe; Antonio Maña; Javier López; Ernesto Pimentel; José M. Troya

A Secure solution for commercial digital libraries Artículo de revista

En: Online Information Review, vol. 27, no 3, pp. 147–159, 2003, ISSN: 1468-4527.

BibTeX

660.

Carlos Canal; Lidia Fuentes; Ernesto Pimentel; José M. Troya; Antonio Vallecillo

Adding roles to Corba objects Artículo de revista

En: IEEE Transactions on Software Engineering, vol. 29, no 3, pp. 242–260, 2003, ISSN: 0098-5589.

BibTeX

661.

J. M. Álvarez; M. Díaz; L. Llopis; E. Pimentel; J. M. Troya

An Object-oriented methodology for embedded real-time systems Artículo de revista

En: The Computer Journal, vol. 46, pp. 123–145, 2003, ISSN: 0010-4620.

BibTeX

662.

Sigrid Gürgens; Javier López; Rene Peralta

Analysis of e-commerce protocols adapting a traditional technique Artículo de revista

En: International Journal of Information Security, vol. 2, no 1, pp. 21–36, 2003, ISSN: 1615-5262.

BibTeX

663.

Antonio José Fernández Leiva; Jesús Millán Sánchez

Cgraphic educational software for learning the foundations of programming Artículo de revista

En: Computer Applications in Engineering Education, vol. 11, pp. 167–178, 2003, ISSN: 1061-3773.

BibTeX

664.

J M Molina-Bravo; E Pimentel

Composing programs in a rewriting logic for declarative programming Artículo de revista

En: Theory and Practice of Logic Programming, vol. 3, pp. 189–221, 2003, ISSN: 1471-0684.

BibTeX

665.

Francisco Gutiérrez; Blas Ruíz

Cut elimination in a class of sequent calculi for pure type systems Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 84, 2003, ISSN: 1571-0661.

BibTeX

666.

Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M Troya

Domain interaction patterns to coordinate Hpf tasks Artículo de revista

En: Parallel Computing, vol. 29, no 7, pp. 925–951, 2003, ISSN: 0167-8191.

BibTeX

667.

Carlos Cotta; José M Troya

Embedding branch and bound within evolutionary algorithms Artículo de revista

En: Applied Intelligence: the International Journal of Research on Intelligent Systems for Real Life Complex, vol. 18, pp. 137–153, 2003, ISSN: 0924-669x.

BibTeX

668.

Javier Lopez; Jose A Montenegro

Estandarización de servicios de autorización para aplicaciones de internet. Artículo de revista

En: Boletin de la Rediris, pp. 45–48, 2003, ISSN: 1139-207x.

BibTeX

669.

Antonio Vallecillo Moreno; Francisco Javier Durán Muñoz

Formalizing ODP enterprise specifications in Maude Artículo de revista

En: Computer Standards & Interfaces, vol. 25, no 2, pp. 83–102, 2003, ISSN: 0920-5489.

BibTeX

670.

Carlos Cotta; José María Troya

Information processing in transmitting recombination Artículo de revista

En: Applied Mathematics Letters, vol. 16, no 6, pp. 945–948, 2003, ISSN: 0893-9659.

BibTeX

671.

Javier López; Antonio Maña; Juan J. Ortega; José M. Troya; Mariemma I Yagüe

Integrating PMI services in CORBA applications Artículo de revista

En: Computer Standards & Interfaces, vol. 25, no 4, pp. 391–409, 2003, ISSN: 0920-5489.

BibTeX

672.

José M Älvarez; Manuel Díaz; Luis Llopis; Ernesto Pimentel; José M Troya

Integrating schedulability analysis and design techniques in SDL Artículo de revista

En: Real-Time Systems Journal, vol. 24, no 3, pp. 267–302, 2003, ISSN: 0922-6443.

BibTeX

673.

Enrique Alba; M Laguna; Rafael Martí

Métodos evolutivos en problemas de optimización Artículo de revista

En: Revista de la Facultad de Ingeniería. Universidad de Carabobo, vol. 10, pp. 80–89, 2003, ISSN: 1316-6832.

BibTeX

674.

Natalia Moreno; Ismael Navas; José Francisco Aldana

Putting the semantic web to work with Db technology Artículo de revista

En: Bulletin of Technical Comité on Data Engineering, pp. 49–54, 2003.

BibTeX

675.

Ana M. Roldán; Ernesto Pimentel; Antonio Brogi

Safe composition of Linda-based components Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 82, pp. 1–15, 2003, ISSN: 1571-0661.

BibTeX

676.

Antonio Brogi; Carlos Canal; Ernesto Pimentel

Soft component adaptation Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 85, pp. 1–16, 2003, ISSN: 1571-0661.

BibTeX

677.

Francisco Javier Durán; José Meseguer

Structured theories and institutions Artículo de revista

En: Theoretical Computer Science, vol. 309, pp. 357–380, 2003, ISSN: 0304-3975.

BibTeX

678.

Carlos Cotta; P Moscato

The K-feature set problem is W[2]-complete Artículo de revista

En: International Journal of Computer System, Sciences & Engineering, vol. 67, pp. 686–690, 2003, ISSN: 0267-6192.

BibTeX

679.

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

Transforming specifications to verify embedded systems Artículo de revista

En: Ercim News, no 52, pp. 35–36, 2003, ISSN: 0926-4981.

BibTeX

680.

Antonio Vallecillo Moreno; V. Vasconcelos; A. Ravara

Typing the behavior of objects and component using session types Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 68, no 3, pp. 439–456, 2003, ISSN: 1571-0661.

BibTeX

681.

Pablo Moscato; Carlos Cotta

Una introducción a los algoritmos meméticos Artículo de revista

En: Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, no 19, pp. 131–147, 2003, ISSN: 1137-3601.

BibTeX

682.

Selwyn Rusell; Ed Dawson; Eiji Okamoto; Javier Lopez

Virtual certificates and synthetic certificates new paradigms for improving public key validation Artículo de revista

En: Computer Communications, vol. 26, no 16, pp. 1826–1838, 2003, ISSN: 0140-3664.

BibTeX

683.

Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M. Troya

A Border-based coordination language for integrating task and data parallelism Artículo de revista

En: Journal of Parallel and Distributed Computing, vol. 62, pp. 715–740, 2002, ISSN: 0743-7315.

BibTeX

684.

Guillermo Rodríguez; Pedro Merino; María Mar Gallardo

An Extension of the NS simulator for active network research Artículo de revista

En: Computer Communications, vol. 25, pp. 189–197, 2002, ISSN: 0140-3664.

BibTeX | Enlaces:

685.

Antonio Brogi; Ernesto Pimentel; Ana M. Roldán

Compatibility of Linda-based component interfaces Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 0, pp. 0–0, 2002, ISSN: 1571-0661.

BibTeX

686.

María Mar Gallardo; Pedro Merino; Ernesto Pimentel

Debugging UML designs with model checking Artículo de revista

En: Journal of Object Technology, vol. 1, pp. 101–117, 2002, ISSN: 1660-1769.

BibTeX

687.

Antonio Brogi; Ernesto Pimentel

Formal methods and component interaction Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 66, no 4, 2002, ISSN: 1571-0661.

BibTeX

688.

Enrique Alba; Antonio J. Nebro; José M. Troya

Heterogeneous computing and parallel genetic algorithms Artículo de revista

En: Journal of Parallel and Distributed Computing, vol. 62, pp. 1362–1385, 2002, ISSN: 0743-7315.

BibTeX

689.

José-Francisco Aldana-Montes; Antonio-César Gómez-Lora; Nathalie Moreno-Vergara; María Mar Roldán-García

Interrogare il semantic web Artículo de revista

En: vol. 3, no 4, pp. 1–8, 2002, ISSN: 1688-5285.

BibTeX

690.

Pablo López; Ernesto Pimentel; Joshua S Hodas; Jeffrey Polakov; Lubomira Stoilova

Isolating resource consumption in linear logic proof search Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 70, pp. 1–10, 2002, ISSN: 1571-0661.

BibTeX

691.

M Clavel; F Durán; S Eker; P Lincoln; N Martí-Oliet; J Meseguer; J F Quesada

MAUDE specification and programming in rewriting logic Artículo de revista

En: Theoretical Computer Science, vol. 285, pp. 187–243, 2002, ISSN: 0304-3975.

BibTeX

692.

Francisco Gutiérrez; Blas Ruíz

Order functional pure type systems Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 76, pp. 16 pages, 2002, ISSN: 1571-0661.

BibTeX

693.

Enrique Alba

Parallel evolutionary algorithms can achieve super-linear performance Artículo de revista

En: Information Processing Letters, vol. 82, pp. 7–13, 2002, ISSN: 0020-0190.

BibTeX

694.

Enrique Alba; Marco Tomassini

Parallelism and evolutionary algorithms Artículo de revista

En: IEEE Transactions on Evolutionary Computation, vol. 6, no 5, pp. 443–462, 2002, ISSN: 1089-778x.

BibTeX

695.

Javier Lopez Muñoz

Proyecto Casenet integración del diseño y análisis de protocolos seguros para el comercio-e Artículo de revista

En: vol. 29, 2002.

BibTeX

696.

Manuel F Bertoa; Antonio Vallecillo

Quality attributes for Cots components Artículo de revista

En: I+D Computación, vol. 1, no 2, pp. 128–144, 2002, ISSN: 1665-238x.

BibTeX

697.

José-Francisco Aldana-Montes; Antonio-César Gómez-Lora; Nathalie Moreno-Vergara; María Mar Roldán-García

Querying the semantic web: feasibility issues Artículo de revista

En: Üpgrade: the European online Magazine for the IT Professional", vol. 3, no 4, pp. 22–26, 2002, ISSN: 1688-5285.

BibTeX

698.

Juan Carlos Cuevas; Jesús Martínez; Pedro Merino

Soluciones Domóticas Sin Instalación El Protocolo X-10, Más Seguro Y Fiable Artículo de revista

En: Energia y Computacion, vol. 19, pp. 68–78, 2002.

BibTeX

699.

Andrea Bracciali; Antonio Brogi; Carlos Canal

Systematic component adaptation Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 66, pp. 1–17, 2002, ISSN: 1571-0661.

BibTeX

700.

Javier Lopez; Antonio Maña; Pedro Merino; José M Troya

The Role of smartcards in practical information security Artículo de revista

En: Ercim News, vol. 49, pp. 38–40, 2002, ISSN: 0926-4981.

BibTeX

701.

Lidia Fuentes; José M. Troya; Antonio Vallecillo

Using UML profiles for documenting web-based application frameworks Artículo de revista

En: Annals of Software Engineering, vol. 13, pp. 249–264, 2002, ISSN: 1022-7091.

BibTeX

702.

José Francisco Aldana Montes; Antonio César Gómez Lora; Nathalie Moreno Vergara; María Mar Roldán García

Viabilidad práctica de la evalucación de consultas en la web semántica Artículo de revista

En: Novática: revista de la Asociación de Técnicos de Informática, vol. 158, pp. 22–26, 2002, ISSN: 0211-2124.

BibTeX

703.

Enrique Alba; José M Troya

Improving flexibility and efficiency by adding parallelism to genetic algorithms Artículo de revista

En: Statistics and Computing, vol. 12, no 2, pp. 91–114, 2002, ISSN: 0960-3174.

BibTeX

704.

María Mar Gallardo; Pedro Merino; Ernesto Pimentel

Comparing under and over-approximations of LTL properties for Model Checking Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 76, pp. 14 pages, 2002, ISSN: 1571-0661.

BibTeX

705.

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

A Tool for abstraction in model checking Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 66, no 2, pp. 16 pages, 2002, ISSN: 1571-0661.

BibTeX

706.

José Luis Vivas; Nobuko Yoshida

Dynamic channel screening in the higher order Pi-Calculus Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 66, no 3, pp. 170–184, 2002, ISSN: 1571-0661.

BibTeX

707.

Antonio Brogi; Ernesto Pimentel

Formal methods and component interaction Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 66, no 4, pp. 1 pages, 2002, ISSN: 1571-0661.

BibTeX

708.

Manuel Fernández; Ignacio Pérez-Montaut; Santos Agrela; Julio Díaz; Carmen Cortes; María Isabel Dotor

La Integración del módulo de urgencias en la historia clínica informática de atención primaria: experiencia desde un distrito sanitaria de atención primaria Artículo de revista

En: Revista de Calidad Asistencial, vol. 17, no 3, pp. 138–142, 2002, ISSN: 1134-182X.

BibTeX

709.

Enrique Alba; José M. Troya

Analyzing synchronous and asynchronous parallel distributed genetic algorithms Artículo de revista

En: Future Generation Computer Systems, vol. 17, pp. 451–465, 2001, ISSN: 0167-739x.

BibTeX

710.

José Carlos Canal; Ernesto Pimentel; José M Troya

Compatibility and inheritance in software architectures Artículo de revista

En: Science of Computer Programming, vol. 41, pp. 105–138, 2001, ISSN: 0167-6423.

BibTeX

711.

José M. Troya; Antonio Vallecillo

Controllers: reusable wrappers to adapt software components Artículo de revista

En: Information and Software Technology, vol. 43, no 3, pp. 189–202, 2001, ISSN: 0950-5849.

BibTeX

712.

Lidia Fuentes; José M Troya

Coordinating distributed components on the web: an integrated development environment Artículo de revista

En: Software Practice & Experience, vol. 31, no 3, pp. 209–233, 2001, ISSN: 0038-0644.

BibTeX

713.

J I Ramos; E Soler

Domain decomposition techniques for reaction-diffusion equations in two-dimensional regions with re-entrant corners Artículo de revista

En: vol. 118, pp. 189–221, 2001, ISSN: 0096-3003.

BibTeX

714.

C Canal; L Fuentes; E Pimentel; J M Troya; A Vallecillo

Extending Corba interfaces with protocols Artículo de revista

En: Computer Journal, vol. 44, pp. 448–462, 2001, ISSN: 0010-4620.

BibTeX

715.

Enrique Alba; José M Troya

Gaining new fields of application for OOP the parallel evolutionary algorithm case Artículo de revista

En: The Journal of Objetc-Oriented Programming, pp. 1–8, 2001.

BibTeX

716.

Javier Lopez Muñoz

Servicios de notarización electrónica Artículo de revista

En: Sic, pp. 1–5, 2001.

BibTeX

717.

Javier Lopez Muñoz; Jorge Dávila Muro

Sistemas electrónicos de micropago Artículo de revista

En: Revista de la Contratación Electrónica, vol. 22, pp. 3–22, 2001, ISSN: 1576-2033.

BibTeX

718.

Antonio J. Fernández; Patricia M. Hill

A Comparative study of eight constraint programming languages over the boolean and finite domains Artículo de revista

En: Constraints, vol. 5, pp. 275–301, 2000, ISSN: 1383-7133.

BibTeX

719.

Jorge Davila Muro; Javier Lopez Muñoz; Felipe Roselló Ramos

Diseño de protocolos no-repudio Artículo de revista

En: Sic, pp. 1–5, 2000.

BibTeX

720.

Javier Areitio; Javier López; José M Troya

Horizontes y tendencias de seguridad en internet Artículo de revista

En: Novática: revista de la Asociación de Técnicos de Informática, pp. 65–71, 2000, ISSN: 0211-2124.

BibTeX

721.

Enrique Alba; José M Troya

Influence of the migration policy in parallel distributed GAs with structured and panmictic populations Artículo de revista

En: Applied Intelligence: the International Journal of Research on Intelligent Systems for Real Life Complex, vol. 12, no 3, pp. 163–181, 2000, ISSN: 0924-669x, (Applied Intelligence: the International Journal of Research on Intelligent Systems for Real Life Complex).

BibTeX

722.

C. Cotta; E. Alba; J. M. Troya

On the Computational power of adaptive systems Artículo de revista

En: Computers and Artificial Intelligence, vol. 19, pp. 3–18, 2000, ISSN: 0232-0274.

BibTeX

723.

E. Alba; C. Cotta; J. M. Troya

On the importance of the Grid shape in 2d spatially structured GAs Artículo de revista

En: Journal of Evolutionary Optimization, vol. 1, 2000, ISSN: 1507-4021.

BibTeX

724.

Lidia Fuentes; José M Troya

Towards an open multimedia service framework Artículo de revista

En: vol. 32, 2000, ISSN: 0360-0300.

BibTeX

725.

Manuel Clavel; F. Durán; N. Martí-Oliet

Polytypic programming in Maude Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 36, pp. 339–360, 2000, ISSN: 1571-0661.

BibTeX

726.

M Clavel; F Durán; S Eker; P Lincoln; N Martí-Oliet; J Meseguer; J F Quesada

Towards Maude 2.0 Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 36, pp. 294–315, 2000, ISSN: 1571-0661.

BibTeX

727.

Francisco Durán; José Meseguer

Parametrized theories and views in full Maude 2.0 Artículo de revista

En: Electronic Notes in Theoretical Computer Science, vol. 36, pp. 316–338, 2000, ISSN: 1571-0661.

BibTeX

728.

Lidia Fuentes; José M. Troya

A Java framework for web-based multimedia and collaborative applications Artículo de revista

En: IEEE Internet Computing, vol. 3, no 2, pp. 55–64, 1999, ISSN: 1089-7801.

BibTeX

729.

Enrique Alba; José M. Troya

A Survey of parallel distributed genetic algorithms Artículo de revista

En: Complexity, vol. 4, no 4, pp. 31–52, 1999, ISSN: 1076-2787.

BibTeX

730.

José Francisco Aldana; Mariemma I Yagüe

Bases De Datos Y La Web Artículo de revista

En: Novática: revista de la Asociación de Técnicos de Informática, pp. 18–23, 1999, ISSN: 0211-2124.

BibTeX

731.

José Francisco Aldana; Mariemma I Yagüe

Consultas Sobre La Web Artículo de revista

En: Novática: revista de la Asociación de Técnicos de Informática, pp. 18–22, 1999, ISSN: 0211-2124.

BibTeX

732.

Javier Lopez; J Areito

Contribuciones de la tecnología de detección y respuesta a intrusiones y ataques a la construcción de la confianza en la seguridad de los sistemas de información Artículo de revista

En: Novática: revista de la Asociación de Técnicos de Informática, pp. 24–27, 1999, ISSN: 0211-2124.

BibTeX

733.

Antonio J. Nebro; Ernesto Pimentel; José M. Troya

Distributed objects an approach based on replication and migration Artículo de revista

En: Journal of Object Oriented Programming, vol. 12, no 1, pp. 22–27, 1999, ISSN: 0896-8438.

BibTeX

734.

Enrique Alba; Carlos Cotta; José M Troya

Evolutionary design of fuzzy logic controllers using strongly-typed GP Artículo de revista

En: Mathware & Soft Computing, vol. 6, no 1, pp. 109–124, 1999, ISSN: 1134-5632.

BibTeX

735.

José M. Troya; Antonio Vallecillo

Integración de componentes en sistemas abiertos Artículo de revista

En: Computación y Sistemas. Revista Iberoamericana de Computación, vol. 2, no 4, pp. 174–182, 1999, ISSN: 1405-5546.

BibTeX

736.

Carlos Cotta

A Study Of Hybridisation Techniques And Their Application To The Design Of Evolutionary Algorithms Artículo de revista

En: AI Communications, vol. 11, pp. 223–224, 1998, ISSN: 0921-7126.

BibTeX

737.

Gonzalo Ramos; Javier Lopez; Rafael Morales

Comparisons of Parikh's condition to other conditions for context-free languages Artículo de revista

En: Theoretical Computer Science, vol. 202, no 1-2, pp. 223–230, 1998, ISSN: 0304-3975.

BibTeX

738.

José Luis Pastrana

Diseño De Algoritmos Distribuidos En Java Artículo de revista

En: vol. 33, pp. 39–43, 1998, ISSN: 1137-5612.

BibTeX

739.

Carlos Cotta; José M. Troya

Genetic forma recombination in permutation flowshop problems Artículo de revista

En: Evolutionary Computation, vol. 6, pp. 25–44, 1998, ISSN: 1063-6560.

BibTeX

740.

C. Cotta; E. Alba; J. M. Troya

Un Estudio de la potencia computacional y de la robustez de los algoritmos evolutivos paralelos Artículo de revista

En: Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol. 5, pp. 6–13, 1998, ISSN: 1137-3601.

BibTeX

741.

Enrique Alba; Carlos Cotta

Evolución De Estructuras De Datos Complejas Artículo de revista

En: Informatica y Automatica (aeia), vol. 3, pp. 42–60, 1997, ISSN: 0214-932x.

BibTeX

742.

José Luis Pastrana

Herramientas Para El Diseño De Software Distribuido. Artículo de revista

En: vol. 32, pp. 37–39, 1997, ISSN: 1137-5612.

BibTeX

743.

Manuel Díaz; Bartolomé Rubio; José M. Troya

DRL a distributed real-time logic language Artículo de revista

En: Computer Languages, Systems & Structures, vol. 23, pp. 87–120, 1997, ISSN: 0096-0551.

BibTeX

744.

P. Merino; B. Rubio; J. M. Troya

A Distributed implementation of a concurrent logic language Artículo de revista

En: Transputers Communications, vol. 3, no 2, pp. 117–135, 1996, ISSN: 1070-454x.

BibTeX

745.

Manuel Díaz; Bartolomé Rubio; José M Troya

Distributed programming with a logic channel based coordination model Artículo de revista

En: Computer Journal, vol. 39, pp. 876–889, 1996, ISSN: 0010-4620.

BibTeX

746.

Pedro Merino; José M Troya

A Logic based approach to validation and verification of computer protocols Artículo de revista

En: Bulletin of the Association for Theoretical Computer Science, no 59, pp. 109–124, 1996.

BibTeX

747.

Manuela Carrillo-Castellón; Jesús Joaquín García Molina; Ernesto Pimentel; Israel Repiso

Design by contract in Smalltalk Artículo de revista

En: Journal of Object Oriented Programming, vol. 9, no 7, pp. 23–28, 1996, ISSN: 0896-8438.

BibTeX

748.

Francisco Gutiérrez; Blas Carlos Ruiz; José Enrique Gallardo

El problema P-S McCarthy y otros acertijos Artículo de revista

En: Suma: revista sobre la Enseñanza y Aprendizaje de las Matemáticas, no 21, pp. 21–34, 1996, ISSN: 1130-488X.

BibTeX

749.

SIETE: sistema informatizado en Español para el desarrollo de temas de Enseñanza Artículo de revista

En: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, no 3, pp. 472–476, 1996.

BibTeX

750.

Manuel Díaz; Pedro Merino; Bartolomé Rubio; José M Troya

Desarrollo de protocolos basado en lenguajes lógicos concurrentes Artículo de revista

En: Informatica y Automatica (aeia), vol. 27, no 2, pp. 32–45, 1995, ISSN: 0214-932x.

BibTeX

751.

Manuel Díaz; Ernesto Pimentel; José M Troya

DROL - A Distributed and real-time object-oriented logic environment Artículo de revista

En: Computer Journal, vol. 37, pp. 407–421, 1994, ISSN: 0010-4620.

BibTeX

752.

Vicente Benjumea; Manuel Roldán; José M. Troya

Implementation and evaluation of or parallel prolog models on distributed systems Artículo de revista

En: Journal of Programming Languages, vol. 2, pp. 109–124, 1994, ISSN: 0963-9306.

BibTeX

753.

Manuel Díaz; José M. Troya

A Parlog based real-time logic environment Artículo de revista

En: Future Generation Computer Systems, vol. 9, pp. 201–218, 1993, ISSN: 0167-739x.

BibTeX

754.

Enrique Alba

Aplicación De Los Algoritmos Genéticos Para El Diseño De Redes Neuronales Artículo de revista

En: Informatica y Automatica (aeia), vol. 26, pp. 22–35, 1993, ISSN: 0214-932x.

BibTeX

755.

M Capel; J M Troya; A Palma

Distributed active objects: a methodological proposal and tool for distributed programming with transputer systems Artículo de revista

En: Microprocessor and Microprogramming, vol. 38, pp. 197–204, 1993.

BibTeX

756.

Antonio Vallecillo Moreno

Gone Fishin... Artículo de revista

En: Unixworld, vol. 0, pp. 141–146, 1991, ISSN: 0742-3136.

BibTeX

757.

J. M. Troya; M. Ortega

A Study of parallel branch-and-bound algorithms with best-bound-first search Artículo de revista

En: Parallel Computing, vol. 11, pp. 121–126, 1989, ISSN: 0167-8191.

BibTeX

758.

M Ortega; J M Troya

Live nodes distribution in parallel branch and bound algorithms Artículo de revista

En: Microprocessor and Microprogramming, vol. 25, pp. 301–306, 1988.

BibTeX

759.

A. Vaquero; C. Fernández; J. M. Troya; J. M. Sánchez

Automating the computation of authenticators for interbank telex messages Artículo de revista

En: Computers & Security, vol. 6, pp. 396–402, 1987, ISSN: 0167-4048.

BibTeX

760.

J M Sánchez; J Ballesteros; A Vaquero; José María Troya

Complejidad de algoritmos y síntesis de PLAs Artículo de revista

En: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, no 2, pp. 345–348, 1987.

BibTeX

761.

A. Vaquero

Analizador de respuestas para un sistema de autor Artículo de revista

En: Informatica y Automatica (aeia), vol. XIX, no 1, pp. 62–65, 1986, ISSN: 0214-932x.

BibTeX

762.

M Ortega; José María Troya; A Vaquero

Paralelización del método de ramificación y acotación Artículo de revista

En: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, vol. LXXX, no 3, pp. 466–472, 1986.

BibTeX

763.

J. M. Troya; M. Ortega; A. Vaquero

Un Esquema basado en multiprocesamiento para la resolución de problemas exponenciales Artículo de revista

En: Informatica y Automatica (aeia), vol. XIX, no 2, pp. 46–50, 1986, ISSN: 0214-932x.

BibTeX

764.

Antonio Vaquero; José María Troya; C. Fernández; J. M. Sánchez; M. Iglesias.

Concepción de sistemas de producción de software para enseñanzas Artículo de revista

En: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, pp. 214–217, 1985.

BibTeX

765.

A. Vaquero; J. M. Troya; J. M. Sánchez; C. Fernández M. Iglesias

A Microfilmed information retrieval system Artículo de revista

En: Microprocessor and Microprogramming, vol. 11, no 2, pp. 127–132, 1983.

BibTeX

766.

Antonio Vaquero; J. M. Sánchez; José María Troya; C. Fernández; M. Iglesias

Organización de ficheros en microsistemas de recuperación de la información Artículo de revista

En: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, no 2, pp. 466–471, 1983.

BibTeX

767.

José María Troya

Problemas NP-completos y NP-duros Artículo de revista

En: Proceso de Datos, vol. 130, pp. 22–32, 1983.

BibTeX

768.

José María Troya

Minimización del tiempo de acceso a memorias secundarias Artículo de revista

En: Proceso de Datos, vol. 129, pp. 47–55, 1982.

BibTeX

769.

A. Vaquero; J. M. Troya

Optimization and approximation algorithms for placement of records on linear storage devices Artículo de revista

En: Computing, vol. 28, pp. 305–316, 1982.

BibTeX

770.

J M Troya; A Vaquero

Reducción del tiempo de acceso a memorias tipo disco mediante ordenación de los registros. Algoritmos de aproximación Artículo de revista

En: Informatica y Automatica (aeia), vol. 53, pp. 5–12, 1982, ISSN: 0214-932x.

BibTeX

771.

José María Troya; Antonio Vaquero

Resolución de un problema de reducción del tiempo de acceso a memorias secundarias Artículo de revista

En: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, no 1, pp. 196–200, 1982.

BibTeX

772.

Antonio Vaquero; José María Troya

An Aproximation algorithm for reducing expected head movement in linear storage devices Artículo de revista

En: Information Processing Letters, vol. 11, no 4, pp. 218–220, 1981, ISSN: 0020-0190.

BibTeX

773.

A. Vaquero; J. M. Troya

Reducción del tiempo de acceso a memorias de tipo disco mediante ordenación de los registros. Algoritmos de optimización Artículo de revista

En: Informatica y Automatica (aeia), vol. 49, pp. 5–12, 1981, ISSN: 0214-932x.

BibTeX

774.

A. Vaquero; J. M. Sánchez; J. M. Troya

Microprocessor-based learning systems Artículo de revista

En: Euromicro Journal, vol. 5, no 6, pp. 370–374, 1979.

BibTeX

775.

Antonio Vaquero; J. M. Sánchez; José María Troya

Un Tipo de máquinas de enseñanza de bajo costo. Artículo de revista

En: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, no 2, pp. 252–256, 1979.

BibTeX