Elvio Gilberto Amparore

Available identifiers

zbMath Open amparore.elvio-gilbertoMaRDI QIDQ1693110

List of research outcomes

Publication	Date of Publication	Type
A CTL* Model Checker for Petri Nets	2022-09-01	Paper
The ins and outs of Petri net composition	2022-08-19	Paper
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units	2022-08-12	Paper
The footprint form of a matrix: definition, properties, and an application	2022-07-26	Paper
Optimal aggregation of components for the solution of Markov regenerative processes	2018-01-11	Paper
Expressing and Computing Passage Time Measures of GSPN Models with HASL	2013-06-28	Paper
Revisiting the matrix‐free solution of Markov regenerative processes	2012-12-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Elvio Gilberto Amparore