performance evaluation (6)
ieee transactions on engineering management (4)
international journal of network management (4)
international journal on software tools for technology transfer (4)
2019 ieee international conference on blockchain and cryptocurrency (icbc), blockchain and cryptocurrency (icbc), 2019 ieee international conference on (2)
acm transactions on modeling and computer simulation (2)
entcs: electronic notes in theoretical computer science (2)
statistics & probability letters (2)
2018 ieee international conference on internet of things (ithings) and ieee green computing and communications (greencom) and ieee cyber, physical and social computing (cpscom) and ieee smart data (smartdata), internet of things (ithings) and ieee green computing and communications (greencom) and ieee cyber, physical and social computing (cpscom) and ieee smart data (smartdata), 2018 ieee international conference on (1)
2020 ieee 40th international conference on distributed computing systems (icdcs), distributed computing systems (icdcs), 2020 ieee 40th international conference on, icdcs (1)
2020 ieee international conference on blockchain (blockchain), blockchain (blockchain), 2020 ieee international conference on, blockchain (1)
2021 ieee international conference on blockchain (blockchain), blockchain (blockchain), 2021 ieee international conference on, blockchain (1)
2022 ieee international conference on blockchain and cryptocurrency (icbc), blockchain and cryptocurrency (icbc), 2022 ieee international conference on (1)
2023 ieee 43rd international conference on distributed computing systems (icdcs), distributed computing systems (icdcs), 2023 ieee 43rd international conference on, icdcs (1)
acm transactions on modeling & computer simulation (1)
computer performance engineering: 11th european workshop, epew 2014, florence, italy, september 11-12, 2014. proceedings (1)
ieee communications surveys & tutorials (1)
leveraging applications of formal methods, verification & validation: foundational techniques (1)
leveraging applications of formal methods, verification and validation. part i (1)
quantitative evaluation of systems (1)
quantitative evaluation of systems: 13th international conference, qest 2016, quebec city, qc, canada, august 23-25, 2016, proceedings (1)
reliability engineering & system safety (1)
reliability engineering and system safety (1)
software technologies: applications & foundations (1)
statistics \& probability letters (1)
statistics and probability letters (1)