A Formal Model of Distributed Systems For Test Generation Missions
Modeling the Raft Distributed Consensus Protocol in LNT
A time-splitting spectral scheme for the Maxwell-Dirac system Reactivity Boundaries to Separate the Fate of a Chemical Reaction
  Associated with an Index-two saddle Beyond the frame rate: Measuring high-frequency fluctuations with light
  intensity modulation Algorithmic entropy, thermodynamics, and game interpretation Building continuous time crystals from rare events DistFlow ODE: Modeling, Analyzing and Controlling Long Distribution
  Feeder Markov Brains: A Technical Introduction Efficient Core Maintenance in Large Dynamic Graphs The 1919 eclipse results which verified General Relativity and their
  later detractors: a story re-told A Subspace Method for Array Covariance Matrix Estimation Warm turbulence in the Boltzmann equation Emergent QCD Kondo effect in two-flavor color superconducting phase Many-body quantum state tomography with neural networks A Faster Isomorphism Test for Graphs of Small Degree Nanoflare statistics in an active region 3D MHD coronal model Induced quadratic modules in $*$-algebras End-to-End Differentiable Proving
cs.SE cs.DC