Old Web
English
Sign In
Acemap
>
authorDetail
>
Stefano Zacchiroli
Stefano Zacchiroli
Computer science
Human–computer interaction
Web service
Scripting language
Notation
5
Papers
10
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Enforcing Type-Safe Linking using Inter-Package Relationships.
2011
Studia Informatica Universalis
Mehdi Dogguy
Stéphane Glondu
Sylvain Le Gall
Stefano Zacchiroli
Show All
Source
Cite
Save
Citations (4)
Sources of Inter-package Conflicts in Debian
2011
arXiv: Software Engineering
Cyrille Artho
Roberto Di Cosmo
Kuniyasu Suzaki
Stefano Zacchiroli
Show All
Source
Cite
Save
Citations (0)
ℂDuce User's Manual
2011
Véronique Benzaken
Giuseppe Castagna
Julien Demouth
Alain Frisch
Cédric Miachon
Kim Nguyen
Stefano Zacchiroli
Show All
Source
Cite
Save
Citations (0)
Enforcing Type-Safe Linking using Inter-Package Relationships
2010
Studia Informatica Universalis
Mehdi Dogguy
Stéphane Glondu
Sylvain Le Gall
Stefano Zacchiroli
Show All
Source
Cite
Save
Citations (1)
User Interaction Widgets for Interactive Theorem Proving
2007
Stefano Zacchiroli
Show All
Source
Cite
Save
Citations (5)
1