( en | de | ru )

 

Disambiguierung von "Amparore, Elvio Gilberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reengineering the Editor of the GreatSPN Framework.

. PNSE @ Petri Nets, Volume 1372 von CEUR Workshop Proceedings, Seite 153-170. CEUR-WS.org, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gilberto Gattaz

Gilberto Echeverria

Gilberto Granados

Gilberto Vargas

Gilberto Arantes

 

Weitere Publikationen von Autoren mit dem selben Namen

Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units., , und . ATVA, Volume 10482 von Lecture Notes in Computer Science, Seite 184-200. Springer, (2017)Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets., , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 355-360. Springer, (2019)Efficient solution of extended Multiple-Phased Systems., und . VALUETOOLS, ACM, (2016)MC4CSLTA: An Efficient Model Checking Tool for CSLTA., und . QEST, Seite 153-154. IEEE Computer Society, (2010)Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving., , , , , und . ICINCO (2), Seite 817-822. SciTePress, (2014)Reengineering the Editor of the GreatSPN Framework.. PNSE @ Petri Nets, Volume 1372 von CEUR Workshop Proceedings, Seite 153-170. CEUR-WS.org, (2015)Improving and Assessing the Efficiency of the MC4CSLTA Model Checker., und . EPEW, Volume 8168 von Lecture Notes in Computer Science, Seite 206-220. Springer, (2013)Optimal Aggregation of Components for the Solution of Markov Regenerative Processes., und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2016)A Structured Solution Approach for Markov Regenerative Processes., , und . QEST, Volume 8657 von Lecture Notes in Computer Science, Seite 9-24. Springer, (2014)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , und 9 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 50-68. Springer, (2019)