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

AuthID: I-000-0K9


Publications Count: 4649

62 Team Members
Filters -> Year: 2026
1121
1122
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
1123
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
1124
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
1125
TÍTULO: Game Adaptation by Using Reinforcement Learning Over Meta Games
AUTORES: Reis, S ; Reis, LP ; Lau, N ;
PUBLICAÇÃO: 2021, FONTE: GROUP DECISION AND NEGOTIATION, VOLUME: 30, NÚMERO: 2, PÁGINAS: 321-340
1126
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: ISD
1127
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: EuroVis (Short Papers), PÁGINAS: 73-77
1128
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
1129
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
1130
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
1131
TÍTULO: How Can an Archive Be Characterized?
AUTORES: Marta Faria Araújo; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2021, FONTE: TPDL, VOLUME: 12866 LNCS, PÁGINAS: 118-122
1132
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
1133
TÍTULO: Identification of microservices from monolithic applications through topic modelling
AUTORES: Miguel A Brito; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: SAC, PÁGINAS: 1409-1418
1134
TÍTULO: Identifying and ranking super spreaders in real world complex networks without influence overlap
AUTORES: Maji, G; Dutta, A; Malta, MC ; Sen, S;
PUBLICAÇÃO: 2021, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 179, PÁGINAS: 115061
1135
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
1136
TÍTULO: Immersive Adventure Games Development using 360-degree video
AUTORES: Francisco Pinho; Rui Nóbrega; Rui Rodrigues ;
PUBLICAÇÃO: 2021, FONTE: ICGI, PÁGINAS: 1-8
1137
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
1138
TÍTULO: Immersive Multimodal and Procedurally-Assisted Creation of VR Environments
AUTORES: Ferreira, J; Mendes, D ; Nóbrega, 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
1139
TÍTULO: Immersive Systems in Human-Centered Manufacturing: The Informational Dimension
AUTORES: Ramalho, FR ; Soares, AL ; Almeida, AH ;
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: 297-307
1140
TÍTULO: Improving Automatic Quality Inspection in the Automotive Industry by Combining Simulated and Real Data
AUTORES: Pinho, P; Rio Torto, I ; Teixeira, LF ;
PUBLICAÇÃO: 2021, FONTE: 16th International Symposium on Visual Computing (ISVC) in ADVANCES IN VISUAL COMPUTING (ISVC 2021), PT I, VOLUME: 13017, PÁGINAS: 278-290

Results per Page: 20.
Página 57 de 233. Total de resultados: 4649.