Ciencias de la Computación e Inteligencia Artificial. (Memoria 2013)

Sede y centros afectados

Dirección:

Facultad de Matemáticas
C/ Tarfia, s/n
41012 - Sevilla
 TELF: 95.455.65.80
FAX: 95.455.65.99
WEB: http://www.cs.us.es

Docencia en otros centros:

E.T.S. de Ingeniería Informática

Componentes del Departamento


Catedrático (Universidad)

Mario de Jesús Pérez Jiménez

Profesor Titular (Universidad)

José Antonio Alonso Jiménez (Director del Departamento)
Juan José Arrabal Parrilla
Joaquín Borrego Díaz
Miguel Ángel Gutiérrez Naranjo
María José Hidalgo Doblado
Francisco Félix Lara Martín
Agustín Riscos Fernández

Profesor Contratado Doctor LOU

Antonia María Chávez González
Andrés Cordón Franco
María del Carmen Graciani Díaz (Secretaria del Departamento)
Francisco Jesús Martín Mateos
Agustín Riscos Núñez
Álvaro Romero Jiménez
José Luis Ruiz Reina
Fernando Sancho Caparrini

Profesor Sustituto Interino

David Fernández Duque
Ignacio Pérez Hurtado de Mendoza
Luis Valencia Cabrera

Asociado (Tipo I,II y III)

José Francisco Quesada Moreno (Adscrito al Dpto. de Ciencias de la Computación)

Contratados de Retorno Juan de la Cierva

Francisco José Romero Campero

Contratado con Cargo a Proyecto

Juan Galán Páez
Luis Felipe Macías Ramos
Gheorghe V. Paün

Personal Investigador en Formación (MEC)

Manuel Garcia-Quismondo Fernandez

Personal Investigador en Formación (Junta de Andalucia)

Miguel Angel Martínez del Amor

Colaborador

Gonzalo Antonio Aranda Corral

Personal de Administración y Servicios

María del Carmen Pérez Cardona

Grupos de Investigación adscritos al Departamento

Logica, Computacion e Ingenieria del Conocimiento (Tic137): Universidad de Sevilla
Responsable: Jose Antonio Alonso Jimenez
Componentes: Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz, Francisco Felix Lara Martin, Andres Cordon Franco, Miguel Angel Gutierrez Naranjo, Maria Jose Hidalgo Doblado, Francisco Jesús Martín Mateos, Jose Luis Ruiz Reina, Antonia Mª Chavez Gonzalez, Gonzalo A. Aranda Corral, David Fernández Duque, Juan Galán Páez, Pedro Almagro Blanco(*)
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento.:

  1. Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (Proy. Exce. J.A.). Vigencia: 2011 - 2015 - Junta de Andalucía : 191625.00 €.
    Componentes: Joaquín Borrego Díaz (Resp.), José Antonio Alonso Jiménez, Gonzalo Antonio Aranda Corral, William Rey Ashfield, Rafael Blanquero Bravo, Antonia María Chávez González, Juan Carlos García Vázquez, Francisco Félix Lara Martín, María del Mar Loren Méndez, José Pérez de Lama Halcón, Fernando Sancho Caparrini, Juan Luis Suarez Sánchez de León
  2. Conciencia, Lógica y Computación (PN-2011). Vigencia: 2012 - 2014 - Ministerio de Ciencia e Innovación : 58080.00 €.
    Componentes: Ángel Nepomuceno Fernández (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Juliana Bueno Soleer, Walter Alexandre Carnielli, Marcelo Esteban Coniglio, David Fernández Duque, Ignacio Hernández Antón, María Teresa López Soto, José Francisco Quesada Moreno, Francisco José Salguero Lamillar, Fernando Soler Toscano, Tero Eljas Tulenheimo, Hans Pieter Van Ditmarsch
  3. De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (PN 2012). Vigencia: 2013 - 2015 - Ministerio de Economía y Competitividad : 94208.40 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero
  4. El Corredor de la Carretera N-40 Como Eje Histórico del Litoral Andaluz: Metodologías de Caracterización y Estrategias para su Patrimonialización y Regeneración Sostenible (68/83). Vigencia: 2013 - 2014 - Agencia de Obra Pública de la Junta de Andalucía : 244079.69 €.
    Componentes: María del Mar Loren Méndez (Resp.), Gonzalo Antonio Aranda Corral, Joaquín Borrego Díaz, Antonia María Chávez González, José Mª Coronado Tordesillas, Rafael Mata Olmo, Francisco Javier Rodríguez Lázaro
  5. Epistemic Protocol Synthesis (Starting Grant) (Acc. Compl.). Vigencia: 2012 - 2014 - Ministerio de Ciencia e Innovación : 75000.00 €.
    Componentes: Hans Pieter Van Ditmarsch (Resp.)
  6. Incentivo al Grupo de Investigación Hum-609 (Grupos PAI). Vigencia: 2013 - 2014 - Junta de Andalucía : 5601.09 €.
    Componentes: Ángel Nepomuceno Fernández (Resp.), Juliana Bueno Soleer, Walter Alexandre Carnielli, Marcelo Esteban Coniglio, Emilio Díaz Estévez, David Fernández Duque, Emilio Francisco Gomez-Caminero Parejo, Ignacio Hernández Antón, Francisco José Salguero Lamillar, Fernando Soler Toscano, Tero Eljas Tulenheimo, Ángel Vahí Serrano, Hans Pieter Van Ditmarsch
  7. Incentivo al Grupo de Investigación Hum-609 (Grupos PAI). Vigencia: 2014 - 2015 - Junta de Andalucía : 5703.10 €.
    Componentes: Ángel Nepomuceno Fernández (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Juliana Bueno Soleer, Walter Alexandre Carnielli, Marcelo Esteban Coniglio, Emilio Díaz Estévez, David Fernández Duque, Emilio Francisco Gomez-Caminero Parejo, Ignacio Hernández Antón, Francisco José Salguero Lamillar, Fernando Soler Toscano, Tero Eljas Tulenheimo, Ángel Vahí Serrano, Hans Pieter Van Ditmarsch
  8. Incentivo al Grupo de Investigación TIC-193 (Grupos PAI). Vigencia: 2013 - 2014 - Junta de Andalucía : 4276.93 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Juan Carlos García Vázquez, Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Francisco José Romero Campero, Álvaro Romero Jiménez, Fernando Sancho Caparrini, Luis Valencia Cabrera
  9. Incentivo al Grupo de Investigación TIC-193 (Grupos PAI). Vigencia: 2014 - 2015 - Junta de Andalucía : 4345.60 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Juan Carlos García Vázquez, Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero, Fernando Sancho Caparrini, Luis Valencia Cabrera
  10. Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (Proy. Exce. J.A.). Vigencia: 2011 - 2016 - Junta de Andalucía : 158247.00 €.
    Componentes: Ángel Nepomuceno Fernández (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Juliana Bueno Soleer, Walter Alexandre Carnielli, Marcelo Esteban Coniglio, Andrés Cordón Franco, David Fernández Duque, Emilio Francisco Gomez-Caminero Parejo, Ignacio Hernández Antón, Joost Johannes Joosten, Francisco Félix Lara Martín, Francisco José Salguero Lamillar, Fernando Soler Toscano, Tero Eljas Tulenheimo, Hans Pieter Van Ditmarsch
  11. Lógica Computacional para la Ciencia del Dato (Plan Estatal 2013-16 Exc.-Proyectos I+D). Vigencia: 2014 - 2016 - Ministerio de Economía y Competitividad : 45483.90 €.
    Componentes: Joaquín Borrego Díaz (Resp.), Pedro Almagro Blanco, José Antonio Alonso Jiménez, Gonzalo Antonio Aranda Corral, Antonia María Chávez González, Jaime de Miguel Rodríguez, Juan Galán Páez, María José Hidalgo Doblado, Laureano Lambán Pardo, Francisco Jesús Martín Mateos, María del Carmen Pérez Cardona, José Luis Ruiz Reina, Fernando Sancho Caparrini
  12. Lógica de Protocolos Incondicionalmente Seguros (Proy. Exce. J.A.). Vigencia: 2009 - 2014 - Junta de Andalucía : 506623.68 €.
    Componentes: Hans Pieter Van Ditmarsch (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Andrés Cordón Franco, Emilio Francisco Gomez-Caminero Parejo, Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar, Fernando Soler Toscano, Ángel Vahí Serrano
Estud.estad.e Hist.series Temp.en Andalucia,XIX-XX (Sej189): Universidad de Sevilla
Responsable: Juan Jose Arrabal Parrilla
Componentes: Juan Jose Arrabal Parrilla, Jose Morilla Critz(*), Inglis Gordon Douglas(*), Luis Lobo Manzano(*), Miguel de la Hoz Gandara(*)
Computacion Natural (Tic193): Universidad de Sevilla
Responsable: Mario Jesús Pérez Jiménez
Componentes: Mario Jesús Pérez Jiménez, Mª del Carmen Graciani Díaz, Álvaro Romero Jiménez, Agustin Riscos Nuñez, Gheorghe Paun , Ignacio Pérez Hurtado de Mendoza, Miguel Ángel Martínez del Amor, Manuel Garcia Quismondo Fernandez, Luis Valencia Cabrera, David Orellana Martín(*)
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento.:

  1. De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (PN 2012). Vigencia: 2013 - 2015 - Ministerio de Economía y Competitividad : 94208.40 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero
  2. Incentivo al Grupo de Investigación TIC-193 (Grupos PAI). Vigencia: 2013 - 2014 - Junta de Andalucía : 4276.93 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Juan Carlos García Vázquez, Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Francisco José Romero Campero, Álvaro Romero Jiménez, Fernando Sancho Caparrini, Luis Valencia Cabrera
  3. Incentivo al Grupo de Investigación TIC-193 (Grupos PAI). Vigencia: 2014 - 2015 - Junta de Andalucía : 4345.60 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Juan Carlos García Vázquez, Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero, Fernando Sancho Caparrini, Luis Valencia Cabrera
  4. Renovación y Nuevas Actividades de la Red Temática en Computación Biomolecular y Biocelular (Acc. Compl.). Vigencia: 2012 - 2014 - Ministerio de Ciencia e Innovación : 11000.00 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Juan Bautista Castellanos Peñuela, María Angels Colomer Cugat, Alfonso Rodríguez-Patón Aradas, José María Sempere Luna

Grupos de Investigación con Responsable en otros Departamentos

Biologia Molecular y Biotecnologia de Plantas (Bio281): Universidad de Sevilla
Grupo Interdepartamental adscrito al Dpto.: Bioquímica Vegetal y Biología Molecular
Responsable: Jose Maria Romero Rodriguez
Componentes en este Dpto.: Francisco José Romero Campero
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento.:

  1. De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (PN 2012). Vigencia: 2013 - 2015 - Ministerio de Economía y Competitividad : 94208.40 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero
  2. Identificación y Análisis de Genes Regulados Por Azúcares en Arabidopsis Thaliana: Control del Metabolismo del Carbono y Procesos de Desarrollo (PN-2011). Vigencia: 2012 - 2015 - Ministerio de Ciencia e Innovación : 102850.00 €.
    Componentes: José María Romero Rodríguez (Resp.), Teresa Ruiz Pérez
  3. Incentivo al Grupo de Investigación Bio-281 (Grupos PAI). Vigencia: 2013 - 2014 - Junta de Andalucía : 3713.46 €.
    Componentes: José María Romero Rodríguez (Resp.), Alicia Orea García, Marina Ribeiro Pedro, Tiziana Ventriglia
  4. Incentivo al Grupo de Investigación Bio-281 (Grupos PAI). Vigencia: 2014 - 2015 - Junta de Andalucía : 3747.99 €.
    Componentes: José María Romero Rodríguez (Resp.), Tomás Albi Rodríguez, Beatriz Cano Ruiz, Beatriz Castrillo Jiménez, Pedro Crevillén Lomas, Cristóbal Girón Gutiérrez, Alicia Orea García, Marina Ribeiro Pedro, Teresa Ruiz Pérez, Tiziana Ventriglia
  5. Incentivo al Grupo de Investigación TIC-193 (Grupos PAI). Vigencia: 2013 - 2014 - Junta de Andalucía : 4276.93 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Juan Carlos García Vázquez, Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Francisco José Romero Campero, Álvaro Romero Jiménez, Fernando Sancho Caparrini, Luis Valencia Cabrera
  6. Incentivo al Grupo de Investigación TIC-193 (Grupos PAI). Vigencia: 2014 - 2015 - Junta de Andalucía : 4345.60 €.
    Componentes: Mario de Jesús Pérez Jiménez (Resp.), Juan Carlos García Vázquez, Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe V. Paün, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero, Fernando Sancho Caparrini, Luis Valencia Cabrera

Investigadores en Grupos de Investigación de otras Instituciones

Sistemas de Diálogo Hablado y Multimodal (Tic018): Universidad de Granada
Componentes: Jose Francisco Quesada Moreno
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento.:

  1. Conciencia, Lógica y Computación (PN-2011). Vigencia: 2012 - 2014 - Ministerio de Ciencia e Innovación : 58080.00 €.
    Componentes: Ángel Nepomuceno Fernández (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Juliana Bueno Soleer, Walter Alexandre Carnielli, Marcelo Esteban Coniglio, David Fernández Duque, Ignacio Hernández Antón, María Teresa López Soto, José Francisco Quesada Moreno, Francisco José Salguero Lamillar, Fernando Soler Toscano, Tero Eljas Tulenheimo, Hans Pieter Van Ditmarsch
  2. Dinámica de la Información: Razonamiento, Interacción y Abducción (Plan Estatal 2013-16 Exc.-Proyectos I+D). Vigencia: 2015 - 2017 - Ministerio de Economía y Competitividad : 33880.00 €.
    Componentes: Fernando Soler Toscano (Resp.), Cristina Barés Gómez, Luis Fariñas del Cerro, Matthieu Fontaine, Emilio Francisco Gomez-Caminero Parejo, Pere Pardo Ventura, José Francisco Quesada Moreno, Francisco José Salguero Lamillar, Enrique Sarrion Morillo, José Pedro Ubeda Rives, Fernando Velázquez Quesada

Publicaciones

Libros

Alonso-Jimenez, Jose Antonio : Introducción a la Demostracción Asistida Por Ordenador con Isabelle/Hol. 2013. P.: 283.

Alonso-Jimenez, Jose Antonio : Temas de "Programación Lógica e I.A.". 2013. P.: 262.

Capítulos de Libros

Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, et. al. : Computational Logic and Knowledge Representation Issues in Data Annalysis for the Semantic Web. P. 105 - 130 . En: Data Management in the Semantic Web. 2013.

Publicaciones en Revistas

Díaz-Pernil, Daniel, Berciano-Alcaraz, Ainhoa, et. al. : Segmenting Images With Gradient-Based Edge Detection Using Membrane Computing. En: Pattern Recognition Letters. 2013. Vol: 34. Núm: 8 P. 846 - 855

Shi, Peng, Pérez-Jiménez, Mario Jesús : A Novel Image Thresholding Method Based on Membrane Computing and Fuzzy Entropy. En: Journal of Intelligent and Fuzzy Systems. 2013. Vol: 24. Núm: 2 P. 229 - 237

Wang, Tao, Pérez-Jiménez, Mario Jesús : Fuzzy Reasoning Spiking Neural P System for Fault Diagnosis. En: Information Sciences. 2013. Vol: 235. P. 106 - 116

Mierla, Laurentiu, Pérez-Jiménez, Mario Jesús, et. al. : 3-Col Problem Modelling Using Simple Kernel P Systems. En: International Journal of Computer Mathematics. 2013. Vol: 90. Núm: 4 P. 816 - 830

Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, et. al. : A Polynomial Alternative to Unbounded Environment for Tissue P Systems With Cell Division. En: International Journal of Computer Mathematics. 2013. Vol: 90. Núm: 4 P. 760 - 775

Verlan, Sergey, Pérez-Hurtado De Mendoza, Ignacio, et. al. : A Formalisation of Membrane Systems With Dynamically Evolving Structures. En: International Journal of Computer Mathematics. 2013. Vol: 90. Núm: 4 P. 801 - 815

Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, et. al. : Dcba: Simulating Population Dynamics P Systems With Proportional Objects Distribution. En: Lecture Notes In Computer Science. 2013. Vol: 7762. P. 257 - 276

Macias-Ramos, Luis Felipe, Pérez-Jiménez, Mario Jesús, et. al. : The Efficiency of Tissue P Systems With Cell Separation Relies on the Environment. En: Lecture Notes in Computer Science. 2013. Vol: 7762. P. 243 - 256

Macias-Ramos, Luis Felipe : Spiking Neural P Systems With Functional Astrocytes. En: Lecture Notes in Computer Science. 2013. Vol: 7762. P. 228 - 242

Wang, T., Pérez-Jiménez, Mario Jesús : Weighted Fuzzy Spiking Neural P Systems.. En: IEEE Transactions on Fuzzy Systems. 2013. Vol: 21. Núm: 2 P. 209 - 220

Margalida, A., Pérez-Jiménez, Mario Jesús : Population Dynamics P System (Pdp) Models: a Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools.. En: PloS One. 2013. Vol: 8. Núm: 4 P. 1 - 13

Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús : Editorial. Foreword. Special Issue: a Selection of Papers from the 10th Brainstorming Week on Membrane Computing. En: International Journal of Computer Mathematics. 2013. Vol: 90. Núm: 4 P. 747 - 749

Peña-cantillana, Francisco, Gutierrez-Naranjo, Miguel Angel : A Parallel Algorithm for Skeletonizing Images by Using Spiking Neural P Systems. En: Neurocomputing. 2013. Vol: 115. P. 81 - 91

Capel-Tuñon, Manuel Isidoro, Quesada-Moreno, Jose Francisco : Sistema de Diálogo Hablado Basado en Voicexml para la Enseñanza Universitaria. En: IE Comunicaciones. 2013. Núm: 18 P. 3 - 10

Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús, et. al. : Bridging Membrane and Reaction Systems. Further Results and Research Topics. En: International Journal of Foundations of Computer Science. 2013. Vol: 127. Núm: 1-4 P. 99 - 114

Martínez-del-Amor, Miguel Ángel, Pérez-carrasco, Jesús, et. al. : Characterizing the Parallel Simulation of P Systems on the Gpu. En: International Journal of Unconventional Computing. 2013. Vol: 9. Núm: 5-6 P. 405 - 424

Valencia-Cabrera, Luis, Garcia Quismondo-Fernandez, Manuel, et. al. : Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems. En: International Journal of Unconventional Computing. 2013. Vol: 9. Núm: 5-6 P. 445 - 464

Rozenberg, Grzegorz, Paun-, Gheorghe, et. al. : Research Frontiers in Membrane Computing: Open Problems and Research Topics. En: International Journal of Foundations of Computer Science. 2013. Vol: 24. Núm: 5 P. 547 - 557

Graciani-Díaz, Mª Del Carmen, Gutierrez-Naranjo, Miguel Angel, et. al. : A Rete-Based Algorithm for Rule Selection in P Systems. En: International Journal of Unconventional Computing. 2013. Vol: 9. Núm: 5-6 P. 367 - 384

Cordon-Franco, Andres, Van Ditmarsch-, Hans, et. al. : A Colouring Protocol for the Generalized Russian Cards Problem. En: Theoretical computer science. 2013. Vol: 495. P. 81 - 95

Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, et. al. : Complex Concept Lattices for Simulating Human Prediction in Sport. En: Journal of Systems Science and Complexity. 2013. Vol: 26. Núm: 1 P. 117 - 136

Gheorghe, Marian, Paun-, Gheorghe, et. al. : Foreword. Special Issue: Membrane Computing. En: International Journal of Unconventional Computing. 2013. Vol: 9. Núm: 5-6 P. 347 - 349

Quesada-Moreno, Jose Francisco : Dialogue Systems for Language Learning. En: REVISTA IBEROAMERICANA DE INFORMÁTICA EDUCATIVA. 2013. Núm: 18 P. 63 - 72

Cordon-Franco, Andres, Van Ditmarsch-, Hans, et. al. : Dynamic Consequence and Public Announcement. En: The Review of Symbolic Logic. 2013. Vol: 6. Núm: 4 P. 659 - 679

Nepomuceno-Fernandez, Angel, Pérez-Jiménez, Mario Jesús : Programas Moleculares y Sistemas Lógico-Formales. En: KAIRÓS. REVISTA DE FILOSOFIA E CIÊNCIA. 2013. Vol: 5. P. 79 - 91

Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, et. al. : On the Phenomenological Reconstruction of Complex Systems -- the Scale-Free Conceptualization Hypothesis. En: Systems Research and Behavioral Science. 2013. Vol: 30. Núm: 6 P. 716 - 734

Aranda-Corral, Gonzalo A., Borrego-Diaz, Joaquin, et. al. : Qualitative Reasoning on Complex Systems from Observations. En: Lecture Notes In Computer Science. 2013. Vol: 8073. Núm: 1 P. 202 - 211

Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, et. al. : Seeking Sharper Frontiers of Efficiency in Tissue P Systems. En: International Journal of Foundations of Computer Science. 2013. Vol: 24. Núm: 5 P. 577 - 579

Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, et. al. : Open Problems on Simulation of Membrane Computing Models. En: International Journal of Foundations of Computer Science. 2013. Vol: 24. Núm: 5 P. 619 - 622

Valencia-Cabrera, Luis : Kernel P Systems: Applications and Implementations. En: Advances in Intelligent Systems and Computing. 2013. Vol: 212. P. 1081 - 1089

Otra participación en Libros de Actas

Valencia-Cabrera, Luis (Editor/a), Garcia Quismondo-Fernandez, Manuel (Editor/a), et. al. : Proceedings of the Eleventh Brainstorming Week on Membrane Computing. 2013. ISBN: 978-84-940691-9-2.

Aportaciones a Congresos

Gheorghe, Marian (Coautor/a), Valencia-Cabrera, Luis (Coautor/a), et. al. : Kernel P Systems: Applications and Implementations. Comunicación en congreso. Eighth International Conference on Bio-Inspired Computing: Theories and Applications (Bic-Ta), 2013 Wuhan, China. 2013.

Mierla, Laurentiu (Coautor/a), Valencia-Cabrera, Luis (Coautor/a), et. al. : Kernel P Systems - Version I. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing 2013.

Martínez-del-Amor, Miguel Ángel (Coautor/a), Pérez-carrasco, Jesús (Coautor/a), et. al. : Simulating a Family of Tissue P Systems Solving SAT on the Gpu. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing 2013.

Paun-, Gheorghe (Coautor/a), Pérez-Jiménez, Mario Jesús (Coautor/a), et. al. : Bridging Membrane and Reaction Systems. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing 2013.

Paun-, Gheorghe (Coautor/a) : Preface. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing 2013.

Valencia-Cabrera, Luis (Coautor/a), Garcia Quismondo-Fernandez, Manuel (Coautor/a), et. al. : Analysing Gene Networks With Pdp Systems. Arabidopsis Thaliana, a Case Study. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing 2013.

Quesada-Moreno, Jose Francisco () : Advanced Language Understanding and Dialogue Management for Language Learning. Comunicación en congreso. International Conference on ICT for Language Learning, 6th Edition : Florencia (Italia). 2013.

Pérez-Hurtado De Mendoza, Ignacio (Autor/a), Valencia-Cabrera, Luis (Autor/a), et. al. : A P-Lingua Based Simulator for Tissue P Systems With Cell Separation. Comunicación en congreso. Second Asian Conference on Membrane Computing Wuhan, China. 2013.

Pérez-Jiménez, Mario Jesús (Autor/a), Riscos-Nuñez, Agustin (Autor/a), et. al. : The Relevance of the Environment on the Efficiency of Tissue P Systems. Comunicación en congreso. 14th International Conference on Membrane Computing Chisinau, Moldavia. 2013.

Sarchizian, Iris (Coautor/a), Díaz-Pernil, Daniel (Coautor/a), et. al. : Studying the Chlorophyll Fluorescence in Cyanobacteria With Membrane Computing Techniques. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing 2013.

Graciani-Díaz, Mª Del Carmen (Coautor/a), Gutierrez-Naranjo, Miguel Angel (Coautor/a), et. al. : Rete Algorithm for P System Simulators. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing 2013.

Adorna, Henry (Autor/a), Martínez-del-Amor, Miguel Ángel (Autor/a) : A Gpu Simulation for Evolution-Communication P Systems With Energy Having no Antiport Rules. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing 2013.

Rubio, Julio (Autor/a), Martín-mateos, Francisco Jesús (Autor/a), et. al. : Certified Symbolic Manipulation: Bivariate Simplicial Polynomials. Comunicación en congreso. International Symposium on Symbolic and Algebraic Computation Boston, USA. 2013.

Pérez-Jiménez, Mario Jesús (Invitado/a) : The P Versus NP Problem: Unconventional Insights from Membrane Computing. Conferencias impartidas. Asian Conferenece on Membrane Computing 2013.

Pérez-Jiménez, Mario Jesús (Invitado/a) : A Theory of Complexity for Membrane Computing. Conferencias impartidas. Second International School on Biomolecular and Biocellular Computing Madrid- Universidad Politécnica. 2013.

Otras Publicaciones

Martínez-del-Amor, Miguel Ángel : Proyecto Software Pmcgpu. Otro Material Informatico Inglés. http://sourceforge.net/projects/pmcgpu/. 2013