Improving dynamic code analysis by code abstraction
2021-01-01 Mastroeni, I.; Arceri, V.
A sound abstract interpreter for dynamic code
2020-01-01 Arceri, V.; Mastroeni, I.
Static analysis for dummies: Experiencing LiSA
2021-01-01 Ferrara, P.; Negrini, L.; Arceri, V.; Cortesi, A.
An abstract domain for objects in dynamic programming languages
2020-01-01 Arceri, V.; Pasqua, M.; Mastroeni, I.
Twinning Automata and Regular Expressions for String Static Analysis
2021-01-01 Negrini, L.; Arceri, V.; Ferrara, P.; Cortesi, A.
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
«Entre continuité dynastique et pouvoir du luxe. La ‘Petite Italie’ de Marie de Bourgogne»
2021-01-01 Veratelli, Federica
Experiencing the Role of Cooperation and Competition in Operations and Supply Chain Management with a Multiplayer Serious Game
2021-01-01 Galli, M.; Mezzogori, D.; Reverberi, D.; Romagnoli, G.; Zammori, F.
Batch Experiment: A Fruitful Way of Combining Hands-On Laboratory and E-Learning
2022-01-01 Bottani, E.; Reverberi, D.; Romagnoli, G.; Ustenko, M.; Volpi, A.
Semantic Identifiers and DNS Names for IoT
2021-01-01 Fernandez, S.; Amoretti, M.; Restori, F.; Korczynski, M.; Duda, A.
Towards the Definition of a Comprehensive Walkability Index for Historical Centres
2021-01-01 Caselli, B.; Rossetti, S.; Ignaccolo, M.; Zazzi, M.; Torrisi, V.
Sources and Themes for the History of Education in the Renaissance and the Reformation / Источники и темы истории образования между эпохой Возрождения и Реформацией
2021-01-01 Salvarani, Luana
Dynamic model of multistage centrifugal compressor with a stage-by-stage anti-surge recirculating system
2021-01-01 Casari, N.; Pinelli, M.; Suman, A.; Manganelli, M.; Morini, M.; Brun, K.; Larosiliere, L.; Jariwala, V.
Acoustic measurements of the Roman theatre of Pompei by mapping the sound reflections
2021-01-01 Bevilacqua, Antonella; Merli, Francesca; Tronchin, Lamberto; Farina, Angelo
Digitally acoustic reconstruciton of the Roman theatre of Verona at its orginal shape
2021-01-01 Bevilacqua, Antonella; Tronchin, Lamberto; Farina, Angelo; Dal Ronco, Nicoletta
Acoustic parameters of the Municipal Theatre of Piacenza shown on different ways of representation
2021-01-01 Armelloni, Enrico; Farina, Angelo; Bevilacqua, Antonella; Farina, Adriano; Merli, Francesca; Tronchin, Lamberto
3dof representation of the acoustic measurements inside the Comunale-Pavarotti Theatre of Modena
2021-01-01 Bevilacqua, Antonella; Merli, Francesca; Farina, Angelo; Armelloni, Enrico; Farina, Adriano; Tronchin, Lamberto
A Modular, Low Latency, A2B-based Architecture for Distributed Multichannel Full-Digital Audio Systems
2021-01-01 Rocchi, Nicholas; Toscani, Andrea; Pinardi, Daniel; Binelli, Marco; Chiesi, Lorenzo; Farina, Angelo; Bonomi, Elia; Tronchin, Lamberto
Geometrical Acoustics Simulations for Ambisonics Auralization of a Car Sound System at High Frequency
2021-01-01 Pinardi, Daniel; Riabova, Kseniia; Binelli, Marco; Farina, Angelo; Park, Jong-Suh
Metrics for Evaluating the Spatial Accuracy of Microphone Arrays
2021-01-01 Pinardi, Daniel; Farina, Angelo
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
Scopri
Tipologia
- 4 Contributo in atti di convegno ...21851
- 4 Contributo in atti di convegno(...6
Data di pubblicazione
- In corso di stampa38
- 2020 - 20261410
- 2010 - 20194083
- 2000 - 200911091
- 1990 - 19993804
- 1980 - 19891246
- 1970 - 1979185
Editore
- IEEE762
- Institute of Electrical and Elect...251
- Springer213
- IEEE Computer Society88
- -69
- Springer Science and Business Med...60
- SPIE57
- Elsevier50
- Elsevier B.V.50
- ACM49
Rivista
- MICROBIOLOGIA MEDICA80
- LECTURE NOTES IN COMPUTER SCIENCE25
- CEUR WORKSHOP PROCEEDINGS15
- EPITOME10
- HORMONE RESEARCH10
- OFIOLITI7
- ANNALI DELL'UNIVERSITÀ DI FERRARA...6
- LECTURE NOTES IN ARTIFICIAL INTEL...6
- MATERIALS SCIENCE FORUM6
- PROCEEDINGS OF SPIE, THE INTERNAT...4
Serie
- CEUR WORKSHOP PROCEEDINGS56
- LECTURE NOTES IN COMPUTER SCIENCE56
- PROCEEDINGS OF SPIE, THE INTERNAT...30
- CONFERENCE PROCEEDINGS OF THE SOC...29
- PROCEDIA CIRP28
- LECTURE NOTES IN MECHANICAL ENGIN...27
- LECTURE NOTES IN ARTIFICIAL INTEL...22
- LECTURE NOTES IN CIVIL ENGINEERING18
- CONFERENCE RECORD OF THE ... IEEE...12
- COMMUNICATIONS IN COMPUTER AND IN...11
Keyword
- Electrical and Electronic Enginee...53
- Computer Networks and Communications43
- Mechanical Engineering31
- Industrial and Manufacturing Engi...30
- Computer Science Applications1707...29
- Electronic27
- Optical and Magnetic Materials27
- Computer Science (all)26
- Control and Systems Engineering25
- Sustainability23
Lingua
- eng8456
- ita3665
- fre94
- spa26
- ger25
- rus20
- und9
- por5
- enm4
- epo4
Accesso al fulltext
- no fulltext20453
- reserved1273
- open99
- restricted27
- partially open5