ask others

Francisco Palomo-Lozano

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c9]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/gecco/Palomo-LozanoEM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gecco/Palomo-LozanoEM18
Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez:
Test suite minimization for mutation testing of WS-BPEL compositions. GECCO 2018: 1427-1434
[c8]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/gecco/Mueller-BadyKMP18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gecco/Mueller-BadyKMP18
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures. GECCO (Companion) 2018: 1672-1679
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/noms/Mueller-BadyKMP18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/noms/Mueller-BadyKMP18
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks. NOMS 2018: 1-4
2017
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/algorithms/KhamlichiTAMP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/algorithms/KhamlichiTAMP17
Yasser El Khamlichi, Abderrahim Tahiri, Anouar Abtoy, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes. Algorithms 10(3): 80 (2017)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/infsof/Delgado-PerezMP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/infsof/Delgado-PerezMP17
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez:
Assessment of class mutation operators for C++ with the MuCPP mutation system. Information & Software Technology 81: 169-184 (2017)
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/infsof/Delgado-PerezMP17a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/infsof/Delgado-PerezMP17a
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez:
Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184]. Information & Software Technology 87: 103 (2017)
[c6]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/gecco/Mueller-BadyKMP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gecco/Mueller-BadyKMP17
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm. GECCO 2017: 1200-1207
2016
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/gecco/Mueller-BadyKMP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gecco/Mueller-BadyKMP16
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. GECCO (Companion) 2016: 95-96
2015
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/adt/Delgado-PerezMD15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/adt/Delgado-PerezMD15
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez, Francisco Palomo-Lozano:
Class mutation operators for C++ object-oriented systems. Annales des Télécommunications 70(3-4): 137-148 (2015)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/stvr/Estero-BotaroPM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/stvr/Estero-BotaroPM15
Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez:
Quality metrics for mutation testing with applications to WS-BPEL compositions. Softw. Test., Verif. Reliab. 25(5-7): 536-571 (2015)
2014
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/chb/Palomo-DuarteDGASMPCRB14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/chb/Palomo-DuarteDGASMPCRB14
Manuel Palomo-Duarte, Juan Manuel Dodero, Antonio García-Domínguez, Pablo Neira Ayuso, Noelia Sales-Montes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Carmen Castro-Cabrera, Emilio J. Rodríguez-Posada, Antonio Balderas:
Scalability of assessments of wiki-based learning experiences in higher education. Computers in Human Behavior 31: 638-650 (2014)
[j2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tosem/HarmanKMPRY14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tosem/HarmanKMPRY14
Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo:
Exact scalable sensitivity analysis for the next release problem. ACM Trans. Softw. Eng. Methodol. 23(2): 19:1-19:31 (2014)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pts/Estero-BotaroGDPM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pts/Estero-BotaroGDPM14
Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo:
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. ICTSS 2014: 1-16
2010
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Medina-BuloPR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Medina-BuloPR10
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina:
A verified Common Lisp implementation of Buchberger's algorithm in ACL2. J. Symb. Comput. 45(1): 96-123 (2010)
[c3]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/Estero-BotaroPM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/Estero-BotaroPM10
Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo:
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. ICST Workshops 2010: 142-150

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2004
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aisc/Medina-BuloPAR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aisc/Medina-BuloPAR04
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina:
Verified Computer Algebra in Acl2. Gröbner Bases Computation. AISC 2004: 171-184
2001
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tphol/Medina-BuloPA01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tphol/Medina-BuloPA01
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez:
A Certified Polynomial-Based Decision Procedure for Propositional Logic. TPHOLs 2001: 297-312

Coauthor Index

see FAQ

maintained by

at