Research Group on Computation Models and Formal Languages

Activities

Members

Publications

Projects

Links

Call for Papers

Current projects

Redes de Procesadores Bio-Inspirados: Resultados teóricos, implementación hardware/bioware, desarrollo software y solución para aplicaciones (TIN2011-28260-C03-01)

Concluded projects

Acción Complementaria: Creación de una Red Temática en Computación Biomolecular y Biocelular (TIN2008-04487-E/TIN)
Acción Integrada: Grupos, Autómatas y Topología Profinita (HF2008-0009)
Técnicas de Inferencia Gramatical y aplicación al procesamiento de biosecuencias (TIN2007-60769) (www)
Aplicaciones de técnicas de inferencia gramatical a la bioinformática (GV06/068) (www)
Exploraciones en autómatas finitos biomoleculares (TIC2003-09319-C03-02) (www)