Sfoglia per Serie
LOVER: Light-weight Formal Verification of adaptivE systems at Run time
2013-01-01 Sharifloo, A. M.; Spoletini, Paola
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
2010-01-01 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
A modest security analysis of cyber-physical systems: A case study
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A Multi-dimensional and Event-based Model for Trust Computation in the Social Web
2012-01-01 Carminati, Barbara; Ferrari, Elena; Viviani, Marco
A multidistortion database for image quality
2017-01-01 Corchs, SILVIA ELENA; Gasparini, Francesca
Non Expansive epsilon-Bisimulations.
2008-01-01 Tini, Simone
Notes from the logbook of a proof checker's project
2004-01-01 Cantone, D.; Omodeo, E.; Schwartz, J. T.; Ursino, Pietro
On the conjecture LDFCM ⊊ RCM
2017-01-01 Massazza, Paolo
On the expressiveness of attribute global types: the formalization of a real multiagent system protocol
2013-01-01 Mascardi, V; Briola, D; Ancona, D
On the generation of 2-polyominoes
2018-01-01 Formenti, E.; Massazza, P.
Ontology-driven processing and management of digital rock art objects in IndianaMAS
2014-01-01 Briola, D; Deufemia, V; Mascardi, V; Paolino, L; Bianchi, N
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
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