Paulo Carreira

Orcid: 0000-0002-2244-9138

Affiliations:
  • University of Lisbon, INESC-ID, Portugal


According to our database1, Paulo Carreira authored at least 31 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
From Prompt Injections to SQL Injection Attacks: How Protected is Your LLM-Integrated Web Application?
CoRR, 2023

2020
Towards high-level fuzzy control specifications for building automation systems.
Softw. Syst. Model., 2020

Programming languages for data-Intensive HPC applications: A systematic mapping study.
Parallel Comput., 2020

2017
Developing a mutually-recognized cross-domain study program in cyber-physical systems.
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

2016
Building automation systems: Concepts and technology review.
Comput. Stand. Interfaces, 2016

A multidimensional data model design for building energy management.
Adv. Eng. Informatics, 2016

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

2014
Towards automatic conflict detection in home and building automation systems.
Pervasive Mob. Comput., 2014

Conflict detection and resolution in home and building automation systems: a literature review.
J. Ambient Intell. Humaniz. Comput., 2014

An ontology-based approach to conflict resolution in Home and Building Automation Systems.
Expert Syst. Appl., 2014

Energy Cloud: Real-Time Cloud-Native Energy Management System to Monitor and Analyze Energy Consumption in Multiple Industrial Sites.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Service Oriented Development of Building Energy Management Systems - An Architecture Blueprint.
Proceedings of the SMARTGREENS 2014, 2014

Analysis and Requirements Gathering of User Interfaces for Home Automated Systems.
Proceedings of the SMARTGREENS 2014, 2014

A Learning Approach for Energy Efficiency Optimization by Occupancy Detection.
Proceedings of the Internet of Things. User-Centric IoT, 2014

Real-Time Integration of Building Energy Data.
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013
New Interaction Paradigms in Energy Management.
ERCIM News, 2013

2012
Towards a Robust Solution in Building Automation Systems: Supporting Rapid Prototyping and Analysis.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Benchmarking with TPC-H on Off-the-Shelf Hardware - An Experiments Report.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 1, Wroclaw, Poland, 28 June, 2012

2011
The case for a systematic development of Building Automation Systems.
Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

Results of the 'User Interaction Techniques for Future Lighting Systems' Workshop at INTERACT 2011.
Proceedings of the Constructing Ambient Intelligence, 2011

2008
Visual search light model for mental problem solving.
Neurocomputing, 2008

2007
One-to-many data transformations through data mappers.
Data Knowl. Eng., 2007

On the performance of one-to-many data transformations.
Proceedings of the Fifth International Workshop on Quality in Databases, 2007

On Handling One-to-Many Transformations in Relational Systems.
Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

One-to-many data transformation operations - optimization and execution on an RDBMS.
Proceedings of the ICEIS 2007, 2007

One-to-many data transformations - as relational operations.
Proceedings of the ICEIS 2007, 2007

2005
Extending Relational Algebra to express one-to-many data transformations.
Proceedings of the 20° Simpósio Brasileiro de Bancos de Dados, 2005

Data Mapper: An Operator for Expressing One-to-Many Data Transformations.
Proceedings of the Data Warehousing and Knowledge Discovery, 2005

2004
Efficient Development of Data Migration Transformations.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Execution of Data Mappers.
Proceedings of the IQIS 2004, 2004

2003
Automatically verifying an object-oriented specification of the Steam-Boiler system.
Sci. Comput. Program., 2003


  Loading...