Aurora Tiplea

According to our database¹, Aurora Tiplea authored at least 4 papers between 1998 and 2006.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

Petri net reactive modules.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

2005

Instantiating Nets and Their Applications to Workflow Nets.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

2002

A Simulation Preorder for Abstraction of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2002

1998

On Normalization of Petri Nets.

[BibT_eX]

Sci. Ann. Cuza Univ., 1998