Chana Weil-Kennedy

Available identifiers

zbMath Open weil-kennedy.chanaMaRDI QIDQ2025856

List of research outcomes

Publication	Date of Publication	Type
Reconfigurable broadcast networks and asynchronous shared-memory systems are equivalent	2024-12-06	Paper
Parameterized Analysis of Immediate Observation Petri Nets	2024-01-29	Paper
Parameterized analysis of reconfigurable broadcast networks	2024-01-23	Paper
Flatness and Complexity of Immediate Observation Petri Nets	2022-07-18	Paper
Verification of Immediate Observation Population Protocols	2021-08-04	Paper
Efficient restrictions of immediate observation Petri nets	2021-07-06	Paper
The complexity of verifying population protocols	2021-05-17	Paper

Research outcomes over time

This page was built for person: Chana Weil-Kennedy