46 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
3 papers
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,…
Setting the physical scale of dimensional reduction in causal dynamical triangulations
Joshua H. Cooperman, Manuchehr Dorghabekov
Within the causal dynamical triangulations approach to the quantization of gravity, striking evidence has emerged for the dynamical reduction of spacetime dimension on sufficiently…
Period doubling in glow discharges: local versus global differential conductivity
Danijela D. Sijacic, Ute Ebert, Ismail Rafatov
Short planar glow discharges coupled to a resistive layer exhibit a wealth of spontaneous spatio-temporal patterns. Several authors have suggested effective reaction-diffusion-mode…