Parte II: Risultati della ricerca


Sezione D - Produzione scientifica

Contributo in atti di convegno

Le pubblicazioni visualizzate in questo quadro sono ordinate per Classificazione, Titolo. Vengono visualizzati gli autori appartenenti al Dipartimento. Per consultare la lista completa delle informazioni relative alle pubblicazioni cliccare sul nome autori. Il campo "Provenienza del dato", se presente, indica il CRIS di Ateneo di provenienza del dato.

N.ClassificazionePubblicazione
1. Contributo in Atti di convegno

Paolo Lollini, Andrea Bondavalli (2013) "A Reusable Modular Toolchain for Automated Dependability Evaluation"

Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
2. Contributo in Atti di convegno

Andrea Ceccarelli, Andrea Bondavalli (2013) "A methodology and supporting techniques for the quantitative assessment of insider threats"

Scopus: 2-s2.0-84886454353 Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
3. Contributo in Atti di convegno

Andrea Ceccarelli, Andrea Bondavalli (2013) "A monitoring and testing framework for critical off-the-shelf applications and services"

Scopus: 2-s2.0-84893221520 Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
4. Contributo in Atti di convegno

Stefano Brocchi (2013) "An object-based tomographic recostruction algorithm exploiting interest points in image projections"

Scopus: 2-s2.0-84896372589 Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
5. Contributo in Atti di convegno

Ettore Minguzzi (2013) "Chronology violations and the origin of time"

Scopus: 2-s2.0-84884852550 Web of Science: WOS:000326583000003 Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/07 Provenienza del dato: UGOV FIRENZE
6. Contributo in Atti di convegno

Ariyapala D (2013) "ContextOS: a Context Aware Operating System for Mobile Devices"

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01
7. Contributo in Atti di convegno

Luigi Brugnano, Gianluca Frasca Caccia (2013) "Efficient implementation of geometric integrators for separable Hamiltonian problems"

Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV FIRENZE
8. Contributo in Atti di convegno

Luigi Brugnano (2013) "Energy conservation in the numerical solution of Hamiltonian boundary value problems"

Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV FIRENZE
9. Contributo in Atti di convegno

Luigi Brugnano (2013) "Enhanced HBVMs for the numerical solution of Hamiltonian problems with multiple invariants"

Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV FIRENZE
10. Contributo in Atti di convegno

Andrea Bondavalli, Andrea Ceccarelli (2013) "Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems"

Scopus: 2-s2.0-84892505034 Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
11. Contributo in Atti di convegno

A. Frosini (2013) "How to decompose a binary matrix into three hv-convex polyominoes"

Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
12. Contributo in Atti di convegno

Marcellini P., Mascolo E. (2013) "Local boundedness of solutions to some anisotropic elliptic systems"

Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV FIRENZE
13. Contributo in Atti di convegno

A. Ceccarelli, P. Lollini, A. Bondavalli (2013) "Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system"

Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
14. Contributo in Atti di convegno

Gianna Stefani (2013) "Minimum-Time Strong Optimality of a Singular Arc : Extended Dubins problem"

Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV FIRENZE
15. Contributo in Atti di convegno

Andrea Bondavalli (2013) "Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites"

Scopus: 2-s2.0-84881180817 Web of Science: WOS:000325945700004 Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
16. Contributo in Atti di convegno

Valentina Bonfiglio, Andrea Bondavalli (2013) "On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262"

Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/01, INF/01 Provenienza del dato: UGOV FIRENZE
17. Contributo in Atti di convegno

A. Frosini (2013) "On the degree sequences of uniform hypergraphs"

Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
18. Contributo in Atti di convegno

Antonio Bernini, Luca Ferrari (2013) "Pattern-avoiding Dyck paths"

Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
19. Contributo in Atti di convegno

Andrea Ceccarelli (2013) "Qualitative comparison of aerospace standards: an objective approach"

Scopus: 102382 Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
20. Contributo in Atti di convegno

E Minguzzi (2013) "Topological ordered spaces as a foundation for a quantum spacetime theory"

Scopus: 2-s2.0-84881405620 Web of Science: WOS:000322175500034 Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/07 Provenienza del dato: UGOV FIRENZE
21. Contributo in Atti di convegno

Antonio Bernini, Stefano Bilotta (2013) "Two Gray codes for q-ary k-generalized Fibonacci strings"

Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
22. Contributo in Atti di convegno

Andrea Bondavalli (2013) "Understanding the Quality of Experience in Modern Distributed Interactive Multimedia Applications in Presence of Failures: Metrics and Analysis"

Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE
23. Abstract in Atti di convegno

Andrea Cianchi (2013) "Boundedness of the gradient of solutions to Uhlenbeck type elliptic systems"

Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV FIRENZE
24. Abstract in Atti di convegno

Antonio Bernini, Stefano Bilotta, Elisa Pergola (2013) "Grand Dyck consecutive patterns avoiding binary words"

Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV FIRENZE

Sezione E - Internazionalizzazione



Sezione F - Docenti senza produzione scientifica


Sezione G - Bandi competitivi


Sezione H - Responsabilità e riconoscimenti scientifici