ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
ClassSpy: Java Object Pattern Visualization Tool
LMLFM: Longitudinal Multi-Level Factorization Machine Shrinking Horizon Model Predictive Control with Signal Temporal Logic
  Constraints under Stochastic Disturbances A Stochastic Covariance Shrinkage Approach in Ensemble Transform Kalman
  Filtering K to pi and K to 0 in 2+1 Flavor Partially Quenched Chiral Perturbation
  Theory Interacting particles system revisited in the framework of the
  q-deformed algebra Sqrt(d) Dimension Dependence of Langevin Monte Carlo Quantum vortex instability and black hole superradiance Using Node Centrality and Optimal Control to Maximize Information
  Diffusion in Social Networks On Computational Complexity Reduction Methods for Kalman Filter
  Extensions Experimental GHZ Entanglement beyond Qubits Optical Microscopy of Soft Matter Systems Global visual localization in LiDAR-maps through shared 2D-3D embedding
  space A new perspective on gluon distribution at small x Learning-based attacks in cyber-physical systems Towards the Safe Programming of Wireless Sensor Networks On anomalies in classical dynamical systems Kinetic theory of QED plasmas in a strong electromagnetic field. II. The
  mean-field description Interplay between couplings and common noise in phase synchronization:
  disagreement between global analysis and local stability characterization DisCo: Physics-Based Unsupervised Discovery of Coherent Structures in
  Spatiotemporal Systems Generalization of Lieb-Wu wave function inspired by one-dimensional
  ionic Hubbard model
cs.PL cs.SE