CISUC

Tech Reports

- TR 2017-001 (Computing and Updating Hypervolume Contributions in Up to Four Dimensions)
- TR 2016-001 (Proceedings of the 4th International Workshop on Theorem proving components for Educational software
Affliated to CICM 2015)
- TR 2015-002 (Recovering a labeling algorithm for the disjoint-set problem to improve Kruskal's eciency on dense graphs)
- TR 2015-001 (Studying the Properties of Structured Grammatical Evolution)
- TR 2014-004 (Actas da  “Videojogos2013” - Conferência de Ciências e Artes dos Videojogos Arte em Jogo)
- TR 2014-003 (Design and Development of a Fault-Tolerant Multi-Threaded Acceptor-Connector Design Pattern)
- TR 2014-002 (Joint Proceedings NLCS 2014 & NLSR 2014)
- TR 2014-001 (Preliminary Proceedings ADG 2014)
- TR 2013-004
- TR 2013-003
- TR 2013-002
- TR 2013-001
- TR 2011-003
- TR 2011-002
- TR 2011-001 (Preliminary Proceedings ThEdu'11)
- TR 2010-002
- TR 2010-001
- TR 2009-006 (The Area Method, Rigorous Proofs of Lemmas in Hilbert’s Style Axiom System)
- TR 2009-004 (Preliminary Proceedings LOPSTR 2009)
- TR 2009-003
- TR 2009-002
- TR 2009-001
- TR 2008-004
- TR 2008-003 (Frequency Analysis of the Portuguese Language)
- TR 2008-002
- TR 2008-001
- TR 2007-005
- TR 2007-004
- TR 2007-003
- TR 2007-002
- TR 2007-001
- TR 2006-004
- TR 2006-003
- TR 2006-002 (GeoThms - Geometry Framework)
- TR 2006-001 (Framework for Constructive Geometry - Based on the Area Method)
- TR 2005-001
- TR 2001-002
- TR 2001-001
- TR 1999-003