( en | de | ru )

 

Disambiguation of "Vicario, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow.

, , , and . ETFA, page 456-463. IEEE, (2018)

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 Fest

Enrico Metzler

Enrico Mönke

Enrico Thormann

Enrico Körner

 

Other publications of authors with the same name

Timed State Space Analysis of Real-Time Preemptive Systems., , , and . IEEE Trans. Software Eng., 30 (2): 97-111 (2004)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)Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic., , and . IEEE Trans. Knowl. Data Eng., 7 (4): 609-622 (1995)Efficient Matching and Indexing of Graph Models in Content-Based Retrieval., , and . IEEE Trans. Pattern Anal. Mach. Intell., 23 (10): 1089-1105 (2001)Specification by-Example of Virtual Agents Behavior., and . IEEE Trans. Vis. Comput. Graph., 1 (4): 350-360 (1995)Modelling Spatial Relationships between Colour Clusters., , and . Pattern Anal. Appl., 4 (2-3): 83-92 (2001)Weighting Spatial Relationships in Retrieval by Visual Contents., and . VDB, volume 126 of IFIP Conference Proceedings, page 277-292. Chapman & Hall, (1998)Oris: a tool for modeling, verification and evaluation of real-time systems., , , and . Int. J. Softw. Tools Technol. Transf., 12 (5): 391-403 (2010)Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living., , , and . IEEE Trans. Hum. Mach. Syst., 43 (6): 509-521 (2013)