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: 6820
112 Team MembersFilters -> Year: 2024
1661
TITLE: Priority-Based State Machine Replication with PRaxos
AUTHORS: Paulo R Pinho Filho; Luciana de Oliveira Rech; Lau Cheuk Lung; Miguel Correia ; Lásaro Jonas Camargos;
PUBLISHED: 2016, SOURCE: 30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016 in 30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016, VOLUME: 2016-May, PAGES: 540-547
AUTHORS: Paulo R Pinho Filho; Luciana de Oliveira Rech; Lau Cheuk Lung; Miguel Correia ; Lásaro Jonas Camargos;
PUBLISHED: 2016, SOURCE: 30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016 in 30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016, VOLUME: 2016-May, PAGES: 540-547
1662
TITLE: Priority-Based State Machine Replication with PRaxos
AUTHORS: Paulo R Pinho; Luciana de Oliveira Rech; Lau Cheuk Lung; Miguel Correia ; Lasaro Jonas Camargos;
PUBLISHED: 2016, SOURCE: IEEE 30th International Conference on Advanced Information Networking and Applications (IEEE AINA) in IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, PAGES: 540-547
AUTHORS: Paulo R Pinho; Luciana de Oliveira Rech; Lau Cheuk Lung; Miguel Correia ; Lasaro Jonas Camargos;
PUBLISHED: 2016, SOURCE: IEEE 30th International Conference on Advanced Information Networking and Applications (IEEE AINA) in IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, PAGES: 540-547
INDEXED IN: 
WOS
WOS1663
TITLE: Process and Project Alignment Methodology: A Case Study based Analysis Full Text
AUTHORS: Martins, PV; da Silva, AR ;
PUBLISHED: 2016, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3, PAGES: 901-925
AUTHORS: Martins, PV; da Silva, AR ;
PUBLISHED: 2016, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3, PAGES: 901-925
1664
TITLE: Processing architecture
AUTHORS: Leitão, A ; Caetano, I; Correia, H;
PUBLISHED: 2016, SOURCE: International Journal of Architectural Computing, VOLUME: 14, ISSUE: 2, PAGES: 147-157
AUTHORS: Leitão, A ; Caetano, I; Correia, H;
PUBLISHED: 2016, SOURCE: International Journal of Architectural Computing, VOLUME: 14, ISSUE: 2, PAGES: 147-157
INDEXED IN: 
Scopus
Scopus1665
TITLE: Processing architecture
AUTHORS: Leitao, A ; Caetano, I; Correia, H;
PUBLISHED: 2016, SOURCE: International Journal of Architectural Computing, VOLUME: 14, ISSUE: 2, PAGES: 147-157
AUTHORS: Leitao, A ; Caetano, I; Correia, H;
PUBLISHED: 2016, SOURCE: International Journal of Architectural Computing, VOLUME: 14, ISSUE: 2, PAGES: 147-157
INDEXED IN: 
CrossRef
CrossRef1666
TITLE: Processing architecture
AUTHORS: Antonio Leitao ; Ines Caetano; Hugo Correia;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF ARCHITECTURAL COMPUTING, VOLUME: 14, ISSUE: 2, PAGES: 147-157
AUTHORS: Antonio Leitao ; Ines Caetano; Hugo Correia;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF ARCHITECTURAL COMPUTING, VOLUME: 14, ISSUE: 2, PAGES: 147-157
INDEXED IN: WOS
WOS1667
TITLE: Production-guided Concurrency Debugging Full Text
AUTHORS: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8, PAGES: 351-362
AUTHORS: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8, PAGES: 351-362
1668
TITLE: ProPAM/Static: A Static View of a Methodology for Process and Project Alignment
AUTHORS: Martins, PV; da Silva, AR ;
PUBLISHED: 2016, SOURCE: 4th International Conference on Software Process Improvement (CIMPS) in TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING, VOLUME: 405, PAGES: 47-57
AUTHORS: Martins, PV; da Silva, AR ;
PUBLISHED: 2016, SOURCE: 4th International Conference on Software Process Improvement (CIMPS) in TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING, VOLUME: 405, PAGES: 47-57
1669
TITLE: Propositional Abduction with Implicit Hitting Sets
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285, PAGES: 1327-1335
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285, PAGES: 1327-1335
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP1670
TITLE: ProteusTM: Abstraction Meets Performance in Transactional Memory
AUTHORS: Didona, D; Diegues, N; Kermarrec, AM; Guerraoui, R; Neves, R; Romano, P ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Architectural Support for Programming Languages and Operating Systems in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 4, PAGES: 757-771
AUTHORS: Didona, D; Diegues, N; Kermarrec, AM; Guerraoui, R; Neves, R; Romano, P ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Architectural Support for Programming Languages and Operating Systems in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 4, PAGES: 757-771
INDEXED IN: Scopus WOS
Scopus WOS1671
TITLE: Quantified maximum satisfiability Full Text
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: CONSTRAINTS, VOLUME: 21, ISSUE: 2, PAGES: 277-302
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: CONSTRAINTS, VOLUME: 21, ISSUE: 2, PAGES: 277-302
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP1672
TITLE: Regulatory support of wind power producers against strategic and collusive behavior of conventional thermal units
AUTHORS: Shafie Khah, M; Siano, P; Fitiwi, DZ; Santos, SF ; João P. S. Catalão ; Heydarian Forushani, E;
PUBLISHED: 2016, SOURCE: 13th International Conference on the European Energy Market, EEM 2016 in International Conference on the European Energy Market, EEM, VOLUME: 2016-July
AUTHORS: Shafie Khah, M; Siano, P; Fitiwi, DZ; Santos, SF ; João P. S. Catalão ; Heydarian Forushani, E;
PUBLISHED: 2016, SOURCE: 13th International Conference on the European Energy Market, EEM 2016 in International Conference on the European Energy Market, EEM, VOLUME: 2016-July
1673
TITLE: Regulatory Support of Wind Power Producers against Strategic and Collusive Behavior of Conventional Thermal Units
AUTHORS: Shafie khah, M; Siano, P; Fitiwi, DZ; Santos, SF ; João P. S. Catalão ; Heydarian Forushani, E;
PUBLISHED: 2016, SOURCE: 13th International Conference on the European Energy Market (EEM) in 2016 13TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM)
AUTHORS: Shafie khah, M; Siano, P; Fitiwi, DZ; Santos, SF ; João P. S. Catalão ; Heydarian Forushani, E;
PUBLISHED: 2016, SOURCE: 13th International Conference on the European Energy Market (EEM) in 2016 13TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM)
INDEXED IN: WOS
WOS1674
TITLE: Remote Proxemics
AUTHORS: Maurício Sousa; Daniel Mendes ; Daniel Medeiros; Alfredo Ferreira; João Madeiras Pereira; Joaquim A Jorge;
PUBLISHED: 2016, SOURCE: Collaboration Meets Interactive Spaces, PAGES: 47-73
AUTHORS: Maurício Sousa; Daniel Mendes ; Daniel Medeiros; Alfredo Ferreira; João Madeiras Pereira; Joaquim A Jorge;
PUBLISHED: 2016, SOURCE: Collaboration Meets Interactive Spaces, PAGES: 47-73
1675
TITLE: Reports of the 2016 AAAI Workshop Program
AUTHORS: Albrecht, SV; Bouchard, B; Brownstein, JS; Buckeridge, DL; Caragea, C; Carter, KM; Darwiche, A; Fortuna, B; Francillette, Y; Gaboury, S; Giles, CL; Grobelnik, M; Hruschka, E; Kephart, JO; Kordjamshidi, P; Lisy, V; Magazzeni, D; Marques Silva, J ; Marquis, P; Martinez, D; ...More
PUBLISHED: 2016, SOURCE: AI MAGAZINE, VOLUME: 37, ISSUE: 3, PAGES: 99-108
AUTHORS: Albrecht, SV; Bouchard, B; Brownstein, JS; Buckeridge, DL; Caragea, C; Carter, KM; Darwiche, A; Fortuna, B; Francillette, Y; Gaboury, S; Giles, CL; Grobelnik, M; Hruschka, E; Kephart, JO; Kordjamshidi, P; Lisy, V; Magazzeni, D; Marques Silva, J ; Marquis, P; Martinez, D; ...More
PUBLISHED: 2016, SOURCE: AI MAGAZINE, VOLUME: 37, ISSUE: 3, PAGES: 99-108
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP1676
TITLE: Representing Image Captions as Concept Graphs using Semantic Information
AUTHORS: Ghosh, S; Das, N; Goncalves, T ; Quaresma, P ;
PUBLISHED: 2016, SOURCE: International Conference on Advances in Computing, Communications and Informatics (ICACCI) in 2016 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), PAGES: 162-167
AUTHORS: Ghosh, S; Das, N; Goncalves, T ; Quaresma, P ;
PUBLISHED: 2016, SOURCE: International Conference on Advances in Computing, Communications and Informatics (ICACCI) in 2016 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), PAGES: 162-167
INDEXED IN: WOS 
Handle
WOS Handle1677
TITLE: Representing image captions as concept graphs using semantic information
AUTHORS: Swarnendu Ghosh; Nibaran Das; Teresa Gonçalves ; Paulo Quaresma ;
PUBLISHED: 2016, SOURCE: 5th International Conference on Advances in Computing, Communications and Informatics, ICACCI 2016 in 2016 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2016, Jaipur, India, September 21-24, 2016, PAGES: 162-167
AUTHORS: Swarnendu Ghosh; Nibaran Das; Teresa Gonçalves ; Paulo Quaresma ;
PUBLISHED: 2016, SOURCE: 5th International Conference on Advances in Computing, Communications and Informatics, ICACCI 2016 in 2016 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2016, Jaipur, India, September 21-24, 2016, PAGES: 162-167
1678
TITLE: Risk constrained offering strategy of wind power producers considering Intraday Demand Response Exchange
AUTHORS: Heydarian-Forushani, E; Parsa Moghaddam, M; Sheikh-El-Eslami, MK; Shafie-khah, M; João P. S. Catalão ;
PUBLISHED: 2016, SOURCE: 2016 IEEE/PES Transmission and Distribution Conference and Exposition (T&D)
AUTHORS: Heydarian-Forushani, E; Parsa Moghaddam, M; Sheikh-El-Eslami, MK; Shafie-khah, M; João P. S. Catalão ;
PUBLISHED: 2016, SOURCE: 2016 IEEE/PES Transmission and Distribution Conference and Exposition (T&D)
1679
TITLE: Risk-Constrained Offering Strategy for Aggregated Hybrid Power Plant Including Wind Power Producer and Demand Response Provider
AUTHORS: Aghaei, J; Barani, M; Shafie Khah, M; Sanchez de la Nieta, AAS; João P. S. Catalão ;
PUBLISHED: 2016, SOURCE: IEEE-Power-and-Energy-Society General Meeting (PESGM) in 2016 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING (PESGM)
AUTHORS: Aghaei, J; Barani, M; Shafie Khah, M; Sanchez de la Nieta, AAS; João P. S. Catalão ;
PUBLISHED: 2016, SOURCE: IEEE-Power-and-Energy-Society General Meeting (PESGM) in 2016 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING (PESGM)
INDEXED IN: WOS
WOS1680
TITLE: Risk-Constrained Offering Strategy for Aggregated Hybrid Power Plant Including Wind Power Producer and Demand Response Provider Full Text
AUTHORS: Jamshid Aghaei; Mostafa Barani; Miadreza Shafie Khah; Agustin A S Sanchez de la Nieta; João P. S. Catalão ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 7, ISSUE: 2, PAGES: 513-525
AUTHORS: Jamshid Aghaei; Mostafa Barani; Miadreza Shafie Khah; Agustin A S Sanchez de la Nieta; João P. S. Catalão ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 7, ISSUE: 2, PAGES: 513-525
