Author of the publication

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.

 

Other publications of authors with the same name

Painting Retrieval Based on Color Semantics., , and . Image Databases and Multi-Media Search, volume 8 of Series on Software Engineering and Knowledge Engineering, WorldScientific, (1998)Iconic Retrievial by Contents from Databases of Cardiological Sequences., , and . VDB, volume 34 of IFIP Conference Proceedings, page 158-174. Chapman & Hall, (1995)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)A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments., , , , and . IEEE Trans. Hum. Mach. Syst., 49 (4): 293-303 (2019)Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow., , , and . ETFA, page 456-463. IEEE, (2018)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)An Ontological Approach to Systematization of SW-FMEA., , , and . SAFECOMP, volume 7612 of Lecture Notes in Computer Science, page 173-184. Springer, (2012)The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems., , and . SIGMETRICS Perform. Evaluation Rev., 49 (4): 81-86 (2022)An adaptable patient-centric electronic health record system for personalized home care., and . ISMICT, page 1-5. IEEE, (2014)