Pedro Abreu

According to our database, Pedro Abreu authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Type-Based Approach to Divide-and-Conquer Recursion in Coq.

Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump

Proc. ACM Program. Lang., January, 2023

Lost in the Deep?: Performance Evaluation of Dead Reckoning Techniques in Underwater Environments.

Marko Radeta, Claudio Rodrigues, Francisco Airton Silva, Pedro Abreu, João Pestana, Ngoc Thi Nguyen, Agustin Zuniga, Huber Flores, Petteri Nurmi

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2023

Integrating Nuclear Medicine and Radiopharmacy Data: A Conceptual Model for Precision Medicine and Enhanced Patient Care.

Sipan Arevshatyan, José Fabián Reyes Román, Elisa Caballero Calabuig, Mari Carmen Plancha, Alejandra Abella, Pedro Abreu, Oscar Pastor

Proceedings of the Advances in Conceptual Modeling, 2023

2020

Interleaved Sequence RNNs for Fraud Detection.

Bernardo Branco, Pedro Abreu, Ana Sofia Gomes, Mariana S. C. Almeida, João Tiago Ascensão, Pedro Bizarro

Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

2019

Attention Filtering for Multi-person Spatiotemporal Action Detection on Deep Two-Stream CNN Architectures.

João Antunes, Pedro Abreu, Alexandre Bernardino, Asim Smailagic, Daniel P. Siewiorek

CoRR, 2019