| Using blockchain to rein in the new post-truth world and check the spread of fake news A Qayyum, J Qadir, MU Janjua, F Sher IT Professional 21 (4), 16-24, 2019 | 129 | 2019 |
| Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 62 | 2011 |
| Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Information and Computation 232, 66-116, 2013 | 32 | 2013 |
| EthReview: an ethereum-based product review system for mitigating rating frauds M Zulfiqar, F Tariq, MU Janjua, AN Mian, A Qayyum, J Qadir, F Sher, ... Computers & Security 100, 102094, 2021 | 23 | 2021 |
| New results on abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 23 | 2011 |
| Compositional abstraction techniques for probabilistic automata F Sher, JP Katoen IFIP International Conference on Theoretical Computer Science, 325-341, 2012 | 16 | 2012 |
| Sol2js: translating solidity contracts into javascript for hyperledger fabric MA Zafar, F Sher, MU Janjua, S Baset Proceedings of the 2nd Workshop on Scalable and Resilient Infrastructures …, 2018 | 15 | 2018 |
| Modelling and statistical model checking of a microgrid S Chakraborty, JP Katoen, F Sher, M Strelec International Journal on Software Tools for Technology Transfer 17, 537-554, 2015 | 7 | 2015 |
| Clustered-enabled Java virtual machine (CEJVM) MU Janjua, M Yasin, F Sher, K Awan, I Hassan Cluster Computing, 2002. Proceedings. 2002 IEEE International Conference on …, 2002 | 5* | 2002 |
| Modelling and analysis of fire sprinklers by verifying dynamic fault trees S Khan, JP Katoen, M Volk, A Zafar, F Sher 2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-10, 2021 | 2 | 2021 |
| Abstraction and Refinement of Probabilistic Automata using Modal Stochastic Games. F Sher RWTH Aachen University, 2015 | 2 | 2015 |
| Wealth Distribution and Link Predictability in Ethereum. Z Muzammal, MU Janjua, W Abbas, F Sher WI (Companion), 184-192, 2019 | 1 | 2019 |
| Modal stochastic games: abstraction-refinement of probabilistic automata JP Katoen, F Sher Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017 | 1 | 2017 |
| Tight game abstractions of probabilistic automata F Sher, JP Katoen CONCUR 8704, 576-591, 0 | 1 | |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail confirmado em cs.rwth-aachen.de
