@book{cisuc-537-1996,
author={Quaresma, P. },
title={Introdução ao LaTeX},
publisher={Escolar Editora},
edition={n/a},
isbn={972-592-091-0},
year=1996,
address={n/a},
}
@article{cisuc-6081-2020,
author={Quaresma, P. and Vanda Santos and Graziani, P. and Baeta, N. },
title={Taxonomies of Geometric Problems},
journal={Journal of Symbolic Computation},
volume={97},
number={n/a},
pages={31--55},
year=2020,
address={n/a},
}
@article{cisuc-6080-2019,
author={Vanda Santos and Baeta, N. and Quaresma, P. },
title={Geometrography in Dynamic Geometry},
journal={The International Journal for Technology in Mathematics Education},
volume={26},
pages={n/a},
number={2},
year=2019,
address={n/a},
}
@article{cisuc-6083-2019,
author={Baeta, N. and Quaresma, P. },
title={Ranking Geometric Automated Theorem Provers},
journal={Electronic Proceedings in Theoretical Computer Science},
volume={290},
number={n/a},
pages={30--37},
year=2019,
address={n/a},
}
@article{cisuc-4847-2018,
author={Vanda Santos and Quaresma, P. and Maric, M. and Campos, H. },
title={Web Geometry Laboratory: Case Studies in Portugal and Serbia},
journal={INTERACTIVE LEARNING ENVIRONMENTS},
volume={26},
number={1},
pages={3--21},
year=2018,
address={n/a},
}
@article{cisuc-5205-2018,
author={Quaresma, P. and Vanda Santos and Maric, M. },
title={WGL, a Web Laboratory for Geometry},
editor={Springer US},
journal={Education and Information Technologies},
volume={23},
number={1},
pages={232--257},
year=2018,
address={n/a},
}
@article{cisuc-5713-2018,
author={Quaresma, P. and Vanda Santos and Baeta, N. },
title={Exchange of Geometric Information Between Applications},
journal={EPTCS},
volume={267},
number={n/a},
pages={108--119},
year=2018,
address={n/a},
}
@article{cisuc-5233-2017,
author={Quaresma, P. },
title={Towards an Intelligent and Dynamic Geometry Book},
journal={Mathematics in Computer Science},
volume={11},
number={3},
pages={427--437},
year=2017,
address={n/a},
}
@article{cisuc-5712-2017,
author={Vanda Santos and Quaresma, P. },
title={Laboratório de geometria na rede (WGL) em contexto de trabalho de casa},
editor={Celina A. A. Pereira Abar },
journal={Revista do Instituto GeoGebra Internacional de São Paulo},
volume={6},
number={2},
pages={93--112},
year=2017,
address={n/a},
}
@article{cisuc-3725-2013,
author={Vanda Santos and Quaresma, P. },
title={Plataforma Colaborativa para a Geometria},
editor={Teresa Bettencourt },
journal={Indagatio Didactica},
volume={5},
number={1},
pages={31--39},
year=2013,
address={n/a},
}
@article{cisuc-3726-2013,
author={Vanda Santos and Quaresma, P. },
title={Collaborative Aspects of the WGL Project},
journal={Electronic Journal of Mathematics & Technology,},
volume={7},
pages={n/a},
number={6},
year=2013,
address={n/a},
}
@article{cisuc-2473-2012,
author={Janicic, P. and Narboux, J. and Quaresma, P. },
title={The Area Method: a Recapitulation},
journal={Journal of Automated Reasoning},
volume={48},
number={4},
pages={489--532},
year=2012,
address={n/a},
}
@article{cisuc-2132-2009,
author={Quaresma, P. and Pinho, A. },
title={Criptoanálise},
journal={Gazeta de Matemática},
number={157},
pages={22--31},
year=2009,
address={n/a},
}
@article{cisuc-1675-2008,
author={Quaresma, P. and Lopes, E. },
title={Criptografia},
editor={SPM},
journal={Gazeta de Matemática},
number={154},
pages={7--11},
year=2008,
address={n/a},
}
@article{cisuc-1450-2007,
author={Quaresma, P. and Janicic, P. },
title={GeoThms --- a Web System for Euclidean Constructive Geometry},
editor={Elsevier},
journal={Electronic Notes in Theoretical Computer Science},
volume={174},
number={2},
pages={35--48},
year=2007,
address={n/a},
}
@article{cisuc-1259-2006,
author={Quaresma, P. and Pereira, A. },
title={Visualização de Construções Geométricas},
editor={Sociedade Portuguesa de Matemática},
journal={Gazeta de Matemática},
pages={n/a},
number={150},
year=2006,
address={n/a},
}
@article{cisuc-1100-2005,
author={Quaresma, P. },
title={Stacks in TeX},
editor={TeX User Group},
journal={TUGboat},
volume={26},
number={1},
pages={7--9},
year=2005,
address={n/a},
}
@inproceedings{cisuc-6087-2019,
author={Davenport, J. and Fleuriot, j. and Quaresma, P. and Recio, T. and Wang, D. },
title={Intelligent GeometryTools},
booktitle={Automated Reasoning: Challenges,  Applications, Directions, Exemplary Achievements (ARCADE2019)},
year=2019,
address={n/a},
}
@inproceedings{cisuc-5628-2018,
author={Quaresma, P. },
title={Automatic Deduction in an AI Geometry Book},
booktitle={https://doi.org/10.1007/978-3-319-99957-9},
year=2018,
address={n/a},
}
@inproceedings{cisuc-5629-2018,
author={Haralambous, Y. and Quaresma, P. },
title={Geometric Search in TGTP},
booktitle={Proceedings of the 12th International Conference on Automated Deduction in Geometry},
year=2018,
address={n/a},
}
@inproceedings{cisuc-5630-2018,
author={Quaresma, P. and Vanda Santos and Baeta, N. },
title={Exchange of Geometric Information Between Applications},
booktitle={7th International Workshop on Theorem proving components for Educational software},
year=2018,
address={n/a},
}
@inproceedings{cisuc-6082-2018,
author={Quaresma, P. },
title={Automatic Deduction in an AI Geometry Book},
booktitle={13th International Conference on Artificial Intelligence and Symbolic Computation},
year=2018,
address={n/a},
}
@inproceedings{cisuc-4850-2016,
author={Quaresma, P. and Vanda Santos },
title={Visual Geometry Proofs in a Learning Context},
booktitle={Workshop on Theorem proving components for Educational software (ThEdu'15)},
year=2016,
address={n/a},
}
@inproceedings{cisuc-4522-2015,
author={Quaresma, P. and Baeta, N. },
title={Current Status of the I2GATP common format},
booktitle={Automated Deduction in Geometry (ADG2014)},
year=2015,
address={n/a},
}
@inproceedings{cisuc-4851-2015,
author={Quaresma, P. and Vanda Santos and Maric, M. },
title={A Web Environment for Geometry},
booktitle={CICM 2015, Conference on Intelligent Computer Mathematics},
year=2015,
address={n/a},
}
@inproceedings{cisuc-3964-2014,
author={Haralambous, Y. and Quaresma, P. },
title={Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices},
booktitle={Conferences on Intelligent Computer Mathematics, CICM 2014, 7-11 July 2014, University Coimbra, Portugal. pe},
year=2014,
address={n/a},
}
@inproceedings{cisuc-3965-2014,
author={Quaresma, P. and Vanda Santos and Moral, J. },
title={Reproducing a Geometric Working Session},
booktitle={Conferences on Intelligent Computer Mathematics, CICM 2014, 7-11 July 2014, University Coimbra, Portugal.},
year=2014,
address={n/a},
}
@inproceedings{cisuc-3966-2014,
author={Quaresma, P. and Baeta, N. },
title={Current Status of the I2GATP Common Format},
booktitle={10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal. },
year=2014,
address={n/a},
}
@inproceedings{cisuc-3468-2013,
author={Quaresma, P. and Vanda Santos and Bouallegue, S. },
title={The Web Geometry Laboratory Project},
booktitle={Conferences on Intelligent Computer Mathematics (CICM2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3494-2013,
author={Baeta, N. and Quaresma, P. },
title={The full angle method on the OpenGeoProver},
booktitle={ThEdu'13, TP Components for Educational Software},
year=2013,
address={n/a},
}
@inproceedings{cisuc-2634-2012,
author={Vanda Santos and Quaresma, P. },
title={Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment,},
booktitle={THedu'11},
year=2012,
address={n/a},
}
@inproceedings{cisuc-3008-2012,
author={Quaresma, P. },
title={An XML-Format for Conjectures in Geometry, (Work-in-Progress)},
booktitle={Conferences on Intelligent Computer Mathematics, CICM 2012},
year=2012,
address={n/a},
}
@inproceedings{cisuc-3467-2012,
author={Quaresma, P. and Haralambous, Y. },
title={Geometry Construction Recognition by the Use of Semantic Graphs},
booktitle={18th edition of the Portuguese Conference on Pattern Recognitionped},
year=2012,
address={n/a},
}
@inproceedings{cisuc-2475-2011,
author={Quaresma, P. },
title={TGTP - Thousand of Geometric problems for Theorem Provers},
booktitle={Workshop on Automated Deduction in Geometry},
year=2011,
address={n/a},
}
@inproceedings{cisuc-2428-2010,
author={Vanda Santos and Quaresma, P. },
title={Laboratório de Geometria na Rede},
booktitle={Congresso Iberoamericano de Informática Educativa, IE 2010},
year=2010,
address={n/a},
}
@inproceedings{cisuc-1748-2008,
author={Vanda Santos and Quaresma, P. },
title={e-Learning Course for Euclidean Geometry},
booktitle={The 8th IEEE International Conference on Advanced Learning Technologies},
year=2008,
address={n/a},
}
@inproceedings{cisuc-1630-2007,
author={Quaresma, P. and Pinho, A. },
title={Análise de Frequências da Língua Portuguesa},
booktitle={Conferência Ibero-Americana InterTIC 2007},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1631-2007,
author={Quaresma, P. },
title={Construção Dinâmica de Documentos PDF em Páginas Web},
booktitle={Conferência Ibero-Americana InterTIC 2007},
year=2007,
address={n/a},
}
@inproceedings{cisuc-1138-2006,
author={Quaresma, P. and Janicic, P. },
booktitle={n/a},
title={Framework for Constructive Geometry (Based on the Area Method)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1257-2006,
author={Quaresma, P. and Janicic, P. },
title={Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories},
booktitle={5th International Conference on Mathematical Knowledge Management (MKM06)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1258-2006,
author={Janicic, P. and Quaresma, P. },
title={System Description: GCLCprover + GeoThms},
booktitle={3rd International Joint Conference on Automated Reasoning

3rd International Joint Conference on Automated Reasoning},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1329-2006,
author={Quaresma, P. and Janicic, P. },
title={Automatic Verification of Regular Constructions in Dynamic Geometry Systems},
booktitle={Automated Deduction in Geometry},
year=2006,
address={n/a},
}
@inproceedings{cisuc-1874-2006,
author={Quaresma, P. and Janicic, P. and Tomasevic, J. and Vujovevi-Janicic, M. and Tosic, D. },
title={XML-based Format for Geometry},
booktitle={Communicating Mathematics in the Digital Era},
year=2006,
address={n/a},
}
@inproceedings{cisuc-538-2002,
author={Quaresma, P. },
title={Construção Modular de Sistemas de Dedução},
booktitle={CISCI2002},
year=2002,
address={n/a},
}
@inproceedings{cisuc-539-2001,
author={Quaresma, P. },
title={The Electronic Publishing Toolbox},
booktitle={Electronic Media in Mathematics},
year=2001,
address={n/a},
}
@inproceedings{cisuc-540-2001,
author={Quaresma, P. },
title={DCpic, Commutative Diagrams in a (La)TeX Document},
booktitle={EuroTeX 2001},
year=2001,
address={n/a},
}
@inproceedings{cisuc-535-1995,
author={Quaresma, P. },
title={Implementing a Deduction System for a Guarded Commands Procedural Language using a Generic Theorem Prover},
booktitle={11th ISAI},
year=1995,
address={n/a},
}
@inproceedings{cisuc-536-1986,
author={Quaresma, P. and Martins, L. },
title={A Factorização de Equações numa Aprendizagem Assistida por Computador},
booktitle={Segundo Encontro Português de Inteligência Artificial},
year=1986,
address={n/a},
}
@proceedings{cisuc-6079-2019,
author={Quaresma, P. and Neuper, W. },
title={7th International Workshop on Theorem proving components for Educational software},
publisher={EPTCS},
volume={290},
edition={1},
year=2019,
address={n/a},
}
@proceedings{cisuc-5688-2018,
author={Quaresma, P. and Neuper, W. },
title={6th International Workshop on Theorem proving components for Educational software},
publisher={EPTCS},
volume={267},
edition={1},
year=2018,
address={n/a},
}
@proceedings{cisuc-4852-2017,
author={Autexier, S. and Quaresma, P. },
title={12th Workshop on User Interfaces for Theorem Provers},
publisher={Electronic Proceedings in Theoretical Computer Science ( Open Publishing Association)},
volume={239},
edition={1},
year=2017,
address={n/a},
}
@proceedings{cisuc-4523-2015,
author={Botana, F. and Quaresma, P. },
title={Automated Deduction in Geometry, ADG14},
publisher={Springer},
volume={9201},
edition={1st},
isbn={978-3-319-21361-3},
year=2015,
address={n/a},
}
@proceedings{cisuc-3493-2013,
author={Lange, C. and Aspinall, D. and Carette, J. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Quaresma, P. and Rabe, F. and Sojka, P. and Whiteside, I. and Windsteiger, W. },
title={Workshops and Work in Progress at CICM 2013},
publisher={CEUR-WS},
volume={1010},
edition={1},
year=2013,
address={n/a},
}
@proceedings{cisuc-3466-2011,
author={Quaresma, P. and Back, R. },
title={First Workshop on CTP Components for Educational Software},
publisher={Electronic Proceedings in Theoretical Computer Science},
volume={79},
edition={1},
year=2011,
address={n/a},
}
@proceedings{cisuc-337-2003,
author={Quaresma, P. and António Dourado and Costa, E. and JFCosta, . },
publisher={n/a},
title={Soft Computing and Complex Systems},
volume={1},
edition={1},
year=2003,
address={n/a},
}
@inbook{cisuc-6090-2019,
author={Quaresma, P. and Vanda Santos },
title={Computer-generated Geometry Proofs in a Learning Context},
chapter={10},
publisher={Springer},
booktitle={Proof Technology in Research and Teaching},
volume={1},
edition={1},
pages={237--253},
year=2019,
address={n/a},
}
@inbook{cisuc-6092-2019,
author={Quaresma, P. },
title={Ferramentas Inteligentes para a Geometria},
chapter={7},
publisher={UMinho Editora},
booktitle={Alan Turing: Cientista Universal},
volume={1},
edition={1},
pages={165--200},
year=2019,
address={n/a},
}
@inbook{cisuc-4848-2015,
author={Vanda Santos and Quaresma, P. },
title={A Collaborative Environment for Dynamic Geometry Software},
chapter={1},
publisher={International Frequency Sensor Association Publishing},
booktitle={Online Experimentation: Emergent Technologies and IoT},
volume={1},
edition={1},
pages={33--46},
year=2015,
address={n/a},
}
@inbook{cisuc-2427-2010,
author={Vanda Santos and Quaresma, P. },
booktitle={n/a},
title={Advances in Learning Processes},
editor={Mary Beth Rosson},
chapter={Adaptative Learning},
publisher={In-teh},
pages={710},
year=2010,
address={n/a},
}
@inbook{cisuc-1983-2008,
author={Quaresma, P. and Janicic, P. and Tomasevic, J. and Vujovevi-Janicic, M. and Tosic, D. },
title={XML-based Format for Geometry},
editor={J.M. Borwein, E.M. Rocha and J.F. Rodrigues},
chapter={2},
publisher={A.K.Peters, Ltd},
booktitle={Communicating Mathematics in The Digital Era},
pages={183--197},
year=2008,
address={n/a},
}
@techreport{cisuc-6094-2019,
author={Quaresma, P. and Baeta, N. },
title={Geometry Automated Theorem Provers Systems Competition 0.2 Report},
number={CISUC Technical Report, TR2019-001},
year=2019,
address={n/a},
}
@techreport{cisuc-4853-2016,
author={Quaresma, P. and Neuper, W. },
title={Proceedings of Workshop on CTP Components for Educational Software (THedu'15)},
number={2016-001},
year=2016,
address={n/a},
}
@techreport{cisuc-3967-2014,
author={Paiva, V.d. and Neuper, W. and Quaresma, P. and Retoré, C. and Moss, L.S. and Saludes, J. },
title={Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS'14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014)},
number={CISUC TR 2014/02, ISSN 0874-338X},
year=2014,
address={n/a},
}
@techreport{cisuc-3968-2014,
author={Botana, F. and Quaresma, P. },
title={Preliminary Proceedings of the ADG 2014, 10th International Workshop on Automated Deduction in Geometry},
number={TR 2014/01},
year=2014,
address={n/a},
}
@techreport{cisuc-3969-2014,
author={England, M. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Neuper, W. and Quaresma, P. and Sexton, A.P. and Sojka, P. and Urban, J. and Watt, S.M. },
title={Proceedings of the Workshops and Work in Progress at CICM 2014},
number={CEUR 1186, ISSN 1613-0073},
year=2014,
address={n/a},
}
@techreport{cisuc-2135-2009,
author={Quaresma, P. and Schreye, D.D. },
title={Preliminary Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009},
number={2009/004},
year=2009,
address={n/a},
}
@techreport{cisuc-2136-2009,
author={Quaresma, P. and Janicic, P. },
title={The Area Method, Rigorous Proofs of Lemmas in Hilbert\'s Style Axiom System},
number={2009/006},
year=2009,
address={n/a},
}
@techreport{cisuc-1213-2006,
author={Quaresma, P. and Janicic, P. },
title={GeoThms - Geometry Framework},
number={2006/002},
year=2006,
address={n/a},
}
@techreport{cisuc-97-2002,
author={Quaresma, P. },
title={Logical Specification of Commutative Diagrams in a (La)TeX Document},
year=2002,
address={n/a},
}