Proving Equivalence Between Imperative and MapReduce Implementations
  Using Program Transformations
Instruction sequences for the production of processes
Provably Correct Systems: Community, connections, and citations Three Dimensional Route Planning for Multiple Unmanned Aerial Vehicles
  using Salp Swarm Algorithm MICROSCOPE Mission scenario, ground segment and data processing On the qubit routing problem Relational Foundations For Functorial Data Migration Distributed Multi-view Matching in Networks with Limited Communications Manifest and Subtle Cyclic Behavior in Nonequilibrium Steady States $e^+e^-$ Pair Production from 10 GeV to 10 ZeV R-mode astronomy Speckle Optical Tweezers: Micromanipulation with Random Light Fields A Multi-Objective DIRECT Algorithm Towards Structural Damage
  Identification with Limited Dynamic Response Information Finding Cliques in Social Networks: A New Distribution-Free Model Influence of petroleum and gas trade on EU economies from the reduced
  Google matrix analysis of UN COMTRADE data Local Dirichlet forms, Hodge theory, and the Navier-Stokes equations on
  topologically one-dimensional fractals Multimodal intelligibility of scholarly hypertext: the documentalist's
  contribution. A required collaboration for serial documentisation in the
  scientific editorial process Parallel Betweenness Computation in Graph Database for Contingency
  Selection Extending Monte Carlo Methods to Factor Graphs with Negative and Complex
  Factors
cs.PL cs.LO