Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica
Exploiting Transition Locality in Automatic Verification
2001-01-01 Enrico, Tronci; DELLA PENNA, Giuseppe; Benedetto, Intrigila; Marisa Venturini, Zilli
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems
2004-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli
Exploiting Transition Locality in the Disk Based Murphi Verifier
2002-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Enrico, Tronci; Marisa Venturini, Zilli
Exploiting WSN for audio surveillance applications: the VoWSN approach
2008-01-01 Pomante, L; Graziosi, F; Rinaldi, C; Alesii, Roberto
Exploration of Geographic Databases: Supporting a Focus+Context Interaction Style
2002-01-01 Cicerone, Serafino; Frigioni, Daniele; Tarantino, Laura
Exploration of unknown territory via dali agents and asp modules
2015-01-01 Costantini, Stefania; DE GASPERIS, Giovanni; Nazzicone, Giulio
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution
2001-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry
Explore and repair graphs with black holes using mobile entities
2015-01-01 D’Emidio, M.; Frigioni, D; Navarra, Alfredo
Exploring and Making Safe Dangerous Networks using Mobile Entities
2013-01-01 D'Emidio, Mattia; Frigioni, Daniele; Navarra, A.
Exploring Low-degree nodes first accelerates Network Exploration
2020-01-01 Costantini, S.; De Meo, P.; Giorgianni, A.; Migliorato, V.; Provetti, A.; Salvia, F.
Exploring model repositories by means of megamodel-aware search operators
2018-01-01 Basciani, F.; Di Ruscio, D.; Di Rocco, J.; Iovino, L.; Pierantonio, A.
Exploring Performance Assurance Practices and Challenges in Agile Software Development: An Ethnographic Study
2022-01-01 Traini, Luca
Exploring sustainable alternatives for the deployment of microservices architectures in the cloud
2024-01-01 Cortellessa, Vittorio; DI POMPEO, Daniele; Tucci, Michele
Exploring synergies between bottleneck analysis and performance antipatterns.
2014-01-01 Catia, Trubiani; DI MARCO, Antinisca; Cortellessa, Vittorio; Nariman, Mani; Dorina C., Petriu
Exploring the interplay between fluid intelligence and creativity: the mediating role of the field-dependent-independent cognitive style
2022-01-01 Giancola, M.; Palmiero, M.; D'Amico, S.
Exploring the social cognition network in young adults with autism spectrum disorder using graph analysis
2020-01-01 Vagnetti, R.; Pino, M. C.; Masedu, F.; Peretti, S.; Le Donne, I.; Rossi, R.; Valenti, M.; Mazza, M.
The exponent for superalgebras with superinvolution
2018-01-01 Ioppolo, A.
Exponential and Polynomial Stability Estimates for the Wave Equation and Maxwell's System with Memory Boundary Conditions
2008-01-01 Nicaise, S; Pignotti, Cristina
Exponential decay for semilinear wave equations with viscoelastic damping and delay feedback
2021-01-01 Paolucci, A.; Pignotti, C.
Exponential decay of 2×2 operator matrix semigroups
2004-01-01 Engel, KLAUS JOCHEN OTTO; Batkai, 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