Hernán Ponce de León

Available identifiers

zbMath Open ponce-de-leon.hernanMaRDI QIDQ1620958

List of research outcomes

Publication	Date of Publication	Type
Automatic decomposition of Petri nets into automata networks -- a synthetic account	2022-09-01	Paper
Compact and efficiently verifiable models for concurrent systems	2018-11-15	Paper
Building bridges between sets of partial orders	2016-04-08	Paper
Unfolding-based process discovery	2016-01-08	Paper
Distributed testing of concurrent systems: vector clocks to the rescue	2015-01-13	Paper
Conformance relations for labeled event structures	2012-07-20	Paper

Research outcomes over time

This page was built for person: Hernán Ponce de León