1.4k citations
- Université Paris-SudFR237 papers
- Centre National de la Recherche ScientifiqueFR177 papers
- Institut national de recherche en sciences et technologies du numériqueFR105 papers
- Université Paris-SaclayFR70 papers
- Centre Inria de SaclayFR53 papers
- University of California, BerkeleyUS34 papers
- Institut d'Astrophysique SpatialeFR30 papers
- Université Paris DiderotFR30 papers
- Sapienza University of RomeIT27 papers
- Université Toulouse III - Paul SabatierFR27 papers
- University of California, DavisUS27 papers
- California Institute of TechnologyUS26 papers
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 14 cited
System description: Isabelle/jEdit in 2014
Makarius Wenzel
This is an updated system description for Isabelle/jEdit, according to the official release Isabelle2014 (August 2014). The following new PIDE concepts are explained: asynchronous…
cs.LO2014
Impossibility of Gathering, a Certification
Pierre Courtieu, Lionel Rieg, Xavier Urbain +1
Recent advances in Distributed Computing highlight models and algorithms for autonomous swarms of mobile robots that self-organise and cooperate to solve global objectives. The ove…