Michael Raskin

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 13

Top Topics

Uniformly Distributed

Simple Temporal

Top Venues

Publications

Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
Sharp Thresholds in Random Simple Temporal Graphs. SIAM J. Comput. 53 (2) (2024)
Ruben Becker, Arnaud Casteigts, Pierluigi Crescenzi, Bojana Kodric, Malte Renken, Michael Raskin, Viktor Zamaraev
Giant Components in Random Temporal Graphs. APPROX/RANDOM (2023)
Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
Sharp Thresholds in Random Simple Temporal Graphs. FOCS (2022)
Michael Raskin
QueryFS: compiling queries to define a filesystem. ELS (2022)
Ruben Becker, Arnaud Casteigts, Pierluigi Crescenzi, Bojana Kodric, Malte Renken, Michael Raskin, Viktor Zamaraev
Giant Components in Random Temporal Graphs. CoRR (2022)
Michael Raskin
Lisp in the middle - using Lisp to manage a Linux system. ELS (2021)
Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
Sharp Thresholds in Random Simple Temporal Graphs. FOCS (2021)
Olivier Gauwin, Anca Muscholl, Michael Raskin
Minimization of visibly pushdown automata is NP-complete. Log. Methods Comput. Sci. 16 (1) (2020)
Bruno Courcelle, Irène Durand, Michael Raskin
A unified algorithm for colouring graphs of bounded clique-width. CoRR (2020)
Michael Raskin, Chana Weil-Kennedy
Efficient Restrictions of Immediate Observation Petri Nets. CoRR (2020)
Michael Raskin, Chana Weil-Kennedy
Efficient Restrictions of Immediate Observation Petri Nets. RP (2020)
Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
Sharp Thresholds in Random Simple Temporal Graphs. CoRR (2020)
Michael Raskin, Nikita Mamardashvili
Accessing Local Variables During Debugging. ELS (2016)
Michael Raskin
Data-Transformer: an Example of Data-Centered Toolset. ELS (2013)