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

Update Citation

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!

Update PrePrints

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!

Publications Count: 6881

112 Team Members
Filters -> Year: 2024
1101
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
INDEXED IN: Scopus DBLP CrossRef: 2
1102
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1103
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
INDEXED IN: Scopus WOS CrossRef: 7
1104
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
INDEXED IN: DBLP
1105
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
INDEXED IN: Scopus WOS DBLP CrossRef
1106
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1107
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
INDEXED IN: Scopus WOS DBLP CrossRef: 45
1108
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
INDEXED IN: Scopus CrossRef
1109
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
INDEXED IN: Scopus WOS DBLP CrossRef Handle
1110
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
INDEXED IN: Scopus WOS CrossRef: 16
1111
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
INDEXED IN: Scopus WOS DBLP
1112
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)
INDEXED IN: Scopus WOS CrossRef: 4
1113
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
INDEXED IN: Scopus WOS CrossRef: 78
1114
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
INDEXED IN: Scopus DBLP
1115
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
INDEXED IN: Scopus WOS DBLP CrossRef: 69
1116
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
INDEXED IN: Scopus WOS
1117
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
INDEXED IN: Scopus WOS
1118
TITLE: MrBayes sMC3. Accelerating Bayesian inference of phylogenetic trees
AUTHORS: Lidia Kuan; Frederico Pratas; Leonel Sousa; Pedro Tomás ;
PUBLISHED: 2018, SOURCE: IJHPCA, VOLUME: 32, ISSUE: 2, PAGES: 246-265
INDEXED IN: DBLP CrossRef: 4
1119
TITLE: Multi-Agent System for Renewable Based Microgrid Restoration
AUTHORS: Joao P P Carvalho; Miadreza Shafie khah; Gerardo Osorio; Ebrahim Rokrok; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: International Conference on Smart Energy Systems and Technologies (SEST) in 2018 INTERNATIONAL CONFERENCE ON SMART ENERGY SYSTEMS AND TECHNOLOGIES (SEST)
INDEXED IN: Scopus WOS CrossRef: 4
1120
TITLE: Multi-Language Neural Network Model with Advance Preprocessor for Gender Classification over Social Media: Notebook for PAN at CLEF 2018 PDF
AUTHORS: Kashyap Raiyani; Teresa Gonçalves ; Paulo Quaresma ; Vítor Beires Nogueira ;
PUBLISHED: 2018, SOURCE: 19th Working Notes of CLEF Conference and Labs of the Evaluation Forum, CLEF 2018 in Working Notes of CLEF 2018 - Conference and Labs of the Evaluation Forum, Avignon, France, September 10-14, 2018., VOLUME: 2125
INDEXED IN: Scopus DBLP

Results per Page: 20.
Page 56 of 345. Total results: 6881.