Sfoglia per Titolo
Switching systems with dwell time: Computing the maximal Lyapunov exponent
2021-01-01 Chitour, Yacine; Guglielmi, Nicola; Protasov, Vladimir Yu.; Sigalotti, Mario
A symbolic framework for multi-faceted security protocol analysis
2008-01-01 Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, E
Symbolic performance adaptation
2016-01-01 Incerto, E; Tribastone, M; Trubiani, C
Symplectic quantization I: dynamics of quantum fluctuations in a relativistic field theory
2021-01-01 Gradenigo, G.; Livi, R.
Symplectic Quantization II: Dynamics of Space–Time Quantum Fluctuations and the Cosmological Constant
2021-01-01 Gradenigo, Giacomo
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
2005-01-01 Ferrari, Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, E
Synchronized Hyperedge Replacement for Heterogeneous Systems
2005-01-01 Lanese, Ivan; Tuosto, E
Synergies of THESEUS with the large facilities of the 2030s and guest observer opportunities
2021-01-01 Rosati, P.; Basa, S.; Blain, A. W.; Bozzo, E.; Branchesi, M.; Christensen, L.; Ferrara, A.; Gomboc, A.; O'Brien, P. T.; Osborne, J. P.; Rossi, A.; Sch(, ; Spurio, M.; Stergioulas, N.; Stratta, G.; Amati, L.; Casewell, S.; Ciolfi, R.; Ghirl, ; A, G.; Grimm, S.; Guetta, D.; Harms, J.; Le Floc'h, E.; Longo, F.; Maggiore, M.; Mereghetti, S.; Oganesyan, G.; Salvaterra, R.; Tanvir, N. R.; Turriziani, S.; Vergani, S. D.; Balman, S.; Caruana, J.; Erkut, M. H.; Guidorzi, G.; Frontera, F.; Martin-Carrillo, A.; Paltani, S.; Porquet, D.; Sergijenko, O.
Synthesis of concurrent and distributed adaptors for component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Synthesis of decentralized adaptors for concurrent and distributed component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo
Synthesising Choreographies from Local Session Types
2012-01-01 Lange, Julien; Tuosto, E
Synthesizing adapters for conversational web-services from their WSDL interface
2010-01-01 Pelliccione, Patrizio; Tivoli, Massimo; Cavallaro, L; DI NITTO, E; Pradella, M.
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
2019-01-01 De Nicola, R; Duong, T; Inverso, O; Mazzanti, F
A Systematic Literature Review on prioritizing software test cases using Markov chains
2022-01-01 Barbosa, Gerson; de Souza, Érica Ferreira; dos Santos, Luciana Brasil Rebelo; da Silva, Marlon; Balera, Juliana Marino; Vijaykumar, Nandamudi Lankalapalli
Systematic Recovery of MDE Technology Usage
2018-01-01 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Systematic study of the features of the streamer discharge by means of pulse shape analysis
1997-01-01 DE MITRI, Ivan
Systems Engineering approach for the concept design of the Crystal Eye detector
2020-01-01 Renno, F.; Barbato, F.; Barbarino, G.; Marzullo, D.; Guida, R.; Papa, S.
Systolic Acyclic Orientations for Deadlock Prevention
1995-01-01 DI IANNI, M; Flammini, M; Flammini, R; Salomone, S
T. Naito (ed.) [2016] Sustainable Growth and Development in a Regional Economy
2019-01-01 Modica, M
The takeover selection decisions of Multinational Enterprises: Empirical evidence from European target firms
2018-01-01 Ascani, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Switching systems with dwell time: Computing the maximal Lyapunov exponent | 1-gen-2021 | Chitour, Yacine; Guglielmi, Nicola; Protasov, Vladimir Yu.; Sigalotti, Mario | |
A symbolic framework for multi-faceted security protocol analysis | 1-gen-2008 | Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, E | |
Symbolic performance adaptation | 1-gen-2016 | Incerto, E; Tribastone, M; Trubiani, C | |
Symplectic quantization I: dynamics of quantum fluctuations in a relativistic field theory | 1-gen-2021 | Gradenigo, G.; Livi, R. | |
Symplectic Quantization II: Dynamics of Space–Time Quantum Fluctuations and the Cosmological Constant | 1-gen-2021 | Gradenigo, Giacomo | |
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing | 1-gen-2005 | Ferrari, Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, E | |
Synchronized Hyperedge Replacement for Heterogeneous Systems | 1-gen-2005 | Lanese, Ivan; Tuosto, E | |
Synergies of THESEUS with the large facilities of the 2030s and guest observer opportunities | 1-gen-2021 | Rosati, P.; Basa, S.; Blain, A. W.; Bozzo, E.; Branchesi, M.; Christensen, L.; Ferrara, A.; Gomboc, A.; O'Brien, P. T.; Osborne, J. P.; Rossi, A.; Sch(, ; Spurio, M.; Stergioulas, N.; Stratta, G.; Amati, L.; Casewell, S.; Ciolfi, R.; Ghirl, ; A, G.; Grimm, S.; Guetta, D.; Harms, J.; Le Floc'h, E.; Longo, F.; Maggiore, M.; Mereghetti, S.; Oganesyan, G.; Salvaterra, R.; Tanvir, N. R.; Turriziani, S.; Vergani, S. D.; Balman, S.; Caruana, J.; Erkut, M. H.; Guidorzi, G.; Frontera, F.; Martin-Carrillo, A.; Paltani, S.; Porquet, D.; Sergijenko, O. | |
Synthesis of concurrent and distributed adaptors for component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo | |
Synthesis of decentralized adaptors for concurrent and distributed component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo | |
Synthesising Choreographies from Local Session Types | 1-gen-2012 | Lange, Julien; Tuosto, E | |
Synthesizing adapters for conversational web-services from their WSDL interface | 1-gen-2010 | Pelliccione, Patrizio; Tivoli, Massimo; Cavallaro, L; DI NITTO, E; Pradella, M. | |
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems | 1-gen-2019 | De Nicola, R; Duong, T; Inverso, O; Mazzanti, F | |
A Systematic Literature Review on prioritizing software test cases using Markov chains | 1-gen-2022 | Barbosa, Gerson; de Souza, Érica Ferreira; dos Santos, Luciana Brasil Rebelo; da Silva, Marlon; Balera, Juliana Marino; Vijaykumar, Nandamudi Lankalapalli | |
Systematic Recovery of MDE Technology Usage | 1-gen-2018 | Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso | |
Systematic study of the features of the streamer discharge by means of pulse shape analysis | 1-gen-1997 | DE MITRI, Ivan | |
Systems Engineering approach for the concept design of the Crystal Eye detector | 1-gen-2020 | Renno, F.; Barbato, F.; Barbarino, G.; Marzullo, D.; Guida, R.; Papa, S. | |
Systolic Acyclic Orientations for Deadlock Prevention | 1-gen-1995 | DI IANNI, M; Flammini, M; Flammini, R; Salomone, S | |
T. Naito (ed.) [2016] Sustainable Growth and Development in a Regional Economy | 1-gen-2019 | Modica, M | |
The takeover selection decisions of Multinational Enterprises: Empirical evidence from European target firms | 1-gen-2018 | Ascani, A |
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