Parity to Safety in Polynomial Time for Pushdown and Collapsible
  Pushdown Systems
Real-Time Synthesis is Hard!
Some notes on a method for proving inequalities by computer Algebraic Solutions of the Multicomponent KP Hierarchy Cracking the Liu key exchange protocol in its most secure state with
  Lorentzian spectra Novel Attractive Force Between Ions in Quantum Plasmas A framework for the analysis of fully coupled normal and tangential
  contact problems with complex interfaces Finite-dimensional Schwinger basis, deformed symmetries, Wigner
  function, and an algebraic approach to quantum phase Relationships among detector signals recorded during events SN1987A and
  GW170817 Reinforced Molecular Optimization with Neighborhood-Controlled Grammars Higher-derivative harmonic oscillators: stability of classical dynamics
  and adiabatic invariants Establishing the carrier scattering phase diagram for ZrNiSn-based
  half-Heusler thermoelectric materials Beyond Lorentzian Symmetry Improving Compression Based Dissimilarity Measure for Music Score
  Analysis Algebraic renormalisation of regularity structures Betti numbers of random real hypersurfaces and determinants of random
  symmetric matrices What am I allowed to do here?: Online Learning of Context-Specific Norms
  by Pepper Track Restore Technique (RST) Applied to Analysis of Waveform of Voltage
  Pulse in SAGE Proportional Counters Complex-Valued Time Series Based Prediction: Case of Solar Irradiance
  Probabilistic Prediction A Connection between Easy Quantum Groups, Varieties of Groups and
  Reflection Groups
cs.LO cs.FL