Sessa, Mirko

Sessa, Mirko  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.022 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A measurement of material in the ATLAS tracker using secondary hadronic interactions in 7TeV pp collisions 1-gen-2016 Adams D. L.Ali B.Alonso A.Arai Y.Avolio G.Baldin E. M.Battaglia M.Becker M.Bella G.Bruni G.Busato E.Campanelli M.Carlino G.Caron S.Ceradini F.Cerutti F.Chen H.Chen S.Chen S.Chen X.Chen Y.Compostella G.Costa G.D'Onofrio M.Dam M.De Cecco S.Diamond M.Doria A.Dutta B.Fanti M.Forcolin G. T.Forti A.Gaudiello A.Gentile S.George S.Giuliani C.Guido E.Guo J.Guo Y.Gupta S.Gutierrez P.Han L.Henderson J.Hu S.Huang Y.Iuppa R.Jackson P.Jiang Y.Johansson P.Kaplan B.Kolb M.Lanza A.Liang Z.Liu M.Liu M.Liu Y.Longo L.Love J.Love P. A.Maio A.Martin B.Martinez M.Massa L.Meyer C.Meyer C.Milesi M.Mueller J.Negri A.Paige F.Pinamonti M.Qin Y.Reale M.Rescigno M.Rimoldi A.Rimoldi M.Ryu S.Sanchez A.Schneider B.Schweiger H.Sessa M.Shapiro M.Shi L.Simon D.Simon M.Sun S.Testa M.Truong L.Vos M.Wagner P.Walker R.Wang C.Wang C.Werner M.Xu D.Yan Z.Yang H.Yang H.Ye J.Yuan L.Zhang G.Zhang R.Zhang R.Zhang X.Zhao X.Zhao Z.Zhu Y.Zimmermann S. +
An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks 28-ott-2019 Sessa, Mirko
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 1-gen-2018 Sessa, Mirko +
Constraints on Higgs boson production with large transverse momentum using H →b b ¯ decays in the ATLAS detector 1-gen-2022 Aggarwal A.Avolio G.Baldin E. M.Battaglia M.Bella G.Betti A.Bruni A.Bruni G.Campanelli M.Carbone A.Carlino G.Caron S.Celli F.Cerutti F.Chen H.Chen H.Chen J.Chen J.Chen S.Chen X.Chen X.Chen Y.Chowdhury T.Cristoforetti M.Dam M.De Santis M.Di Gregorio G.Di Luca A.D'Onofrio A.D'Onofrio M.Doria A.Dutta B.Fanti M.Feng M.Follega F. M.Gentile S.George S.Giannini A.Guo J.Guo Y.Gutierrez P.Han K.Han L.Han L.Han S.Hu S.Huang Y.Huang Y.Iuppa R.Jackson P.Jiang Y.Johansson P.Kim E.Kolb M.Kumar M.Kumari N.Lanza A.Lee S.Li M.Li T.Li Z.Li Z.Li Z.Li Z.Liang Z.Liu M.Liu X.Liu Y.Liu Y.Longo L.Love J.Love P. A.Maio A.Martinelli L.Martinez M.Massa L.Matic A.Meyer C.Mueller J.Negri A.Pastore F.Pham T.Pinamonti M.Qin Y.Ricci E.Rimoldi A.Rimoldi M.Saha S.Sessa M.Shapiro M.Shi L.Sinha S.Sinha S.Sultan D. M. S.Sun S.Sun S.Testa M.Truong L.Usman M.Vecchio V.Vos M.Walker R.Wang C.Wang C.Wang Y.Weber C.Wei Y.Xie M.Xu D.Xu Y.Xu Z.Xu Z.Yan S.Yan Z.Yang S.Yang X.Yang X.Ye J.Zhang B.Zhang G.Zhang M.Zhang R.Zhang X.Zhang X.Zhao T.Zhao Z.Zhu Y.Zimmermann S. +
From electrical switched networks to hybrid automata 1-gen-2016 Sessa, Mirko +
SMT-based analysis of switching multi-domain linear Kirchhoff networks 1-gen-2017 Cimatti, AlessandroSessa, Mirko +