Login / Signup
Yakir Forman
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 2
Top Topics
Power Grid
Formal Logic
Distributed Systems
Theorem Prover
Top Venues
CoRR
Netw. Sci.
</>
Publications
</>
Zachary Flores
,
Angelo Taranto
,
Eric Bond
,
Yakir Forman
A Formalization of Operads in Coq.
CoRR
(2023)
Russell Spiewak
,
Saleh Soltan
,
Yakir Forman
,
Sergey V. Buldyrev
,
Gil Zussman
A study of cascading failures in real and synthetic power grid topologies.
Netw. Sci.
6 (4) (2018)