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

49 Team Members
Filters -> Year: 2024
621
TÍTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 1
622
TÍTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
INDEXADO EM: DBLP
623
TÍTULO: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTORES: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: PEERJ COMPUTER SCIENCE, VOLUME: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
624
TÍTULO: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTORES: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLICAÇÃO: 2021, FONTE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PÁGINAS: 102-105
INDEXADO EM: Scopus WOS DBLP CrossRef
625
TÍTULO: From Digital Platforms to Ecosystems: A Review of Horizon 2020 Platform Projects
AUTORES: Silva, HD ; Soares, AL ;
PUBLICAÇÃO: 2021, FONTE: 21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, VOLUME: 598, PÁGINAS: 111-120
INDEXADO EM: Scopus WOS CrossRef: 2
626
TÍTULO: Game Adaptation by Using Reinforcement Learning Over Meta Games  Full Text
AUTORES: Reis, S ; Reis, LP ; Lau, N ;
PUBLICAÇÃO: 2021, FONTE: GROUP DECISION AND NEGOTIATION, VOLUME: 30, NÚMERO: 2, PÁGINAS: 321-340
INDEXADO EM: Scopus WOS CrossRef: 1
627
TÍTULO: Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language
AUTORES: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLICAÇÃO: 2021, FONTE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
INDEXADO EM: DBLP
628
TÍTULO: Graceful Degradation for Real-time Visualization of Streaming Geospatial Data
AUTORES: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLICAÇÃO: 2021, FONTE: 21st Eurographics Conference on Visualization, EuroVis 2019 - Short Papers, Porto, Portugal, June 14-18, 2021, PÁGINAS: 73-77
INDEXADO EM: DBLP
629
TÍTULO: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTORES: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03028
INDEXADO EM: DBLP
630
TÍTULO: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices  Full Text
AUTORES: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLICAÇÃO: 2021, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, NÚMERO: 3, PÁGINAS: 38
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
631
TÍTULO: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTORES: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, NÚMERO: 12, PÁGINAS: 2013-2014
INDEXADO EM: Scopus WOS DBLP
632
TÍTULO: Handling Privacy Preservation in a Software Ecosystem for the Querying and Processing of Deep Sequencing Data
AUTORES: Rocha, A ; Costa, A; Oliveira, MA ; Aguiar, A ;
PUBLICAÇÃO: 2021, FONTE: ERCIM NEWS, VOLUME: 2021, NÚMERO: 126, PÁGINAS: 18-19
INDEXADO EM: WOS DBLP
633
TÍTULO: How Can an Archive Be Characterized?
AUTORES: Marta Faria Araújo; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2021, FONTE: 25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021 in Linking Theory and Practice of Digital Libraries - 25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021, Virtual Event, September 13-17, 2021, Proceedings, VOLUME: 12866, PÁGINAS: 118-122
INDEXADO EM: Scopus DBLP CrossRef
634
TÍTULO: Hypergraph-of-Entity: A General Model for Entity-Oriented Search
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2109.00450
INDEXADO EM: DBLP
635
TÍTULO: Identification of microservices from monolithic applications through topic modelling
AUTORES: Miguel Brito; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: 36th Annual ACM Symposium on Applied Computing, SAC 2021 in SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, PÁGINAS: 1409-1418
INDEXADO EM: Scopus DBLP CrossRef: 24
636
TÍTULO: Identifying and ranking super spreaders in real world complex networks without influence overlap  Full Text
AUTORES: Maji, G; Dutta, A; Malta, MC ; Sen, S;
PUBLICAÇÃO: 2021, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 179, PÁGINAS: 115061
INDEXADO EM: Scopus WOS CrossRef: 33
637
TÍTULO: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021, St Louis, MO, USA, October 10-13, 2021
AUTORES: Kyle J Harms; Jácome Cunha ; Steve Oney; Caitlin Kelleher;
PUBLICAÇÃO: 2021, FONTE: VL/HCC
INDEXADO EM: DBLP
638
TÍTULO: Immersive Adventure Games Development using 360-degree video
AUTORES: Francisco Pinho; Rui Nóbrega; Rui Rodrigues ;
PUBLICAÇÃO: 2021, FONTE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef
639
TÍTULO: Immersive Authoring of Virtual Reality Training
AUTORES: Cassola, F ; Pinto, M; Mendes, D ; Morgado, L ; Coelho, A ; Paredes, H ;
PUBLICAÇÃO: 2021, FONTE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in 2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), PÁGINAS: 633-634
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
640
TÍTULO: Immersive Multimodal and Procedurally-Assisted Creation of VR Environments
AUTORES: Ferreira, J; Mendes, D ; Nobrega, R; Rodrigues, R ;
PUBLICAÇÃO: 2021, FONTE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in 2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), PÁGINAS: 30-37
INDEXADO EM: WOS DBLP CrossRef

Results per Page: 20.
Página 32 de 197. Total de resultados: 3928.