Sessa, Mirko

Sessa, Mirko  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.013 secondi).
Titolo Anno di pubblicazione Autori Unitn File
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.Ali B.Ali S.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.Marcon C.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.Rodriguez Rodriguez A.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 +