Michael Raskin

16 papers A* 1A 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Giant Components in Random Temporal Graphs.
SIAM J. Discret. Math.
Ruben Becker, Arnaud Casteigts, Pierluigi Crescenzi, Bojana Kodric, Michael Raskin, Malte Renken, Viktor Zamaraev
2025 J jnl
Regular Model Checking Upside-Down: An Invariant-Based Approach.
Log. Methods Comput. Sci.
Javier Esparza, Michael Raskin, Christoph Welzel-Mohr
2024 — conf
Modular Population Protocols.
ALGOWIN
Michael Raskin
2024 J jnl
Sharp Thresholds in Random Simple Temporal Graphs.
SIAM J. Comput.
Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
2023 A conf
Giant Components in Random Temporal Graphs.
APPROX/RANDOM
Ruben Becker, Arnaud Casteigts, Pierluigi Crescenzi, Bojana Kodric, Malte Renken, Michael Raskin, Viktor Zamaraev
2022 J jnl
Giant Components in Random Temporal Graphs.
CoRR
Ruben Becker, Arnaud Casteigts, Pierluigi Crescenzi, Bojana Kodric, Malte Renken, Michael Raskin, Viktor Zamaraev
2022 — conf
QueryFS: compiling queries to define a filesystem.
ELS
Michael Raskin
2021 — conf
Lisp in the middle - using Lisp to manage a Linux system.
ELS
Michael Raskin
2021 A* conf
Sharp Thresholds in Random Simple Temporal Graphs.
FOCS
Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
2020 J jnl
A unified algorithm for colouring graphs of bounded clique-width.
CoRR
Bruno Courcelle, Irène Durand, Michael Raskin
2020 — conf
Efficient Restrictions of Immediate Observation Petri Nets.
RP
Michael Raskin, Chana Weil-Kennedy
2020 J jnl
Efficient Restrictions of Immediate Observation Petri Nets.
CoRR
Michael Raskin, Chana Weil-Kennedy
2020 J jnl
Minimization of visibly pushdown automata is NP-complete.
Log. Methods Comput. Sci.
Olivier Gauwin, Anca Muscholl, Michael Raskin
2020 J jnl
Sharp Thresholds in Random Simple Temporal Graphs.
CoRR
Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
2016 — conf
Accessing Local Variables During Debugging.
ELS
Michael Raskin, Nikita Mamardashvili
2013 — conf
Data-Transformer: an Example of Data-Centered Toolset.
ELS
Michael Raskin