( en | de | ru )

 

Disambiguation of "Vicario, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.

, , , , , and . ICOST, volume 4541 of Lecture Notes in Computer Science, page 217-225. Springer, (2007)

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 Metzler

Enrico Mönke

Enrico Thormann

Enrico Meier

Enrico Körner

 

Other publications of authors with the same name

Echo State Learning for User Trajectory Prediction to Minimize Online Game Breaks in 6G Terahertz Networks., , , and . J. Sens. Actuator Networks, 12 (4): 58 (June 2023)An adaptable patient-centric electronic health record system for personalized home care., and . ISMICT, page 1-5. IEEE, (2014)Supporting Process Migration Through Communicating Petri Nets., , and . PDP, page 486-492. IEEE, (1994)JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems., , , and . SERENE, volume 11732 of Lecture Notes in Computer Science, page 85-93. Springer, (2019)Iconic Retrievial by Contents from Databases of Cardiological Sequences., , and . VDB, volume 34 of IFIP Conference Proceedings, page 158-174. Chapman & Hall, (1995)Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow., , , and . ETFA, page 456-463. IEEE, (2018)An Ontological Approach to Systematization of SW-FMEA., , , and . SAFECOMP, volume 7612 of Lecture Notes in Computer Science, page 173-184. Springer, (2012)A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems., , , and . Ada-Europe, volume 6652 of Lecture Notes in Computer Science, page 118-131. Springer, (2011)Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets., , and . IEEE Trans. Software Eng., 31 (11): 913-927 (2005)Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm., , and . IEEE Software, 29 (1): 76-83 (2012)