( en | de | ru )

 

Disambiguation of "Vicario, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.

, , and . QEST, page 70-79. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Enrico Taliani

Enrico Fest

Enrico Körner

Enrico Meier

Enrico Schramm

 

Other publications of authors with the same name

Weighting Spatial Relationships in Retrieval by Visual Contents., and . VDB, volume 126 of IFIP Conference Proceedings, page 277-292. Chapman & Hall, (1998)Modelling Spatial Relationships between Colour Clusters., , and . Pattern Anal. Appl., 4 (2-3): 83-92 (2001)Static Analysis and Dynamic Steering of Time-Dependent Systems.. IEEE Trans. Software Eng., 27 (8): 728-748 (2001)Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems., , and . IEEE Trans. Software Eng., 35 (5): 703-719 (2009)Timed State Space Analysis of Real-Time Preemptive Systems., , , and . IEEE Trans. Software Eng., 30 (2): 97-111 (2004)Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic., , and . IEEE Trans. Knowl. Data Eng., 7 (4): 609-622 (1995)Specification by-Example of Virtual Agents Behavior., and . IEEE Trans. Vis. Comput. Graph., 1 (4): 350-360 (1995)Efficient Matching and Indexing of Graph Models in Content-Based Retrieval., , and . IEEE Trans. Pattern Anal. Mach. Intell., 23 (10): 1089-1105 (2001)Ontology-Driven Enterprise Application Integration., , and . SEKE, page 54-60. Knowledge Systems Institute Graduate School, (2010)Using 3D and Ancillary Media to Train Construction Workers., , and . IEEE Multim., 9 (2): 88-92 (2002)