output
20132026
most citedExploring the Sensitivity of Next Generation Gravitational Wave Detectors

1.2k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2013Show all

3 papers · 1 filter

astro-ph.SR2013

Dive into the heart of red giant stars to better understand our Galaxy

N. Lagarde

The availability of asteroseismic constrains for of large sample of stars observed with CoRoT and Kepler paves the way for statistical studies of the seismic properties of stellar…

cs.CE2013★ 5 cited

The ForMaRE Project - Formal Mathematical Reasoning in Economics

Christoph Lange, Colin Rowat, Manfred Kerber

The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to…

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…