Instituto de Engenharia de Sistemas e Computadores (INESC ID)
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 6819
112 Team MembersFilters -> Year: 2024
1061
TITLE: Introspection for ARM TrustZone with the ITZ Library
AUTHORS: Miguel Guerra; Benjamin Taubmann; Hans P Reiser; Sileshi Demesie Yalew; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018 in 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018, PAGES: 123-134
AUTHORS: Miguel Guerra; Benjamin Taubmann; Hans P Reiser; Sileshi Demesie Yalew; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018 in 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018, PAGES: 123-134
1062
TITLE: Investment Incentives in Competitive Electricity Markets
AUTHORS: Jaber Valinejad; Taghi Barforoshi; Mousa Marzband; Edris Pouresmaeil; Radu Godina; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 8, ISSUE: 10, PAGES: 1978
AUTHORS: Jaber Valinejad; Taghi Barforoshi; Mousa Marzband; Edris Pouresmaeil; Radu Godina; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 8, ISSUE: 10, PAGES: 1978
1063
TITLE: Keep my head on my shoulders! Why third-person is bad for navigation in VR. why third-person is bad for navigation in VR
AUTHORS: Medeiros, D; dos Anjos, RK; Mendes, D ; Pereira, JM; Raposo, A; Jorge, J;
PUBLISHED: 2018, SOURCE: 24th ACM Symposium on Virtual Reality Software and Technology (ACM VRST) in 24TH ACM SYMPOSIUM ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2018), PAGES: 16:1-16:10
AUTHORS: Medeiros, D; dos Anjos, RK; Mendes, D ; Pereira, JM; Raposo, A; Jorge, J;
PUBLISHED: 2018, SOURCE: 24th ACM Symposium on Virtual Reality Software and Technology (ACM VRST) in 24TH ACM SYMPOSIUM ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2018), PAGES: 16:1-16:10
1064
TITLE: Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes
AUTHORS: Hylson Vescovi Netto; Aldelir Fernando Luiz; Miguel Correia ; Luciana de Oliveira Rech; Caio Pereira Oliveira;
PUBLISHED: 2018, SOURCE: 2018 IEEE Symposium on Computers and Communications, ISCC 2018 in 2018 IEEE Symposium on Computers and Communications, ISCC 2018, Natal, Brazil, June 25-28, 2018, VOLUME: 2018-June, PAGES: 58-63
AUTHORS: Hylson Vescovi Netto; Aldelir Fernando Luiz; Miguel Correia ; Luciana de Oliveira Rech; Caio Pereira Oliveira;
PUBLISHED: 2018, SOURCE: 2018 IEEE Symposium on Computers and Communications, ISCC 2018 in 2018 IEEE Symposium on Computers and Communications, ISCC 2018, Natal, Brazil, June 25-28, 2018, VOLUME: 2018-June, PAGES: 58-63
1065
TITLE: Large-Scale Simulations of Bacterial Populations Over Complex Networks
AUTHORS: Teixeira, AS ; Monteiro, PT; Carrico, JA; Santos, FC ; Francisco, AP ;
PUBLISHED: 2018, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 25, ISSUE: 8, PAGES: 850-861
AUTHORS: Teixeira, AS ; Monteiro, PT; Carrico, JA; Santos, FC ; Francisco, AP ;
PUBLISHED: 2018, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 25, ISSUE: 8, PAGES: 850-861
1066
TITLE: Learning Non-Deterministic Impact Models for Adaptation
AUTHORS: Duarte, F; Gil, R; Romano, P ; Lopes, A ; Rodrigues, L;
PUBLISHED: 2018, SOURCE: 13th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) in 2018 IEEE/ACM 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS), PAGES: 196-205
AUTHORS: Duarte, F; Gil, R; Romano, P ; Lopes, A ; Rodrigues, L;
PUBLISHED: 2018, SOURCE: 13th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) in 2018 IEEE/ACM 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS), PAGES: 196-205
1067
TITLE: Learning Optimal Decision Trees with SAT
AUTHORS: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PAGES: 1362-1368
AUTHORS: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PAGES: 1362-1368
INDEXED IN: 
DBLP
DBLP1068
TITLE: Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions
AUTHORS: Nuno O Duarte; Sileshi Demesie Yalew; Nuno Santos; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 15th EAI International Conference on Mobile and Ubiquitous Systems - Computing, Networking and Services (Mobiquitous) in PROCEEDINGS OF THE 15TH EAI INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES (MOBIQUITOUS 2018), PAGES: 302-311
AUTHORS: Nuno O Duarte; Sileshi Demesie Yalew; Nuno Santos; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 15th EAI International Conference on Mobile and Ubiquitous Systems - Computing, Networking and Services (Mobiquitous) in PROCEEDINGS OF THE 15TH EAI INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES (MOBIQUITOUS 2018), PAGES: 302-311
1069
TITLE: Linking and Cutting Spanning Trees Full Text
AUTHORS: Russo, LMS ; Teixeira, AS ; Francisco, AP ;
PUBLISHED: 2018, SOURCE: ALGORITHMS, VOLUME: 11, ISSUE: 4, PAGES: 53
AUTHORS: Russo, LMS ; Teixeira, AS ; Francisco, AP ;
PUBLISHED: 2018, SOURCE: ALGORITHMS, VOLUME: 11, ISSUE: 4, PAGES: 53
1070
TITLE: Load-frequency control in a multi-source power system connected to wind farms through multi terminal HVDC systems Full Text
AUTHORS: Mehdi Tavakoli; Edris Pouresmaeil; Jafar Adabi; Radu Godina; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 96, PAGES: 305-315
AUTHORS: Mehdi Tavakoli; Edris Pouresmaeil; Jafar Adabi; Radu Godina; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 96, PAGES: 305-315
1071
TITLE: Managing risk in electric distribution networks
AUTHORS: Cruz, MRM; Fitiwi, DZ; Santos, SF ; Shafie khah, M; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: Power Systems, ISSUE: 9789811070006, PAGES: 1-36
AUTHORS: Cruz, MRM; Fitiwi, DZ; Santos, SF ; Shafie khah, M; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: Power Systems, ISSUE: 9789811070006, PAGES: 1-36
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1072
TITLE: Mapping dynamic environments using Markov random field models
AUTHORS: Li, HJ; Barao, M; Rato, L ;
PUBLISHED: 2018, SOURCE: 24th IEEE International Conference on Automation and Computing (ICAC) - Improving Productivity through Automation and Computing Newcastle in 2018 24TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC' 18), PAGES: 265-269
AUTHORS: Li, HJ; Barao, M; Rato, L ;
PUBLISHED: 2018, SOURCE: 24th IEEE International Conference on Automation and Computing (ICAC) - Improving Productivity through Automation and Computing Newcastle in 2018 24TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC' 18), PAGES: 265-269
1073
TITLE: Maximum Permissible Integration Capacity of Renewable DG Units Based on System Loads Full Text
AUTHORS: Kadir Dogansahin; Bedri Kekezoglu; Recep Yumurtaci; Ozan Erdinc; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 1, PAGES: 255
AUTHORS: Kadir Dogansahin; Bedri Kekezoglu; Recep Yumurtaci; Ozan Erdinc; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 1, PAGES: 255
1074
TITLE: MaxSAT Resolution with the Dual Rail Encoding
AUTHORS: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 6565-6572
AUTHORS: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 6565-6572
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP1075
TITLE: Meshed Operation of Distribution Network Systems: Enabling Increased Utilization of Variable RES Power
AUTHORS: Marco R M Cruz; Desta Z Fitiwi; Sergio F Santos ; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Environment and Electrical Engineering / IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) in 2018 IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2018 IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC / I&CPS EUROPE)
AUTHORS: Marco R M Cruz; Desta Z Fitiwi; Sergio F Santos ; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Environment and Electrical Engineering / IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) in 2018 IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2018 IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC / I&CPS EUROPE)
1076
TITLE: Model Predictive Control Home Energy Management and Optimization Strategy with Demand Response
AUTHORS: Radu Godina; Eduardo M G Rodrigues; Edris Pouresmaeil; Joao C O Matias; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 8, ISSUE: 3, PAGES: 408
AUTHORS: Radu Godina; Eduardo M G Rodrigues; Edris Pouresmaeil; Joao C O Matias; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 8, ISSUE: 3, PAGES: 408
1077
TITLE: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTHORS: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64, PAGES: 23:1-23:10
AUTHORS: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLISHED: 2018, SOURCE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64, PAGES: 23:1-23:10
INDEXED IN: Scopus DBLP
Scopus DBLP1078
TITLE: Modeling the Strategic Behavior of a Distribution Company in Wholesale Energy and Reserve Markets
AUTHORS: Salah Bahramara; Maziar Yazdani Damavandi; Javier Contreras; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 9, ISSUE: 4, PAGES: 3857-3870
AUTHORS: Salah Bahramara; Maziar Yazdani Damavandi; Javier Contreras; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 9, ISSUE: 4, PAGES: 3857-3870
1079
TITLE: Modelling Conflict Dynamics in Dyadic Interactions Full Text
AUTHORS: Joana Campos ; Carlos Martinho ; Ana Paiva ;
PUBLISHED: 2018, SOURCE: 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) in PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), VOLUME: 3, PAGES: 2218-2220
AUTHORS: Joana Campos ; Carlos Martinho ; Ana Paiva ;
PUBLISHED: 2018, SOURCE: 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) in PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), VOLUME: 3, PAGES: 2218-2220
INDEXED IN: Scopus WOS
Scopus WOS1080
TITLE: MrBayes sMC(3): Accelerating Bayesian inference of phylogenetic trees
AUTHORS: Kuan, L; Pratas, F; Sousa, L; Tomas, P ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, VOLUME: 32, ISSUE: 2, PAGES: 246-265
AUTHORS: Kuan, L; Pratas, F; Sousa, L; Tomas, P ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, VOLUME: 32, ISSUE: 2, PAGES: 246-265
INDEXED IN: Scopus WOS
Scopus WOS