Andrea Giotti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2002–2003
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | SEKE | TILCO Temporal Logic for Real-Time Systems Implementation in C++. | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai |
| 2002 | ICECCS | Execution of TILCO Temporal Logic Specifications. | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi |
| 2002 | SEKE | A distributed industrial application for quality control of clinched boards based on computer vision. | Ivan Bruno, Andrea Giotti, Massimo Monsignori, Paolo Nesi |