338 citations
- R. Mirzoyan3 profiles25 · h 65
- W. Rhode2 profiles23 · h 101
- E. Lorenz3 profiles20 · h 61
- J. Rico2 profiles20 · h 63
- M. Persic2 profiles20 · h 73
- M. Shayduk2 profiles19 · h 45
- A. Biland2 profiles18 · h 72
- A. Laille2 profiles18 · h 34
- A. Moralejo2 profiles18 · h 65
- A. Robert4 profiles18 · h 38
- A. Saggion2 profiles18 · h 51
- A. Stamerra2 profiles18 · h 66
- Humboldt-Universität zu BerlinDE28 papers
- Universitat de BarcelonaES28 papers
- Max Planck Institute for PhysicsDE27 papers
- Institute for High Energy PhysicsES24 papers
- Institute for Nuclear Research and Nuclear EnergyBG22 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT22 papers
- ETH ZurichCH21 papers
- University of PaduaIT21 papers
- University of PisaIT20 papers
- University of WürzburgDE20 papers
- Universidad Complutense de MadridES18 papers
- Universitat Autònoma de BarcelonaES18 papers
12 papers · 1 filter
The starburst-GRB connection
Jens Dreyer, Julia K. Becker, Wolfgang Rhode
As starburst galaxies show a star formation rate up to several hundred times larger than the one in a typical galaxy, the expected supernova rate is higher than average. This in tu…
MAGIC Collaboration: Contributions to the 31st International Cosmic Ray Conference (ICRC 2009)
The MAGIC Collaboration, H. Anderhub, L. A. Antonelli +145
Index entry listing the contributed papers of the MAGIC collaboration to the 31th International Cosmic Ray Conference (ICRC 2009), July 7-15 2009, Łódź, Poland. The individual pape…
On the Complexity of Branching-Time Logics
Volker Weber
We classify the complexity of the satisfiability problem for extensions of CTL and UB. The extensions we consider are Boolean combinations of path formulas, fairness properties, pa…
Cosmic ray electrons and positrons from supernova explosions of massive stars
P. L. Biermann, J. K. Becker, A. Meli +3
We attribute the recently discovered cosmic ray electron and cosmic ray positron excess components and their cutoffs to the acceleration in the supernova shock in the polar cap of…
Coherent Pion Production
E. A. Paschos, Dario Schalla
In this paper we present quantitative results for coherent pion production by neutrinos scattered off nuclei within the framework developed by Gounaris, Kartavtsev and Paschos. The…
Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization
Claus-Peter Wirth
We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem provin…