Searching for authors named "Gianfranco Ciardo" – sorted by Relevance.
75 documents found, showing 1 through 10.
Next 10 →
-
discrete–state systems
- …–state systems ⋆ Gianfranco Ciardo Department of Computer Science and Engineering University of California…
- Add To MetaCart
-
Data Representation and Efficient Solution: A Decision Diagram Approach ⋆
- …Data Representation and Efficient Solution: A Decision Diagram Approach ⋆ Gianfranco Ciardo Dept…
- Add To MetaCart
-
Faster discrete-event simulation through structural caching
- …Faster Discrete-event Simulation Through Structural Caching 1 Gianfranco Ciardo Dept. of Computer…
- Cited by 3 (3 self) – Add To MetaCart
-
What a Structural World
- …What a Structural World Gianfranco Ciardo College of William and Mary Williamsburg, Virginia…
- Cited by 3 (0 self) – Add To MetaCart
-
Toward a definition of modeling power for stochastic Petri net models
- …Toward a Definition of Modeling Power for Stochastic Petri Net Models Gianfranco Ciardo Duke…
- Cited by 2 (0 self) – Add To MetaCart
-
Petri Nets with Marking-Dependent Arc Cardinality
- …Petri Nets with Marking-Dependent Arc Cardinality: Properties and Analysis Gianfranco Ciardo…
- Cited by 1 (0 self) – Add To MetaCart
-
Reachability set generation for petri nets: Can brute force be smart
- …Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? ⋆ Gianfranco Ciardo…
- Cited by 2 (0 self) – Add To MetaCart
-
Distributed and structured analysis approaches to study large and complex systems
- …Distributed and Structured Analysis Approaches to Study Large and Complex Systems ⋆ Gianfranco…
- Cited by 7 (0 self) – Add To MetaCart
-
DISCRETE-TIME MARKOVIAN STOCHASTIC PETRI NETS
- …20 DISCRETE-TIME MARKOVIAN STOCHASTIC PETRI NETS ABSTRACT Gianfranco Ciardo 1 Department…
- Cited by 20 (7 self) – Add To MetaCart
-
Efficient Approximate Transient Analysis for a Class of Deterministic and Stochastic Petri Nets
- … Gianfranco Ciardo Guangzhi Li Department of Computer Science College of William and Mary Williamsburg, VA…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
