People

Pedro Quaresma

Address

Pedro Quaresma
Departamento de Matematica
Faculdade de Ciencias e Tecnologia
Universidade de Coimbra
Apartado 3008
3001-454 COIMBRA

Email

Home Page

http://www.mat.uc.pt/~pedro

CV Short


CV Long


Member

Cognitive and Media Systems

Research interests

Logic, Automated Reasoning.
Algebraic Specification.

Affiliation

Departamento de Matematica

Past Projects

iCIS - Intelligent Computing in the Internet of Services




Books

Journal Articles

2020

(1 publication)

2019

(2 publications)

2018

(3 publications)

2017

(2 publications)

2013

(2 publications)

2012

(1 publication)

2009

(1 publication)

2008

(1 publication)

2007

(1 publication)

2006

(1 publication)

2005

(1 publication)

Conference Articles

2019

(1 publication)

2018

(4 publications)

2016

(1 publication)

2015

(2 publications)

2014

(3 publications)

2013

(2 publications)

2012

(3 publications)

2011

(1 publication)

2010

(1 publication)

2008

(1 publication)

2007

(2 publications)

2006

(5 publications)

2002

(1 publication)

2001

(2 publications)

1995

(1 publication)

1986

(1 publication)

Edited Books

Book Chapters

PhD Theses

MSc Theses

Tech Report