output
20032025
most citedPeriod doubling in glow discharges: local versus global differential conductivity

46 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2025 · cs.PLShow all

1 paper · 2 filters

cs.PL2025★ 1 cited

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs

Aleksandr Fedchin, Antero Mejr, Hari Sundar +1

The Message Passing Interface (MPI) is widely used in parallel, high-performance programming, yet writing bug-free software that uses MPI remains difficult. We introduce DafnyMPI,…