Chana Weil-Kennedy

According to our database, Chana Weil-Kennedy authored at least 11 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Observation Petri Nets.

Chana Weil-Kennedy

PhD thesis, 2023

2022

Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version).

A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy

CoRR, 2022

Parameterized Analysis of Reconfigurable Broadcast Networks.

A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

The complexity of verifying population protocols.

Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy

Distributed Comput., 2021

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent.

A. R. Balasubramanian, Chana Weil-Kennedy

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version).

A. R. Balasubramanian, Chana Weil-Kennedy

CoRR, 2021

2020

On the Flatness of Immediate Observation Petri Nets.

Mikhail A. Raskin, Chana Weil-Kennedy

CoRR, 2020

Efficient Restrictions of Immediate Observation Petri Nets.

Michael Raskin, Chana Weil-Kennedy

Proceedings of the Reachability Problems - 14th International Conference, 2020

Flatness and Complexity of Immediate Observation Petri Nets.

Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Parameterized Analysis of Immediate Observation Petri Nets.

Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Verification of Immediate Observation Population Protocols.

Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy

Proceedings of the 29th International Conference on Concurrency Theory, 2018