Theory of Programs
ClassSpy: Java Object Pattern Visualization Tool
Patterns of Primes and Composites from Divisibility Network of Natural
  Numbers Observation of bright polariton solitons in a semiconductor microcavity Characteristic approach to the soliton resolution Planar Graph Perfect Matching is in NC Flag Hardy space theory on Heisenberg groups and applications Quantifying the Cognitive Extent of Science Laplace transform and universal sl(2) invariants Polisis: Automated Analysis and Presentation of Privacy Policies Using
  Deep Learning Role of Bulk flow in Turbulent Convection How to choose the most appropriate centrality measure? Propagation of rays in 2D and 3D waveguides: a stability analysis with
  Lyapunov and Reversibility fast indicators The Cyborg Astrobiologist: Matching of Prior Textures by Image
  Compression for Geological Mapping and Novelty Detection Exact results for anomalous transport in one dimensional Hamiltonian
  systems Quantum Biometrics with Retinal Photon Counting Heisenberg XX chain, non-homogeneously parameterised generating
  exponential, and diagonally restricted plane partitions Algebraic multiscale method for flow in heterogeneous porous media with
  embedded discrete fractures (F-AMS) Nonconvex Low-Rank Tensor Completion from Noisy Data
cs.PL cs.SE