Sfoglia per Serie
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
A Terminating Evaluation-Driven Variant of G3i
2013-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
Towards an Ontology-Based Decision Support System to Support Car-Reconfiguration for Novice Wheelchair Users
2022-01-01 Spoladore, D.; Cilsal, T.; Mahroo, A.; Trombetta, A.; Sacco, M.
Towards Reverse Engineering of Industrial Physical Processes
2023-01-01 Ceccato, M.; Driouich, Y.; Lanotte, R.; Lucchese, M.; Merro, M.
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming
1999-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
Trust-X: An XML framework for trust negotiations
2003-01-01 Elisa, Bertino; Ferrari, Elena; ANNA CINZIA SQUICCIARINI TRUST, Chi
VIrtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities
2003-01-01 Benini, Marco; F. DE CINDIO, F.; Sonnante, 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