Daniil Frumin

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Statistical Model

Discrete Event Systems

Top Venues

Math. Struct. Comput. Sci.

Publications

Daniil Frumin, Benno van den Berg
A homotopy-theoretic model of function extensionality in the effective topos. Math. Struct. Comput. Sci. 29 (4) (2019)
Marko C. J. D. van Eekelen, Daniil Frumin, Herman Geuvers, Léon Gondelman, Robbert Krebbers, Marc Schoolderman, Sjaak Smetsers, Freek Verbeek, Benoît Viguier, Freek Wiedijk
A benchmark for C program verification. CoRR (2019)
Daniil Frumin, Benno van den Berg
A homotopy-theoretic model of function extensionality in the effective topos. CoRR (2017)
Daniil Frumin, Irina A. Lomazova
Branching Processes of Conservative Nested Petri Nets. VPT@CAV (2014)