Aurora Tiplea

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

Collaborative distances:

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

2006

Petri net reactive modules.

Ferucio Laurentiu Tiplea, Aurora Tiplea

Theor. Comput. Sci., 2006

2005

Instantiating Nets and Their Applications to Workflow Nets.

Ferucio Laurentiu Tiplea, Aurora Tiplea

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.

Ferucio Laurentiu Tiplea, Aurora Tiplea

Proceedings of the Verification, 2002

1998

On Normalization of Petri Nets.

Ferucio Laurentiu Tiplea, Aurora Tiplea

Sci. Ann. Cuza Univ., 1998