Ficha Curricular de Docente - Sistema de Informação A3ES
http://www.a3es.pt/si/iportal.php/cv/cef
Ficha Curricular do Docente / Academic Staff Curricular File
Dados Pessoais / Personal data
Nome / Name
Vitor Manuel Beires Pinto Nog ueira
Unidade Org ânica / Unit
Departamento de Informática, Universidade de Évora
Categ oria / Categ ory
Professor Auxiliar
Reg ime de tempo / Employment Reg ime
Tempo integ ral
Formação Académica / Academic Training
Ano / Year
1994
2001
2009
Grau / Deg ree
Licenciatura
Mestrado
Doutoramento
Área / Area
Instituição / Institution
Classif. / Mark
Matemática Aplicada - RamoUniversidade
C
do Porto
Intelig ência Articial Aplicada
U niversidade Nova de Lisboa
Informática
Universidade de Évora
15 valores
Muito Bom por Unani
Aprovado com distinç
Inv estigação e/ou activ idades de desenv olv imento profissional de alto nív el relev antes (5 referências)
Relev ant research and/or high lev el professional dev elopment activ ities (5 references)
Vitor Nog ueira Salvador Abreu and Daniel Diaz. On structuring contextual log ic prog ramming . In Proceeding s of the
Conference on Compilers, Related Technolog ies and Applications (CoRTA 2009), September 2009.
Vitor Nog ueira and Salvador Abreu. Temporal contextual log ic prog ramming . Electr. Notes Theor. Comput. Sci., 177:219–233,
2007.
Vitor Nog ueira and Salvador Abreu. Integ rating temporal annotations in a modular log ic lang uag e, INAP 2007
Vitor Nog ueira and Salvador Abreu. Temporal Annotations for a Contextual Log ic Prog ramming Lang uag e. In José Neves,
Manuel Santos, and José M achado, editors, Prog ress in Articial Intellig ence, 13th Portug uese Conference on Articial
Intellig ence, EPIA 2007, Universidade do Minho, 2007.
Vitor Nog ueira and Salvador Abreu. M odularity and temporal reasoning : a log ic prog ramming approach. In Time. IEEE
Computer Society, 2007.
Experiência Profissional Relev ante (5 referências) / Relev ant Professional Experience (5 references)
Prog rammer at M inistério dos Neg ócios Estrang eiros
Project participation: Acropole, M ental and Tarde
Conference org anizing committee: AGP 2001, XATA 2008, INAP 2009
Conference prog ram committee: AGP 2009
Paper review: EPIA 2001, Eunis 2002, IBERAM IA/SBIA 2006, XATA 2006, ICLP 2008, ICLP 2009, XATA 2009
Distribuição de serv iço anual / Annual academic serv ice allocation
Unidade Curricular / Curricular Unit (module)
Prog ramação I
Prog ramação Declarativa
Computação Ubí q ua
Tópicos de Bases de Dados II
1 of 1
Tipo / Type
Licenciatura
Licenciatura
Mestrado
Licenciatura
Horas por semana
Hours per week
6
4
4
2
27/11/09 16:51