Sfoglia per Titolo
A Sound Type System for Secure Currency Flow
2024-01-01 Aceto, Luca; Gorla, Daniele; Lybech, Stian
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL
2022-01-01 Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto
SOX: Short distance neutrino Oscillations with BoreXino
2013-01-01 Bellini, G; Bick, D; Bonfini, G; Bravo, D; Caccianiga, B; Calaprice, F; Caminata, A; Cavalcante, P; Chavarria, A; Chepurnov, A; D'Angelo, D; Davini, S; Derbin, A; Etenko, A; Fernandes, G; Fomenko, K; Franco, D; Galbiati, C; Ghiano, C; Goeger-Neff, M; Goretti, A; Hagner, C; Hungerford, E; Ianni, A; Ianni, A; Kobychev, V; Korablev, D; Korga, G; Krasnicky, D; Kryn, D; Laubenstein, M; Link, Jm; Litvinovich, E; Lombardi, F; Lombardi, P; Ludhova, L; Lukyanchenko, G; Machulin, I; Manecki, S; Maneschg, W; Meroni, E; Meyer, M; Miramonti, L; Misiaszek, M; Mosteiro, P; Muratova, V; Oberauer, L; Obolensky, M; Ortica, F; Otis, K; Pallavicini, M; Pantic, E; Papp, L; Perasso, S; Pocar, A; Ranucci, G; Razeto, A; Re, A; Romani, A; Rossi, N; Saldanha, R; Salvo, C; Schoenert, S; Semenov, D; Simgen, H; Skorokhvatov, M; Smirnov, O; Sotnikov, A; Sukhotin, S; Suvorov, Y; Tartaglia, R; Testera, G; Unzhakov, E; Vogelaar, Rb; Wang, H; Wojcik, M; Wurm, M; Zaimidoroga, O; Zavatarelli, S; Zuzel, G
Space-time fluctuations and ultra-high energy cosmic ray interactions
2003-01-01 Aloisio, R; Blasi, P; Galante, A; Ghia, Pl; Grillo, Af
Sparse Temporal Spanners with Low Stretch
2022-01-01 Bilo, D.; D'Angelo, G.; Guala, L.; Leucci, S.; Rossi, M.
Sparsifying Congested Cliques and Core-Periphery Networks
2016-01-01 Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis
Spatial agglomeration and firm exit: a spatial dynamic analysis for Italian provinces
2014-01-01 Cainelli, G; Montresor, S; VITTUCCI MARZETTI, G
The spatial dimensions of cultural consumption: how distance influences consumption levels in a spatial setting
2024-01-01 Biferale, Lorenzo; Brandano, Maria Giovanna; Crociata, Alessandro; Melo, Hygor P. M.
Spatial Economic Resilience: Overview and Perspectives
2015-01-01 Modica, M; Reggiani, A
Spatial Structure and Carbon Dioxide (CO2) Emissions Due to Commuting: An Analysis of Italian Urban Areas
2014-01-01 Cirilli, A; Veneri, P
Spatial Structure and Mobility Patterns: Towards a Taxonomy of the Italian Urban Systems
2009-01-01 Cirilli, A; Veneri, P
Spatial structure of X-ray filaments in SN 1006
2010-01-01 Morlino, G.; Amato, E.; Blasi, P; Caprioli, D.
Lo spazio conteso. Il centro storico di Napoli tra coalizioni e conflitti
2009-01-01 Rossi, U
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011
2013-01-01 Aceto, L; Henzinger, M; Sgall, J
Special Issue in memory of Nadia Busi
2009-01-01 Aceto, L; Ingólfsdóttir, A
Special Issue on International Migration and Spatial Diffusion Patterns
2013-01-01 Gheasi, M; Nijkamp, P; and Poot, J
Special Issue on Regional Economic Development
2013-01-01 Faggian, A; Mack, E; Stephens, H
Special Issue: Cosmic Rays Topical Issue
2012-01-01 Blasi, P; Stanev, T
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
2017-01-01 Aceto, L; de Frutos-Escrig, D
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012
2013-01-01 Aceto, L; Birkedal, L
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Sound Type System for Secure Currency Flow | 1-gen-2024 | Aceto, Luca; Gorla, Daniele; Lybech, Stian | |
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL | 1-gen-2022 | Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto | |
SOX: Short distance neutrino Oscillations with BoreXino | 1-gen-2013 | Bellini, G; Bick, D; Bonfini, G; Bravo, D; Caccianiga, B; Calaprice, F; Caminata, A; Cavalcante, P; Chavarria, A; Chepurnov, A; D'Angelo, D; Davini, S; Derbin, A; Etenko, A; Fernandes, G; Fomenko, K; Franco, D; Galbiati, C; Ghiano, C; Goeger-Neff, M; Goretti, A; Hagner, C; Hungerford, E; Ianni, A; Ianni, A; Kobychev, V; Korablev, D; Korga, G; Krasnicky, D; Kryn, D; Laubenstein, M; Link, Jm; Litvinovich, E; Lombardi, F; Lombardi, P; Ludhova, L; Lukyanchenko, G; Machulin, I; Manecki, S; Maneschg, W; Meroni, E; Meyer, M; Miramonti, L; Misiaszek, M; Mosteiro, P; Muratova, V; Oberauer, L; Obolensky, M; Ortica, F; Otis, K; Pallavicini, M; Pantic, E; Papp, L; Perasso, S; Pocar, A; Ranucci, G; Razeto, A; Re, A; Romani, A; Rossi, N; Saldanha, R; Salvo, C; Schoenert, S; Semenov, D; Simgen, H; Skorokhvatov, M; Smirnov, O; Sotnikov, A; Sukhotin, S; Suvorov, Y; Tartaglia, R; Testera, G; Unzhakov, E; Vogelaar, Rb; Wang, H; Wojcik, M; Wurm, M; Zaimidoroga, O; Zavatarelli, S; Zuzel, G | |
Space-time fluctuations and ultra-high energy cosmic ray interactions | 1-gen-2003 | Aloisio, R; Blasi, P; Galante, A; Ghia, Pl; Grillo, Af | |
Sparse Temporal Spanners with Low Stretch | 1-gen-2022 | Bilo, D.; D'Angelo, G.; Guala, L.; Leucci, S.; Rossi, M. | |
Sparsifying Congested Cliques and Core-Periphery Networks | 1-gen-2016 | Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis | |
Spatial agglomeration and firm exit: a spatial dynamic analysis for Italian provinces | 1-gen-2014 | Cainelli, G; Montresor, S; VITTUCCI MARZETTI, G | |
The spatial dimensions of cultural consumption: how distance influences consumption levels in a spatial setting | 1-gen-2024 | Biferale, Lorenzo; Brandano, Maria Giovanna; Crociata, Alessandro; Melo, Hygor P. M. | |
Spatial Economic Resilience: Overview and Perspectives | 1-gen-2015 | Modica, M; Reggiani, A | |
Spatial Structure and Carbon Dioxide (CO2) Emissions Due to Commuting: An Analysis of Italian Urban Areas | 1-gen-2014 | Cirilli, A; Veneri, P | |
Spatial Structure and Mobility Patterns: Towards a Taxonomy of the Italian Urban Systems | 1-gen-2009 | Cirilli, A; Veneri, P | |
Spatial structure of X-ray filaments in SN 1006 | 1-gen-2010 | Morlino, G.; Amato, E.; Blasi, P; Caprioli, D. | |
Lo spazio conteso. Il centro storico di Napoli tra coalizioni e conflitti | 1-gen-2009 | Rossi, U | |
Special Issue Devoted to Selected Papers from Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 | 1-gen-2013 | Aceto, L; Henzinger, M; Sgall, J | |
Special Issue in memory of Nadia Busi | 1-gen-2009 | Aceto, L; Ingólfsdóttir, A | |
Special Issue on International Migration and Spatial Diffusion Patterns | 1-gen-2013 | Gheasi, M; Nijkamp, P; and Poot, J | |
Special Issue on Regional Economic Development | 1-gen-2013 | Faggian, A; Mack, E; Stephens, H | |
Special Issue: Cosmic Rays Topical Issue | 1-gen-2012 | Blasi, P; Stanev, T | |
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). | 1-gen-2017 | Aceto, L; de Frutos-Escrig, D | |
Special Issue: Selected papers of the conference on “Foundations of Software Science and Computation Structures”: FOSSACS 2012 | 1-gen-2013 | Aceto, L; Birkedal, L |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile