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

AuthID: I-000-0K9


Publications Count: 3959

49 Team Members
Filters -> Year: 2025
681
682
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
683
TITLE: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
684
TITLE: From Digital Platforms to Ecosystems: A Review of Horizon 2020 Platform Projects
AUTHORS: Silva, HD ; Soares, AL ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 111-120
685
TITLE: Game Adaptation by Using Reinforcement Learning Over Meta Games
AUTHORS: Reis, S ; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: GROUP DECISION AND NEGOTIATION, VOLUME: 30, ISSUE: 2, PAGES: 321-340
686
TITLE: Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language
AUTHORS: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
687
TITLE: Graceful Degradation for Real-time Visualization of Streaming Geospatial Data
AUTHORS: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLISHED: 2021, SOURCE: 21st Eurographics Conference on Visualization, EuroVis 2019 - Short Papers, Porto, Portugal, June 14-18, 2021, PAGES: 73-77
688
TITLE: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
689
TITLE: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12, PAGES: 2013-2014
690
TITLE: Handling Privacy Preservation in a Software Ecosystem for the Querying and Processing of Deep Sequencing Data
AUTHORS: Rocha, A ; Costa, A; Oliveira, MA ; Aguiar, A ;
PUBLISHED: 2021, SOURCE: ERCIM NEWS, VOLUME: 2021, ISSUE: 126, PAGES: 18-19
691
TITLE: How Can an Archive Be Characterized?
AUTHORS: Marta Faria Araújo; Carla Teixeira Lopes ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 118-122
692
TITLE: Hypergraph-of-Entity: A General Model for Entity-Oriented Search
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.00450
693
TITLE: Identification of microservices from monolithic applications through topic modelling
AUTHORS: Miguel Brito; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 1409-1418
694
TITLE: Identifying and ranking super spreaders in real world complex networks without influence overlap
AUTHORS: Maji, G; Dutta, A; Malta, MC ; Sen, S;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 179, PAGES: 115061
695
TITLE: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021, St Louis, MO, USA, October 10-13, 2021
AUTHORS: Kyle J Harms; Jácome Cunha ; Steve Oney; Caitlin Kelleher;
PUBLISHED: 2021, SOURCE: VL/HCC
696
TITLE: Immersive Adventure Games Development using 360-degree video
AUTHORS: Francisco Pinho; Rui Nóbrega; Rui Rodrigues ;
PUBLISHED: 2021, SOURCE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PAGES: 1-8
697
TITLE: Immersive Authoring of Virtual Reality Training
AUTHORS: Cassola, F ; Pinto, M; Mendes, D ; Morgado, L ; Coelho, A ; Paredes, H ;
PUBLISHED: 2021, SOURCE: 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), PAGES: 633-634
698
TITLE: Immersive Multimodal and Procedurally-Assisted Creation of VR Environments
AUTHORS: Ferreira, J; Mendes, D ; Nobrega, R; Rodrigues, R ;
PUBLISHED: 2021, SOURCE: 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), PAGES: 30-37
699
TITLE: Immersive Systems in Human-Centered Manufacturing: The Informational Dimension
AUTHORS: Ramalho, FR ; Soares, AL ; Almeida, AH ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 297-307
700
TITLE: Improving Automatic Quality Inspection in the Automotive Industry by Combining Simulated and Real Data
AUTHORS: Pinho, P; Rio Torto, I ; Luis F. Teixeira ;
PUBLISHED: 2021, SOURCE: 16th International Symposium on Visual Computing (ISVC) in ADVANCES IN VISUAL COMPUTING (ISVC 2021), PT I, VOLUME: 13017, PAGES: 278-290

Results per Page: 20.
Page 35 of 198. Total results: 3959.