Research Group on Computation Models and Formal Languages

Activities

Members

Publications

Projects

Links

Call for Papers

(Go to papers classified by years)

Formal Languages and Automata Theory
Natural Computing
Processing of biosequences and Bioinformatics
Grammatical Inference and Applications

---

Formal languages and automata theory (Go top here)

• Pedro García, Damián López, José Ruiz and Gloria I. Álvarez
  From regular expressions to smaller NFAs
  Theoretical Computer Science Vol. 412, Issue 41, pp 5802-5807. 2011
  (PDF)
  
  
• P. García, M. Vázquez de Parga, A. Cano, D. López
  On locally reversible languages
  Theoretical Computer Science Vol. 410, Issues 47-49, pp 4961-4974. 2009.
  (PDF)
  
  
• Antonio Cano Gómez, Giovanna Guaiana, Jean-Eric Pin
  When Does Partial Commutative Closure Preserve Regularity ?
  35th International Colloquium on Automata, Languages and Programming ICALP 2008 (Reykjavik) 6-13 July, 2008
  Proceedings in Springer LNCS Vol. 5126 (L. Aceto, I. Damgaard, L.A. Goldberg, M.M. Halldorsson, A. Ingolfsdottir, I. Walukiewicz, eds.) pp. 209-220, 2008
  (PDF)


• Antonio Cano Gómez, Jean-Eric Pin
  A Robust Class of Regular Languages.
  33rd International Symposium on Mathematical Foundations of Computer Science MFCS 2008 (Torun) 25-29 August, 2008
  Proceedings in Springer LNCS Vol. 5162 (E. Ochmanski and J. Tyszkiewicz, eds.) pp. 36-51 2008
  (PDF)


• Manuel Vázquez de Parga
  Autómatas finitos: Irreducibilidad e Inferencia
  PhD Thesis DSIC, Universidad Politécnica de Valencia. 2008
  (PDF)


• Pedro García, Manuel Vázquez de Parga, Damián López
  On the efficient construction of quasi-reversible automata for reversible languages
  Information Processing Letters, Vol. 107 Issue 1, pp 13-17. 2008.
  (PDF)


• Pedro García, Manuel Vázquez de Parga
  A note about mergible states in large NFA
  Bulletin of the EATCS Number 87 pp. 181-184. 2005


• A. Cano and J.E. Pin
  Shuffle on positive varieties of languages
  Theoretical Computer Science Vol. 312, Issues 2-3, pp 433-461. 2004
  (PDF)


• P. García and J. Ruiz
  A note on minimal cover-automata for finite languages
  Bulletin of the EATCS Number 83 pp. 193-195. 2004


• A. Cano and J.E. Pin
  On a conjecture of Schnoebelen
  In Seventh International Conference on Developments in Language Theory DLT 2003 (Szeged, Hungary). 2003
  Proceedings edited by Zoltán Ãik and Zoltán Fülöp in LNCS Vol. 2710, pp 35-54. Springer. 2003
  (Bib entry)


• A. Cano
  Semigroupes ordonnés et opérations sur les langages rationnels
  PhD Thesis. DSIC, Universidad Politécnica de Valencia. 2003
  (PDF)


• José M. Sempere
  A note on the equivalence and complexity of linear grammars
  Grammars Vol. 6, Issue 2. pp 115-126. 2003
  (Abstract) (Bib entry)


• P. García, J. Ruiz and M. Vázquez de Parga
  Bilateral Locally Testable Languages
  Theoretical Computer Science Vol. 299, Issue 1-3, pp 775-783. 2003
  (PDF)


• José M. Sempere
  On some characteristic features of linear grammars and their aplication to the study of their identification and complexity (PhD Thesis Abstract)
  Bulletin of the EATCS Number 79 pp 285-287. 2003
  (PDF)


• D. López, José M. Sempere and P. García
  Error correcting analysis for tree languages
  International Journal of Pattern Recognition and Artificial Intelligence Vol. 14, No. 3, pp 357-368. 2000
  (PDF)


• P. García and J. Ruiz
  Right and Left Locally Testable Languages
  Theoretical Computer Science Vol. 246, Issue 1-2, pp 253-264. 2000
  (PDF)


• José M. Sempere
  On a class of regular-like expressions for linear languages
  Journal of Automata, Languages and Combinatorics Vol. 5, No. 3, pp 343-354. 2000
  (PDF)


• José M. Sempere
  Linear expressions
  In Proceedings of the First International Workshop on Descriptional Complexity of Automata, Grammars and Related Structures DCAGRS-99 (Magdeburg, Germany). 1999.
  Edited by J. Dassow, D. Wotschke. pp 185-195. Department of Computer Science. Otto-von-Quericke University of Magdeburg. Preprint Nr. 17. 1999.
  (PDF)


• J. Ruiz and P. García.
  Right and left strongly testable semigroups and languages
  In Fourth International Conference on Developments in Language Theory DLT-99 (Aachen, Germany). 1999
  Preproceedings edited by W. Thomas in Aachener Informatik-Berichte 99-5 pp 199-209
  Proceedings edited by G. Rozenberg and W. Thomas pp 232-241. World Scientific. 2000.
  (PDF)


• José M. Sempere and Damián López.
  A McCulloch-Pitts neural net to characterize even linear languages.
  Information Processing Letters, (56):201-208, 1995
  (PDF)

Natural Computing (Go top here)

• Marcelino Campos, José M. Sempere
  Solving Combinatorial Problems with Networks of Genetic Processors.
  In Juan Castellanos, Luis Fernando de Mingo López, Krassimir Markov (eds.)
  Proceedings of the Third International Conference Natural Information Technologies (NIT 2012)
  ITHEA International Scientific Society, Proceedings NIT 2012, pp 7-13. 2012.
  
  
• Fernando Arroyo Montoro, Juan Castellanos, Victor Mitrana, Eugenio Santos, José M. Sempere
  Networks of Bio-inspired Processors
  Triangle Vol. 7, pp 3-22. 2012
  (PDF)
  
  
• Marcelino Campos, José M. Sempere
  Accepting Networks of Genetic Processors are computationally complete
  Theoretical Computer Science Vol. 456, pp 18-29. 2012
  (PDF)
  
  
• Juan Castellanos, Victor Mitrana, Eugenio Santos, José M. Sempere.
  Simulating Accepting Networks of Evolutionary Processors with Filtered Connections by Accepting Evolutionary P Systems.
  Proceedings of the 4th International Work-Conference on the Interplay between Natural and Artificial Computation (IWINAC 2011)
  LNCS Vol.6686, pp 295-302, Springer-Verlag. 2011
  (PDF)
  
  
• Mario de J. Pérez-Jiménez, Alfonso Ortega de la Puente, José M. Sempere
  The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain.
  ERCIM News, No. 85, pp 25, 2011
  (PDF)
  
  
• Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, Ion Petre, Jose M. Sempere
  Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
  Natural Computing, Vol. 10, No. 1, pp 429-445, 2011
  doi: 10.1007/s11047-010-9238-5
  (PDF)
  
  
• F. Arroyo, J. Castellanos, V. Mitrana, E. Santos, J.M. Sempere
  Filter Position in Networks of Substitution Processors does not matter
  International Journal of Foundations of Computer Science, Vol. 22, No. 1, pp 155-165, 2011
  doi: 10.1142/S0129054111007915
  (PDF)
  
  
• José M. Sempere
  String-object Transduction with Dogmatic P Systems.
  In Marian Gheorghe, Thomas Hinze, Gheorghe Paun (eds.)
  Proceedings of the Eleventh International Conference on Membrane Computing, pp 463-466, Verlag ProBusiness Berlin. 2010
  ISBN: 978-3-86805-721-8
  (PDF)
  
  
• José M. Sempere
  Dogmatic P Systems.
  In M.A. Martínez del Amor, Gh. Paun, I. Pérez Hurtado, A. Riscos Núñez (eds.)
  Eigth Brainstorming Week on Membrane Computing, pp 291-300, Fénix Editora. 2010
  ISBN: 978-84-614-2357-6
  (PDF)
  
  
• Victor Mitrana, José M. Sempere
  Accepting Evolutionary P Systems
  10th Workshop on Membrane Computing WMC10 (Curtea de Arges, Romania) 24-27 August, 2009
  Preliminary Proceedings edited by Gh. Paun, M.J. Pérez, A. Riscos, pp 552-555. Universidad de Sevilla. 2009.
  (PDF)
  
  
• Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere
  Networks of Evolutionary Picture Processors With Filtered Connections
  8th International Conference on Unconventional Computation UC09 (Ponta Delgada, Azores Portugal) 7-11 September, 2009
  Proceedings in Springer LNCS Vol. 5715, (C.S. Calude, J.F.G.d. Costa, N. Dershowitz, E. Freire, G. Rozenberg, eds.) pp 70-84. 2009.
  (PDF)
  
  
• Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere
  Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof.
  15th International Meeting on DNA Computing and Molecular Programming DNA15 (Fayetteville, Arkansas USA) 8-11 June, 2009
  Preliminary Proceedings edited by R. Deaton, A. Suyama, pp 109-118. University of Arkansas. 2009.
  Proceedings in Springer LNCS Vol. 5877, (R. Deaton, A. Suyama, eds.) pp 1-11. 2009
  (PDF)
  
  
• Florin Manea, Victor Mitrana, José M. Sempere
  Some Remarks on Superposition Based on Watson-Crick-like Complementarity
  13th International Conference on Developments in Language Theory DLT 2009 (Stuttgart, Germany) 30 June - 3 July, 2009
  Proceedings in Springer LNCS Vol. 5583, (V. Diekert, D. Nowotka, eds.) pp 372-383. 2009
  (PDF)
  
  
• M. Ito, P. Leupold, V. Mitrana
  Bounded Hairpin Completion,
  3rd International Conference on Language and Automata Theory and Applications LATA 2009 (Tarragona, Spain) 2-8 April, 2009
  Proceedings in Springer LNCS Vol. 5457, (A. Dediu, A. Ionescu, C. Martin-Vide, eds.) pp 434-445. 2009
  
  
• V. Mitrana, B. Truthe
  On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes
  3rd International Conference on Language and Automata Theory and Applications LATA 2009 (Tarragona, Spain) 2-8 April, 2009
  Proceedings in Springer LNCS Vol. 5457, (A. Dediu, A. Ionescu, C. Martin-Vide, eds.) pp 588-600. 2009
  
  
• José M. Sempere
  Translating Multiset Tree Automata into P systems
  In 9th Workshop on Membrane Computing (WMC9) (Edinburgh, Scotland) 28-31 July. 2008
  Pre-Proceedings edited by P. Frisco, D. Corne, Gh. Paun pp 427-437. 2008
  Available online (here)
  (PDF)
  Proceedings edited in Springer LNCS Vol.5391 (D.W. Corne, P. Frisco, Gh. Paun, G. Rozenberg, A. Salomaa eds) pp 394-402. 2008
  ISBN: 3-540-95884-3.
  (PDF)
  
  
• José M. Sempere
  Computing by Carving with P Systems. A First Approach
  In D. Díaz-Pernil, C. Graciani, M.A. Gutiérrez Naranjo, Gh. Paun, I. Pérez Hurtado, A. Riscos Núñez (eds).
  Sixth Brainstorming Week on Membrane Computing, pp 255-260, Fénix Editora. 2008
  ISBN: 978-84-612-4429-4
  (PDF)
  
  
• José M. Sempere
  Sticker Expressions
  In 14th International Meeting on DNA Computing (DNA 14) (Prague, Czech Republic) June 2-6. 2008
  Proceedings edited by A. Goel, F.C. Simmel, P. Sosík pp 200-201. 2008
  ISBN: 978-80-7248-469-0
  (PDF)
  
  
• M. Campos, J. González, T.A. Pérez, J. M. Sempere
  Implementing Evolutionary Processors in JAVA: A case study
  In 13th International Symposium on Artificial Life and Robotics (AROB 2008) (Beppu, Japan) January 31 - February 2. 2008
  Proceedings edited by M. Sugisaka and H. Tanaka pp 510-515. 2008
  ISBN: 978-4-9902880-2-0
  (PDF)
  
  
• José M. Sempere
  Exploring regular reversibility in Watson-Crick finite automata
  In 13th International Symposium on Artificial Life and Robotics (AROB 2008) (Beppu, Japan) January 31 - February 2. 2008
  Proceedings edited by M. Sugisaka and H. Tanaka pp 505-509. 2008
  ISBN: 978-4-9902880-2-0
  (PDF)
  
  
• José M. Sempere
  On Local Testability in Watson-Crick Finite Automata
  In International Workshop on Automata for Cellular and Molecular Computing (ACMC07) (Budapest, Hungary) 31st August. 2007
  Proceedings edited by Gy. Vaszil pp 120-128. 2007
  (PDF)
  Available online (here)
  
  
• José M. Sempere, Damián López
  Characterizing Membrane Structures through Multiset Tree Automata
  In 8th Workshop on Membrane Computing (WMC8) (Thessaloniki, Greece) 25-28 June. 2007
  Proceedings edited by G. Eleftherakis, P. Kefalas, Gh. Paun pp 539-549. 2007
  (PDF)
  Proceedings in LNCS Vol. 4860, pp 428-437. Springer. 2007.
  (PDF)
  
  
• José M. Sempere, Damián López
  On Two Families of Multiset Tree Automata
  In M.A. Gutiérrez Naranjo, Gh. Paun, A. Romero-Jiménez, A. Riscos Núñez (eds). Fifth Brainstorming Week on Membrane Computing, pp 315-324, Fénix Editora. 2007
  ISBN: 978-84-611-6776-0
  (PDF)
  
  
• José M. Sempere, Damián López
  Identifying P Rules from Membrane Structures with an Error-Correcting Approach
  In 7th Workshop on Membrane Computing (WMC7) (Leiden, Netherlands) 17-21 July, 2006.
  Pre-proceedings edited by H. Jan Hoogeboom, Gh. Paun and G. Rozenberg pp. 485-500. 2006.
  Available online (here)
  Proceedings in LNCS Vol. 4361, pp 507-520. Springer. 2006.
  (PDF)
  
  
• Marcelino Campos, Tomás A. Pérez, José M. Sempere
  Implementing Watson-Crick Finite Automata in Java
  In IADIS International Conference on Applied Computing (San Sebastian, Spain) February 25-28, 2006.
  Proceedings edited by N. Guimarães, P. Isaías, A. Goikoetxea pp. 334-344. 2006.
  ISBN: 972-8924-09-7
  (PDF)
  
  
• José M. Sempere
  Complexity applications of covering rules in P systems
  In Mario J. Pérez-Jiménez, A. Romero-Jiménez, F. Sancho-Caparrini (eds). Recent Results in Natural Computing, pp 277-291, Fénix Editora. 2005
  ISBN: 84-609-6864-2
  (PDF)
  
  
• Damián López, José M. Sempere
  Editing Distances between Mebrane Structures
  In 6th Workshop on Membrane Computing (WMC6) (Vienna, Austria) July 18-21, 2005.
  Pre-proceedings edited by R. Freund, G. Lojka, M. Oswald and Gh. Paun pp. 485-504. 2005.
  (PDF)
  Proceedings in LNCS Vol. 3850, pp 326-341. Springer. 2006
  (PDF)
  
  
• José M. Sempere, Damián López
  Recognizing membrane structures with tree automata
  In 3rd Brainstorming Week on Membrane Computing 2005 (Sevilla, Spain) January 31-February 4, 2005.
  RGNC Report 01/2005 Research Group on Natural Computing. Sevilla University (M.A. Gutiérrez Naranjo, A. Riscos-Núñez, F.J. Romero-Campero, D. Sburlan eds.) pp. 305-316. Fénix Editora 2005.
  (PDF)
  
  
• José M. Sempere
  A Representation Theorem for Languages accepted by Watson-Crick Finite Automata
  Bulletin of the EATCS Number 83 pp. 187-191. 2004
  (PDF)
  
  
• José M. Sempere
  Covering Reductions and Degrees in P Systems
  In 5th Workshop Membrane Computing (WMC5) (Milano, Italy) June 14-16, 2004.
  Pre-Proceedings edited by G. Mauri, G. Paun, C. Zandron. pp. 384-391. 2004.
  Available online (here)
  
  
• José M. Sempere
  Covering Rules in P Systems: Some Preliminary Ideas
  In 2nd Brainstorming Week on Membrane Computing 2004 (Sevilla, Spain) February 2-7, 2004.
  TR 1/2004 Department of Computer Science and Artificial Intelligence. University of Seville (G. Paun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini eds.) pp. 449-456. 2004.
  (PDF)
  
  
• P. Leupold, V. Mitrana, José M. Sempere
  Formal languages arising from gene repeated duplication
  In Aspects of Molecular Computing (Essays dedicated to Tom Head on the occasion of his 70th birthday)
  Springer-Verlag LNCS Vol. 2950 (Jonoska, Paun, Rozenberg eds.) pp. 297-308. 2004.
  (PDF)
  
  
• José M. Sempere
  P systems with external input and learning strategies
  Workshop on Membrane Computing WMC 2003 (Tarragona, Spain) July 17-22, 2003
  (PDF)
  Revised papers in Springer-Verlag LNCS Vol. 2933 (Martín-Vide, Mauri, Paun, Rozenberg, Salomaa eds.) pp. 341-356. 2004.
  (PDF)
  
  
• J. Castellanos, Carlos Martín-Vide, Victor Mitrana and José M. Sempere
  Networks of evolutionary processors
  Acta Informatica 39, pp 517-529. 2003.
  (PDF)
  
  
• J. Castellanos, C. Martín-Vide, V. Mitrana, José M. Sempere
  Solving NP-Complete Problems with Networks of Evolutionary Processors
  6th International Work-conference on Artificial and Natural Neural Networks IWANN 2001 (Granada,Spain) June 13-15 , 2001
  Proceedings in Springer-Verlag LNCS 2084 Part I (J. Mira, A. Prieto, eds.) pp 621-628. 2001
  (PDF)
  
  

Processing of biosequencies and Bioinformatics (Go top here)

• Gloria Inés Álvarez, Jorge Hernán Victoria, Enrique Bravo, Pedro García
  HyRPNI Algorithm and an Application to Bioinformatics
  Revista de Ingeniería 33 pp 44-52; Enero/Junio 2011.
  (PDF)
  
  
• Guillermo P. Bernet, Alfonso Muñoz Pomer, Laura Domínguez-Escribá, Laura Covelli, Lucía Bernad, Sukanya Ramasamy, Ricardo Futami, Jose M. Sempere, Andrés Moya and Carlos Llorens
  GyDB mobilomics: LTR retroelements and integrase-related transposons of the pea aphid Acyrthosiphon pisum genome
  Mobile Genetic Elements 1:2, 97-102; July/August 2011.
  (PDF)
  
  
• Carlos Llorens, Ricardo Futami, Laura Covelli, Laura Dominguez-Escriba, Jose M. Viu, Daniel Tamarit, Jose Aguilar-Rodriguez, Miguel Vicente-Ripolles, Gonzalo Fuster, Guillermo P. Bernet, Florian Maumus, Alfonso Muñoz-Pomer, José M. Sempere, Amparo Latorre, Andres Moya
  The Gypsy Database (GyDB) of mobile genetic elements: release 2.0
  Nucleic Acids Research Vol. 39, Database issue, D70-D74, 2011
  doi: 10.1093/nar/gkq1061
  (PDF)
  
  
• Gloria Inés Álvarez, Jorge Hernán Victoria, Enrique Bravo, Pedro García
  A Non-deterministic Grammar Inference Algorithm Applied to the Cleavage Site Prediction Problem in Bioinformatics.
  In José M. Sempere, Pedro García (eds.)
  Proceedings of the 10th International Colloquium on Grammatical Inference (ICGI 2010)
  LNAI Vol. 6339, pp 267-270, Springer. 2010.
  (PDF)
  
  
• Piedachu Peris, Damián López
  Transducer Inference by Assembling Specific Languages.
  In José M. Sempere, Pedro García (eds.)
  Proceedings of the 10th International Colloquium on Grammatical Inference (ICGI 2010)
  LNAI Vol. 6339, pp 178-188, Springer. 2010.
  (PDF)
  
  
• Guillermo Gerona, Damián López, Mercedes Palmero, Victoria Maneu
  Antioxidant N-Acetyl-Cysteine Protects Retinal Pigmented Epithelial Cells from Long-Term Hypoxia Changes in Gene Expression
  Journal of Ocular Pharmacology and Therapeutics. August 2010, Vol. 26, No. 4: 309-314. 2010.
  
  
• C. Llorens, A. Muñoz-Pomer, L. Bernad, H. Botella, A. Moya
  Network dynamics of eukaryotic LTR retroelements beyond phylogenetic trees
  Biology Direct 4:41. 2009.
  (PDF)
  
  
• Piedachu Peris, Damián López and Marcelino Campos
  IgTM: An algorithm to predict transmembrane domains and topology in proteins
  BMC Bioinformatics 9:367. 2008
  (PDF)


• Marcelino Campos, Damián López, Piedachu Peris
  Incremental Multiple Sequence Alignment
  12th Iberoamerican Congress on Pattern Recognition CIARP 2007 (Viña del Mar-Valparaiso, Chile) 13-16 November, 2007
  Proceedings in Springer LNCS Vol. 4756 (L. Rueda, D. Mery, J. Kittler eds.) pp. 604-614. 2007.
  (PDF)


• Piedachu Peris, Damián López, Marcelino Campos
  Localización de genes en el ADN mediante Inferencia Gramatical
  In XII Congreso de la Sociedad Española de Neurociencia (Valencia, España) 5-9 Septiembre. 2007
  Proceedings edited by the Sociedad Española de Neurociencia pp 156-157. Ed. Universidad de Valencia. 2007
  


• Piedachu Peris, Damián López, Marcelino Campos
  A Grammatical Inference approach to Transmembrane domain prediction
  NETTAB 2007 Seventh International Workshop on A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications (Pisa, Italy) 12-15 June. 2007.
  Proceedings edited by C. Felicioli, P. Romano, R. Marangoni. pp 121-129. 2007.


• Piedachu Peris, Damián López, Marcelino Campos, José M. Sempere
  Protein Motif Prediction by Grammatical Inference
  8th International Colloquium on Grammatical Inference ICGI 2006 (Tokyo, Japan) 20-22 September, 2006
  Proceedings in Springer-Verlag LNAI Vol. 4201 (Sakakibara, Kobayashi, Sato, Nishino, Tomita eds.) pp. 175-187. 2006.
  (PDF)


• Marcelino Campos, Damián López
  Neural Network Approach to Locate Motifs in Biosequences
  In 10th Iberoamerican Congress on Pattern Recognition (CIARP 2005) (Havana, Cuba) November 15-18, 2005
  Proceedings in Springer LNCS Vol. 3773 (A. Sanfeliu, M. Lazo Cortés, eds) pp 214-221. 2005
  (PDF)


• D. López, A. Cano, M. Vázquez de Parga, B. Calles, J. M. Sempere, T. Pérez, M. Campos, J. Ruiz, P. García
  Motif discovery by k-TSS grammatical inference
  In IJCAI-05 Workshop on Grammatical Inference Applications: Successes and Future Challenges (Edinburgh, Scotland) 30 July - 5 August, 2005.
  Working Notes edited by C. de la Higuera, T. Oates, G. Paliouras and M. Van Zaanen pp. 51-55. 2005.
  (PDF)
  


• Damián Lopez, Antonio Cano, Manuel Vázquez de Parga, Belén Calles, José M. Sempere, Tomás Pérez, José Ruiz and Pedro García
  Detection of functional motifs in biosequences: A grammatical inference approach
  In 5th Annual Spanish Bioinformatics Conference (Barcelona, Spain). 2004.
  Proceedings edited by X. Messeguer and G. Valiente. Universidad Politécnica de Cataluña. pp 72-75. 2004
  (PDF)

Grammatical Inference and Applications (Go top here)

• Damián López, Jorge Calera-Rubio, Antonio-Javier Gallego-Sánchez
  Inference of k-Testable Directed Acyclic Graph Languages.
  In Jeffrey Heinz, Colin de la Higuera, Tim Oates (eds.)
  Proceedings of the 11th International Conference on Grammatical Inference (ICGI 2012)
  JMLR Workshop and Conference Proceedings Vol. 21, pp 149-163. 2012.
  (PDF)
  
  
• Pedro García, Damián López, Manuel Vázquez de Parga
  Polynomial characteristic sets for DFA identification
  Theoretical Computer Science Vol. 448, pp 41-46. 2012
  (PDF)
  
  
• Gloria Inés Álvarez, Jorge Hernán Victoria, Enrique Bravo, Pedro García
  HyRPNI Algorithm and an Application to Bioinformatics
  Revista de Ingeniería 33 pp 44-52; Enero/Junio 2011.
  (PDF)
  
  
• José M. Sempere, Pedro García (Eds.)
  Grammatical Inference: Theoretical Results and Applications.
  Proceedings of the 10th International Colloquium on Grammatical Inference (ICGI 2010)
  Lecture Notes in Artificial Intelligence Vol. 6339, Springer. 2010.
  ISBN: 3-642-15487-5.
  (PDF)
  (Online version)
  
  
• Gloria Inés Álvarez, Jorge Hernán Victoria, Enrique Bravo, Pedro García
  A Non-deterministic Grammar Inference Algorithm Applied to the Cleavage Site Prediction Problem in Bioinformatics.
  In José M. Sempere, Pedro García (eds.)
  Proceedings of the 10th International Colloquium on Grammatical Inference (ICGI 2010)
  LNAI Vol. 6339, pp 267-270, Springer. 2010.
  (PDF)
  
  
• Piedachu Peris, Damián López
  Transducer Inference by Assembling Specific Languages.
  In José M. Sempere, Pedro García (eds.)
  Proceedings of the 10th International Colloquium on Grammatical Inference (ICGI 2010)
  LNAI Vol. 6339, pp 178-188, Springer. 2010.
  (PDF)
  
  
• Pedro García, Manuel Vázquez de Parga, Damián López, José Ruiz
  Learning Automata Teams.
  In José M. Sempere, Pedro García (eds.)
  Proceedings of the 10th International Colloquium on Grammatical Inference (ICGI 2010)
  LNAI Vol. 6339, pp 52-65, Springer. 2010.
  (PDF)
  
  
• Antonio Cano
  Inferring Regular Trace Languages from Positive and Negative Samples.
  In José M. Sempere, Pedro García (eds.)
  Proceedings of the 10th International Colloquium on Grammatical Inference (ICGI 2010)
  LNAI Vol. 6339, pp 11-23, Springer. 2010.
  (PDF)
  
  
• Pedro García, Manuel Vázquez de Parga, Damián López
  Some ideas on active learning using membership queries.
  ICGI 2010 ZULU Workshop.
  (PDF)
  
  
• P. García, D. López, J. Ruíz, G.I. Álvarez
  A new algorithm to obtain small NFAs from regular expressions
  (manuscript). 2010.
  (PDF)
  
  
• Pedro García, Manuel Vázquez de Parga, Gloria I. Álvarez and José Ruiz
  Universal automata and NFA learning
  Theoretical Computer Science Vol. 407, Issues 1-3, pp 192-202. 2008
  (PDF)


• José M. Sempere
  Learning Context-Sensitive Languages from Linear Structural Information
  9th International Colloquium on Grammatical Inference ICGI 2008 (Saint-Malo) 22-24 September, 2008
  Proceedings in Springer LNAI Vol. 5278 (A. Clark, F. Coste, L. Miclet eds.) pp. 175-186. 2008.
  (PDF)


• Antonio Cano Gómez, Gloria I. Álvarez
  Learning Commutative Regular Languages
  9th International Colloquium on Grammatical Inference ICGI 2008 (Saint-Malo) 22-24 September, 2008
  Proceedings in Springer LNAI Vol. 5278 (A. Clark, F. Coste, L. Miclet eds.) pp. 71-83. 2008.


• Pedro García, Manuel Vázquez de Parga, Gloria I. Álvarez, José Ruiz
  Learning Regular Languages Using Nondeterministic Finite automata
  In 13th International Conference CIAA 2008 (San Francisco, CA, USA) 21-24 July 2008.
  Proceedings edited in Springer LNCS Vol. 5148 (Oscar H. Ibarra, Bala Ravikumar eds.) pp 92-101. 2008
  ISBN: 978-3-540-70843-8.
  (PDF)


• Manuel Vázquez de Parga
  Autómatas finitos: Irreducibilidad e Inferencia
  PhD Thesis DSIC, Universidad Politécnica de Valencia. 2008
  (PDF)


• Gloria Álvarez
  Estudio de la Mezcla de Estados Determinista y No Determinista en el Diseño de Algoritmos para Inferencia Gramatical de Lenguajes Regulares
  PhD Thesis DSIC, Universidad Politécnica de Valencia. 2007
  (PDF)


• Piedachu Peris, Damián López, Marcelino Campos, José M. Sempere
  Protein Motif Prediction by Grammatical Inference
  8th International Colloquium on Grammatical Inference ICGI 2006 (Tokyo, Japan) 20-22 September, 2006
  Proceedings in Springer-Verlag LNAI Vol. 4201 (Sakakibara, Kobayashi, Sato, Nishino, Tomita eds.) pp. 175-187. 2006.
  (PDF)


• José M. Sempere
  Learning Reversible Languages with Terminal Distinguishability
  8th International Colloquium on Grammatical Inference ICGI 2006 (Tokyo, Japan) 20-22 September, 2006
  Proceedings in Springer-Verlag LNAI Vol. 4201 (Sakakibara, Kobayashi, Sato, Nishino, Tomita eds.) pp. 354-355. 2006.
  (PDF)


• Gloria Álvarez, Pedro García, José Ruiz
  A Merging State Algorithm for Inference of RFSAs
  8th International Colloquium on Grammatical Inference ICGI 2006 (Tokyo, Japan) 20-22 September, 2006
  Proceedings in Springer-Verlag LNAI Vol. 4201 (Sakakibara, Kobayashi, Sato, Nishino, Tomita eds.) pp. 340-341. 2006.
  (PDF)


• Pedro García and José Ruiz
  Learning in varieties of the form V*LI from positive data
  Theoretical Computer Science Vol. 362, Issues 1-3, pp 100-114. 2006
  (PDF)


• Manuel Vázquez de Parga, Pedro García, José Ruiz
  A Family of Algorithms for Non deterministic Regular Languages Inference
  In 11th International Conference on Implementation and Application of Automata (CIAA 2006) (Taipei, Taiwan) August 21-23, 2006
  Proceedings edited by Oscar H. Ibarra and Hsu-Chun Yen, LNCS Vol. 4094 pp. 265-274. 2006.
  (PDF)


• Pedro García, José Ruiz, Antonio Cano, Gloria Álvarez
  Inference Improvement by Enlarging the Training Set While Learning DFAs
  In 10th Iberoamerican Congress on Pattern Recognition (CIARP 2005) (Havana, Cuba) November 15-18, 2005
  Proceedings in Springer LNCS Vol. 3773 (A. Sanfeliu, M. Lazo Cortés, eds) pp 59-70. 2005
  (PDF)


• G. I. Álvarez, J. Ruiz, A. Cano, P. García
  Non-deterministic Regular Positive Negative Inference NRPNI
  In XXXI Conferencia Latinoamericana de Informática (CLEI2005) (Cali, Colombia) October 10-14, 2005.
  Proceedings edited by J.F. Díaz, C. Rueda, A.A. Buss pp. 239-249. 2005.
  ISBN: 958-670-422-X


• Antonio Cano, Pedro García
  Finite automata and unions of regular patterns with bounded constant segments
  In 10th International Conference on Implemetations and Application of Automata (CIAA 2005) (Sophia Antipolis, France) June 27-29, 2005.
  Proceedings in Springer LNCS Vol. 3845 (J. Farré, I. Litovsky and S. Schmitz, eds) pp 104-115. 2006
  (PDF)


• Pedro García, José Ruiz, Antonio Cano, Gloria Álvarez
  Is learning RFSAs better than learning DFAs ?
  In 10th International Conference on Implementations and Application of Automata (CIAA 2005) (Sophia Antipolis, France) June 27-29, 2005.
  Proceedings in Springer LNCS Vol. 3845 (J. Farré, I. Litovsky and S. Schmitz, eds) pp 343-344. 2006
  (PDF)


• J.A. Laxminarayana, José M. Sempere, G. Nagaraja
  Learning Distinguishable Linear Grammars from Positive Data
  7th International Colloquium on Grammatical Inference ICGI 2004 (Athens, Greece) 11-13 October, 2004
  Proceedings in Springer-Verlag LNAI Vol. 3264 (Paliouras, Sakakibara eds.) pp. 279-280. 2004.
  (PDF)


• Antonio Cano, José Ruiz, Pedro García
  Running FCRPNI in Efficient Time for Piecewise and Right Piecewise Testable Languages
  7th International Colloquium on Grammatical Inference ICGI 2004 (Athens, Greece) 11-13 October, 2004
  Proceedings in Springer-Verlag LNAI Vol. 3264 (Paliouras, Sakakibara eds.) pp. 275-276. 2004.


• I. Perea and D. López
  Syntactic modelling and recognition of document images
  In Structural, Syntactic and Statistical Pattern Recognition Joint IAPR International Workshops SSPR 2004 and SPR 2004 (Lisbon, Portugal) August 18-20, 2004
  A. Fred, T. Caelli, R.P.W. Duin A. Campilho and D. de Ridder (Eds.) pp 416-424, LNCS 3138 Springer-Verlag. 2004
  (PDF)


• P. García, J. Ruiz and A. Cano
  Non Deterministic RPNI
  Technical Report DSIC-II/10/04. 2004
  (PDF)


• P. García, J. Ruiz
  Learning k-Testable and k-Piecewise Testable Languages from Positive Data
  Grammars volume 7, Special Issue on Grammar Induction, pp. 125-140. 2004.
  (PDF)


• D. López, José M. Sempere, P. García
  Inference of reversible tree languages
  IEEE Transactions on Systems, Man and Cybernetics Part B: Cybernetics, Vol. 34, No. 4, pp 1658-1665. 2004
  (PDF)


• D. López
  Inferencia de lenguajes de árboles
  PhD Thesis DSIC, Universidad Politécnica de Valencia. 2003.


• José M. Sempere
  On some characteristic features of linear grammars and their aplication to the study of their identification and complexity (PhD Thesis Abstract)
  Bulletin of the EATCS Number 79 pp 285-287. 2003
  (PDF)


• D. López, J. Ruiz, P. García
  Inference of K-Piecewise Testable Tree Languages
  Pattern Recognition and String Matching (D. Chen and X. Cheng, eds)
  Kluwer Academic Publishers, pp 341-352. 2002.
  (PDF)


• D. López and S. España
  Error correcting tree language inference
  Pattern Recognition Letters Vol. 23, Iss. 1-3, pp 1-12. 2002.
  (PDF)


• José M. Sempere, Pedro García
  Learning Locally Testable Even Linear Languages from Positive Data
  6th International Colloquium on Grammatical Inference ICGI 2002 (Amsterdam, The Nederlands) 23-25 September, 2002
  Proceedings in Springer-Verlag LNAI Vol. 2484 (Adriaans, Fernau, van Zaanen eds.) pp. 225-236. 2002.
  (PDF)


• A. Cano, J. Ruiz, P. García
  Inferring Subclasses of Regular Languages Faster Using RPNI and Forbidden Configurations
  6th International Colloquium on Grammatical Inference ICGI 2002 (Amsterdam, The Nederlands) 23-25 September, 2002
  Proceedings in Springer-Verlag LNAI Vol. 2484 (Adriaans, Fernau, van Zaanen eds.) pp. 28-36. 2002.
  (PDF)


• H. Fernau, José M. Sempere.
  Permutations and Control Sets for Learning Non-regular Language Families
  In 5th International Colloquium, ICGI 2000 (Lisboa, Portugal). 2000
  Edited by A. Oliveira in LNAI Vol. 1891. pp 75-88. Springer-Verlag.
  (PDF)


• P. García, A. Cano and J. Ruiz.
  A Comparative Study on Two Algorithms for Automata Identification
  In 5th International Colloquium, ICGI 2000 (Lisboa, Portugal). 2000
  Edited by A. Oliveira in LNAI Vol. 1891. pp 115-126. Springer-Verlag
  (PDF)


• J. Ruiz, S. España and P. García.
  Locally Threshold Testable Languages in the Strict Sense : Application to the Inference Problem
  In 4th International Colloquium ICGI-98 (Ames, Iowa) . 1998
  Edited by V. Honavar and G. Slutzki in LNAI Vol. 1433, pp 150-161. Springer-Verlag.
  (PDF)


• José M. Sempere and G. Nagaraja.
  Learning a Subclass of Linear Languages from Positive Structural Information
  In 4th International Colloquium ICGI-98 (Ames, Iowa) . 1998
  Edited by V. Honavar and G. Slutzki in LNAI Vol. 1433, pp 162-174. Springer-Verlag
  (PDF)


• D. López and José M. Sempere.
  Handwritten Digit Recognition through Inferring Graph Grammars. A First Approach
  In 7th International Workshop SSPR-98 (Sydney, Australia). 1998
  Edited by A. Amin, D. Dori, P. Pudil and H. Freeman in LNCS Vol. 1451. pp 483-491. Springer-Verlag
  (PDF)


• José M. Sempere and Antonio Fos.
  Learning Linear Grammars from Structural Information
  In Third International Colloquium ICGI-96 (Montpellier, France). 1996.
  Edited by L. Miclet and C. de la Higuera in LNAI Vol. 1147, pp 126-133. Springer-Verlag
  (PDF)


• José Ruiz and P. García.
  Learning k-piecewise testable languages from positive data
  In Third International Colloquium ICGI-96 (Montpellier, France). 1996.
  Edited by L. Miclet and C. de la Higuera in LNAI Vol. 1147, pp 203-210. Springer-Verlag
  (PDF)


• José M. Sempere and Pedro García.
  A Characterization of Even Linear Languages and its Application to the Learning Problem
  In Second International Colloquium, ICGI-94 (Alicante, Spain). 1994.
  Edited by R. Carrasco and J. Oncina in LNAI Vol. 862, pp 38-44. Springer-Verlag
  (PDF)


• José Ruiz and Pedro García.
  The Algorithms RT and k-TTI: a First Comparison
  In Second International Colloquium, ICGI-94 (Alicante, Spain). 1994.
  Edited by R. Carrasco and J. Oncina in LNAI Vol. 862, pp 180-188. Springer-Verlag
  (PDF)


• Pedro García, J. Oncina
  Inference of recognizable tree sets.
  Informe técnico DSIC-II/47/93, 1993.
  (PDF)


• Pedro García
  Learning k-Testable tree sets from positive data.
  Informe técnico DSIC-II/46/93, 1993.
  (PDF)


• José M. Sempere and Pedro García.
  A new regular language learning algorithm from lexicographically ordered samples
  In First International Colloquium, ICGI-93 (Essex, England). 1993.
  Proc. edited by Simon Lucas in IEE Digest No: 1993/092, pp 6.1-6.7. IEE.
  (PDF)


• J. Oncina, P. García, and E. Vidal.
  Learning subsequential transducers for pattern recognition interpretation tasks
  IEEE Transactions on Pattern Analysis and Machine Intelligence, 15(5):448-458, 1993.
  (PDF)


• J. Oncina and P. García.
  Inferring Regular Languages in Polynomial Updated Time
  In Pattern Recognition and Image Analysis.
  Vol. 1 of Machine Perception and Artificial Intelligence, pp 49-61. World Scientific, 1992.


• J. Oncina, P. García, and E. Vidal.
  Transducer learning in pattern recognition
  In 11th IAPR ICPR (The Hague, The Netherlands). 1992.
  Proc. Vol. 2, pp 299-302
  (Bib entry)


• P. García, E. Vidal and José Oncina.
  Learning Locally Testable Languages in the Strict Sense
  In Proceedings of the First International Workshop on Algorithmic Learning Theory, ALT-90 (Tokyo, Japan). 1990
  Edited by S. Arikawa, S. Goto, S. Ohsuga, T. Yokomory. pp 325-338. The Japanese Society for Artificial Intelligence. 1990.
  (PDF)


• P. García and E. Vidal.
  Inference of k-testables languages in the strict sense and applications to syntactic pattern recognition
  IEEE Transactions on Pattern Analysis and Machine Intelligence, 12(9):920-925, 1990
  (Bib entry)


• P. García, E. Segarra, E. Vidal, and I. Galiano.
  On the use of the morphic generator grammatical inference (MGGI) methodology in automatic speech recognition
  International Journal of Pattern Recognition and Artificial Intelligence, 4(4):667-685, 1990.
  (Bib entry)


• P. García, E. Vidal, and F. Casacuberta.
  Local languages, the succesor method, and a step towards a general methodology for the inference of regular grammars
  IEEE Transactions on Pattern Analysis and Machine Intelligence, 9(6):841-845, 1987
  (Bib entry)