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

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC., , , , , , , and . AVoCS, volume 128 of Electronic Notes in Theoretical Computer Science, page 195-214. Elsevier, (2004)Partial Ranking of Products for Recommendation Systems., , and . EC-Web, volume 61 of Lecture Notes in Business Information Processing, page 265-277. Springer, (2010)QISS: An Open Source Image Similarity Search Engine., , , , and . ECIR (2), volume 12036 of Lecture Notes in Computer Science, page 486-490. Springer, (2020)A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization., and . ISVC, volume 3804 of Lecture Notes in Computer Science, page 388-395. Springer, (2005)Approximate Verification of Probabilistic Systems., and . PAPM-PROBMIV, volume 2399 of Lecture Notes in Computer Science, page 213-214. Springer, (2002)Probabilistic verification of sensor networks., , and . RIVF, page 45-54. IEEE, (2006)Uniform Monte-Carlo Model Checking., , , , and . FASE, volume 6603 of Lecture Notes in Computer Science, page 127-140. Springer, (2011)Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks., , , , and . MSWiM, page 385-392. ACM, (2010)Approximate Probabilistic Model Checking., , , and . VMCAI, volume 2937 of Lecture Notes in Computer Science, page 73-84. Springer, (2004)Evaluating Complex MAC Protocols for Sensor Networks with APMC., , , , and . AVoCS, volume 185 of Electronic Notes in Theoretical Computer Science, page 33-46. Elsevier, (2006)