A Topos-Theoretic Approach to Counterfactual Logic. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler (LSFA, 2009)

Intuitionistic PUC-Logic for Constructive Counterfactuals. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (CoRR, 2014)

PUC-Logic embedding of Lewis' Deontic Logics. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (CoRR, 2014)

PUC-Logic. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (DEXA Workshops, 2016)

Employing SDN to control video streaming applications in military mobile networks. - Iulisloi Zacarias; Janaina Schwarzrock; Luciano Paschoal Gaspary; Anderson Kohl; Ricardo Queiroz de Araujo Fernandes; Jorgito M. Stocchero; Edison Pignaton de Freitas (NCA, 2017)

Combining Software-Defined and Delay-Tolerant Approaches in Last-Mile Tactical Edge Networking. - Iulisloi Zacarias; Luciano Paschoal Gaspary; Andersonn Kohl; Ricardo Queiroz de Araujo Fernandes; Jorgito M. Stocchero; Edison Pignaton de Freitas (IEEE Commun. Mag., 2017)

A Proximity-Based Understanding of Conditionals. - Ricardo Queiroz de Araujo Fernandes; Edward Hermann Haeusler; Luiz Carlos Pereira (Trans. Large Scale Data Knowl. Centered Syst., 2017)

Solving task allocation problem in multi Unmanned Aerial Vehicles systems using Swarm intelligence. - Janaina Schwarzrock; Iulisloi Zacarias; Ana L. C. Bazzan; Ricardo Queiroz de Araujo Fernandes; Leonardo Henrique Moreira; Edison Pignaton de Freitas (Eng. Appl. Artif. Intell., 2018)

Enhancing Mobile Military Surveillance Based on Video Streaming by Employing Software Defined Networks. - Iulisloi Zacarias; Janaina Schwarzrock; Luciano Paschoal Gaspary; Andersonn Kohl; Ricardo Queiroz de Araujo Fernandes; Jorgito M. Stocchero; Edison Pignaton de Freitas (Wirel. Commun. Mob. Comput., 2018)

Surveying Emerging Network Approaches for Military Command and Control Systems. - João Eduardo Costa Gomes; Ricardo Rodrigues Ehlert; Rodrigo Murillo Boesche; Vinicius Santosde Lima; Jorgito Matiuzzi Stocchero; Dante A. C. Barone; Juliano Araújo Wickboldt; Edison Pignaton de Freitas; Julio C. S. dos Anjos; Ricardo Queiroz de Araujo Fernandes (ACM Comput. Surv., 2024)

Sorting paired points: a dissimilarity measure based on sorting of series. - Wallace Anacleto Pinheiro; Ricardo Queiroz de Araujo Fernandes; Ana Bárbara Sapienza Pinheiro (Int. J. Data Min. Model. Manag., 2025)

Holographic Projection and Cyber Attack Surface: A Physical Analogy for Digital Security. - Ricardo Queiroz de Araujo Fernandes; Anderson Santos; Daniel Maier de Carvalho; André Luiz Bandeira Molina (CoRR, 2025)