Verification of active rule base via conditional colored Petri nets. - Lorena Chavarría-Báez; Xiaoou Li (SMC, 2007)

Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach. - Lorena Chavarría-Báez; Xiaoou Li (SEKE, 2008)

Active Database System Realized by a Petri Net Approach. - Lorena Chavarría-Báez; Xiaoou Li (MSVVEIS, 2008)

Termination Analysis of Active Rules -A Petri Net Based Approach. - Xiaoou Li; Lorena Chavarría-Báez (SMC, 2009)

ECAPNVer: A Software Tool to Verify Active Rule Bases. - Lorena Chavarría-Báez; Xiaoou Li (ICTAI (2), 2010)

A Petri Net-Based Metric for Active Rule Validation. - Lorena Chavarría-Báez; Xiaoou Li (ICTAI, 2011)

A linear filtering theory-based approach for load shedding. - Lorena Chavarría-Báez; Rosaura Palma-Orozco (IRI, 2013)

Estimating the Number of Test Cases for Active Rule Validation. - Lorena Chavarría-Báez; Xiaoou Li; Rosaura Palma-Orozco (MICAI (1), 2013)

A Petri Net-based Approach to OWL Ontology Representation. - Lorena Chavarría-Báez; Oscar Díaz (Res. Comput. Sci., 2015)

Virtual Environment of Learning to Support the Topic of Proportionality at Elementary Levels. - Elena Fabiola Ruiz Ledesma; Lorena Chavarría-Báez; Laura I. Garay (Res. Comput. Sci., 2016)