1.2k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of BirminghamGB24 papers
- University College BirminghamGB15 papers
- University College LondonGB5 papers
- California Institute of TechnologyUS4 papers
- Centre de physique des particules de MarseilleFR4 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Syracuse UniversityUS4 papers
- University of Alabama at BirminghamUS4 papers
- University of California, RiversideUS4 papers
- University of CambridgeGB4 papers
- University of LiverpoolGB4 papers
- ETH ZurichCH3 papers
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 2 cited
Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky
Peter T. Breuer, Jonathan P. Bowen
Sometimes machine code turns out to be a better target for verification than source code. RISC machine code is especially advantaged with respect to source code in this regard beca…
cs.LO2013★ 2 cited
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Christoph Lange, Marco B. Caminati, Manfred Kerber +4
Novel auction schemes are constantly being designed. Their design has significant consequences for the allocation of goods and the revenues generated. But how to tell whether a new…