| 2025 | IBPRIA | Federated Learning for Secure and Privacy-Preserving Facial Recognition: Advances, Challenges, and Research Directions. | Ajnas Muhammed, Joo Marcos, Nuno Gonalves |
| 2025 | IBPRIA | How LLMs See People. | Carlos Roxo, Joo Marcos, Nuno Gonalves |
| 2025 | WACV | RiemStega: Covariance-Based Loss for Print-Proof Transmission of Data in Images. | Aniana Cruz, Guilherme G. Schardong, Luiz Schirmer, Joo Marcos, Farhad Shadmand, Nuno Gonalves |
| 2024 | CVPR | StampOne: Addressing Frequency Balance in Printer-proof Steganography. | Farhad Shadmand, Iurii Medvedev, Luiz Schirmer, Joo Marcos, Nuno Gonalves |
| 2024 | ICPRAM | Noise Simulation for the Improvement of Training Deep Neural Network for Printer-Proof Steganography. | Telmo Cunha, Luiz Schirmer, Joo Marcos, Nuno Gonalves |
| 2022 | CADE | Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. | Vitor Greati, Joo Marcos |
| 2021 | TABLEAUX | Proof Search on Bilateralist Judgments over Non-deterministic Semantics. | Vitor Greati, Srgio Marcelino, Joo Marcos |
| 2019 | IFSA | Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations. | Antonio Diego Silva Farias, Claudio Callejas, Joo Marcos, Benjamn R. C. Bedregal, Regivan H. N. Santiago |
| 2018 | WoLLIC | Algebraic Semantics for Nelson's Logic | Thiago Nascimento, Umberto Rivieccio, Joo Marcos, Matthew Spinks |
| 2016 | AiML | It ain't necessarily so: Basic sequent systems for negative modalities. | Ori Lahav, Joo Marcos, Yoni Zohar |
| 2014 | CADE | Clausal Resolution for Modal Logics of Confluence. | Cludia Nalon, Joo Marcos, Clare Dixon |
| 2013 | IFSA | On classic-like fuzzy modal logics. | Adriano Dod, Joo Marcos, Flaulles Boone Bergamaschi |
| 2012 | WoLLIC | On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication. | Claudio Callejas, Joo Marcos, Benjamn Ren Callejas Bedregal |
| 2012 | WoLLIC | Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. | Marco Volpe, Joo Marcos, Carlos Caleiro |
| 2009 | WoLLIC | Classic-Like Analytic Tableaux for Finite-Valued Logics. | Carlos Caleiro, Joo Marcos |
| 2008 | CADE | Towards Fully Automated Axiom Extraction for Finite-Valued Logics. | Joo Marcos, Dalmo Mendonca |
| 2008 | ICIP | Robust segmentation for outdoor traffic surveillance. | Gonalo Monteiro, Joo Marcos, Miguel Ribeiro, Jorge P. Batista |
| 2007 | ICIP | Wrongway Drivers Detection Based on Optical Flow. | Gonalo Monteiro, Miguel Ribeiro, Joo Marcos, Jorge P. Batista |