Scorri Afferenza Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
Integrating formal methods into medical software development: The ASM approach
2018-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia
Integrating formal methods with model-driven engineering
2009-01-01 Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia
Integrating Goal Model Analysis with Iterative Design
2017-01-01 Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo
Integrating kinematics and physically-based simulation in a car sunroof virtual prototyping
2004-01-01 Rizzi, Caterina; Benassi, Matteo; Cugini, Umberto; Colombo, Giorgio
Integrating quantitative and qualitative forecasting approaches: organizational learning in an action research case
2011-01-01 Caniato, Federico; Kalchschmidt, Matteo Giacomo Maria; Ronchi, Stefano
Integrating short-term and long-term planning problems in home health care systems under continuity of care
2022-01-01 Yalçındağ, Semih; Lanzarone, Ettore
Integrating Sustainability in the Fashion System Using Association Rules
2017-01-01 Ciarapica, F. E.; De Sanctis, I.; Resta, Barbara; Dotti, Stefano; Gaiardelli, Paolo; Bandinelli, R.; Fani, V.; Rinaldi, R.
Integrating the RTO in the MPC: an adaptive gradient-based approach.
2013-01-01 Limon, Daniel; Alamo, Teodoro; Pereira, Mario; Ferramosca, Antonio; González, Alejandro H.; Odloak, Darci
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow
2012-01-01 Riccobene, Elvinia; Scandurra, Patrizia
Integrating topological proofs with model checking to instrument iterative design
2020-01-01 Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna
Integrating trust management and access control in data-intensive Web applications
2012-01-01 DE CAPITANI DI VIMERCATI, Sabrina; Foresti, Sara; Jajodia, Sushil; Paraboschi, Stefano; Psaila, Giuseppe; Samarati, Pierangela
Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines
2003-01-01 Cavarra, Alessandra; Riccobene, Elvinia; Scandurra, Patrizia
Integration of computational and experimental methods in the study of cartilage mechanobiology
2002-01-01 Raimondi, M. T.; Boschetti, F.; Fiore, G. B.; Dubini, G.; Falcone, L.; Remuzzi, Andrea; Marinoni, E.; Marazzi, M.; Pietrabissa, R.
Integration of micro-EDM and EBL processes in silicon manufacturing
2012-01-01 D'Urso, Gianluca Danilo; Maccarini, Giancarlo; Merla, Cristina; Ravasio, Chiara
Integration of on-line and face-to-face learning at an international platform for teaching and research
2002-01-01 Ilie Zudor, E.; Monostori, L.; Kádár, B.; Cavalieri, Sergio; Von Cieminski, G.; Di Mascolo, M.; Campi, A.
Integration of sustainability in NPD process: Italian Experiences
2011-06-01 Kerga, Endris; Taisch, Marco; Terzi, Sergio; May, Gokan
Integration of the GET electronics for the CHIMERA and FARCOS devices
2018-01-01 De Filippo, E.; Acosta, L.; Auditore, L.; Boiano, C.; Cardella, G.; Castoldi, A.; D'Andrea, M.; De Luca, S.; Favela, F.; Fichera, F.; Giudice, N.; Gnoffo, B.; CIRILLO GRIMALDI, Alessia; Guazzoni, C.; Lanzalone, G.; Librizzi, F.; Litrico, P.; Maiolino, C.; Maffesanti, S.; Martorana, N. S.; Pagano, A.; Pagano, E. V.; Thioune, PAPA MOMAR AWA; Parsani, T.; Passaro, G.; Pirrone, S.; Politi, G.; Previdi, Fabio; Quattrocchi, L.; Rizzo, F.; Russotto, P.; Saccà, G.; Salemi, Giuseppe; Sciliberto, D.; Trifirò, A.; Trimarchi, M.
Integration of TRIZ derived eco-guidelines and Life Cycle Assessment for sustainable design and process
2011-01-01 Russo, Davide; Birolini, Valentino; Bersano, Giacomo; Schöfer, Malte
Integration of TRIZ problem solving tools in a product-service engineering process
2013-01-01 Regazzoni, Daniele; Pezzotta, Giuditta; Persico, Stefano; Cavalieri, Sergio; Rizzi, Caterina
Integration of wind power production in a conventional power production system: stochastic models and performance measures
2013-01-01 Vespucci, Maria Teresa; Bertocchi, Maria; Tomasgard, Asgeir; Innorta, Mario
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2018 | Integrating formal methods into medical software development: The ASM approach | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2009 | Integrating formal methods with model-driven engineering | Gargantini, Angelo Michele; Scandurra, Patrizia; Riccobene, Elvinia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2017 | Integrating Goal Model Analysis with Iterative Design | Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2004 | Integrating kinematics and physically-based simulation in a car sunroof virtual prototyping | Rizzi, Caterina; Benassi, Matteo; Cugini, Umberto; Colombo, Giorgio | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2011 | Integrating quantitative and qualitative forecasting approaches: organizational learning in an action research case | Caniato, Federico; Kalchschmidt, Matteo Giacomo Maria; Ronchi, Stefano | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2022 | Integrating short-term and long-term planning problems in home health care systems under continuity of care | Yalçındağ, Semih; Lanzarone, Ettore | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts | |
1-gen-2017 | Integrating Sustainability in the Fashion System Using Association Rules | Ciarapica, F. E.; De Sanctis, I.; Resta, Barbara; Dotti, Stefano; Gaiardelli, Paolo; Bandinelli, R.; Fani, V.; Rinaldi, R. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2013 | Integrating the RTO in the MPC: an adaptive gradient-based approach. | Limon, Daniel; Alamo, Teodoro; Pereira, Mario; Ferramosca, Antonio; González, Alejandro H.; Odloak, Darci | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2012 | Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow | Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2020 | Integrating topological proofs with model checking to instrument iterative design | Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2012 | Integrating trust management and access control in data-intensive Web applications | DE CAPITANI DI VIMERCATI, Sabrina; Foresti, Sara; Jajodia, Sushil; Paraboschi, Stefano; Psaila, Giuseppe; Samarati, Pierangela | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2003 | Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines | Cavarra, Alessandra; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2002 | Integration of computational and experimental methods in the study of cartilage mechanobiology | Raimondi, M. T.; Boschetti, F.; Fiore, G. B.; Dubini, G.; Falcone, L.; Remuzzi, Andrea; Marinoni, E.; Marazzi, M.; Pietrabissa, R. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2012 | Integration of micro-EDM and EBL processes in silicon manufacturing | D'Urso, Gianluca Danilo; Maccarini, Giancarlo; Merla, Cristina; Ravasio, Chiara | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2002 | Integration of on-line and face-to-face learning at an international platform for teaching and research | Ilie Zudor, E.; Monostori, L.; Kádár, B.; Cavalieri, Sergio; Von Cieminski, G.; Di Mascolo, M.; Campi, A. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-giu-2011 | Integration of sustainability in NPD process: Italian Experiences | Kerga, Endris; Taisch, Marco; Terzi, Sergio; May, Gokan | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | Integration of the GET electronics for the CHIMERA and FARCOS devices | De Filippo, E.; Acosta, L.; Auditore, L.; Boiano, C.; Cardella, G.; Castoldi, A.; D'Andrea, M.; De Luca, S.; Favela, F.; Fichera, F.; Giudice, N.; Gnoffo, B.; CIRILLO GRIMALDI, Alessia; Guazzoni, C.; Lanzalone, G.; Librizzi, F.; Litrico, P.; Maiolino, C.; Maffesanti, S.; Martorana, N. S.; Pagano, A.; Pagano, E. V.; Thioune, PAPA MOMAR AWA; Parsani, T.; Passaro, G.; Pirrone, S.; Politi, G.; Previdi, Fabio; Quattrocchi, L.; Rizzo, F.; Russotto, P.; Saccà, G.; Salemi, Giuseppe; Sciliberto, D.; Trifirò, A.; Trimarchi, M. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2011 | Integration of TRIZ derived eco-guidelines and Life Cycle Assessment for sustainable design and process | Russo, Davide; Birolini, Valentino; Bersano, Giacomo; Schöfer, Malte | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2013 | Integration of TRIZ problem solving tools in a product-service engineering process | Regazzoni, Daniele; Pezzotta, Giuditta; Persico, Stefano; Cavalieri, Sergio; Rizzi, Caterina | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2013 | Integration of wind power production in a conventional power production system: stochastic models and performance measures | Vespucci, Maria Teresa; Bertocchi, Maria; Tomasgard, Asgeir; Innorta, Mario | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays |
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