Automatically verifying an object-oriented specification of the Steam-Boiler system. - Paulo J. F. Carreira; Miguel E. F. Costa (Sci. Comput. Program., 2003)

Execution of Data Mappers. - Paulo J. F. Carreira; Helena Galhardas (IQIS, 2004)

Efficient Development of Data Migration Transformations. - Paulo J. F. Carreira; Helena Galhardas (SIGMOD Conference, 2004)

Data Mapper: An Operator for Expressing One-to-Many Data Transformations. - Paulo J. F. Carreira; Helena Galhardas; João Pereira 002; Antónia Lopes (DaWaK, 2005)

Extending Relational Algebra to express one-to-many data transformations. - Paulo J. F. Carreira; Helena Galhardas; Antónia Lopes; João L. M. Pereira (SBBD, 2005)

One-to-many data transformations - as relational operations. - Paulo J. F. Carreira (ICEIS (1), 2007)

One-to-many data transformation operations - optimization and execution on an RDBMS. - Paulo J. F. Carreira; Helena Galhardas; João Pereira 002; Andrzej Wichert (ICEIS (1), 2007)

On Handling One-to-Many Transformations in Relational Systems. - Paulo Carreira 001; Helena Galhardas; João Pereira 002; Andrzej Wichert (ICEIS (Selected Papers), 2007)

On the performance of one-to-many data transformations. - Paulo J. F. Carreira; Helena Galhardas; João Pereira 002; Fernando Martins; Mário J. Silva (QDB, 2007)

One-to-many data transformations through data mappers. - Paulo Carreira 001; Helena Galhardas; Antónia Lopes; João Pereira 002 (Data Knowl. Eng., 2007)

Visual search light model for mental problem solving. - Andreas Wichert; João Dias Pereira; Paulo Carreira 001 (Neurocomputing, 2008)

Results of the 'User Interaction Techniques for Future Lighting Systems' Workshop at INTERACT 2011. - Dzmitry Aliakseyeu; Jon Mason; Bernt Meerbeek; Harm van Essen; Serge Offermans; Andrea Alessandrini; Valentina Sanesi; Paulo Carreira 001; Chad Eby (AmI Workshops, 2011)

The case for a systematic development of Building Automation Systems. - Paulo Carreira 001; Vasco Amaral 001; Bruno Barroca (ISGT Europe, 2011)

Benchmarking with TPC-H on Off-the-Shelf Hardware - An Experiments Report. - Anna Thanopoulou; Paulo Carreira 001; Helena Galhardas (ICEIS (1), 2012)

Towards a Robust Solution in Building Automation Systems: Supporting Rapid Prototyping and Analysis. - Vasco Amaral 001; Bruno Barroca; Paulo Carreira 001 (QUATIC, 2012)

New Interaction Paradigms in Energy Management. - Paulo Carreira 001; Alfredo Ferreira (ERCIM News, 2013)

Real-Time Integration of Building Energy Data. - Diogo Anjos; Paulo Carreira 001; Alexandre P. Francisco (BigData Congress, 2014)

A Learning Approach for Energy Efficiency Optimization by Occupancy Detection. - Vitor Mansur; Paulo Carreira 001; Artur M. Arsénio (IoT360 (1), 2014)

Analysis and Requirements Gathering of User Interfaces for Home Automated Systems. - Akash Bhrat Manilal; Paulo Carreira 001 (SMARTGREENS, 2014)

Service Oriented Development of Building Energy Management Systems - An Architecture Blueprint. - Rodolfo Santos; Paulo Carreira 001 (SMARTGREENS, 2014)

Energy Cloud: Real-Time Cloud-Native Energy Management System to Monitor and Analyze Energy Consumption in Multiple Industrial Sites. - Hugo Sequeira; Paulo Carreira 001; Thomas Goldschmidt; Philipp Vorst (UCC, 2014)

An ontology-based approach to conflict resolution in Home and Building Automation Systems. - Rui Camacho; Paulo Carreira 001; Inês Lynce; Sílvia Resendes (Expert Syst. Appl., 2014)

Conflict detection and resolution in home and building automation systems: a literature review. - Sílvia Resendes; Paulo Carreira 001; André C. Santos (J. Ambient Intell. Humaniz. Comput., 2014)

Towards automatic conflict detection in home and building automation systems. - Paulo Carreira 001; Sílvia Resendes; André C. Santos (Pervasive Mob. Comput., 2014)

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. - Hans Vangheluwe; Vasco Amaral 001; Holger Giese; Jan F. Broenink; Bernhard Schätz; Alexander Norta; Paulo Carreira 001; Ivan Lukovic; Tanja Mayerhofer; Manuel Wimmer; Antonio Vallecillo (STAF Doctoral Symposium / Showcase, 2016)

A multidimensional data model design for building energy management. - José Cavalheiro; Paulo Carreira 001 (Adv. Eng. Informatics, 2016)

Building automation systems: Concepts and technology review. - Pedro Domingues; Paulo Carreira 001; Renato Vieira; Wolfgang Kastner (Comput. Stand. Interfaces, 2016)

Developing a mutually-recognized cross-domain study program in cyber-physical systems. - Anatolijs Zabasta; Paulo Carreira 001; Oksana Nikiforova; Vasco Amaral 001; Nadezhda Kunicina; Miguel Goulão; Uldis Sukovskis; Leonids Ribickis (EDUCON, 2017)

Companion data of a Systematic Mapping Study of Programming Languages for Data-Intensive HPC Applications. - Vasco Amaral 001; Beatriz Norberto; Miguel Goulão; Marco Aldinucci; Siegfried Benkner; Andrea Bracciali; Paulo Carreira 001; Edgars Celms; Luís Correia 001; Clemens Grelck; Helen D. Karatza; Christoph W. Kessler; et al. (Zenodo, 2019)

Companion data of a Systematic Mapping Study of Programming Languages for Data-Intensive HPC Applications. - Vasco Amaral 001; Beatriz Norberto; Miguel Goulão; Marco Aldinucci; Siegfried Benkner; Andrea Bracciali; Paulo Carreira 001; Edgars Celms; Luís Correia 001; Clemens Grelck; Helen D. Karatza; Christoph W. Kessler; et al. (Zenodo, 2019)

Programming languages for data-Intensive HPC applications: A systematic mapping study. - Vasco Amaral 001; Beatriz Norberto; Miguel Goulão; Marco Aldinucci; Siegfried Benkner; Andrea Bracciali; Paulo Carreira 001; Edgars Celms; Luís Correia 001; Clemens Grelck; Helen D. Karatza; Christoph W. Kessler; et al. (Parallel Comput., 2020)

Towards high-level fuzzy control specifications for building automation systems. - Juan Carlos Vidal; Paulo Carreira 001; Vasco Amaral 001; Joao Aguiam; João Miguel da Costa Sousa (Softw. Syst. Model., 2020)

From Prompt Injections to SQL Injection Attacks: How Protected is Your LLM-Integrated Web Application? - Rodrigo Pedro; Daniel Castro 004; Paulo Carreira 001; Nuno Santos 001 (CoRR, 2023)

Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses. - Rodrigo Pedro; Miguel E. Coimbra; Daniel Castro 004; Paulo Carreira 001; Nuno Santos 001 (ICSE, 2025)