Proceedings of the 4th Workshop on Models for Formal Analysis of Real
  Systems
Towards Substructural Property-Based Testing
The Casimir Effect and the Quantum Vacuum Dynamic transition in an atomic glass former: a molecular dynamics
  evidence Constraining the mass of the graviton with the planetary ephemeris INPOP A formally exact one-frequency-only Bethe-Salpeter-like equation.
  Similarities and differences between GW +BSE and self-consistent RPA $\delta^{44/40}$Ca-$\delta^{88/86}$Sr multi-proxy constrains primary
  origin of Marinoan cap carbonates Work sharing as a metric and productivity indicator for administrative
  workflows Primeness and primitivity conditions for twisted group $C^*$-algebras Information Theoretic Feature Transformation Learning for Brain
  Interfaces Stability of topologically protected edge states in nonlinear quantum
  walks: Additional bifurcations unique to Floquet systems Gelfand spectra and Wallman compactifications Neural Hybrid Automata: Learning Dynamics with Multiple Modes and
  Stochastic Transitions A simulation method for determining the optical response of highly
  complex photonic structures of biological origin Inverse problem for sl(2) lattices Analysis of player's in-game performance vs rating: Case study of Heroes
  of Newerth Multiscale Mechanical Consequences of Ocean Acidification for Cold-Water
  Corals On the Relevance of Bandwidth Extension for Speaker Verification Location of the Energy Levels of the Rare-Earth Ion in BaF2 and CdF2 Vulnerability of Blockchain Technologies to Quantum Attacks Measurement of the motional heating of a levitated nanoparticle by
  thermal light An alternative mathematical theory of elastoplastic behaviour A balance for Dark Matter bound states
cs.LO cs.PL cs.SE