Mikhail Raskin

Maître de conferences (≈ lecturer, permanent assistant professor)

University of Bordeaux

France

Research Interests

Explore related searches

Professors in France

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Mikhail Raskin is a Maître de conferences at the University of Bordeaux, France. His research primarily focuses on complexity theory, formal verification, and protocols in computer science, as evidenced by his recent articles on various topics, including random simple temporal graphs and the complexity of verifying population protocols. His work contributes to understanding the theoretical foundations of distributed systems and automata.

Articles (9)

Year:

2024

Year:

2023

Year:

2023

Year:

2022

Year:

2021

Year:

2021

Year:

2021

Year:

2020

Year:

2020

Collaborators (2)

Arnaud Casteigts

Professor

University of Geneva

SWITZERLAND

View details

Malte Renken

Technische Universität Berlin

GERMANY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Mikhail Raskin

Research Interests

Explore related searches

Contact this professor

About

Articles (9)

Sharp Thresholds in Random Simple Temporal Graphs

Protocols with constant local storage and unreliable communication

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

Regular Model Checking Upside-Down: An Invariant-Based Approach

The complexity of verifying population protocols

Affine Extensions of Integer Vector Addition Systems with States

The Complexity of Reachability in Affine Vector Addition Systems with States

Minimization of visibly pushdown automata is NP-complete

Flatness and Complexity of Immediate Observation Petri Nets

Collaborators (2)

Arnaud Casteigts

Malte Renken

Make your next move.