Lorena Chavarría-Báez

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Active Database Systems

Virtual Environment

Linear Filtering

Top Venues

Res. Comput. Sci.

Publications

Elena Fabiola Ruiz Ledesma, Lorena Chavarría-Báez, Laura Ivonne Garay
Virtual Environment of Learning to Support the Topic of Proportionality at Elementary Levels. Res. Comput. Sci. 127 (2016)
Lorena Chavarría-Báez, Oscar Díaz
A Petri Net-based Approach to OWL Ontology Representation. Res. Comput. Sci. 100 (2015)
Lorena Chavarría-Báez, Xiaoou Li, Rosaura Palma-Orozco
Estimating the Number of Test Cases for Active Rule Validation. MICAI (1) (2013)
Lorena Chavarría-Báez, Rosaura Palma-Orozco
A linear filtering theory-based approach for load shedding. IRI (2013)
Lorena Chavarría-Báez, Xiaoou Li
A Petri Net-Based Metric for Active Rule Validation. ICTAI (2011)
Lorena Chavarría-Báez, Xiaoou Li
ECAPNVer: A Software Tool to Verify Active Rule Bases. ICTAI (2) (2010)
Xiaoou Li, Lorena Chavarría-Báez
Termination Analysis of Active Rules -A Petri Net Based Approach. SMC (2009)
Lorena Chavarría-Báez, Xiaoou Li
Active Database System Realized by a Petri Net Approach. MSVVEIS (2008)
Lorena Chavarría-Báez, Xiaoou Li
Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach. SEKE (2008)
Lorena Chavarría-Báez, Xiaoou Li
Verification of active rule base via conditional colored Petri nets. SMC (2007)