Tiago Ferreira

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 13

Top Topics

Wearable Devices

Symbolic Reasoning

Automata Theoretic

Top Venues

Publications

Nicolás S. Magner, Nicolás Hardy, Jaime F. Lavin, Tiago Ferreira
Forecasting Commodity Market Synchronization with Commodity Currencies: A Network-Based Approach. Entropy 25 (4) (2023)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
Conflict-Aware Active Automata Learning. GandALF (2023)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
Conflict-Aware Active Automata Learning. CoRR (2023)
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Tree-Based Adaptive Model Learning. CoRR (2022)
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Tree-Based Adaptive Model Learning. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
Prognosis: Closed-Box Analysis of Network Protocol Implementations. CoRR (2022)
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
Prognosis: closed-box analysis of network protocol implementations. SIGCOMM (2021)
Tiago Ferreira, Diogo Gonçalves, Ricardo Vieira, Diogo Proença, José Borbinha
A Case Management Approach to Risk Management. BMSD (2019)
Luciano Souza, Jonathan Carvalho, Tiago Ferreira
Quantum Walk to Train a Classical Artificial Neural Network. BRACIS (2019)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
Symbolic Register Automata. CAV (1) (2019)
Paula Viana, Tiago Ferreira, Lourenco Castro, Márcio Soares, José Pedro Pinto, Maria Teresa Andrade, Pedro Carvalho
GymApp: A Real Time Physical Activity Trainner on Wearable Devices. HSI (2018)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
Symbolic Register Automata. CoRR (2018)
Fernando Cassola, Alexandre Costa, Mario Ricardo Henriques, Artur Rocha, Marlene Sousa, Pedro Gomes, Tiago Ferreira, Carla Cunha, João Salgado
Screening and Evaluation Platform for Depression and Suicidality in Primary Healthcare. ICT4AgeingWell (2017)