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

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

2017

(2 publications)

2016

(1 publication)

2013

(2 publications)

2012

(1 publication)

2009

(1 publication)

2008

(1 publication)

2007

(1 publication)

2006

(1 publication)

2005

(1 publication)

Conference Articles

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