A Prolog-based Environment for Reasoning about Programming Languages
  (Extended abstract)
User-driven Design and Evaluation of Liquid Types in Java
Simplified Threshold Phenomena in Hypo- and Hyper-coagulation Stochastic Deconvolutional Neural Network Ensemble Training on
  Generative Pseudo-Adversarial Networks Dendritic organic electrochemical transistors grown by
  electropolymerization for 3D neuromorphic engineering Conformal Transformation Electromagnetics Based on Schwarz-Christoffel
  Mapping for the Synthesis of Doubly Connected Metalenses Hyperbolic four-manifolds with one cusp On Broadcasting Time in the Model of Travelling Agents On freeness of the random fundamental group Imitation dynamics in population games on community networks Generating Realistic Two-Line Elements for Notional Space Vehicles and
  Constellations Using Trusted Data to Train Deep Networks on Labels Corrupted by Severe
  Noise Proportionality of Indices of 1-Forms on Singular Varieties Tetris is Hard, Even to Approximate Interactive Natural Language-based Person Search Analysis of Service-oriented Modeling Approaches for Viewpoint-specific
  Model-driven Development of Microservice Architecture Generating Realistic Stock Market Order Streams Algorithms used for the Cell Segmentation Benchmark Competition at ISBI
  2019 by RWTH-GE From deterministic cellular automata to coupled map lattices
cs.PL cs.SE