BUCCI, GIACOMO
BUCCI, GIACOMO
A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS
2003 G. BUCCI; E. VICARIO; L. SASSOLI
A methodology for the design of distributed computer systems
1979 G. BUCCI; STREETER D.
A microprogrammed CPU with a microcoded operating system kernel
1981 G. BUCCI; BUCCI G.; BALDASSARRI F
A robust tracking of 3D motionComputer Vision
1994 A. Borri;G. Bucci;P. Nesi
A TOOL SET FOR MODELING AND SIMULATION OF ROBOTIC WORKCELLS
2005 G. BUCCI; E. VICARIO; F. BALDINI
A tool supporting evaluation of non-MarkovianFault Trees
2008 G. Bucci; L. Carnevali; E. Vicario
An Incremental Approach to Software ReengineeringBased on Object-Relational Mapping
2008 G. Bucci; V. Sandrucci; E. Vicario
An object-oriented dual language for specifying reactive systems
1994 G. Bucci;M. Campanai;P. Nesi;M. Traversi
An Ontological Approach to Systematization of SW-FMEA
2012 Irene Bicchierai; Giacomo Bucci; Carlo Nocentini; Enrico Vicario
An Ontological Sw Architecture For The Development Of Cooperative Web Portals
2007 G. Bucci; V. Sandrucci; E. Vicario; S. Mecca
An Ontological SW Architecture Supporting Agile Development of Semantic Portals
2008 G. Bucci; V. Sandrucci; E. Vicario
An Ontological SW Architecture supporting annotation and retrieval of Digital Resources
2009 G. Bucci; V. Sandrucci; E. Vicario
An Ontological SW Architecture supporting contribution and retrieval of service and process models
2010 G. Bucci; V. Sandrucci; E. Vicario
Architettura e organizzazione dei calcolatori elettronici - Fondamenti
2005 G. BUCCI
Architettura e organizzazione dei calcolatori elettronici - Strutture avanzate
2006 G. BUCCI
Architetture dei calcolatori elettronici
2001 G. BUCCI
Assessing the bibliometric productivity of forest scientists in Italy
2016 Giannetti F.; Chirici G.; Paoletti E.; Borghetti M.; Corona P.; Bucci G.
Calcolatori Elettronici - Architettura e organizzazione
2009 G. Bucci
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study
2013 I. Bicchierai;G. Bucci;L. Carnevali;E. Vicario
Compositional validation of time-critical systems using Communicating Petri Nets
1995 G. BUCCI; E. VICARIO