Reasoning about Recursive Quantum Programs
Modular Verification of Recursive Programs
Search for transient ultralight dark matter signatures with networks of
  precision measurement devices using a Bayesian statistics method Positionality-Weighted Aggregation Methods for Cumulative Voting Semantic Text Analysis for Detection of Compromised Accounts on Social
  Networks Performance improvement of the software development project using the
  Value Management approach Spin Structures and Exact Dualities in Low Dimensions Non-extensive statistics, relativistic kinetic theory and fluid dynamics Executable Set Theory and Arithmetic Encodings in Prolog Unsupervised and Interpretable Domain Adaptation to Rapidly Filter
  Tweets for Emergency Services Computation of frequency responses for linear time-invariant PDEs on a
  compact interval Integrable spin Calogero-Moser systems In search of an evolutionary coding style Transitive reasoning with imprecise probabilities Identification of Continuous-Time Dynamical Systems: Neural Network
  Based Algorithms and Parallel Implementation Quantum Quasi-Cyclic LDPC Codes The Wigner branching random walk: Efficient implementation and
  performance evaluation Bidyon as an electromagnetic model for charged particle with spin Immersive Interactive Quantum Mechanics for Teaching and Learning
  Chemistry
cs.LO cs.PL