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

A behaviour model of the SopCast users., , , , and . WebMedia, page 24. ACM, (2009)Extending UML to Specify and Verify E-commerce Systems., , , , , and . SEKE, page 306-313. (2003)On the utilization of deep and ensemble learning to detect milk adulteration., , , , , and . BioData Min., 12 (1): 13:1-13:13 (2019)Content pollution on P2P Live Streaming systems., , and . WebMedia, page 50. ACM, (2009)Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems., , , and . Workshop on Languages, Compilers, & Tools for Real-Time Systems, page 70-78. ACM, (1995)The Verus language: representing time efficiently with BDDs., and . Theor. Comput. Sci., 253 (1): 95-118 (2001)NASirt: AutoML based learning with instance-level complexity information., , and . CoRR, (2020)Characterizing SopCast client behavior., , , , , and . Comput. Commun., 35 (8): 1004-1016 (2012)Model Checking Semi-Continuous Time Models Using BDDs., , , , and . SMC@FLoC, volume 23 of Electronic Notes in Theoretical Computer Science, page 75-87. Elsevier, (1999)Verifying the performance of the PCI local bus using symbolic techniques., , , and . ICCD, page 72-78. IEEE Computer Society, (1995)