Silvano Dal Zilio

Available identifiers

zbMath Open dal-zilio.silvanoMaRDI QIDQ832011

List of research outcomes

Publication	Date of Publication	Type
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

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: Silvano Dal Zilio