178 citations
- Universidad Complutense de MadridES5 papers
- Universidad Politécnica de MadridES5 papers
- Imperial College LondonGB4 papers
- Nokia (Spain)ES4 papers
- Universidad de GranadaES4 papers
- Saitama UniversityJP3 papers
- Technical University of MunichDE3 papers
- Universidad de Las Palmas de Gran CanariaES3 papers
- Universidad de MálagaES3 papers
- AGH University of KrakowPL2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- École Nationale Supérieure des Mines de ParisFR2 papers
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 2 cited
An Implementation Model for Interaction Nets
Abubakar Hassan, Ian Mackie, Shinya Sato
To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close corresponde…
astro-ph.IM2015
The GRAVITY instrument software / High-level software
Leonard Burtscher, Ekkehard Wieprecht, Thomas Ott +30
GRAVITY is the four-beam, near- infrared, AO-assisted, fringe tracking, astrometric and imaging instrument for the Very Large Telescope Interferometer (VLTI). It is requiring the d…