Segui
Stefano Zacchiroli
Stefano Zacchiroli
LTCI, TÚlÚcom Paris, Polytechnique Institute of Paris, France
Email verificata su telecom-paris.fr - Home page
Titolo
Citata da
Citata da
Anno
User interaction with the Matita proof assistant
A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli
Journal of Automated Reasoning 39 (2), 109-139, 2007
1002007
Software heritage: Why and how to preserve software source code
R Di Cosmo, S Zacchiroli
iPRES 2017-14th International Conference on Digital Preservation, 1-10, 2017
902017
Strong dependencies between software components
P Abate, R Di Cosmo, J Boender, S Zacchiroli
2009 3rd International Symposium on Empirical Software Engineering andá…, 2009
812009
Package upgrades in FOSS distributions: Details and challenges
R Di Cosmo, S Zacchiroli, P Trezentos
Proceedings of the 1st international workshop on hot topics in softwareá…, 2008
732008
A content based mathematical search engine: Whelp
A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli
International Workshop on Types for Proofs and Programs, 17-32, 2004
732004
Aeolus: A component model for the cloud
R Di Cosmo, J Mauro, S Zacchiroli, G Zavattaro
Information and Computation 239, 100-121, 2014
642014
Building the universal archive of source code
JF Abramatic, R Di Cosmo, S Zacchiroli
Communications of the ACM 61 (10), 29-31, 2018
622018
Dependency solving: a separate concern in component evolution management
P Abate, R Di Cosmo, R Treinen, S Zacchiroli
Journal of Systems and Software 85 (10), 2228-2240, 2012
592012
Automated synthesis and deployment of cloud applications
R Di Cosmo, M Lienhardt, R Treinen, S Zacchiroli, J Zwolakowski, A Eiche, ...
Proceedings of the 29th ACM/IEEE international conference on Automatedá…, 2014
522014
Crafting a proof assistant
A Asperti, CS Coen, E Tassi, S Zacchiroli
International Workshop on Types for Proofs and Programs, 18-32, 2006
512006
Why do software packages conflict?
C Artho, K Suzaki, R Di Cosmo, R Treinen, S Zacchiroli
2012 9th IEEE Working Conference on Mining Software Repositories (MSR), 141-150, 2012
482012
Supporting software evolution in component-based FOSS systems
R Di Cosmo, D Di Ruscio, P Pelliccione, A Pierantonio, S Zacchiroli
Science of Computer Programming 76 (12), 1144-1160, 2011
482011
Towards a formal component model for the cloud
RD Cosmo, S Zacchiroli, G Zavattaro
International Conference on Software Engineering and Formal Methods, 156-171, 2012
472012
The ultimate debian database: Consolidating bazaar metadata for quality assurance and data mining
L Nussbaum, S Zacchiroli
2010 7th IEEE Working Conference on Mining Software Repositories (MSR 2010á…, 2010
472010
Common upgradeability description format (CUDF) 2.0
R Treinen, S Zacchiroli
The Mancoosi project (FP7) 3, 2009
44*2009
Automatic deployment of services in the cloud with aeolus blender
RD Cosmo, A Eiche, J Mauro, S Zacchiroli, G Zavattaro, J Zwolakowski
International Conference on Service-Oriented Computing, 397-411, 2015
432015
MPM: a modular package manager
P Abate, R DiCosmo, R Treinen, S Zacchiroli
Proceedings of the 14th international ACM Sigsoft symposium on Componentá…, 2011
362011
Constrained wiki: an oxymoron?
A Di Iorio, S Zacchiroli
Proceedings of the 2006 international symposium on Wikis, 89-98, 2006
362006
Content cloaking: preserving privacy with google docs and other web applications
G d'Angelo, F Vitali, S Zacchiroli
Proceedings of the 2010 ACM symposium on applied computing, 826-830, 2010
332010
Towards the unification of formats for overlapping markup
P Marinelli, F Vitali, S Zacchiroli
New Review of Hypermedia and Multimedia 14 (1), 57-94, 2008
312008
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20