Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

Universidade do Porto (UP) :: Faculdade de Engenharia (FEUP)

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

49 Team Members
Filters -> Year: 2024
1081
TÍTULO: Safe Walking In VR using Augmented Virtuality PDF
AUTORES: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.13032
INDEXADO EM: DBLP arXiv
1082
TÍTULO: Scalable eventually consistent counters over unreliable networks PDF  Full Text
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2019, FONTE: DISTRIBUTED COMPUTING, VOLUME: 32, NÚMERO: 1, PÁGINAS: 69-89
INDEXADO EM: WOS DBLP arXiv CrossRef
1083
TÍTULO: Seed: Resynthesizing environmental sounds from examples
AUTORES: Bernardes, G ; Aly, L; Davies, MEP ;
PUBLICAÇÃO: 2019, FONTE: 13th Sound and Music Computing Conference, SMC 2016 in SMC 2016 - 13th Sound and Music Computing Conference, Proceedings, PÁGINAS: 55-62
INDEXADO EM: Scopus
1084
TÍTULO: Segmentation of gynaecological ultrasound images using different U-Net based approaches
AUTORES: Sonia Marques; Catarina Carvalho ; Carla Peixoto; Duarte Pignatelli; Jorge Beires; Jorge Silva ; Aurelio Campilho ;
PUBLICAÇÃO: 2019, FONTE: IEEE International Ultrasonics Symposium (IUS) in 2019 IEEE INTERNATIONAL ULTRASONICS SYMPOSIUM (IUS), VOLUME: 2019-October, PÁGINAS: 1485-1488
INDEXADO EM: Scopus WOS CrossRef
1085
TÍTULO: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTORES: Roberto Nogueira; Joao Reis; Rui Pinto ; Gil Gonçalves ;
PUBLICAÇÃO: 2019, FONTE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PÁGINAS: 521-528
INDEXADO EM: Scopus WOS
1086
TÍTULO: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTORES: Roberto Nogueira; João Reis; Rui Pinto ; Gil Gonçalves ;
PUBLICAÇÃO: 2019, FONTE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, PÁGINAS: 521-528
INDEXADO EM: DBLP CrossRef: 1
1087
TÍTULO: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTORES: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLICAÇÃO: 2019, FONTE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PÁGINAS: 418-427
INDEXADO EM: WOS DBLP
1088
TÍTULO: Semantics-aware Virtual Machine Image Management in IaaS Clouds PDF
AUTORES: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLICAÇÃO: 2019, FONTE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PÁGINAS: 418-427
INDEXADO EM: Scopus DBLP arXiv CrossRef
1089
TÍTULO: Serious games for ageing: a pilot interventional study in a cohort of heterogeneous cognitive impairment
AUTORES: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLICAÇÃO: 2019, FONTE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PÁGINAS: 1-8
INDEXADO EM: DBLP
1090
TÍTULO: Sharing and Learning Alloy on the Web PDF
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.02275
INDEXADO EM: DBLP arXiv
1091
TÍTULO: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PÁGINAS: 38-55
INDEXADO EM: Scopus DBLP CrossRef: 1
1092
TÍTULO: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PÁGINAS: 63-69
INDEXADO EM: Scopus DBLP arXiv CrossRef: 2
1093
TÍTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PÁGINAS: 62-69
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1094
TÍTULO: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTORES: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PÁGINAS: 745-752
INDEXADO EM: DBLP
1095
TÍTULO: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTORES: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; Sanna, N; Slaninova, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PÁGINAS: 116-123
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1096
TÍTULO: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTORES: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PÁGINAS: 1632-1638
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1097
TÍTULO: Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets  Full Text
AUTORES: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: Embedded Systems Week / Int Conf on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) / International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) / Int Conf on Embedded Software (EMSOFT) in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, VOLUME: 18, NÚMERO: 5, PÁGINAS: 109:1-109:23
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
1098
TÍTULO: Testing and Deployment Patterns for the Internet-of-Things
AUTORES: Joao Pedro Dias ; Hugo Sereno Ferreira ; Tiago Boldt Sousa;
PUBLICAÇÃO: 2019, FONTE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PÁGINAS: 16:1-16:8
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
1099
TÍTULO: Testing Android Incoming Calls
AUTORES: Ana C R Paiva ; Marco A Goncalves; Andre R Barros;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PÁGINAS: 441-448
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1100
TÍTULO: Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTORES: Ana C R Paiva ; Joao M E P Gouveia; Jean David Elizabeth; Marcio E Delamaro;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), PÁGINAS: 102-111
INDEXADO EM: Scopus WOS DBLP CrossRef: 10

Results per Page: 20.
Página 55 de 194. Total de resultados: 3872.