Principle components analysis for seizures prediction using wavelet transform SM Usman, S Latif, A Beg International Journal of Advanced and Applied Sciences 6 (3), 50-55, 2019 | 21 | 2019 |
Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation A Beg, A Butterfield Proceedings of the 8th International Conference on Frontiers of Information …, 2010 | 13 | 2010 |
Using Recurrent Neural Networks for Circuit Complexity Modeling A Beg, C Prasad, A Beg, SK Hasnain IEEE Multitopic Conference (INMIC 2006), Islamabad, Pakistan., 194-197, 2006 | 12 | 2006 |
Development of a Prototype Translator from Circus to CSPm A Beg, A Butterfield 9th IEEE International Conference on Open Source Systems and Technologies …, 2015 | 8 | 2015 |
Translating from state-rich to state-poor process algebras A Beg University of Dublin, Trinity College Dublin, Ireland, 2014 | 2 | 2014 |
Modelling flash devices with FDR: progress and limits A Beg, A Butterfield Proceedings of the 8th International Conference on Frontiers of Information …, 2010 | 2 | 2010 |
The Quest for 6G Networks A Beg | | 2024 |
Book Proposal Tentative Title: Moving from 5G to 6G future networks - Version 2.0 A Beg 10.13140/RG.2.2.22697.57440, 2024 | | 2024 |
Working Document for state of the art-formality meets autonomy/robotics A Beg, A Butterfield | | 2021 |
Towards formal verification of critical portions of ROS based systems A Beg, A Butterfield 10.13140/RG.2.2.27081.77923, 2020 | | 2020 |
Exploring pathway of collaboration with Lero@ UCC A Beg | | 2020 |
Prototyping Translation Strategy from Circus to CSPM in Haskell A Beg, A Butterfield Technical Report, 2018 | | 2018 |
FSM Based Formal Specification of RPL Protocol using CSP Formal Language M Tayyaba, A Beg Draft submitted to INMIC 2017 conference., 2017 | | 2017 |
Linking Predicates from Circus to CSPM A Beg, A Butterfield Technical Report, 2017 | | 2017 |
Linking a “State-rich” Process Algebra to a “State-free” Process Algebra to Verify Software/Hardware Implementations A Beg, A Butterfield | | 2010 |
Cache Behavior Analysis in Symmetric Multiprocessing (SMP) Environment A Beg New Horizons Journal of Institution of Electrical and Electronics Engineers …, 2007 | | 2007 |