139 citations · 226 across the 8 of their papers we have counts for
9 papers
The Imandra Automated Reasoning System (system description)
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich +6
We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-M…
Precision measurement of the (e + e) flux in primary cosmic rays from 0.5 GeV to 1 TeV with the Alpha Magnetic Spectrometer on the International Space Station
Manuela Vecchi
We present a precise measurement of the combined electron plus positron flux from 0.5 GeV to 1 TeV, based on the analysis of the data collected by the Alpha Magnetic Spectrometer d…
Precision Measurement of the Proton Flux in Primary Cosmic Rays from 1 GV to 1.8 TV with the Alpha Magnetic Spectrometer on the International Space Station
Cristina Consolandi
A precision measurement of the proton flux in primary cosmic rays with rigidity from 1 GV to 1.8 TV is presented based on 300 million events. The results show that the proton flux…
2HDM in terms of observable quantities
I. F. Ginzburg, K. A. Kanishev
We express explicitly all parameters of the most general Two-Higgs-Doublet Model (2HDM) scalar potential via measurable ({\it basic}) quantities plus additional parameters specifyi…
Evolution of Universe to the present inert phase
I. F. Ginzburg, K. A. Kanishev, M. Krawczyk +1
We assume that current state of the Universe can be described by the Inert Doublet Model, containing two scalar doublets, one of which is responsible for EWSB and masses of particl…
The evolution of vacuum states and phase transitions in 2HDM during cooling of Universe
I. F. Ginzburg, I. P. Ivanov, K. A. Kanishev
We consider the evolution of the ground state in the Two Higgs Doublet Model during cooling down of the Universe after the Big Bang. Different regions in the space of free paramete…