Silvano Dal Zilio

From MaRDI portal
Person:832011

Available identifiers

zbMath Open dal-zilio.silvanoMaRDI QIDQ832011

List of research outcomes





PublicationDate of PublicationType
On the complexity of proving polyhedral reductions2024-10-22Paper
Property directed reachability for generalized Petri nets2024-01-23Paper
Automated polyhedral abstraction proving2023-11-16Paper
Petri Net Reductions for Counting Markings2023-03-21Paper
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking2022-10-31Paper
Accelerating the computation of dead and concurrent places using reductions2022-03-24Paper
On the combination of polyhedral abstraction and SMT-based model checking for Petri nets2022-03-21Paper
A state class construction for computing the intersection of time Petri nets languages2020-05-05Paper
Solving language equations using flanked automata2018-10-25Paper
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus2016-04-01Paper
A logic you can count on2015-11-11Paper
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications2015-08-06Paper
An Experiment on Parallel Model Checking of a CTL Fragment2012-11-21Paper
Membrane Computing2009-05-15Paper
A Typed Calculus for Querying Distributed XML Documents2009-03-05Paper
A Concurrent Calculus with Atomic Transactions2007-09-04Paper
XML schema, tree logic and sheaves automata2007-01-24Paper
Programming Languages and Systems2006-10-20Paper
Resource control for synchronous cooperative threads2006-09-13Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
Computer Science Logic2005-08-22Paper
Model checking mobile ambients2004-10-27Paper
https://portal.mardi4nfdi.de/entity/Q44472372004-02-16Paper
https://portal.mardi4nfdi.de/entity/Q45363402002-11-04Paper
Region analysis and a π-calculus with groups2002-10-06Paper
https://portal.mardi4nfdi.de/entity/Q45364392002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q45320852002-05-28Paper
https://portal.mardi4nfdi.de/entity/Q27694292002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27665262002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q49343251999-01-01Paper

Research outcomes over time

This page was built for person: Silvano Dal Zilio