Sessa, Mirko

Sessa, Mirko  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.019 secondi).
Titolo Anno di pubblicazione Autori Unitn File
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 1-gen-2018 Sessa, Mirko +
From electrical switched networks to hybrid automata 1-gen-2016 Sessa, Mirko +
Measurement of the production cross section of pairs of isolated photons in pp collisions at 13 TeV with the ATLAS detector 1-gen-2021 Aggarwal A.Ali B.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 J.Chen S.Chen X.Chen X.Chen Y.Cristoforetti M.Dam M.De Santis M.Di Gregorio G.Di Luca A.Doria A.Dutta B.Fanti M.Feng M.Follega F. M.Forcolin G. T.Freund B.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.Liang Z.Liu M.Liu X.Liu Y.Liu Y.Longo L.Love J.Love P. A.Maio A.Marchese L.Marcon C.Martinelli L.Martinez M.Massa L.Matic A.Mueller J.Pastore F.Pham T.Pinamonti M.Qin Y.Rimoldi A.Rimoldi M.Rodriguez Rodriguez A.Saha S.Santos H.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.Villa M.Vos M.Wagner P.Walker R.Wang C.Wang C.Wang Y.Weber C.Wei Y.Xie M.Xu D.Xu Y.Xu Z.Xu Z.Yan S.Yang S.Yang X.Yang X.Ye J.Zhang B.Zhang G.Zhang M.Zhang R.Zhang X.Zhang X.Zhao Z.Zhu Y.Zimmermann S. +
SMT-based analysis of switching multi-domain linear Kirchhoff networks 1-gen-2017 Cimatti, AlessandroSessa, Mirko +
An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks 28-ott-2019 Sessa, Mirko