Dra. Concepción Vidal Martín  

Titular de universidade (TIT-UN)

Departamento Ciencias da Computación e Tecnoloxías da Información
Área Álxebra
Investigación  Grupo de investigación Information Retrieval Lab
Liñas de investigación Representación Lógica del Conocimiento. Programación Lógica. Razonamiento no monótono
Palabras chave Answer Set Programming, equilibrium model,
Avaliación de méritos docentes 6 quinquenio(s)
Avaliación de méritos de investigación 4 sexenio(s)
Contacto Directorio da UDC
Orcid id0000-0002-5561-6406 ResearcherIDABD-9547-2021 Scopus7101664033

Docencia

Docencia impartida

Neste apartado móstrase a docencia impartida en graos, másteres e resto de titulacións oficiais ata os últimos 6 anos.

Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos 0 10
Álxebra 0 17
Álxebra 0 20
Lóxica 0 5
Matemática Discreta 0 43
Matemática Discreta 0 60
Matemática Discreta 0 15
Prácticas en Empresa 0 0
Prácticas en Empresa 0 10
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 14
Álxebra
Grao en Enxeñaría Informática
0 11,5
Lóxica
Grao en Intelixencia Artificial
0 5
Matemática Discreta
Grao en Enxeñaría Informática
0 30
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
0 60
Matemática Discreta
Grao en Intelixencia Artificial
0 15
Prácticas en Empresa
Grao en Enxeñaría Informática
0 10
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 10
Álxebra
Grao en Enxeñaría Informática
0 30
Matemática Discreta
Grao en Enxeñaría Informática
0 33
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
0 60
Prácticas en Empresa
Grao en Enxeñaría Informática
0 10
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 12
Álxebra
Grao en Enxeñaría Informática
0 60
Matemática Discreta
Grao en Enxeñaría Informática
0 20
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
0 60
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 13
Álxebra
Grao en Enxeñaría Informática
0 30
Matemática Discreta
Grao en Enxeñaría Informática
0 71
Matemática Discreta
Grao en Ciencia e Enxeñaría de Datos
0 30
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
0 4
Materia e estudos en que se imparte Horas a distancia Horas totais
Algoritmos
Grao en Enxeñaría Informática
0 18
Álxebra
Grao en Enxeñaría Informática
0 45
Matemática Discreta
Grao en Enxeñaría Informática
0 60

Titorías definidas polo/a docente para o curso académico 2023/2024.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre luns
10:30 a 12:30
TEAMS o Despacho 4.10 (previo e-mail)
Primeiro cuadrimestre luns
17:00 a 19:00
TEAMS o Despacho 4.10 (previo e-mail)
Segundo cuadrimestre martes
17:00 a 18:30
TEAMS o Despacho 4.10 (previo e-mail)
Segundo cuadrimestre martes
11:30 a 12:30
TEAMS o Despacho 4.10 (previo e-mail)
Segundo cuadrimestre xoves
11:00 a 12:30
TEAMS o Despacho 4.10 (previo e-mail)
Segunda oportunidade martes
10:30 a 12:30
TEAMS o Despacho 4.10 (previo e-mail)

Traballos fin de grao e máster

Dirixidos ou codirixidos polo/a docente desde o ano 2013.

Resultados da investigación

Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC 2022

Entidade financiadora Consellería de Educación
Investigadores principais Álvaro Barreiro García
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2022 ata 20/11/2024

Razonamiento Automático y Aprendizaje con Inducción de Conocimiento

Entidade financiadora Ministerio de Ciencia e Innovación
Investigadores principais Pedro Cabalar Fernández/ José Santos Reyes
Tipo Proxecto Programas Nacionales
Datas Desde 01/09/2021 ata 31/08/2024

AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC

Entidade financiadora CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL
Investigadores principais ÁLVARO BARREIRO GARCÍA
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2019 ata 20/11/2021

RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principais Pedro Cabalar Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2018 ata 31/12/2020

Red de investigación IEMath-Galicia

Entidade financiadora Xunta de Galicia
Investigadores principais Juan José Nieto Roig
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2017 ata 31/12/2018

Xunta de Galicia (GPC ED431B 2016/035)

Entidade financiadora Xunta de Galicia
Investigadores principais Álvaro Barreiro García
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2017 ata 31/12/2018

Axudas para a acreditación, estruturación e mellora de centros de investigación singulares e agrupacións estratéxicas consolidadas do Sistema universitario de Galicia, cofinanciadas polo Fondo Europeo de Desenvolvemento Rexional (Feder), no marco do programa operativo Feder Galicia 2014-2020

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Manuel F. González Penedo
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2016 ata 30/11/2019

Red de Investigación IEMath-Galicia

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Juan José Nieto Roig
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2014 ata 31/12/2015

MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2014 ata 31/12/2016

Ayuda para la consolidación y estructuración de unidades de investigación competitivas

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Alvaro Barreiro García
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2013 ata 31/12/2015

Rede IEMath-Galicia (Programa de Consolidación y estructuración de unidades de investigación competitivas).

Entidade financiadora Xunta de Galicia
Investigadores principais Juan José Nieto Roig
Tipo Proxecto Programas Autonomicos
Datas Desde 01/01/2012 ata 30/11/2013

Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-

Entidade financiadora Ministerio de Economía y Competitividad
Investigadores principais José Pedro Cabalar Fernández
Tipo Proxecto Outros Programas
Datas Desde 01/01/2010 ata 31/12/2013

Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.

Entidade financiadora Dirección Xeral de Investigación, Desenvolvemento e Innovación
Tipo Proxecto Outros Programas
Datas Desde 01/01/2008 ata 31/10/2011

La Epistasis Generalizada en la optimización funcional

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 15/07/2003 ata 14/07/2005

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 05/11/2002 ata 05/11/2005

Diseño, construcción y validación de un sistema jerárquico de almacenamiento de alta capacidad de bajo coste de adquisición y funcionamiento : Cheap TB

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 28/09/2002 ata 27/09/2004

Diseños Adaptados y Algoritmos Genéticos

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 26/08/2000 ata 26/08/2002

Algoritmos genéticos: Epistasis y transformadas de Walsh

Tipo Proxecto Outros Programas
Datas Desde 28/04/1998 ata 28/04/1999

Algoritmos Genéticos. Aplicaciones a la economía

Tipo Proxecto Outros Programas
Datas Desde 01/01/1996 ata 01/01/1996

"Forgetting auxiliary atoms in forks"

Autores Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revista Artificial Intelligence Vol. 275 (páxs. 575 ata 601)

A Complete Planner for Temporal Answer Set Programming

Autores Pedro Cabalar, Concepción Vidal
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 11805 Núm. 2 (páxs. 520 ata 524)
DOI https://doi.org/10.1007/978-3-030-30244-3_43

Revisiting Explicit Negation in Answer Set Programming

Autores Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 19 Núm. 5-6 (páxs. 908 ata 924)
DOI https://doi.org/10.1017/s1471068419000267

Verification for ASP denotational semantics: A case study using the PVS theorem prover

Autores Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Revista LOGIC JOURNAL OF THE IGPL Vol. 25 Núm. 2 (páxs. 195 ata 213)
DOI https://doi.org/10.1093/jigpal/jzw060

Temporal logic programs with variables

Autores Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Núm. 2 (páxs. 226 ata 243)
DOI https://doi.org/10.1017/s1471068416000570

Temporal Equilibrium Logic with past operators

Autores Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Revista Journal of Applied Non-Classical Logics Vol. 27 Núm. 3-4 (páxs. 161 ata 177)
DOI https://doi.org/10.1080/11663081.2018.1427987

An infinitary encoding of equilibrium logic

Autores Pedro Cabalar, Concepción Vidal, Martin Diéguez Lodeiro
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (páxs. 666 ata 680)

A denotational semantics for equilibrium logic

Autores Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, David Pearce
Revista THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Núm. 4-5 (páxs. 620 ata 634)
DOI https://doi.org/10.1017/s1471068415000277

Temporal Equilibrium Logic: a survey

Autores Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Lodeiro
Revista Journal of Applied Non-Classical Logics Vol. 23 Núm. 1-2 (páxs. 2 ata 24)
DOI https://doi.org/10.1080/11663081.2013.798985

Integrating Temporal Extensions of Answer Set Programming

Autores Felicidad Aguado, Gilberto Pérez, Concepción Vidal
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 8148 (páxs. 23 ata 35)
DOI https://doi.org/10.1007/978-3-642-40564-8_3

Crossover operators for permutations equivalence between position and order-based crossover

Autores Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Lin, J
Revista LOGIC JOURNAL OF THE IGPL Vol. 19 Núm. 2 (páxs. 405 ata 414)

Loop Formulas for Splitable Temporal Logic Programs

Autores Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (páxs. 80 ata 92)
DOI https://doi.org/10.1007/978-3-642-20895-9_9

High order fucntions and Walsh coefficients revisited

Autores María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren
Revista BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 15 (páxs. 403 ata 408)

Higher Epistasis in Genetic Algorithms

Autores María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Revista BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 77 (páxs. 225 ata 243)

Strongly equivalent temporal logic programs

Autores Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (páxs. 8 ata 20)

Genetic algorithms in Coq: Generalization and formalization of the crossover operator

Autores Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal
Revista Journal of Formalized Reasoning (páxs. 25 ata 37)

The 2-epistasis of fitness functions

Autores María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Revista BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 76 (páxs. 397 ata 419)

Certified Genetic Algorithms: Crossover Operators for Permutations

Autores Felicidad Aguado, José Luis Doncel Juárez, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 282 ata 289)

Generalized Walsh Transforms and Epistasis

Autores María Teresa Iglesias Otero, Concepción Vidal, Alan Verschoren
Revista BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 13 (páxs. 55 ata 68)

Computing epistasis of Template Functions through Walsh Transforms

Autores María Teresa Iglesias Otero, Concepción Vidal, Alain Verschoren
Revista COMPUTING AND INFORMATICS Vol. 24 (páxs. 263 ata 279)

Multary Epistasis

Autores María Teresa Iglesias Otero, Concepción Vidal, Dominique Suys, Alain Verschoren
Revista BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN Vol. 8 Núm. - (páxs. 651 ata 671)

Epistasis and Unitation

Autores María Teresa Iglesias Otero, Concepción Vidal
Revista COMPUTERS AND ARTIFICIAL INTELLIGENCE Vol. 18 Núm. 5 (páxs. 467 ata 483)

An alternative approach to involutive Brauer Groups

Autores Concepción Vidal
Revista LECTURE NOTES IN PURE AND APPLIED MATHEMATICS Vol. 1 Núm. 197 (páxs. 311 ata 324)

Relatively noetherian rings, localization and sheaves, part III: Functional behaviour

Autores Concepción Vidal, A. Verschoren
Revista COMMUNICATIONS IN ALGEBRA Vol. 23 Núm. 7 (páxs. 2597 ata 2619)

Problemas resueltos de Combinatoria. Laboratorio con SageMath

Autores Felicidad Aguado, Felipe Gago Couso, Gilberto Pérez, Concepción Vidal, Manuel Ladra González, Ana Maria Vieites Rodriguez
Editorial Ediciones Paraninfo, SA, Madrid (España)
ISBN 978-84-283-4074-8

TEORIA DE GRAFOS: EJERCICIOS RESUELTOS Y PROPUESTOS. LABORATORIO CON SAGE

Autores Concepción Vidal, Ana Maria Vieites Rodriguez, Felicidad Aguado, Gilberto Pérez, Manuel Ladra González, Felipe Gago Couso
Editorial Ediciones Paraninfo S.A, Madrid (España)
ISBN 978-84-283-3707-6

Foundations of Generic Optimization. Volume 1: A combinatorial approach to epistasis.

Autores María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal
Editorial Springer, Dordrecht (Países Bajos)
ISBN 1-4020-3666-3

Localization and sheaves: a relative point of you. Pitman Research Notes in Mathematics Series

Autores Concepción Vidal, P. Jara, A. Verschoren
Editorial Longman, (Estados Unidos)
ISBN nodef-0548

Symmetric Closed Categories and Involutive Brauer Groups

Autores Concepción Vidal
Libro Ring Theory and Algebraic Geometry
Vol. - Edita Marcel Dekker.
ISBN: 0-8247-0559-9
Páxinas Desde a 325 ata a 339

Algoritmos genéticos generalizados. Variaciones sobre un tema.

Autor María Teresa Iglesias Otero
Director/es Concepción Vidal Martín;Alain Verschoren
Ámbito Computación
Cualificación Apto

Forgetting auxiliary atoms in forks
International Joint Conference on Artifical Intelligence 2020 (IJCAI)
Internacional

Autores Felicidad Aguado, Gilberto Pérez, cabalar, Jorge Fandinno, David Pearce, Concepción Vidal
Lugar Yokohama (Japón)

Explicit Negation in Linear-Dynamic Equilibrium Logic
24th European Conference on Artificial Intelligence (ECAI 2020)
Internacional

Autores Felicidad Aguado, cabalar, fandinno, Gilberto Pérez, Concepción Vidal
Lugar Santiago de Compostela (España)

A Complete Planner for Temporal Answer Set Programming
19th EPIA Conference on Artificial Intelligence, EPIA 2019
Internacional

Autores Pedro Cabalar, Manuel Rey, Concepción Vidal
Lugar Vila Real (Portugal)

Revisiting Explicit Negation in Answer Set Programming
35th International Conference on Logic Programming (ICLP 2019)
Internacional

Autores Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Organizador Association for Logic Programming
Lugar Las Cruces, New Mexico (Estados Unidos)

Forgetting Auxiliary Atoms in Forks
10th Workshop on Answer Set Programming and Other Computing Paradigms, co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017
Internacional

Autores Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Lugar Espoo (Finlandia)

An infinitary encoding of temporal equilibrium logic
International Conference of Logic Programming ICLP 2015
Internacional

Autores Pedro Cabalar, Martín Diéguez Lodeiro, Concepción Vidal
Organizador Association for Logic Programming
Lugar Cork (Irlanda)

A denotational semantics for equilibrium logic
International Conference of Logic Programming ICLP 2015
Internacional

Autores Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
Organizador Association for Logic Programming
Lugar Cork (Irlanda)

Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
Internacional

Autores Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Lugar Coruña, A (España)

Integrating Temporal Extensions of Answer Set Programming
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)
Internacional

Autores Concepción Vidal, Felicidad Aguado, Gilberto Pérez
Lugar Coruña, A (España)

Paving the way for temporal grounding
28th International Conference on Logic Programming ICLP 2012
Internacional

Autores Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal
Organizador International Conference on Logic Programming ICLP
Lugar Budapest (Hungría)

Fórmulas de ciclo para programas lógicos temporales: una primera aproximación
RSME 11
Nacional

Autores Gilberto Pérez, Felicidad Aguado, Concepción Vidal
Organizador Real Sociedad Matemática Española
Lugar Ávila (España)

Crossover Operators for Permutations. Equivalence between Position and Order Based Crossover
9th International Conference Computational and Mathematical Methods in Science and Engineering (CMMSE 2009)
Internacional

Autores Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal
Lugar Gijón (España)

Deception, order and epistasis
GEM 2008 - The 2008 International Conference on Genetic and Evolutionary Methods (WORLDCOMP¿08)
Internacional

Autores Concepción Vidal, María Teresa Iglesias Otero, Alain Verschoren
Lugar Las Vegas (Estados Unidos)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional

Autores Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

Generalización de los cruces basados en el orden y en la posición. Una implementación verificada
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional

Autores Felicidad Aguado, Lin, J, Gilberto Pérez, Concepción Vidal, Ana Maria Vieites Rodriguez
Lugar San José (Costa Rica)

Some features about the convergence of a genetic algoritm
ICM2006, International Congress of Mathematicians
Internacional

Autores María Teresa Iglesias Otero, Matilde Ríos, Concepción Vidal
Lugar Madrid (España)

Some features about the convergence process of a Genetic Algorithm.
International Congress of Mathematicians ICM 2006
Internacional

Autores María Teresa Iglesias Otero, Matilde Ríos Fachal, Concepción Vidal
Lugar Madrid (España)

Walsh Transforms, Balanced Sum Theorems and Partition Coefficients over Multary Alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
Internacional

Autores María Teresa Iglesias Otero, Bart Naudts, Alain Verschoren, Concepción Vidal
Lugar Washington (Estados Unidos)

La varianza epistática como medida de optimización en el empleo de Algoritmos Genéticos
I Congreso de Estatística e Investigação Operacional da Galiza e Norte de Portugal
Internacional

Autores Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal
Lugar Guimaraes (Portugal)

La varianza epistática como medida de optimización en el empleo de Algoritimos genéticos.
I Congreso de Estadística e Investigaçao Operacional de Galiza e Norte de Portugal VI Congreso Galego de Estadística e Investigación de Operacións
Internacional

Autores Matilde Ríos Fachal, María Teresa Iglesias Otero, Manuel Antonio Presedo Quindimil, Concepción Vidal
Lugar Guimaraes (Portugal)

Walsh transforms, balance sum theorems and partition coefficients over multary alphabets
GECCO 2005. Genetic Evolutionary Computation Conference
Internacional

Autores María Teresa Iglesias Otero, Bart Naudths, Alain Verschoren, Concepción Vidal
Lugar Washington (Estados Unidos)

Computing epistasis of template functions with the hyperplane averaging theorem
Meeting on linear algebra and applications (EALA)
Internacional

Autores María Teresa Iglesias Otero, Vicente Suárez Peñaranda, Concepción Vidal, Alain Verschoren
Lugar Caparica (Portugal)

Template functions and their Epistasis
MS'2000 International Conference on Modelling and Simulation
Internacional

Autores María Teresa Iglesias Otero, Alain Verschoren, Concepción Vidal
Lugar España

Computing epistasis through Walsh transforms
Quinto Encuentro de Algebra Computacional y Aplicaciones EACA 99
Nacional

Autores María Teresa Iglesias Otero, Concepción Vidal
Lugar Santa Cruz de Tenerife (España)

A global approach to schemata
International Conference on Intelligent Technologies in Human-related. Sciences
Internacional

Autores Concepción Vidal, María Teresa Iglesias Otero
Lugar León (España)

Some results on localization of algebras over Krull domains
Fourth Week on Algebra and Algebraic Geometry (SAGA 4)
Internacional

Autores Concepción Vidal
Lugar Amberes (Bélgica)

Structure sheaves over locally noetherian rings
Congreso Internacional de Teoría de Anillos
Internacional

Autores Concepción Vidal, A. Verschoren
Lugar Almería (España)

Cargos

Cargos académicos ou de xestión para o/a docente.

Claustro

Profesorado doutor con vinculación permanente

Desde 15/03/2023.

Xunta da Facultade de Informática

PDI (Membros Natos)

Desde 15/03/2023.

Consello do Departamento Ciencias da Computación e Tecnoloxías da Información

PDI (Membros Natos)

Desde 15/03/2023.

Xunta da Facultade de Informática

PDI (Membros Natos)

Desde 10/03/2021 ata 14/03/2023.

Consello do Departamento Ciencias da Computación e Tecnoloxías da Información

PDI (Membros Natos)

Desde 10/03/2021 ata 14/03/2023.

Computación

Secretaria

Desde 17/03/2014 ata 05/04/2017.

Computación

Secretaria