EZPetri: A Petri net interchange framework for Eclipse based on PNML. - Gabriel Alves; Adilson Arcoverde; Ricardo Massa Ferreira Lima; Paulo Romero Martins Maciel (ISoLA (Preliminary proceedings), 2004)

Petri nets tools integration through Eclipse. - Adilson Arcoverde; Gabriel Alves; Ricardo Massa Ferreira Lima (eTX, 2005)

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. - Eduardo Tavares; Raimundo S. Barreto; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Adilson Arcoverde; Gabriel Alves; Ricardo Massa Ferreira Lima; Leonardo Barros; Arthur Bessa (PATMOS, 2005)

A GSPN based approach to evaluate outbound logistics. - Gabriel Alves; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima (SMC, 2007)

Modeling and evaluation of supply chains with GSPN components. - Gabriel Alves; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima (VALUETOOLS, 2007)

Performance evaluation of logistics with componentized stochastic models. - Gabriel Alves de Albuquerque; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Armin Zimmermann (SMC, 2008)

Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. - Erica Sousa; Paulo Romero Martins Maciel; Carlos Araújo; Gabriel Alves; Fábio Chicout (ISCC, 2009)

Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. - Gabriel Alves de Albuquerque; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Armin Zimmermann (IEEE Trans. Syst. Man Cybern. Part A, 2010)

Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. - Gabriel Alves; Paulo Romero Martins Maciel; Ricardo Lim; Fábio S. Magnani; Adilson Arcoverde Jr. (PASM@ICPE, 2011)

Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. - Gabriel Alves de Albuquerque; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Fábio S. Magnani (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Transport mode assessment for inbound logistics: A study based on coffee industry. - Anderson C. A. Nascimento; Gabriel Alves; Erica Sousa; Bruno Costa e Silva Nogueira; Eduardo Antonio Guimarães Tavares (SMC, 2014)

Assessment of Bus Rapid Transit (BRT) Time Lags under Probabilistic Uncertainties. - Renata Dantas; Jamilson Dantas; Paulo R. M. Maciel; Gabriel Alves (SMC, 2015)

Performability Assessment of a Government Process in the Cloud. - Rosiberto Dos Santos Gonçalves; Eduardo Antonio Guimarães Tavares; Anderson C. A. Nascimento; Erica Sousa; Fernando Antônio Aires Lins; Gabriel Alves (SMC, 2015)

Storage services in private clouds: Analysis, performance and availability modeling. - Elton Torres; Gustavo Callou; Gabriel Alves; Jose Accioly; Hallyson Gustavo (SMC, 2016)

Stochastic modelling of taxpayer assistance centre for performability evaluation. - Rosiberto Dos Santos Gonçalves; Eduardo Antonio Guimarães Tavares; Gabriel Alves de Albuquerque; Bruno Leonardo Barros Silva (Int. J. Bus. Process. Integr. Manag., 2017)

Impact of capacity and discharging rate on battery life time: A stochastic model to support mobile device autonomy planning. - Jean Araujo 001; Rúbens de Souza Matos Júnior; Verônica Conceição; Gabriel Alves; Paulo Romero Martins Maciel (Pervasive Mob. Comput., 2017)

A performability model for the BRT system. - Renata Dantas; Jamilson Dantas; Carlos Melo; Paulo R. M. Maciel; Gabriel Alves (SysCon, 2018)

Dependability analysis of a cyber-physical system for smart environments. - Ermeson C. Andrade; Bruno Costa e Silva Nogueira; Gustavo Callou; Gabriel Alves (Concurr. Comput. Pract. Exp., 2019)

Analysis of a performability model for the BRT system. - Renata Dantas; Jamilson Dantas; Gabriel Alves; Paulo Romero Martins Maciel (Int. J. Data Min. Model. Manag., 2019)

Performability evaluation of transport modes for cloud-based inbound logistics: a study based on coffee industry. - Anderson C. A. Nascimento; Eduardo Tavares; Gabriel Alves de Albuquerque; Erica Sousa; Bruno Costa e Silva Nogueira (Int. J. Manuf. Technol. Manag., 2020)

Dimensioning the relationship between availability and data center energy flow metrics. - Thiago Valentim Bezerra; Wenderson de Souza Leonardo; Gabriel Alves de Albuquerque Júnior; Gustavo Rau de Almeida Callou (RITA, 2020)

Enhancing Instructors' Capability to Assess Open-Response Using Natural Language Processing and Learning Analytics. - Rafael Ferreira Mello; José Rodrigues Lima Neto; Giuseppe Fiorentino; Gabriel Alves; Verenna Arêdes; João Victor Galdino Ferreira Silva; Taciana Pontual Falcão; Dragan Gasevic (EC-TEL, 2022)

A Framework for Socially Aware Navigation Based on Robocentric Perception of People Social Cues. - Manoel Andrade; José A. Diaz Amado; Raphaell Sousa; Dennis Barrios-Aranibar; Fábio Almeida Leite; Daniel Almeida; Gabriel Alves (Intelligent Environments (Workshops), 2022)

Tutoria: a software platform to improve feedback in education. - Taciana Pontual Falcão; Verenna Arêdes; Samuel Barbosa Jatobá De Souza; Giuseppe Fiorentino; José Rodrigues Lima Neto; Gabriel Alves; Rafael Ferreira Mello (J. Interact. Syst., 2023)

LAFe: Learning Analytics Solutions to Support On-Time Feedback. - Rafael Ferreira Mello; Gabriel Alves; Elaine Harada T. de Oliveira; Mar Pérez-Sanagustín; Isabel Hilliger; Esteban Villalobos; Esther Félix; Julien Broisin (AIED Companion (2), 2024)

Implementation of Open Data Portals in Federal Higher Education Institutions. (Implementação de Portais de Dados Abertos em Instituições Federais de Ensino Superior.) - Luiza Lima Meira de Menezes; Maria da Conceição Moraes Batista; Roberta Macêdo Marques Gouveia; Taciana Pontual Falcão; Gabriel Alves de Albuquerque Júnior (Braz. J. Inf. Syst., 2024)

Empowering Instructors With AI: Evaluating the Impact of an AI-Driven Feedback Tool in Learning Analytics. - Cleon Xavier; Luiz A. L. Rodrigues; Newarney T. Costa; José Rodrigues Lima Neto; Gabriel Alves; Taciana Pontual Falcão; Dragan Gasevic; Rafael Ferreira Mello (IEEE Trans. Learn. Technol., 2025)