( en | de | ru )

 

Disambiguation of "Amparore, Elvio Gilberto"

Author of the publication

copydeleteadd this publication to your clipboard
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models.

, , , , , and . ACM Trans. Model. Perform. Evaluation Comput. Syst., 9 (1): 1:1-1:30 (March 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gilberto Gattaz

Gilberto Echeverria

Gilberto Vargas

Gilberto Granados

Gilberto Arantes

 

Other publications of authors with the same name

Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving., , , , , and . ICINCO (2), page 817-822. SciTePress, (2014)Optimal Aggregation of Components for the Solution of Markov Regenerative Processes., and . QEST, volume 9826 of Lecture Notes in Computer Science, page 19-34. Springer, (2016)A Structured Solution Approach for Markov Regenerative Processes., , and . QEST, volume 8657 of Lecture Notes in Computer Science, page 9-24. Springer, (2014)Improving and Assessing the Efficiency of the MC4CSLTA Model Checker., and . EPEW, volume 8168 of Lecture Notes in Computer Science, page 206-220. Springer, (2013)Reengineering the Editor of the GreatSPN Framework.. PNSE @ Petri Nets, volume 1372 of CEUR Workshop Proceedings, page 153-170. CEUR-WS.org, (2015)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , and 9 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 50-68. Springer, (2019)Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets., , and . QEST, volume 11785 of Lecture Notes in Computer Science, page 355-360. Springer, (2019)Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units., , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 184-200. Springer, (2017)starMC: an automata based CTL* model checker., , and . PeerJ Comput. Sci., (2022)SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer., , , , , , and . Bioinform., 34 (5): 871-872 (2018)