Departamento de Informática (UM)

Página institucional

956

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

956

Olga Maria Gomes Martins Pacheco

Prof. Auxiliar

Lógica e Métodos Formais

E-mail
Ext.: +604445

E7-2.26

Qualificações: 2002 - Doutoramento em Fundamentos da Computação (U. Minho)

Página pessoal: http://www.di.uminho.pt/~omp/

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • Olga Pacheco: Normative Specification: A Tool for Trust and Security. Formal Aspects in Security and Trust 2005: 187-202
  • Olga Pacheco, Filipe Santos: Delegation in a Role-Based Organization. DEON 2004: 209-227
  • Olga Pacheco, José Carmo: A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Autonomous Agents and Multi-Agent Systems 6(2): 145-184 (2003)
  • José Carmo, Olga Pacheco: Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles. Fundamenta Informatica 48(2-3): 129-163 (2001)

Projetos

S/I

Docência

Regências:

Aulas:

  • Cálculo de Programas [8504P3]: turnos TP 1 e TP 2
  • Laboratórios de Informática I [J301N6]: turnos PL 1 e PL 2
  • Algoritmos e Complexidade [J303N6]: turno TP 7
  • Cálculo de Programas [J305N1]: turnos TP 1 e TP 3

Serviço

S/I

[ Quadro de todo o pessoal do DIUM ]