Sfoglia per Titolo
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
2016-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Saturation effects in SIDIS at very forward rapidities
2021-01-01 Iancu, E.; Mueller, A. H.; Triantafyllopoulos, D.; Wei, S.
SAX: Generating Hypertext from SADT Models
1997-01-01 Nicola, Cancedda; Gjertrud, Kamstrup; Pianta, Emanuele; Ettore, Pietrosanti
SAX: Manuale d'uso del prototipo esteso
1997-01-01 Pianta, Emanuele; G., Kamstrup
SAX: Specifiche del prototipo esteso
1997-01-01 Pianta, Emanuele; G., Kamstrup
SBFR: A Search-Based Approach for Reproducing Failures of Programs with Grammar Based Input
2013-01-01 Kifetew, Fitsum Meshesha; Wei, Jin; Tiella, Roberto; Alessandro, Orso; Tonella, Paolo
Sbornie sacre, sbornie profane. L'ubriachezza dal Vecchio al Nuovo Mondo
2018-01-01 Ferlan, Claudio
SC^2: Satisfiability Checking Meets Symbolic Computation
2016-01-01 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control
2014-01-01 Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro
Scalable Automated Analysis of Access Control and Privacy Policies
2017-01-01 Truong, Anh; Ranise, Silvio; Nguyen, Thanh Tung
Scalable Automated Proving and Debugging of Set-Based Specfications
2004-01-01 Couchot, J. F.; A., Giorgetti; D., Deharbe; Ranise, Silvio
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving
2012-01-01 Armando, Alessandro; Ranise, Silvio
Scalable Cycle-Breaking Algorithms for Gigabit Ethernet Backbones
2004-01-01 De Pellegrini, Francesco; Starobinski, David; Karpovsky, Mark G.; Levitin, Lev B.
Scalable Design Space Exploration for the Synthesis of Redundant Architectures
2023-01-01 Tierno, Antonio; Turri, Giuliano; Cimatti, Alessandro; Passerone, Roberto
A scalable distributed architecture towards unifying IoT applications
2014-01-01 Sarkar, C.; Nambi, A.; Prasad, V.; Rahim, MD Abdur
Scalable neural architectures for end-to-end environmental sound classification
2022-01-01 Paissan, Francesco; Ancilotto, Alberto; Brutti, Alessio; Farella, Elisabetta
Scalable Neural Dialogue State Tracking
2019-01-01 Balaraman, Vevake; Magnini, Bernardo
Scalar mesons and tetraquarks by means of lattice QCD
2012-01-01 M., Wagner; C., Alexandrou; J. O., Daldrop; M. D., Brida; M., Gravina; Scorzato, Luigi; C., Urbach; C., Wiese
Scalar mesons and tetraquarks from twisted mass lattice QCD
2013-01-01 M., Wagner; C., Alexandrou; J. O., Daldrop; M. D., Brida; M., Gravina; Scorzato, Luigi; C., Urbach; C., Wiese
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs | 1-gen-2016 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, L. | |
Saturation effects in SIDIS at very forward rapidities | 1-gen-2021 | Iancu, E.; Mueller, A. H.; Triantafyllopoulos, D.; Wei, S. | |
SAX: Generating Hypertext from SADT Models | 1-gen-1997 | Nicola, Cancedda; Gjertrud, Kamstrup; Pianta, Emanuele; Ettore, Pietrosanti | |
SAX: Manuale d'uso del prototipo esteso | 1-gen-1997 | Pianta, Emanuele; G., Kamstrup | |
SAX: Specifiche del prototipo esteso | 1-gen-1997 | Pianta, Emanuele; G., Kamstrup | |
SBFR: A Search-Based Approach for Reproducing Failures of Programs with Grammar Based Input | 1-gen-2013 | Kifetew, Fitsum Meshesha; Wei, Jin; Tiella, Roberto; Alessandro, Orso; Tonella, Paolo | |
Sbornie sacre, sbornie profane. L'ubriachezza dal Vecchio al Nuovo Mondo | 1-gen-2018 | Ferlan, Claudio | |
SC^2: Satisfiability Checking Meets Symbolic Computation | 1-gen-2016 | Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas | |
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control | 1-gen-2014 | Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro | |
Scalable Automated Analysis of Access Control and Privacy Policies | 1-gen-2017 | Truong, Anh; Ranise, Silvio; Nguyen, Thanh Tung | |
Scalable Automated Proving and Debugging of Set-Based Specfications | 1-gen-2004 | Couchot, J. F.; A., Giorgetti; D., Deharbe; Ranise, Silvio | |
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving | 1-gen-2012 | Armando, Alessandro; Ranise, Silvio | |
Scalable Cycle-Breaking Algorithms for Gigabit Ethernet Backbones | 1-gen-2004 | De Pellegrini, Francesco; Starobinski, David; Karpovsky, Mark G.; Levitin, Lev B. | |
Scalable Design Space Exploration for the Synthesis of Redundant Architectures | 1-gen-2023 | Tierno, Antonio; Turri, Giuliano; Cimatti, Alessandro; Passerone, Roberto | |
A scalable distributed architecture towards unifying IoT applications | 1-gen-2014 | Sarkar, C.; Nambi, A.; Prasad, V.; Rahim, MD Abdur | |
Scalable neural architectures for end-to-end environmental sound classification | 1-gen-2022 | Paissan, Francesco; Ancilotto, Alberto; Brutti, Alessio; Farella, Elisabetta | |
Scalable Neural Dialogue State Tracking | 1-gen-2019 | Balaraman, Vevake; Magnini, Bernardo | |
Scalar mesons and tetraquarks by means of lattice QCD | 1-gen-2012 | M., Wagner; C., Alexandrou; J. O., Daldrop; M. D., Brida; M., Gravina; Scorzato, Luigi; C., Urbach; C., Wiese | |
Scalar mesons and tetraquarks from twisted mass lattice QCD | 1-gen-2013 | M., Wagner; C., Alexandrou; J. O., Daldrop; M. D., Brida; M., Gravina; Scorzato, Luigi; C., Urbach; C., Wiese |
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