5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.NI2011★ 5 cited
Quantitative Analysis for Authentication of Low-cost RFID Tags
Ioannis Paparrizos, Stylianos Basagiannis, Sophia Petridou
Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative verification analysis for the low- c…
cs.DS2010
A tight bound on the worst-case number of comparisons for Floyd's heap construction algorithm
Ioannis Paparrizos
In this paper a tight bound on the worst-case number of comparisons for Floyd's well known heap construction algorithm, is derived. It is shown that at most 2n-2μ(n)-σ(n) compariso…
cs.DS2010
Homogeneous and Non Homogeneous Algorithms
Ioannis Paparrizos
Motivated by recent best case analyses for some sorting algorithms and based on the type of complexity we partition the algorithms into two classes: homogeneous and non homogeneous…