Instituto de Engenharia de Sistemas e Computadores (INESC ID)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 6820

112 Team Members
Filters -> Year: 2024
1661
TÍTULO: Priority-Based State Machine Replication with PRaxos
AUTORES: Paulo R Pinho Filho; Luciana de Oliveira Rech; Lau Cheuk Lung; Miguel Correia ; Lásaro Jonas Camargos;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 540-547
INDEXADO EM: Scopus DBLP CrossRef
1662
TÍTULO: Priority-Based State Machine Replication with PRaxos
AUTORES: Paulo R Pinho; Luciana de Oliveira Rech; Lau Cheuk Lung; Miguel Correia ; Lasaro Jonas Camargos;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 540-547
INDEXADO EM: WOS
1663
TÍTULO: Process and Project Alignment Methodology: A Case Study based Analysis  Full Text
AUTORES: Martins, PV; da Silva, AR ;
PUBLICAÇÃO: 2016, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, NÚMERO: 3, PÁGINAS: 901-925
INDEXADO EM: Scopus WOS CrossRef
1664
TÍTULO: Processing architecture
AUTORES: Leitão, A ; Caetano, I; Correia, H;
PUBLICAÇÃO: 2016, FONTE: International Journal of Architectural Computing, VOLUME: 14, NÚMERO: 2, PÁGINAS: 147-157
INDEXADO EM: Scopus
1665
TÍTULO: Processing architecture
AUTORES: Leitao, A ; Caetano, I; Correia, H;
PUBLICAÇÃO: 2016, FONTE: International Journal of Architectural Computing, VOLUME: 14, NÚMERO: 2, PÁGINAS: 147-157
INDEXADO EM: CrossRef
1666
TÍTULO: Processing architecture
AUTORES: Antonio Leitao ; Ines Caetano; Hugo Correia;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF ARCHITECTURAL COMPUTING, VOLUME: 14, NÚMERO: 2, PÁGINAS: 147-157
INDEXADO EM: WOS
1667
TÍTULO: Production-guided Concurrency Debugging  Full Text
AUTORES: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
PUBLICAÇÃO: 2016, FONTE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 8, PÁGINAS: 351-362
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1668
TÍTULO: ProPAM/Static: A Static View of a Methodology for Process and Project Alignment
AUTORES: Martins, PV; da Silva, AR ;
PUBLICAÇÃO: 2016, FONTE: 4th International Conference on Software Process Improvement (CIMPS) in TRENDS AND APPLICATIONS IN SOFTWARE ENGINEERING, VOLUME: 405, PÁGINAS: 47-57
INDEXADO EM: Scopus WOS CrossRef
1669
TÍTULO: Propositional Abduction with Implicit Hitting Sets
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285, PÁGINAS: 1327-1335
INDEXADO EM: Scopus WOS DBLP
1670
TÍTULO: ProteusTM: Abstraction Meets Performance in Transactional Memory
AUTORES: Didona, D; Diegues, N; Kermarrec, AM; Guerraoui, R; Neves, R; Romano, P ;
PUBLICAÇÃO: 2016, FONTE: 21st International Conference on Architectural Support for Programming Languages and Operating Systems in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 4, PÁGINAS: 757-771
INDEXADO EM: Scopus WOS
1671
TÍTULO: Quantified maximum satisfiability  Full Text
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: CONSTRAINTS, VOLUME: 21, NÚMERO: 2, PÁGINAS: 277-302
INDEXADO EM: Scopus WOS DBLP
1672
TÍTULO: Regulatory support of wind power producers against strategic and collusive behavior of conventional thermal units
AUTORES: Shafie Khah, M; Siano, P; Fitiwi, DZ; Santos, SF ; João P. S. Catalão ; Heydarian Forushani, E;
PUBLICAÇÃO: 2016, FONTE: 13th International Conference on the European Energy Market, EEM 2016 in International Conference on the European Energy Market, EEM, VOLUME: 2016-July
INDEXADO EM: Scopus CrossRef: 2
1673
TÍTULO: Regulatory Support of Wind Power Producers against Strategic and Collusive Behavior of Conventional Thermal Units
AUTORES: Shafie khah, M; Siano, P; Fitiwi, DZ; Santos, SF ; João P. S. Catalão ; Heydarian Forushani, E;
PUBLICAÇÃO: 2016, FONTE: 13th International Conference on the European Energy Market (EEM) in 2016 13TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM)
INDEXADO EM: WOS
1674
TÍTULO: Remote Proxemics
AUTORES: Maurício Sousa; Daniel Mendes ; Daniel Medeiros; Alfredo Ferreira; João Madeiras Pereira; Joaquim A Jorge;
PUBLICAÇÃO: 2016, FONTE: Collaboration Meets Interactive Spaces, PÁGINAS: 47-73
INDEXADO EM: Scopus DBLP CrossRef: 6
1675
TÍTULO: Reports of the 2016 AAAI Workshop Program
AUTORES: 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; Michalowski, M; Noorian, Z; Pontelli, E; Rogers, A; Rosenthal, S; Roth, D; Sanner, S; Shaban Nejad, A; Sinha, A; Son, TC; Streilein, W; Thiebaux, S; Wallace, BC; Walsh, T; Witbroc, M; Zhang, J; ...Mais
PUBLICAÇÃO: 2016, FONTE: AI MAGAZINE, VOLUME: 37, NÚMERO: 3, PÁGINAS: 99-108
INDEXADO EM: Scopus WOS DBLP
1676
TÍTULO: Representing Image Captions as Concept Graphs using Semantic Information
AUTORES: Ghosh, S; Das, N; Goncalves, T ; Quaresma, P ;
PUBLICAÇÃO: 2016, FONTE: International Conference on Advances in Computing, Communications and Informatics (ICACCI) in 2016 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), PÁGINAS: 162-167
INDEXADO EM: WOS Handle
1677
TÍTULO: Representing image captions as concept graphs using semantic information
AUTORES: Swarnendu Ghosh; Nibaran Das; Teresa Gonçalves ; Paulo Quaresma ;
PUBLICAÇÃO: 2016, FONTE: 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, PÁGINAS: 162-167
INDEXADO EM: Scopus DBLP CrossRef: 1
1678
TÍTULO: Risk constrained offering strategy of wind power producers considering Intraday Demand Response Exchange
AUTORES: Heydarian-Forushani, E; Parsa Moghaddam, M; Sheikh-El-Eslami, MK; Shafie-khah, M; João P. S. Catalão ;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE/PES Transmission and Distribution Conference and Exposition (T&D)
INDEXADO EM: CrossRef: 3
1679
TÍTULO: Risk-Constrained Offering Strategy for Aggregated Hybrid Power Plant Including Wind Power Producer and Demand Response Provider
AUTORES: Aghaei, J; Barani, M; Shafie Khah, M; Sanchez de la Nieta, AAS; João P. S. Catalão ;
PUBLICAÇÃO: 2016, FONTE: IEEE-Power-and-Energy-Society General Meeting (PESGM) in 2016 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING (PESGM)
INDEXADO EM: WOS
1680

Results per Page: 20.
Página 84 de 341. Total de resultados: 6820.