Sfoglia per Titolo
Formal Modeling and Reasoning about the Android Security Framework
2013-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
A Formal Proof of Modal Completeness for Provability Logic
2021-01-01 Maggesi, Marco; Perini Brogi, Cosimo
Formalising Adaptation Patterns for Autonomic Ensembles
2013-01-01 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
Formalising Security in Ubiquitous and Cloud Scenarios
2012-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
FORMALIZING PROPERTIES OF MOBILE AGENT SYSTEMS
2002-01-01 DE NICOLA, R; M., Loreti; L., Bettini
Formally verifying security protocols built on watermarking and jamming
2023-01-01 Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone
Formant Space Reconstruction From Brain Activity in Frontal and Temporal Regions Coding for Heard Vowels
2019-01-01 Rampinini, Ac; Handjaras, G; Leo, A; Cecchetti, L; Betta, M; Marotta, G; Ricciardi, E; Pietrini, P
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming
2004-01-01 L., Bettini; DE NICOLA, R; M., Loreti
Fortificazioni e porte urbane nell’area del santuario urbano di Punta Stilo a Kaulonia
2021-01-01 Olivito, R.
Forward and Backward Bisimulations for Chemical Reaction Networks
2015-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
A forward-backward algorithm for decomposable semi-definite programs
2020-01-01 Fabiani, Filippo; Grammatico, Sergio
Forwarding Strategies for Congestion Control in Intermittently-Connected Networks
2014-01-01 Cello, M; Gnecco, G; Marchese, M; Sanguineti, M
La forza del bello
2008-01-01 Catoni, M; Settis, S
La forza del Bello
2008-01-01 Catoni, M
Fotografia scientifica e riproducibilità meccanica. La cronofotografia di Marey
2018-01-01 Bertelli, Linda
Fotografie e altri rimedi. Dentro la fototeca di Carlo Ludovico Ragghianti
2017-01-01 Pellegrini, Emanuele
Foundations of session types and behavioural contracts
2016-01-01 Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Luís, Caires; Marco, Carbone; Pierre-Malo, Deniélou; Dimitris, Mostrous; Luca, Padovani; António, Ravara; Emilio, Tuosto; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro
Foundations of Support Constraint Machines
2015-01-01 Gnecco, G; Gori, M; Melacci, S; Sanguineti, M
Fourier-space entanglement of spin chains
2016-01-01 Ibáñez Berganza, M.; Rodriguez-Laguna, J.; Sierra, G.
Fra "scuola" e "custodia": la nascita degli organismi di tutela artistica
1993-01-01 Catoni, M
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Modeling and Reasoning about the Android Security Framework | 1-gen-2013 | Armando, Alessandro; Costa, Gabriele; Merlo, Alessio | |
A Formal Proof of Modal Completeness for Provability Logic | 1-gen-2021 | Maggesi, Marco; Perini Brogi, Cosimo | |
Formalising Adaptation Patterns for Autonomic Ensembles | 1-gen-2013 | Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F | |
Formalising Security in Ubiquitous and Cloud Scenarios | 1-gen-2012 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca | |
FORMALIZING PROPERTIES OF MOBILE AGENT SYSTEMS | 1-gen-2002 | DE NICOLA, R; M., Loreti; L., Bettini | |
Formally verifying security protocols built on watermarking and jamming | 1-gen-2023 | Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone | |
Formant Space Reconstruction From Brain Activity in Frontal and Temporal Regions Coding for Heard Vowels | 1-gen-2019 | Rampinini, Ac; Handjaras, G; Leo, A; Cecchetti, L; Betta, M; Marotta, G; Ricciardi, E; Pietrini, P | |
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming | 1-gen-2004 | L., Bettini; DE NICOLA, R; M., Loreti | |
Fortificazioni e porte urbane nell’area del santuario urbano di Punta Stilo a Kaulonia | 1-gen-2021 | Olivito, R. | |
Forward and Backward Bisimulations for Chemical Reaction Networks | 1-gen-2015 | Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M | |
A forward-backward algorithm for decomposable semi-definite programs | 1-gen-2020 | Fabiani, Filippo; Grammatico, Sergio | |
Forwarding Strategies for Congestion Control in Intermittently-Connected Networks | 1-gen-2014 | Cello, M; Gnecco, G; Marchese, M; Sanguineti, M | |
La forza del bello | 1-gen-2008 | Catoni, M; Settis, S | |
La forza del Bello | 1-gen-2008 | Catoni, M | |
Fotografia scientifica e riproducibilità meccanica. La cronofotografia di Marey | 1-gen-2018 | Bertelli, Linda | |
Fotografie e altri rimedi. Dentro la fototeca di Carlo Ludovico Ragghianti | 1-gen-2017 | Pellegrini, Emanuele | |
Foundations of session types and behavioural contracts | 1-gen-2016 | Hans, Hüttel; Ivan, Lanese; Vasco T., Vasconcelos; Luís, Caires; Marco, Carbone; Pierre-Malo, Deniélou; Dimitris, Mostrous; Luca, Padovani; António, Ravara; Emilio, Tuosto; MENDES TORRES VIEIRA, H; Gianluigi, Zavattaro | |
Foundations of Support Constraint Machines | 1-gen-2015 | Gnecco, G; Gori, M; Melacci, S; Sanguineti, M | |
Fourier-space entanglement of spin chains | 1-gen-2016 | Ibáñez Berganza, M.; Rodriguez-Laguna, J.; Sierra, G. | |
Fra "scuola" e "custodia": la nascita degli organismi di tutela artistica | 1-gen-1993 | Catoni, M |
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