Publications

Books

Book Chapters: 1

2016

- Manuel Portela and António Rito Silva, Fernando Pessoa's Book of Disquiet as a Dynamic Digital Archive, chapter of Digital Critical Editions - Comparing Editions, Dec. 2016, Sapienza Università Editrice [bibTex]

Articles

International Journal Articles: 4

2017

- Nuno Miguel Lourenço Diegues and Paolo Romano and Stoyan Garbatov, Seer: Probabilistic Scheduling for Hardware Transactional Memory, article in ACM Trans. Comput. Syst vol. 35 (3) pp. 1-41, to appear on 2017, ACM [DOI Article link] [bibTex]

2016

- António Menezes Leitão and Inês Alexandra do Côrro Caetano and Hugo Filipe Fonseca Correia, Processing architecture , article in International Journal of Architectural Computing vol. 14 (2) pp. 147-157 , Apr. 2016 [Article] [bibTex]
- Fernando Carvalho and João Cachopo, Optimizing memory transactions for large-scale programs, article in Journal of Parallel and Distributed Computing vol. 89 pp. 13-24, Mar. 2016, Elsevier [DOI Article link] [bibTex]
- Ivo Anjo and João Cachopo, Design of a Method-Level Speculation framework for boosting irregular JVM applications, article in Journal of Parallel and Distributed Computing vol. 87 pp. 13-25, Jan. 2016, Elsevier [DOI Article link] [bibTex]

International Conferences: 7

2017

- Pedro Alfaiate and Inês Alexandra do Côrro Caetano and António Menezes Leitão, Luna Moth: Supporting Creativity in the Cloud, presented at ACADIA 2017: Disciplines \& Disruption, Proceedings of the 37th Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA, Nov. 2017 [bibTex]
- Nuno F. Lages and Bernardo Silva Caetano and Manuel J Fonseca and João Carlos Serrenho Dias Pereira and Helena Galhardas and Rui Farinha, Umedicine: A System for Clinical Practice Support and Data Analysis, presented at VLDB Workshop on Data Management and Analytics for Medicine and Healthcare (DMAH), Aug. 2017 [bibTex]

2016

- Inês Alexandra do Côrro Caetano and António Menezes Leitão, DrAFT: an Algorithmic Framework for Facade Design, presented at Complexity & Simplicity - Proceedings of the 34th eCAADe Conference - Volume 1, Aug. 2016 [bibTex]
- Inês Alexandra do Côrro Caetano and António Menezes Leitão, Using Processing with Architectural 3D Modelling, presented at Complexity & Simplicity - Proceedings of the 34th eCAADe Conference, Aug. 2016 [bibTex]
- Inês Alexandra do Côrro Caetano and António Menezes Leitão, Exploring Buildings' Surface Patterns, presented at Architecture In-Play International Conferences Proceedings, Jul. 2016 [DOI Article link] [bibTex]
- Sofia Teixeira de Vasconcelos Feist and Guilherme Barreto and Bruno Filipe Belo Ferreira and António Menezes Leitão, Portable generative design for building information modelling, presented at Proceedings of the 21st International Conference on Computer-Aided Architectural Design Research in Asia (CAADRIA 2016), Mar. 2016 [bibTex]
- Inês Alexandra do Côrro Caetano and António Menezes Leitão, Processing for Architecture, presented at ASK.the.Conference 2016 proceedings: Education for Research, Research for Creativity, Feb. 2016 [bibTex]

National Conferences: 2

2016

- Sofia Teixeira de Vasconcelos Feist and António Menezes Leitão, A-BIM: Algorithmic-based Building Information Modelling, presented at PTbim: 1º Congresso Português de Building Information Modelling, Nov. 2016 [bibTex] [PDF]
- Inês Alexandra do Côrro Caetano and António Menezes Leitão and Francisco Teixeira Bastos, Aplicação do design generativo nas tecnologias BIM, presented at PTbim: 1º Congresso Português de Building Information Modelling, Nov. 2016 [bibTex]

Dissertations

PhD Theses: 1

2016

- Luis Pina advised by Luís Veiga and Michael William Hicks, Practical Dynamic Software Updating, PhD Thesis at Instituto Superior Técnico, ULisboa, Jan. 2016 [bibTex] [PDF]

MSc Theses: 14

2018

- Frederico Miguel Castelo Madeira advised by António Rito Silva, Blended workflow access control perspective, MSc Thesis, Jun. 2018 [bibTex]

2017

- Nuno Pereira advised by António Rito Silva and Hugo Duarte Fonseca, Cargo API, MSc Thesis at University of Lisbon, Jun. 2017 [bibTex]
- Miguel Cartaxo advised by Pedro Santos and António Rito Silva, Game Simulation Engine Optimisation, MSc Thesis, Jun. 2017 [bibTex]
- Nuno Filipe Gonçalves das Lages advised by Helena Galhardas and João Carlos Serrenho Dias Pereira, Umedicine: A System for Clinical Practice Support and Data Analysis, MSc Thesis, May. 2017 [bibTex]
- Miguel Neves Neto advised by Helena Galhardas and João Carlos Serrenho Dias Pereira, Umedicine: Medical Data Visualization Module, MSc Thesis, May. 2017 [bibTex]

2016

- Guilherme Barreto advised by António Menezes Leitão, Generative Design for Building Information Modeling, MSc Thesis at Universidade de Lisboa, Nov. 2016 [bibTex]
- Ricardo André Vicente Costa Laranjeiro advised by António Rito Silva, Kronos: Calendar Management System, MSc Thesis, Oct. 2016 [bibTex]
- Sofia Teixeira de Vasconcelos Feist advised by António Menezes Leitão, Design Generativo, MSc Thesis, Jun. 2016 [bibTex]
- Bruno Filipe Belo Ferreira advised by António Menezes Leitão, Generative Design for BIM, MSc Thesis, Jun. 2016 [bibTex]
- Artur José Brás Mayer Alkaim advised by António Menezes Leitão, Geração Procedimental, MSc Thesis, Jun. 2016 [bibTex]
- Guilherme Ferreira advised by António Menezes Leitão, IDE For Generative Design, MSc Thesis, May. 2016 [bibTex]
- Rafael José Trindade Reia advised by António Menezes Leitão, Refactoring for Racket, MSc Thesis, May. 2016 [bibTex]
- Fábio miguel Gonçalves Pinheiro advised by António Menezes Leitão, Restrições Geométricas, MSc Thesis, May. 2016 [bibTex]
- Nuno André Jeremias de Aniceto advised by Andreas Wichert and João Carlos Serrenho Dias Pereira, Uma pesquisa sobre algoritmos de descrição de imagens, MSc Thesis, May. 2016 [bibTex]