Report on a User Test and Extension of a Type Debugger for Novice
  Programmers
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive
  Case
Topology of quasiperiodic functions on the plane Higher-Level Hardware Synthesis of The KASUMI Algorithm Going beyond ER=EPR in the SYK model Predicting the large-scale evolution of tag systems The Impact of Simulations in Cosmology and Galaxy Formation A summary of
  the Workshop NOVICOSMO 2008 Reciprocal Space and Crystal Planes in Geometric Algebra Talk to the Hand: Generating a 3D Print from Photographs Hydrodynamic simulations of relativistic heavy-ion collisions with
  different lattice QCD calculations of the equation of state Spectral dimension and Bohr's formula for Schrodinger operators on
  unbounded fractal spaces Testing the Amp\`ere-Maxwell law on the photon mass and
  Lorentz-Poincar\'e symmetry violation with MMS multi-spacecraft data Anonymity and Confidentiality in Secure Distributed Simulation Partial differential equations and geometry arising from Group
  determinants Clusters in Intense XUV pulses: effects of cluster size on expansion
  dynamics and ionization Telling apart <I>Felidae</I> and <I>Ursidae</I> from the distribution of
  nucleotides in mitochondrial DNA Reward-Based Deception with Cognitive Bias Quantum Electronic Circuit Simulation of Generalized sine-Gordon Models New directions in Nielsen-Reidemeister theory Monopoly Pricing in Vertical Markets with Demand Uncertainty On the Formal Semantics of Speech-Act Based Communication in an
  Agent-Oriented Programming Language Exact solution of the many-body problem with a
  $\mathcal{O}\left(n^6\right)$ complexity Accelerating R-based Analytics on the Cloud Gli Strumenti Scientifici di Interesse Storico di tre antiche Scuole
  Medie Superiori di Bergamo ("Lussana", "Vittorio Emanuele", e "Quarenghi")
cs.PL cs.SE