Ciencias de la Computación e Inteligencia Artificial
Dirección:

E.T.S. de Ingeniería Informática
Avda. Reina Mercedes, s/n
41012 - Sevilla
TELF: 95.455.6580
FAX: 95.455.6599
WEB: http://www.cs.us.es/

Docencia en otros Centros:

Facultad de Matemáticas

Componentes del Departamento

Catedráticos

Dr. D. Alejandro Fernández Margarit

Profesores Titulares

Dr. D. José Antonio Alonso Jiménez
Dr. D. Juan José Arrabal Parrilla
Dra. Dª. Delia Balbontín Noval (Director del Departamento)
Dr. D. Joaquín Borrego Díaz (Secretario del Departamento)
Dr. D. Francisco Félix Lara Martín
Dr. D. Mario de Jesús Pérez Jiménez
Dr. D. Agustín Riscos Fernández

Profesores Titulares (E.U.)

Dra. Dª. María José Hidalgo Doblado
D. Antonio de Jesús Pérez Jiménez

Profesores Contratados Doctores (LOU)

Dr. D. José Luis Ruiz Reina

Profesores Asociados

Dª. Antonia María Chávez González
Dr. D. Andrés Cordón Franco
Dra. Dª. María del Carmen Graciani Díaz
Dr. D. Miguel Ángel Gutiérrez Naranjo
Dr. D. Francisco Jesús Martín Mateos
Dr. D. José Francisco Quesada Moreno
Dr. D. Álvaro Romero Jiménez
Dr. D. Fernando Sancho Caparrini

Contratados Ramón y Cajal y Retorno

Dr. D. Gheorghe V. Paün

Becarios

D. Matteo Cavaliere
Dr. D. Agustín Riscos Núñez
D. Francisco José Romero Campero
D. Dragos Florin Sburlan

Personal de Administración y Servicios

Dª. María del Carmen Pérez Cardona

Financiación general del Departamento

Presupuesto General 19.394,00 €
Programas de Doctorado 6.000,00 €
Becarios de Investigación 721,20 €
Plan Propio de la Universidad de Sevilla 2.858,76 €


Grupos de Investigación adscritos al Departamento


Estud.estad.e Hist.series Temp.en Andalucia,XIX-XX (SEJ189): Universidad de Sevilla

Grupo Interdepartamental con los Dptos. Teoría Económica y Economía Política(1) y Economía Financiera y Dirección de Operaciones(2) y Escultura e Historia de las Artes Plásticas(3).
Responsable: Juan Jose Arrabal Parrilla
Componentes: Rodrigo Fernandez Carrion(1), Inglis Gordon Douglas(2), Inglis Gordon Douglas(*), Luis Lobo Manzano(*), Jose Morilla Critz(*), Miguel de la Hoz Gandara(*), Blanca Lopez Catalan(*)
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento:

  1. Ayuda a la Consolidación del Grupo de Investigación SEJ-189 (Grupos PAI) - Junta de Andalucía: 2.253,78 €.


Logica, Computacion e Ingenieria del Conocimiento (TIC137): Universidad de Sevilla

Responsable: Jose Antonio Alonso Jimenez
Componentes: Joaquin Borrego Diaz, Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin, Francisco Jesus Martin Mateos, Agustin Riscos Fernandez, Jose Luis Ruiz Reina, Gonzalo Antonio Aranda Corral(*), Antonia Mª Chavez Gonzalez, Maria Jose Hidalgo Doblado
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento:

  1. Ayuda a la Consolidación del Grupo de Investigación TIC-137 (Grupos PAI) - Junta de Andalucía: 7.317,15 €.
  2. Ayuda para la asistencia a congresos, seminarios y reuniones (Ayuda J.A.) - Junta de Andalucía: 1.203,00 €.
    Integrantes: Francisco Jesús Martín Mateos (Resp.)
  3. Ayuda para la asistencia a congresos, seminarios y reuniones (Ayuda J.A.) - Junta de Andalucía: 1.443,00 €.
    Integrantes: José Luis Ruiz Reina (Resp.)
  4. Ayuda para la estancia en otro centro (Ayuda J.A.) - Junta de Andalucía: 2.705,00 €.
    Integrantes: Andrés Cordón Franco (Resp.)
  5. Sistemas verificados para razonamiento en la Web semántica (PN-2004) Vigencia: 2004-2007 - Ministerio de Ciencia y Tecnología: 37.950,00 €.
    Integrantes: José Antonio Alonso Jiménez (Resp.), Joaquín Borrego Díaz, Antonia María Chávez González, María José Hidalgo Doblado, Francisco Jesús Martín Mateos, José Luis Ruiz Reina


Computacion Natural (TIC193): Universidad de Sevilla

Responsable: Mario Jesus Perez Jimenez
Componentes: Agustin Riscos Nuñez, Francisco José Romero Campero, Delia Balbontin Noval, Mª del Carmen Graciani Diaz, Miguel Angel Gutierrez Naranjo, Gheorghe Paun , Álvaro Romero Jiménez, Fernando Sancho Caparrini, Antonio Jesus Perez Jimenez
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento:

  1. Ayuda a la Consolidación del Grupo de Investigación TIC-902 (Grupos PAI) - Junta de Andalucía: 4.924,15 €.
  2. Ayuda para la asistencia a congresos, seminarios y reuniones (Ayuda J.A.) - Junta de Andalucía: 750,00 €.
    Integrantes: Agustín Riscos Núñez (Resp.)
  3. Ayuda para la asistencia a congresos, seminarios y reuniones (Ayuda J.A.) - Junta de Andalucía: 750,00 €.
    Integrantes: Agustín Riscos Núñez (Resp.)
  4. Ayuda para la asistencia a congresos, seminarios y reuniones (Ayuda J.A.) - Junta de Andalucía: 750,00 €.
    Integrantes: Álvaro Romero Jiménez (Resp.)
  5. Ayuda para la asistencia a congresos, seminarios y reuniones (Ayuda J.A.) - Junta de Andalucía: 750,00 €.
    Integrantes: Mario de Jesús Pérez Jiménez (Resp.)
  6. Conferencias y cursos de carácter científico. Jornadas matemáticas (A.C. PAI) - Junta de Andalucía: 39.581,94 €.
  7. Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas (PN-2002) Vigencia: 2002-2005 - Ministerio de Ciencia y Tecnología: 29.785,00 €.
    Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Delia Balbontín Noval, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Gheorghe V. Paün, Antonio de Jesús Pérez Jiménez, Agustín Riscos Núñez, Francisco José Romero Campero, Álvaro Romero Jiménez, Fernando Sancho Caparrini
  8. Fourth International Conference on Unconventional Computation (Acc. Compl.) - Ministerio de Educación y Ciencia: 12.000,00 €.
    Integrantes: Mario de Jesús Pérez Jiménez (Resp.)
  9. Third Brainstorming Week on Membrane Computing (Plan Propio) - Universidad de Sevilla: 1.800,00 €.
    Integrantes: Mario de Jesús Pérez Jiménez (Resp.)

Publicaciones:

Libros
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Giancarlo Mauri, Carlos Martin-Vide: Membrane Computing (International Workshop, WMC 2003, Revised Papers). Berlín, Alemania. Springer-Verlag. 383. ISBN: 3-540-20895-X

Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Current Trends in Theoretical Computer Science. the Challenge of the New Century. Vol 1: Algorithms and Complexity. Singapur, Singapur. World Scientific. 676. ISBN: 981-238-966-0

Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Current Trends in Theoretical Computer Science. the Challenge of the New Century. Vol 2: Formal Models and Semantics. Singapur, Singapur. World Scientific. 644. ISBN: 981-238-965-2

Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: DNA Computing. New Computing Paradigms (Translation in the Simplified Version of the English Version). Wuhan,. Springer-Verlag. 354. ISBN: 7-302-08658-3

Gheorghe Paun, Grzegorz Rozenberg, Hermann Maurer, Juhani Karhumaki: Theory Is Forever. Berlín, Alemania. Springer-Verlag. X. ISBN: 3-540-22393-2

Gheorghe Paun, Grzegorz Rozenberg, Natasha Jonoska: Aspects of Molecular Computing. Berlín, Alemania. Springer-Verlag. Xi+391. ISBN: 3-540-20781-3

Gheorghe Paun, Victor Mitrana, Carlos Martin-Vide: Formal Languages and Applications. Berlín, Alemania. Springer-Verlag. ISBN: 3-540-20907-7

Agustin Riscos Nuñez, Mario Jesus Perez Jimenez, Daniel Díaz Pernil, Juan Antonio Nepomuceno Chamorro, Antonio Jesús Ramos Espina: Modelos de Computación Molecular, Celular y Cuántica. Sevilla, España. Fénix Editora. XII. ISBN: 84-609-3200-1

Capítulos en Libros
Andres Cordon Franco: Looking for P Truth. Second Brainstorming Week on Membrane Computing. Sevilla, España. Grupo de Investigación en Computación Natural. Vol. 1. Pag. 134-138. ISBN: 84-688-6101-4

Andres Cordon Franco: Weak Metrics on Configurations of a P System. Second Brainstorming Week on Membrane Computing. Sevilla, España. Grupo de Investigación en Computación Natural. Vol. 1. Pag. 139-151. ISBN: 84-688-6101-4

Carlos Martin-Vide, Gheorghe Paun: P Systems With Symport / Antiport Rules: a Survey. Modelling in Molecular Biology. Berlin, Alemania. Springer-Verlag. Pag. 175-192. ISBN: 3-540-40799-5

Mario Jesus Perez Jimenez: Modelos de Computacion Natural. Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Conceptualización de la Mente. Sevilla, España. Mergablum, Edición y Comunicación. Pag. 199-245. ISBN: 84-96378-04-7

Publicaciones en Revistas
Jose Antonio Alonso Jimenez, Maria Jose Hidalgo Doblado, Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina: Verification of the Formal Concept Analysis. RACSAM. Revista de la Real Academia de Ciencias. Serie a: Matemáticas. Vol. 98. Pag. 3-16

Cristian Calude, Gheorghe Paun: Bio-Steps Beyond Turing. Biosystems . Vol. 77. Núm. 1-3. Pag. 175-194

Antonia Mª Chavez Gonzalez, Joaquin Borrego Diaz, Jose Antonio Alonso Jimenez: Ontology Cleaning By Mereotopological Reasoning. Database and Expert Systems Applications. Pag. 132-137

Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin: On the Quantifier Complexity of Delta(N+1)(T)-Induction. Archive for Mathematical Logic. Vol. 43. Núm. 3. Pag. 371-398

Andres Cordon Franco, Fernando Sancho Caparrini: A Note on Complexity Measures for Probabilistic P Systems. Journal of Universal Computer Science. Vol. 10. Núm. 5. Pag. 559-566

Andres Cordon Franco, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez, Fernando Sancho Caparrini: Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem. Lecture Notes in Computer Science. Vol. 2933. Pag. 140-152

Andres Cordon Franco, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Fernando Sancho Caparrini: A Prolog Simulator for Deterministic P Systems With Active Membranes. New Generation Computing. Vol. 22. Núm. 4. Pag. 349-363

Andres Cordon Franco: Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem. Lecture Notes in Computer Science. Vol. 2933. Pag. 140-152

Rudolf Freund, Carlos Martin-Vide, Gheorghe Paun: From Regulated Rewriting to Computing With Membranes: Three Collapsing Hierarchies. Theoretical Computer Science . Vol. 312. Núm. 2-3. Pag. 143-188

Miguel Angel Gutierrez Naranjo, Vladimir Rogozhin: Deductive Databases and P Systems. Computer Science Journal of Moldova. Vol. 12. Núm. 1. Pag. 80-88

Francisco Felix Lara Martin, Alejandro Fernandez Margarit, Andres Cordon Franco: Provably Total Primitive Recursive Functions: Theories With Induction. Lecture Notes in Computer Science. Vol. 3210. Pag. 355-369

Francisco Felix Lara Martin, Alejandro Fernandez Margarit: Induction, Minimization and Collection for Delta(N)+(1)(T)-Formulas. Archive for Mathematical Logic. Vol. 43. Núm. 4. Pag. 505-541

Francisco Jesus Martin Mateos, Jose Antonio Alonso Jimenez, Maria Jose Hidalgo Doblado, Jose Luis Ruiz Reina: Formal Verification of Molecular Computational Models in Acl2: a Case Study. Lecture Notes in Artificial Intelligence. Vol. 3040. Pag. 344-353

Francisco Jesus Martin Mateos, Jose Antonio Alonso Jimenez, Maria Jose Hidalgo Doblado, Jose Luis Ruiz Reina: Formal Verification of a Generic Framework to Synthesize SAT-Provers. J Autom Reasoning. Vol. 32. Núm. 4. Pag. 287-313

Inmaculada Medina Bulo, Francisco Palomo Lozano, Jose Antonio Alonso Jimenez, Jose Luis Ruiz Reina: Verified Computer Algebra in Acl2 (Grobner Bases Computation). Lecture Notes in Computer Science. Vol. 3249. Pag. 171-184

Gheorghe Paun, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: P Systems With Tables of Rules. Lecture Notes in Computer Science. Vol. 3113. Pag. 235-249

Gheorghe Paun, Mario Jesus Perez Jimenez, Fernando Sancho Caparrini: On the Reachability Problem for P Systems With Symport/Antiport. Publicationes Mathematicae Debrecen. Vol. 65. Núm. SUPPLEMENT. Pag. 603-627

Gheorghe Paun, Mario Jesus Perez Jimenez: Second Brainstorming Week on Membrane Computing, J.ucs Special Issue. Journal of Universal Computer Science. Vol. 10. Núm. 5. Pag. 499-501

Gheorghe Paun, Yasuhiro Suzuki, H. Tanaka, T. Yokomori: On the Power of Membrane Division in P Systems. Theoretical Computer Science . Vol. 324. Pag. 61-85

Gheorghe Paun: Membrane Computing (After the Second Brainstorming Week on Membrane Computing). Bulletin of the European Association for Theoretical Computer Science. Vol. 73. Pag. 159-170

Gheorghe Paun: Membrane Computing: Some Non-Standard Ideas. Lecture Notes in Computer Science. Vol. 2950. Pag. 322-337

Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: A Linear-Time Solution to the Knapsack Problem Using P Systems With Active Membranes. Lecture Notes in Computer Science. Vol. 2933. Pag. 250-268

Mario Jesus Perez Jimenez, Alvaro Romero Jimenez, Fernando Sancho Caparrini: Modelos de Computación Celular con Membranas. Boletín de la Sociedad Española de Matemática Aplicada. Vol. 29. Pag. 57-88

Mario Jesus Perez Jimenez, Alvaro Romero Jimenez, Fernando Sancho Caparrini: The P Versus NP Problem Through Cellular Computing With Membranes. Lecture Notes in Computer Science. Vol. 2950. Pag. 338-352

Mario Jesus Perez Jimenez, Francisco José Romero Campero: An Efficient Family of P Systems for Packing Items Into Bins. Journal of Universal Computer Science. Vol. 10. Núm. 5. Pag. 650-670

Alvaro Romero Jimenez, Mario Jesus Perez Jimenez: Computing Partial Recursive Functions By Transition P Systems. Lecture Notes in Computer Science. Vol. 2933. Pag. 320-340

Jose Luis Ruiz Reina, Jose Antonio Alonso Jimenez, Maria Jose Hidalgo Doblado, Francisco Jesus Martin Mateos: Formal Reasoning About Efficient Data Structures: a Case Study in Acl2. Lecture Notes in Computer Science. Vol. 3018. Pag. 75-91

Libros de Actas
Giancarlo Mauri, Gheorghe Paun, Claudio Zandron: Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. Num. 5. Milan, Italia. Milán, Italia. Molconet Project

Gheorghe Paun, Agustin Riscos Nuñez, Alvaro Romero Jimenez, Fernando Sancho Caparrini: Proceedings of the Second Brainstorming Week on Membrane Computing. Num. 2. Sevilla, España. Sevilla, España. Research Group on Natural Computing - Universidad de Sevilla. ISBN: 84-688-6101-4

Aportaciones a Congresos
Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz, Antonia Mª Chavez Gonzalez: Towards a Tool for Ontology Engineering. World Automation Congress: Advances in Robotics, Manufacturing, Automation, Control, Soft Computing, Multimedia, Biomedicine, Image Processing and Financial Engineering. Vol. IV. World Automation Congress (). Sevilla, Spain. Tsi Press. Pag. 1-100. ISBN: 1-889335-20-7

Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz: Generalizing Logic Programs Via Subsumption. Computer Aided System Theory - Eurocast 2003: 9th International Workshop on Computer Aided Systems Theory [recurso Electrónico]. International Workshop on Computer Aided Systems Theory. Num. 9. Las Palmas de Gran Canaria. Springer-Verlag. Pag. 115-126. ISBN: 3-540-20221-8

Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz: Towards a Tool for Ontology Engineering. Advances in Roboticas. Vol 4. Wac 2004. Wac (World Automation Congress) (). Sevilla, España. Tsi Press. Pag. 1-300

Rodica Ceterchi, Mario Jesus Perez Jimenez: A Perfect Shuffle Algorithm for Reduction Processes and Its Simulation With P Systems. Proceedings of the International Conference on Computers and Communications. International Conference on Computers and Communications (). Baile Felix Spa - Oradea, Rumania. Metropolis Srl. Pag. 92-97. ISBN: 973-613-542-X

Rodica Ceterchi, Mario Jesus Perez Jimenez: Simulating Parallel Architectures With P Systems. Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. Workshop on Membrane Computing (5). Num. 5. Milan, Italia. Molconet Project. Pag. 184-185

Rodica Ceterchi, Mario Jesus Perez Jimenez: Simulating Shuffle-Exchange Networks With P Systems. Proceedings of the Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing (). Sevilla, España. Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. Pag. 117-129. ISBN: 84-688-6101-4

Antonia Mª Chavez Gonzalez, Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz: Ontology Cleaning By Mereotopological Reasoning. Database and Expert Systems Applications. Webs 2004. International Workshop on Web Semantics. Webs 2004. (Dexa 2004) (3). Num. 3. Zaragoza, España. IEEE Press. Pag. 132-137

Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin: Provably Total Primitive Recursive Functions: Theories With Induction. Computer Science Logic. Annual Conference of the Eacsl (13). Num. 13. Karpacz (Poland). Springer, Berlín, Alemania. Pag. 355-369. ISBN: 3-540-23024-6

Andres Cordon Franco, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Towards an Efficient Strategy for Searching in P Systems. Workshop 5: Symbolic Networks (16th European Conference on Artificial Inteligence). Ecai 2004 (16th European Conference on Artificial Intelligence) (16). Num. 16. Valencia, España. Departamento de Sistemas Informáticos y Computación - Universidad Politécnica de Valencia. Pag. 15-25

Andres Cordon Franco, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Weak Metrics on Configurations of a P System. Proceedings of the Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing (). Sevilla, España. Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. Pag. 139-151. ISBN: 84-688-6101-4

Andres Cordon Franco, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Looking for P Truth. Proceedings of the Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing (). Sevilla, España. Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. Pag. 134-138. ISBN: 84-688-6101-4

Andres Cordon Franco: Exploring Computation Trees Associated With P Systems. Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. Workshop on Membrane Computing (5). Num. 5. Milan, Italia. Molconet Project. Pag. 196-204

Antonio di Nola, Gheorghe Paun, Mario Jesus Perez Jimenez, Francesc Rosselló: (Imprecise Topics About) Handling Imprecision in P Systems. Proceedings of the Brainstorming Workshop on Uncertainty in Membrane Computing. Brainstorming Workshop on Uncertainty in Membrane Computing (). Palma de Mallorca, España. Departament de Matemàtiques I Informàtica de la Universitat de Les Illes Balears. Pag. 1-10. ISBN: 84-7632-897-4

Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: An Efficient Cellular Solution for the Partition Problem. Proceedings of the Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing (). Sevilla, España. Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. Pag. 237-246. ISBN: 84-688-6101-4

Miguel Angel Gutierrez Naranjo, Vladimir Rogozhin: Deductive Databases and P Systems. Proceedings of the Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing (). Sevilla, España. Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. Pag. 258-263. ISBN: 84-688-6101-4

Inmaculada Medina Bulo, Francisco Palomo Lozano, Jose Antonio Alonso Jimenez, Jose Luis Ruiz Reina: Verified Computer Algebra in Acl2 (Gröbner Basis Computation). Proceedings of the 7th Int. Conference on Artificial Intelligence and Symbolic Computation (Aisc 2004). 7th Int. Conference on Artificial Intelligence and Symbolic Computation, Aisc 2004 (). Linz, Austria. Springer-Verlag. Pag. 171-184

Gheorghe Paun, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Tissue P Systems With Cell Division. Proceedings of the Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing (). Sevilla, España. Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. Pag. 380-386. ISBN: 84-688-6101-4

Gheorghe Paun: Introduction to Membrane Computing. Proceedings of the Brainstorming Workshop on Uncertainty in Membrane Computing. Brainstorming Workshop on Uncertainty in Membrane Computing (). Palma de Mallorca, España. Departament de Matemàtiques I Informàtica de la Universitat de Les Illes Balears. Pag. 17-65. ISBN: 84-7632-897-4

Gheorghe Paun: Learning New Computing Models From Biology: Membrane Computing. Proceedings of the International Conference on Computers and Communications. International Conference on Computers and Communications (). Baile Felix Spa - Oradea, Rumania. Metropolis Srl. Pag. 15-30. ISBN: 973-613-542-X

Mario Jesus Perez Jimenez, Francisco José Romero Campero: A Clips Simulator for Recognizer P Systems With Active Membranes. Proceedings of the Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing (). Sevilla, España. Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. Pag. 387-413. ISBN: 84-688-6101-4

Mario Jesus Perez Jimenez, Francisco José Romero Campero: Solving the Packing Problem By Recognizer P Systems With Active Membranes. Proceedings of the Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing (). Sevilla, España. Departamento de Ciencias de la Computacion e Inteligencia Artificial. Universidad de Sevilla. Pag. 414-430. ISBN: 84-688-6101-4

Mario Jesus Perez Jimenez: An Approach to Computational Complexity in Membrane Computing. Proceedings of the Brainstorming Workshop on Uncertainty in Membrane Computing. Brainstorming Workshop on Uncertainty in Membrane Computing (). Palma de Mallorca, España. Departament de Matemàtiques I Informàtica de la Universitat de Les Illes Balears. Pag. 67-94. ISBN: 84-7632-897-4

Mario Jesus Perez Jimenez: Computational Complexity in P Systems. Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. Workshop on Membrane Computing (5). Num. 5. Milan, Italia. Molconet Project. Pag. 63-63

Mario Jesus Perez Jimenez: Recognizer Membrane Systems. Workshop 5: Symbolic Networks (16th European Conference on Artificial Inteligence). Ecai 2004 (16th European Conference on Artificial Intelligence) (16). Num. 16. Valencia, España. Departamento de Sistemas Informáticos y Computación - Universidad Politécnica de Valencia. Pag. 13-13

Jose Luis Ruiz Reina, Francisco Jesus Martin Mateos, Jose Antonio Alonso Jimenez, Maria Jose Hidalgo Doblado: A Formally Verified Quadratic Unification Algorithm. Proceedings of the Fifth International Workshop on the Acl2 Theorem Prover and Its Applications (Acl2-2004). Fifth International Workshop on the Acl2 Theorem Prover and Its Applications (Acl2-2004) (5). Num. 5. Austin, Texas, EEUU. Unicersity of Austin. Pag. 1-32

Jose Luis Ruiz Reina: Formal Verification and Symbolic Computation Systems. Eaca 2004. Eaca 2004 (9). Num. 9. Santander, 1-3 Julio. Universidad de Cantabria. Pag. 327-327. ISBN: 84-688-6988-0

Otras Publicaciones
Agustin Riscos Nuñez: Effective Cellular Solutions for Numerical NP-Complete Problems: Design, Verification and Implementation. Informes, Estudios, Trabajos y Dictámenes. Grupo de Investigación en Computación Natural. Sevilla, España