Sfoglia per Titolo
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
1985-01-01 DE NICOLA, R
Two Distinct Synchronization Processes in the Transition to Sleep: A High-Density Electroencephalographic Study
2014-01-01 Siclari, Francesca; Bernardi, Giulio; Riedner, Brady; Larocque, Josh; Benca, Ruth; Tononi, Giulio
Two distinct synchronization processes in the transition to sleep: A high-density electroencephalographic study
2014-01-01 Siclari, Francesca; Bernardi, Giulio; Riedner, Brady A.; Larocque, Joshua J.; Benca, Ruth M.; Tononi, Giulio
Two inequalities for conditional expectations and convergence results for filters
2005-01-01 Crimaldi, I; Pratelli, L
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis
2016-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
A Two-Country Study of Default Risk Prediction Using Bayesian Machine-Learning
2023-01-01 Incerti, Fabio; Bargagli-Stoffi, Falco J.; Riccaboni, Massimo
Two-time-scale MPC for economically optimal real-time operation of balance responsible parties
2012-01-01 Patrinos, Panagiotis; Bernardini, D; Maffei, A; Jokic, A; Bemporad, A
A type language for distributed reactive components governed by communication protocols
2023-01-01 Savanovic, Zorica; Galletta, Letterio
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Type-based access control in data-centric systems
2011-01-01 Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão
Types as Specifications of Access Policies
1999-01-01 DE NICOLA, R; R., Pugliese; G., Ferrari
Types for Access Control
2000-01-01 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Types for Coordinating Secure Behavioural Variations
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Types in concurrency - Editorial of the Special Issue
2005-01-01 DE NICOLA, R; Sangiorgi, D.
Types of Leadership in a String Quartet
2013-01-01 Dardard, F; Gnecco, G; Glowinski, D
Typing component-based communication systems
2009-01-01 Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B
Typing Context-Dependent Behavioural Variation
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Typing context-dependent behavioural variations
2013-01-01 Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca
Typing liveness in multiparty communicating systems
2014-01-01 Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
Typing progress in communication-centred systems
2013-01-01 MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes | 1-gen-1985 | DE NICOLA, R | |
Two Distinct Synchronization Processes in the Transition to Sleep: A High-Density Electroencephalographic Study | 1-gen-2014 | Siclari, Francesca; Bernardi, Giulio; Riedner, Brady; Larocque, Josh; Benca, Ruth; Tononi, Giulio | |
Two distinct synchronization processes in the transition to sleep: A high-density electroencephalographic study | 1-gen-2014 | Siclari, Francesca; Bernardi, Giulio; Riedner, Brady A.; Larocque, Joshua J.; Benca, Ruth M.; Tononi, Giulio | |
Two inequalities for conditional expectations and convergence results for filters | 1-gen-2005 | Crimaldi, I; Pratelli, L | |
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis | 1-gen-2016 | Degano, P.; Ferrari, G. L.; Galletta, L. | |
A Two-Country Study of Default Risk Prediction Using Bayesian Machine-Learning | 1-gen-2023 | Incerti, Fabio; Bargagli-Stoffi, Falco J.; Riccaboni, Massimo | |
Two-time-scale MPC for economically optimal real-time operation of balance responsible parties | 1-gen-2012 | Patrinos, Panagiotis; Bernardini, D; Maffei, A; Jokic, A; Bemporad, A | |
A type language for distributed reactive components governed by communication protocols | 1-gen-2023 | Savanovic, Zorica; Galletta, Letterio | |
A type language for message passing component-based systems | 1-gen-2020 | Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio | |
Type-based access control in data-centric systems | 1-gen-2011 | Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão | |
Types as Specifications of Access Policies | 1-gen-1999 | DE NICOLA, R; R., Pugliese; G., Ferrari | |
Types for Access Control | 1-gen-2000 | R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B. | |
Types for Coordinating Secure Behavioural Variations | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
Types in concurrency - Editorial of the Special Issue | 1-gen-2005 | DE NICOLA, R; Sangiorgi, D. | |
Types of Leadership in a String Quartet | 1-gen-2013 | Dardard, F; Gnecco, G; Glowinski, D | |
Typing component-based communication systems | 1-gen-2009 | Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B | |
Typing Context-Dependent Behavioural Variation | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
Typing context-dependent behavioural variations | 1-gen-2013 | Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca | |
Typing liveness in multiparty communicating systems | 1-gen-2014 | Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H | |
Typing progress in communication-centred systems | 1-gen-2013 | MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos |
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