Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.661 a 2.680 di 2.997
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories
2021-01-01 Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B.
A New Remez-Type Algorithm for Best Polynomial Approximation
2020-01-01 Egidi, N.; Fatone, L.; Misici, L.
ReSuMo: Regression Mutation Testing for Solidity Smart Contracts
2022-01-01 Barboni, M.; Casoni, F.; Morichetta, A.; Polini, A.
X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development
2022-01-01 Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
Development of a Wearable Device for Sign Language Translation
2019-01-01 Pezzuoli, F; Corona, D; Corradini, Ml; Cristofaro, A
Verification of privacy-enhanced collaborations
2020-01-01 Belluccini, S.; De Nicola, R.; Dumas, M.; Pullonen, P.; Re, B.; Tiezzi, F.
Investigation on the energy absorption capability of composite crash-box with recyclable thermoplastic material
2015-01-01 Boria, S.; Scattina, A.
Interactive Editing of MathML Markup Using TeX Syntax
2004-01-01 Padovani, Luca
Foundations of Session Types
2009-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
The Chemical Approach to Typestate-Oriented Programming
2015-01-01 Crafa, Silvia; Padovani, Luca
A formal foundation for dynamic delta-oriented software product lines
2012-01-01 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
Contracts for Mobile Processes
2009-01-01 G., Castagna; Padovani, Luca
Contract-directed Synthesis of Simple Orchestrators
2008-01-01 Padovani, Luca
Symbolic Model-checking for Resource-Bounded ATL
2015-01-01 N., Alechina; B., Logan; H. N., Nguyen; F., Raimondi; Mostarda, Leonardo
Local Ordering in Disordered Systems under Extreme Conditions
2007-01-01 DI CICCO, Andrea; Principi, E.; Minicucci, M.; Trapananti, A.; Filipponi, AND A.
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007-01-01 M., Bernardo; Padovani, Luca
Control of PMSMs with Double Loop Data-Driven Techniques
2022-01-01 Capretti, M.; Corradini, M. L.
INFLUENCE OF MOISTURE CONTENT ON THE ASSESSMENT OF DECAY LEVELS BY MICRO-DRILLING MEASUREMENTS IN WOODEN FOUNDATION PILES
2023-01-01 Mirra, Michele; Pagella, Giorgio; Gard, Wolfgang; Ravenshorst, Geert; Van De Kuilen, Jan-Willem
EXPERIMENTAL AND NUMERICAL ASSESSMENT OF AN IMPROVED PLYWOOD-BASED IN-PLANE RETROFITTING METHOD FOR TIMBER FLOORS IN HIGHLY SEISMIC AREAS
2023-01-01 Mirra, Michele; Gerardini, Andrea
Knowledge Graphs as a Semantic Layer for Understanding Robotic Video
2026-01-01 Corradini, F.; Re, B.; Rossi, L.; Sampaolo, M.; Scattu, M.
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Trends on the Usage of BPMN 2.0 from Publicly Available Repositories | 1-gen-2021 | Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B. | Contributo in atto di convegno su volume | |
| A New Remez-Type Algorithm for Best Polynomial Approximation | 1-gen-2020 | Egidi, N.; Fatone, L.; Misici, L. | Contributo in atto di convegno su volume | |
| ReSuMo: Regression Mutation Testing for Solidity Smart Contracts | 1-gen-2022 | Barboni, M.; Casoni, F.; Morichetta, A.; Polini, A. | Contributo in atto di convegno su volume | |
| X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development | 1-gen-2022 | Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara | Contributo in atto di convegno su volume | |
| Development of a Wearable Device for Sign Language Translation | 1-gen-2019 | Pezzuoli, F; Corona, D; Corradini, Ml; Cristofaro, A | Contributo in atto di convegno su volume | |
| Verification of privacy-enhanced collaborations | 1-gen-2020 | Belluccini, S.; De Nicola, R.; Dumas, M.; Pullonen, P.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume | |
| Investigation on the energy absorption capability of composite crash-box with recyclable thermoplastic material | 1-gen-2015 | Boria, S.; Scattina, A. | Contributo in atto di convegno su volume | |
| Interactive Editing of MathML Markup Using TeX Syntax | 1-gen-2004 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Foundations of Session Types | 1-gen-2009 | Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca | Contributo in atto di convegno su volume | |
| The Chemical Approach to Typestate-Oriented Programming | 1-gen-2015 | Crafa, Silvia; Padovani, Luca | Contributo in atto di convegno su volume | |
| A formal foundation for dynamic delta-oriented software product lines | 1-gen-2012 | Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer | Contributo in atto di convegno su volume | |
| Contracts for Mobile Processes | 1-gen-2009 | G., Castagna; Padovani, Luca | Contributo in atto di convegno su volume | |
| Contract-directed Synthesis of Simple Orchestrators | 1-gen-2008 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Symbolic Model-checking for Resource-Bounded ATL | 1-gen-2015 | N., Alechina; B., Logan; H. N., Nguyen; F., Raimondi; Mostarda, Leonardo | Contributo in atto di convegno su volume | |
| Local Ordering in Disordered Systems under Extreme Conditions | 1-gen-2007 | DI CICCO, Andrea; Principi, E.; Minicucci, M.; Trapananti, A.; Filipponi, AND A. | Contributo in atto di convegno su volume | |
| Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders | 1-gen-2007 | M., Bernardo; Padovani, Luca | Contributo in atto di convegno su volume | |
| Control of PMSMs with Double Loop Data-Driven Techniques | 1-gen-2022 | Capretti, M.; Corradini, M. L. | Contributo in atto di convegno su volume | |
| INFLUENCE OF MOISTURE CONTENT ON THE ASSESSMENT OF DECAY LEVELS BY MICRO-DRILLING MEASUREMENTS IN WOODEN FOUNDATION PILES | 1-gen-2023 | Mirra, Michele; Pagella, Giorgio; Gard, Wolfgang; Ravenshorst, Geert; Van De Kuilen, Jan-Willem | Contributo in atto di convegno su volume | |
| EXPERIMENTAL AND NUMERICAL ASSESSMENT OF AN IMPROVED PLYWOOD-BASED IN-PLANE RETROFITTING METHOD FOR TIMBER FLOORS IN HIGHLY SEISMIC AREAS | 1-gen-2023 | Mirra, Michele; Gerardini, Andrea | Contributo in atto di convegno su volume | |
| Knowledge Graphs as a Semantic Layer for Understanding Robotic Video | 1-gen-2026 | Corradini, F.; Re, B.; Rossi, L.; Sampaolo, M.; Scattu, M. | Contributo in atto di convegno su volume |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.661 a 2.680 di 2.997
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
- 5 ATTO DI CONVEGNO SU VOLUME2997
Data di pubblicazione
- In corso di stampa3
- 2020 - 2026500
- 2010 - 20191317
- 2000 - 2009883
- 1990 - 1999242
- 1980 - 198949
- 1972 - 19793
Editore
- Springer131
- IEEE103
- Springer Science and Business Med...41
- ACM32
- Institute of Electrical and Elect...29
- SISVET29
- IEEE Computer Society26
- Società Chimica Italiana25
- IEEE / Institute of Electrical an...23
- Università di Camerino23
Rivista
- AIP CONFERENCE PROCEEDINGS3
- CEUR WORKSHOP PROCEEDINGS2
- BioPhotonics, 2011 International ...1
- ELECTRONIC PROCEEDINGS IN THEORET...1
- JOURNAL OF THE PERIPHERAL NERVOUS...1
- LECTURE NOTES IN BUSINESS INFORMA...1
- PLANUM1
- PROCEEDINGS OF SPIE, THE INTERNAT...1
- PROCEEDINGS WORLD RABBIT CONGRESS1
- STUDIES IN CLASSIFICATION, DATA A...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE25
- CEUR WORKSHOP PROCEEDINGS22
- LECTURE NOTES IN BUSINESS INFORMA...22
- LECTURE NOTES IN CIVIL ENGINEERING20
- LECTURE NOTES IN NETWORKS AND SYS...10
- LECTURE NOTES IN ARTIFICIAL INTEL...8
- ADVANCES IN INTELLIGENT SYSTEMS A...6
- UID PER IL DISEGNO6
- AIP CONFERENCE PROCEEDINGS5
- COMMUNICATIONS IN COMPUTER AND IN...5
Keyword
- HBIM6
- survey6
- Process Mining5
- Structural Health Monitoring5
- database4
- modelli4
- rappresentazione4
- Activity Recognition3
- color3
- Digital Image Correlation3
Lingua
- eng2226
- ita895
- spa28
- fre21
- und6
- ger4
- hrv2
- por2
- enm1
- hun1
Accesso al fulltext
- no fulltext2544
- reserved283
- open155
- partially open15