Departamento de Informática (UM)

Página institucional

	N.Mec.	Nome	Categoria	Grupo Científico-Pedagógico	Contactos	Espaço
	12955	André Manuel Resende Sequeira	Ass. Convidado	Lógica e Métodos Formais	E-mail	E7-2.17
	Qualificações: 2021 - Mestrado em Engenharia Física (U.Minho)			Página pessoal:
Investigação	Centro	HASLab	Repositórios	ORCID \| Scopus \| DBLP
	Publicações selecionadas		André Sequeira, Luís Paulo Santos, Luís Soares Barbosa: Quantum Tree-Based Planning. IEEE Access 9: 125416-125427 (2021) André Sequeira, Luís Paulo Santos, Luís Soares Barbosa: Generalised Quantum Tree Search. Q-SE@ICSE 2021: 39-40
	Projetos	S/I
Docência	Regências: Nenhuma atribuída actualmente			Aulas: Interação e Concorrência [8506O7]: turno TP 1 Ciência de Dados Quântica [ME80ME8002006777]: turno TP 1
Serviço	S/I