Silvano Dal Zilio

Available identifiers

zbMath Open dal-zilio.silvanoMaRDI QIDQ832011

List of research outcomes

Publication	Date of Publication	Type
On the complexity of proving polyhedral reductions	2024-10-22	Paper
Property directed reachability for generalized Petri nets	2024-01-23	Paper
Automated polyhedral abstraction proving	2023-11-16	Paper
Petri Net Reductions for Counting Markings	2023-03-21	Paper
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking	2022-10-31	Paper
Accelerating the computation of dead and concurrent places using reductions	2022-03-24	Paper
On the combination of polyhedral abstraction and SMT-based model checking for Petri nets	2022-03-21	Paper
A state class construction for computing the intersection of time Petri nets languages	2020-05-05	Paper
Solving language equations using flanked automata	2018-10-25	Paper
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus	2016-04-01	Paper
A logic you can count on	2015-11-11	Paper
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications	2015-08-06	Paper
An Experiment on Parallel Model Checking of a CTL Fragment	2012-11-21	Paper
Membrane Computing	2009-05-15	Paper
A Typed Calculus for Querying Distributed XML Documents	2009-03-05	Paper
A Concurrent Calculus with Atomic Transactions	2007-09-04	Paper
XML schema, tree logic and sheaves automata	2007-01-24	Paper
Programming Languages and Systems	2006-10-20	Paper
Resource control for synchronous cooperative threads	2006-09-13	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Computer Science Logic	2005-08-22	Paper
Model checking mobile ambients	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4447237	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4536340	2002-11-04	Paper
Region analysis and a π-calculus with groups	2002-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q4536439	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4532085	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q2769429	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2766526	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4934325	1999-01-01	Paper

Research outcomes over time

This page was built for person: Silvano Dal Zilio