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: 6819

112 Team Members
Filters -> Year: 2024
1061
TÍTULO: Introspection for ARM TrustZone with the ITZ Library
AUTORES: Miguel Guerra; Benjamin Taubmann; Hans P Reiser; Sileshi Demesie Yalew; Miguel Correia ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 123-134
INDEXADO EM: Scopus DBLP CrossRef
1062
TÍTULO: Investment Incentives in Competitive Electricity Markets
AUTORES: Jaber Valinejad; Taghi Barforoshi; Mousa Marzband; Edris Pouresmaeil; Radu Godina; João P. S. Catalão ;
PUBLICAÇÃO: 2018, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 8, NÚMERO: 10, PÁGINAS: 1978
INDEXADO EM: Scopus WOS CrossRef: 30
1063
TÍTULO: Keep my head on my shoulders! Why third-person is bad for navigation in VR. why third-person is bad for navigation in VR
AUTORES: Medeiros, D; dos Anjos, RK; Mendes, D ; Pereira, JM; Raposo, A; Jorge, J;
PUBLICAÇÃO: 2018, FONTE: 24th ACM Symposium on Virtual Reality Software and Technology (ACM VRST) in 24TH ACM SYMPOSIUM ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2018), PÁGINAS: 16:1-16:10
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1064
TÍTULO: Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes
AUTORES: Hylson Vescovi Netto; Aldelir Fernando Luiz; Miguel Correia ; Luciana de Oliveira Rech; Caio Pereira Oliveira;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 58-63
INDEXADO EM: Scopus DBLP CrossRef: 2
1065
TÍTULO: Large-Scale Simulations of Bacterial Populations Over Complex Networks
AUTORES: Teixeira, AS ; Monteiro, PT; Carrico, JA; Santos, FC ; Francisco, AP ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 25, NÚMERO: 8, PÁGINAS: 850-861
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1066
TÍTULO: Learning Non-Deterministic Impact Models for Adaptation
AUTORES: Duarte, F; Gil, R; Romano, P ; Lopes, A ; Rodrigues, L;
PUBLICAÇÃO: 2018, FONTE: 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), PÁGINAS: 196-205
INDEXADO EM: Scopus WOS CrossRef: 7
1067
TÍTULO: Learning Optimal Decision Trees with SAT
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PÁGINAS: 1362-1368
INDEXADO EM: DBLP
1068
TÍTULO: Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions
AUTORES: Nuno O Duarte; Sileshi Demesie Yalew; Nuno Santos; Miguel Correia ;
PUBLICAÇÃO: 2018, FONTE: 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), PÁGINAS: 302-311
INDEXADO EM: Scopus WOS DBLP CrossRef
1069
TÍTULO: Linking and Cutting Spanning Trees  Full Text
AUTORES: Russo, LMS ; Teixeira, AS ; Francisco, AP ;
PUBLICAÇÃO: 2018, FONTE: ALGORITHMS, VOLUME: 11, NÚMERO: 4, PÁGINAS: 53
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1070
TÍTULO: Load-frequency control in a multi-source power system connected to wind farms through multi terminal HVDC systems  Full Text
AUTORES: Mehdi Tavakoli; Edris Pouresmaeil; Jafar Adabi; Radu Godina; João P. S. Catalão ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 96, PÁGINAS: 305-315
INDEXADO EM: Scopus WOS DBLP CrossRef: 45
1071
TÍTULO: Managing risk in electric distribution networks
AUTORES: Cruz, MRM; Fitiwi, DZ; Santos, SF ; Shafie khah, M; João P. S. Catalão ;
PUBLICAÇÃO: 2018, FONTE: Power Systems, NÚMERO: 9789811070006, PÁGINAS: 1-36
INDEXADO EM: Scopus CrossRef
1072
TÍTULO: Mapping dynamic environments using Markov random field models
AUTORES: Li, HJ; Barao, M; Rato, L ;
PUBLICAÇÃO: 2018, FONTE: 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), PÁGINAS: 265-269
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
1073
TÍTULO: Maximum Permissible Integration Capacity of Renewable DG Units Based on System Loads  Full Text
AUTORES: Kadir Dogansahin; Bedri Kekezoglu; Recep Yumurtaci; Ozan Erdinc; João P. S. Catalão ;
PUBLICAÇÃO: 2018, FONTE: ENERGIES, VOLUME: 11, NÚMERO: 1, PÁGINAS: 255
INDEXADO EM: Scopus WOS CrossRef: 16
1074
TÍTULO: MaxSAT Resolution with the Dual Rail Encoding
AUTORES: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 6565-6572
INDEXADO EM: Scopus WOS DBLP
1075
TÍTULO: Meshed Operation of Distribution Network Systems: Enabling Increased Utilization of Variable RES Power
AUTORES: Marco R M Cruz; Desta Z Fitiwi; Sergio F Santos ; João P. S. Catalão ;
PUBLICAÇÃO: 2018, FONTE: 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)
INDEXADO EM: Scopus WOS CrossRef: 4
1076
TÍTULO: Model Predictive Control Home Energy Management and Optimization Strategy with Demand Response
AUTORES: Radu Godina; Eduardo M G Rodrigues; Edris Pouresmaeil; Joao C O Matias; João P. S. Catalão ;
PUBLICAÇÃO: 2018, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 8, NÚMERO: 3, PÁGINAS: 408
INDEXADO EM: Scopus WOS CrossRef: 78
1077
TÍTULO: Model Revision of Logical Regulatory Networks Using Logic-Based Tools
AUTORES: Filipe Gouveia ; Inês Lynce; Pedro T Monteiro;
PUBLICAÇÃO: 2018, FONTE: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom, VOLUME: 64, PÁGINAS: 23:1-23:10
INDEXADO EM: Scopus DBLP
1078
TÍTULO: Modeling the Strategic Behavior of a Distribution Company in Wholesale Energy and Reserve Markets
AUTORES: Salah Bahramara; Maziar Yazdani Damavandi; Javier Contreras; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLICAÇÃO: 2018, FONTE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 9, NÚMERO: 4, PÁGINAS: 3857-3870
INDEXADO EM: Scopus WOS DBLP CrossRef: 69
1079
TÍTULO: Modelling Conflict Dynamics in Dyadic Interactions  Full Text
AUTORES: Joana Campos ; Carlos Martinho ; Ana Paiva ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 2218-2220
INDEXADO EM: Scopus WOS
1080
TÍTULO: MrBayes sMC(3): Accelerating Bayesian inference of phylogenetic trees
AUTORES: Kuan, L; Pratas, F; Sousa, L; Tomas, P ;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, VOLUME: 32, NÚMERO: 2, PÁGINAS: 246-265
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 54 de 341. Total de resultados: 6819.