SCEAS

The SCEAS System

Title:
Author:

Cristian Vidrascu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Cristian Vidrascu
Modular Analysis of Concurrency in Jumping Petri Nets. [Citation Graph (0, 0)][DBLP]
SYNASC, 2005, pp:374-381 [Conf]
Cristian Vidrascu
Modelling a Sender-Receiver System. [Citation Graph (0, 0)][DBLP]
Acta Cybern., 2003, v:16, n:1, pp:147-154 [Journal]
Cristian Vidrascu, Toader Jucan
Concurrency-Degrees for Jumping Petri-Nets. [Citation Graph (0, 0)][DBLP]
Sci. Ann. Cuza Univ., 2002, v:12, n:, pp:135-150 [Journal]
Cristian Vidrascu
Some Applications of the Minimal Coverability. [Citation Graph (0, 0)][DBLP]
Sci. Ann. Cuza Univ., 2001, v:10, n:, pp:55-78 [Journal]
Cristian Vidrascu
Modelling and Verification with Jumping Petri Nets. [Citation Graph (0, 0)][DBLP]
Sci. Ann. Cuza Univ., 2004, v:14, n:, pp:91-99 [Journal]
Cristian Vidrascu, Toader Jucan
On Coverability Structures for Jumping Petri Nets. [Citation Graph (0, 0)][DBLP]
Sci. Ann. Cuza Univ., 2000, v:9, n:, pp:1-26 [Journal]
Cristian Vidrascu, Toader Jucan
Concurrency-Degrees for P/T - Nets. [Citation Graph (0, 0)][DBLP]
Sci. Ann. Cuza Univ., 2003, v:13, n:, pp:91-104 [Journal]
Coverability Problems for Jumping Petri Nets. [Citation Graph (, )][DBLP]

Search in 0.001secs, Finished in 0.001secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP