Sfoglia per Serie
Partially directed animals with a bounded number of holes
2021-01-01 Massazza, Paolo; Dorigatti, Valentina
Policies for Composed Emergencies in Support of Disaster Management
2012-01-01 Carminati, Barbara; Ferrari, Elena; Guglielmi, Michele
PriApp-Install: Learning User Privacy Preferences on Mobile Apps' Installation
2022-01-01 Son, Hx; Carminati, B; Ferrari, E
Privacy-aware Collaborative Access Control in Web-based Social Networks
2008-01-01 Carminati, Barbara; Ferrari, Elena
Probabilistic Congruence for Generative Semistochastic Processes
2005-01-01 Lanotte, Ruggero; Tini, Simone
Processing private queries over an obfuscated database using hidden vector encryption
2014-01-01 Trombetta, Alberto; Persiano, Giuseppe; Braghin, Stefano
Program Abstraction in a Higher-Order Logic Framework
1998-01-01 Benini, Marco; Kalvala, S.; Nowotka, D.
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
2015-01-01 Ferrari, Mauro; Fiorentini, Camillo
A Proposal for Simplified Model-Based Cost Estimation Models
2012-01-01 Del Bianco, V.; Lavazza, LUIGI ANTONIO; Morasca, Sandro
Refinements of Orthopairs and IUML-algebras
2016-01-01 Aguzzoli, Stefano; Boffa, Stefania; Ciucci, Davide; Gerla, Brunella
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games
2013-01-01 Liliana, Pasquale; Spoletini, Paola; Dario, Pometto; Francesco, Blasi; Tiziana, Redaelli
Rule Formats for Non Interference
2003-01-01 Tini, Simone
Schur complement matrix and its (elementwise) approximation: a spectral analysis based on GLT sequences
2015-01-01 Dorostkar, A.; Neytcheva, M.; SERRA CAPIZZANO, Stefano
A second-order Perceptron algorithm
2002-01-01 Cesa Bianchi, N.; Conconi, A.; Gentile, Claudio
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
2011-01-01 Lanotte, Ruggero; Merro, M.
Sequences of orthopairs given by refinements of coverings
2017-01-01 Gerla, Brunella; Boffa, Stefania
Specifying Access Control Policies on Data Streams
2007-01-01 Carminati, Barbara; Ferrari, Elena; K. L., Tan
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment
2023-01-01 Castiglioni, Valentina; Loreti, Michele; Tini, Simone
State-based firewall for industrial protocols with critical-state prediction monitor
2011-01-01 Nai Fovino, I.; Carcano, A.; Coletta, A.; Guglielmi, M.; Masera, M.; Trombetta, A.
Taylor Approximation for Hybrid Systems
2005-01-01 Lanotte, Ruggero; Tini, Simone
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