Lorena Chavarría-Báez

	2011
6		Lorena Chavarría-Báez, Xiaoou Li: A Petri Net-Based Metric for Active Rule Validation. ICTAI 2011: 922-923
	2010
5		Lorena Chavarría-Báez, Xiaoou Li: ECAPNVer: A Software Tool to Verify Active Rule Bases. ICTAI (2) 2010: 138-141
	2009
4		Xiaoou Li, Lorena Chavarría-Báez: Termination Analysis of Active Rules -A Petri Net Based Approach. SMC 2009: 2205-2210
	2008
3		Lorena Chavarría-Báez, Xiaoou Li: Active Database System Realized by a Petri Net Approach. MSVVEIS 2008: 150-159
2		Lorena Chavarría-Báez, Xiaoou Li: Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach. SEKE 2008: 363-366
	2007
1		Lorena Chavarría-Báez, Xiaoou Li: Verification of active rule base via conditional colored Petri nets. SMC 2007: 343-348

Coauthor Index

1

Xiaoou Li

[1] [2] [3] [4] [5] [6]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page