| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
956 | Olga Maria Gomes Martins Pacheco | Prof. Auxiliar | Lógica e Métodos Formais | E-mail
Ext.: +604445 | E7-2.26 |
Qualificações: 1993 - Mestrado em Fundamentos da Computação (U. Minho); 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
- Cálculo de Programas [H503O5]: turnos TP 1 e TP 3
- Programação Funcional [J301N4]: turnos TP 5 e TP 6
- Laboratórios de Informática I [J301N6]: turnos PL 1 e PL 2
- Cálculo de Programas [J305N1]: turnos TP 3 e TP 4
|
Serviço | S/I |
Departamento de Informática (UM)