Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Pedro Quaresma

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mkm/QuaresmaSB13
- ask others
Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue: The Web Geometry Laboratory Project. MKM/Calculemus/DML 2013: 364-368
[e2]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mkm/2013ws
- ask others
Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-5703
- ask others
Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue: The Web Geometry Laboratory Project. CoRR abs/1305.5703 (2013)
2012
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/JanicicNQ12
- ask others
Predrag Janicic, Julien Narboux, Pedro Quaresma: The Area Method - A Recapitulation. J. Autom. Reasoning 48(4): 489-532 (2012)
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1207-2511
- ask others
Pedro Quaresma: An XML-Format for Conjectures in Geometry (Work-in-Progress). CoRR abs/1207.2511 (2012)
2011
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-4833
- ask others
Vanda Santos, Pedro Quaresma: Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment. THedu'11 2011: 111-123
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-4535
- ask others
Pedro Quaresma, Ralph-Johan Back (Eds.): Proceedings First Workshop on CTP Components for Educational Software. EPTCS 79, 2011
2010
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adg/Quaresma10
- ask others
Pedro Quaresma: Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). Automated Deduction in Geometry 2010: 169-181

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalt/SantosQ08
- ask others
Vanda Santos, Pedro Quaresma: E-Learning Course for Euclidean Geometry. ICALT 2008: 387-388
2007
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/QuaresmaJ07
- ask others
Pedro Quaresma, Predrag Janicic: GeoThms - a Web System for Euclidean Constructive Geometry. Electr. Notes Theor. Comput. Sci. 174(2): 35-48 (2007)
2006
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adg/JanicicQ06
- ask others
Predrag Janicic, Pedro Quaresma: Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Automated Deduction in Geometry 2006: 39-51
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/JanicicQ06
- ask others
Predrag Janicic, Pedro Quaresma: System Description: GCLCprover + GeoThms. IJCAR 2006: 145-150
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mkm/QuaresmaJ06
- ask others
Pedro Quaresma, Predrag Janicic: Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. MKM 2006: 280-294