Chana Weil-Kennedy

Available identifiers

zbMath Open weil-kennedy.chanaMaRDI QIDQ2025856

List of research outcomes

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

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: Chana Weil-Kennedy