Lorena Chavarría-Báez

According to our database, Lorena Chavarría-Báez authored at least 10 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

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

2015

A Petri Net-based Approach to OWL Ontology Representation.

Lorena Chavarría-Báez, Oscar Díaz

Res. Comput. Sci., 2015

2013

Estimating the Number of Test Cases for Active Rule Validation.

Lorena Chavarría-Báez, Xiaoou Li, Rosaura Palma-Orozco

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

A linear filtering theory-based approach for load shedding.

Lorena Chavarría-Báez, Rosaura Palma-Orozco

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2011

A Petri Net-Based Metric for Active Rule Validation.

Lorena Chavarría-Báez, Xiaoou Li

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

ECAPNVer: A Software Tool to Verify Active Rule Bases.

Lorena Chavarría-Báez, Xiaoou Li

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

Termination Analysis of Active Rules -A Petri Net Based Approach.

Xiaoou Li, Lorena Chavarría-Báez

Proceedings of the IEEE International Conference on Systems, 2009

2008

Active Database System Realized by a Petri Net Approach.

Lorena Chavarría-Báez, Xiaoou Li

Proceedings of the Modelling, 2008

Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach.

Lorena Chavarría-Báez, Xiaoou Li

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

2007

Verification of active rule base via conditional colored Petri nets.

Lorena Chavarría-Báez, Xiaoou Li

Proceedings of the IEEE International Conference on Systems, 2007