29.3k citations
- A. Savoy-Navarro6 profiles49 · h 111
- J. Cuevas3 profiles49 · h 118
- M. Feindt3 profiles49 · h 111
- P. Renton6 profiles49 · h 60
- R. Orava4 profiles49 · h 78
- F. Šforza41
- M. Houlden5 profiles35 · h 50
- B. Stelzer9 profiles31 · h 88
- L. Lyons5 profiles30 · h 118
- M. Stanitzki5 profiles30 · h 87
- G. Gomez Ceballos29
- L. Brigliadori2 profiles29 · h 111
- University of PaduaIT67 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT64 papers
- Institute for High Energy PhysicsES59 papers
- Centre National de la Recherche ScientifiqueFR56 papers
- University of TriesteIT55 papers
- University of BolognaIT52 papers
- Joint Institute for Nuclear ResearchRU51 papers
- Karlsruhe Institute of TechnologyDE51 papers
- National and Kapodistrian University of AthensGR51 papers
- University of LiverpoolGB51 papers
- University of OxfordGB51 papers
- Laboratoire de Physique Nucléaire et de Hautes ÉnergiesFR50 papers
15 papers · 1 filter
An Optimal Decision Procedure for MPNL over the Integers
Davide Bresolin, Angelo Montanari, Pietro Sala +1
Interval temporal logics provide a natural framework for qualitative and quantitative temporal reason- ing over interval structures, where the truth of formulae is defined over int…
Dynamic Backward Slicing of Rewriting Logic Computations
María Alpuente, Demis Ballis, Javier Espert +1
Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backwar…
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
Giovanna D'Agostino, Salvatore La Torre
This volume contains the Proceedings of the Second International Symposium on Games, Automata, Languages, and Formal Verification (GandALF 2011). The conference was held in Minori…
Arnautov's problems on semitopological isomorphisms
Dikran Dikranjan, Anna Giordano Bruno
Semitopological isomorphisms of topological groups were introduced by Arnautov, who posed several questions related to compositions of semitopological isomorphisms and the groups G…
Top quark mass measurement using the template method at CDF
CDF Collaboration, T. Aaltonen
We present a measurement of the top quark mass in the lepton+jets and dilepton channels of decays using the template method. The data sample corresponds to an integrated…
Measurements of the properties of Lambda_c(2595), Lambda_c(2625), Sigma_c(2455), and Sigma_c(2520) baryons
Felix Wick
We report measurements of the resonance properties of Lambda_c(2595)+ and Lambda_c(2625)+ baryons in their decays to Lambda_c+ pi+ pi- as well as Sigma_c(2455)++,0 and Sigma_c(2520…