Dmitri Saberi

According to our database, Dmitri Saberi authored at least 6 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Autoformalizing Memory Specifications with Agents.

Jan Ole Ernst, Dmitri Saberi, Derek Christ, Thomas Zimmermann, Rajath Salegame, Suhaas M. Bhat, Stanislav Levental, Thomas Dybdahl Ahle, Matthias Jung

CoRR, May, 2026

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets.

Derek Christ, Thomas Zimmermann, Philippe Barbie, Dmitri Saberi, Yao Yin, Matthias Jung

CoRR, February, 2026

2022

Provably efficient variational generative modeling of quantum many-body systems via quantum-probabilistic information geometry.

Faris M. Sbahi, Antonio J. Martinez, Sahil Patel, Dmitri Saberi, Jae Hyeon Yoo, Geoffrey Roeder, Guillaume Verdon

CoRR, 2022

2021

Scale-free protocol design for regulated state synchronization of homogeneous multi-agent systems with unknown and non-uniform input delays.

Zhenwei Liu, Donya Nojavanzadeh, Dmitri Saberi, Ali Saberi, Anton A. Stoorvogel

Syst. Control. Lett., 2021

2020

Regulated State Synchronization for Discrete-Time Homogeneous Networks of Non-Introspective Agents in Presence of Unknown Non-Uniform Input Delays: A Scale-Free Protocol Design (with a general MATLAB implementation).

Zhenwei Liu, Donya Nojavanzadeh, Dmitri Saberi, Ali Saberi, Anton A. Stoorvogel

CoRR, 2020

Regulated State Synchronization for Homogeneous Networks of Non-introspective Agents in Presence of Input Delays: A Scale-Free Protocol Design (with a general MATLAB implementation).

Zhenwei Liu, Donya Nojavanzadeh, Dmitri Saberi, Ali Saberi, Anton A. Stoorvogel

CoRR, 2020