Faculty of Computing, Engineering and the Built Environment

Filter
Conference contribution

Search results

  • 2019

    E2e verifiable Borda count voting system without tallying authorities

    Bag, S., Azad, M. A. & Hao, F., 26 Aug 2019, Proceedings of the 14th International Conference on Availability, Reliability and Security, ARES 2019. Association for Computing Machinery, p. 1-9 9 p. 3339259. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (SciVal)

  • Effect of magnetostrictive properties on the performance of velocity-driven harvester

    Ghodsi, M., Mohammadzaheri, M., Ziaiefar, H., Al-Yahmedi, A. & Omar, F. K., May 2019, Proceedings of the 2019 20th International Conference on Research and Education in Mechatronics, REM 2019. Hehenberger, P. (ed.). Institute of Electrical and Electronics Engineers Inc., 8744129. (Proceedings of the 2019 20th International Conference on Research and Education in Mechatronics, REM 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Emoji powered capsule network to detect type and target of offensive posts in social media

    Hettiarachchi, H. & Ranasinghe, T., 2019, International Conference on Recent Advances in Natural Language Processing in a Deep Learning World, RANLP 2019 - Proceedings. Angelova, G., Mitkov, R., Nikolova, I., Temnikova, I. & Temnikova, I. (eds.). Incoma Ltd, p. 474-480 7 p. (International Conference Recent Advances in Natural Language Processing, RANLP; vol. 2019-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    32 Citations (SciVal)

  • Enhanced TL-LEACH routing protocol for large-scale WSN applications

    Manzoor, K., Jokhio, S. H., Khanzada, T. J. S. & Jokhio, I. A., May 2019, Proceedings - 2019 Cybersecurity and Cyberforensics Conference, CCC 2019. Institute of Electrical and Electronics Engineers Inc., p. 35-39 5 p. 8854529. (Proceedings - 2019 Cybersecurity and Cyberforensics Conference, CCC 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Citations (SciVal)

  • Enhance Engine Room Diagnostics Through Audio-Focused VR Simulation

    Michailidis, T., Barlow, C., Meadow, G., Gouch, J. & Rajabally, E., 2019, Human-Computer Interaction – INTERACT 2019 - 17th IFIP TC 13 International Conference, Proceedings. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (eds.). Springer Verlag, p. 386-394 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11749 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Epithelial segmentation from in situ hybridisation histological samples using a deep central attention learning approach

    Song, T. H., Landini, G., Fouad, S. & Mehanna, H., Apr 2019, ISBI 2019 - 2019 IEEE International Symposium on Biomedical Imaging. IEEE Computer Society, p. 1527-1531 5 p. 8759384. (Proceedings - International Symposium on Biomedical Imaging; vol. 2019-April).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (SciVal)

  • Evaluating the real-world performance of 5G fixed wireless broadband in rural areas

    Abozariba, R., Davies, E., Broadbent, M. & Race, N., Sept 2019, IEEE 5G World Forum, 5GWF 2019 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 465-470 6 p. 8911655. (IEEE 5G World Forum, 5GWF 2019 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    14 Citations (SciVal)

  • Fine-Grained Access Control for Microservices

    Nehme, A., Jesus, V., Mahbub, K. & Abdallah, A., 2019, Foundations and Practice of Security - 11th International Symposium, FPS 2018, Revised Selected Papers. Bonfante, G., Zincir-Heywood, N., Debbabi, M. & Garcia-Alfaro, J. (eds.). Springer Verlag, p. 285-300 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11358 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Citations (SciVal)

  • Firefly combinatorial testing strategy

    Alsewari, A. R. A., Xuan, L. M. & Zamli, K. Z., 2019, Intelligent Computing - Proceedings of the 2018 Computing Conference. Arai, K., Kapoor, S. & Bhatia, R. (eds.). Springer Verlag, p. 936-944 9 p. (Advances in Intelligent Systems and Computing; vol. 858).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Citations (SciVal)

  • I Did Not Accept That: Demonstrating Consent in Online Collection of Personal Data

    Jesus, V. & Mustare, S., 2019, Trust, Privacy and Security in Digital Business - 16th International Conference, TrustBus 2019, Proceedings. Gritzalis, S., Weippl, E. R., Katsikas, S. K., Anderst-Kotsis, G., Khalil, I. & Tjoa, A. M. (eds.). Springer, p. 33-45 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11711 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (Scopus)

  • Immune Genetic Algorithm Optimization and Integration of Logistics Network Terminal Resources

    Wei, W., Rahman, M. A., Kurniawan, I. F., Asyhari, A. T., Sadat, S. M. N. & Yao, L., 26 Mar 2019, Proceedings - 3rd IEEE International Conference on Robotic Computing, IRC 2019. Institute of Electrical and Electronics Engineers Inc., p. 435-436 2 p. 8675650. (Proceedings - 3rd IEEE International Conference on Robotic Computing, IRC 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Citations (SciVal)

  • IoT based hybrid green energy driven highway lighting system

    Rahman, M. A., Mukta, M. Y., Yousuf, A., Asyhari, A. T., Bhuiyan, M. Z. A. & Yaakub, C. Y., Aug 2019, Proceedings - IEEE 17th International Conference on Dependable, Autonomic and Secure Computing, IEEE 17th International Conference on Pervasive Intelligence and Computing, IEEE 5th International Conference on Cloud and Big Data Computing, 4th Cyber Science and Technology Congress, DASC-PiCom-CBDCom-CyberSciTech 2019. Institute of Electrical and Electronics Engineers Inc., p. 587-594 8 p. 8890258. (Proceedings - IEEE 17th International Conference on Dependable, Autonomic and Secure Computing, IEEE 17th International Conference on Pervasive Intelligence and Computing, IEEE 5th International Conference on Cloud and Big Data Computing, 4th Cyber Science and Technology Congress, DASC-PiCom-CBDCom-CyberSciTech 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    29 Citations (SciVal)

  • Learning Transformations for Automated Classification of Manifestation of Tuberculosis using Convolutional Neural Network

    Abbas, A. & Abdelsamea, M. M., 11 Feb 2019, Proceedings - 2018 13th International Conference on Computer Engineering and Systems, ICCES 2018. Zaki, A. M., Taher, M., El-Kharashi, M. W., Salem, A., Bahaa El-Din, A. M. & Abbas, H. M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 122-126 5 p. 8639200. (Proceedings - 2018 13th International Conference on Computer Engineering and Systems, ICCES 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    29 Citations (SciVal)

  • Managing vulnerabilities and capabilities for supply chain resilience in industrialised construction

    Mudiyanselage, A. C. E. E., Shen, G. Q. P. & Kumaraswamy, M. M., 2019, Association of Researchers in Construction Management, ARCOM 2019 - Proceedings of the 35th Annual Conference. Gorse, C. & Neilson, C. J. (eds.). Association of Researchers in Construction Management, p. 811-820 10 p. (Association of Researchers in Construction Management, ARCOM 2019 - Proceedings of the 35th Annual Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Citations (SciVal)

  • Managing Vulnerabilities and Capabilities for Supply Chain Resilience in Industrialized Construction.

    Ekanayake Mudiyanselage, A., 3 Sept 2019, ARCOM2019 Conference.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Matching µ-logic: Foundation of K framework

    Chen, X. & Roşu, G., Nov 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (SciVal)

  • Matching μ-Logic

    Chen, X. & Rosu, G., Jun 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. Institute of Electrical and Electronics Engineers Inc., 8785675. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Citations (SciVal)

  • Measuring the embodied energy, waste, CO2 emissions, time and cost for building design and construction

    Abanda, H., Tah, J. H. M., Cheung, F. & Zhou, W., 2019, EG-ICE 2010 - 17th International Workshop on Intelligent Computing in Engineering. Tizani, W. (ed.). Nottingham, (EG-ICE 2010 - 17th International Workshop on Intelligent Computing in Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Mobility-based Performance Comparison of MBQA-OLSRv2 and MBMA-OLSRv2 Routing Protocols

    Jabbar, W. A., Oct 2019, ICSEC 2019 - 23rd International Computer Science and Engineering Conference. Institute of Electrical and Electronics Engineers Inc., p. 281-286 6 p. 8974771. (ICSEC 2019 - 23rd International Computer Science and Engineering Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (SciVal)

  • Model of Cylindrical Surrounding Double-Gate (CSDG) MOSFET Based Mixer

    Oyedeji, O. E. & Srivastava, V. M., Jul 2019, 2019 10th International Conference on Computing, Communication and Networking Technologies, ICCCNT 2019. Institute of Electrical and Electronics Engineers Inc., 8944763. (2019 10th International Conference on Computing, Communication and Networking Technologies, ICCCNT 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (SciVal)

  • Novel multi-swarm approach for balancing exploration and exploitation in particle swarm optimization

    Salih, S. Q., Alsewari, A. R. A., Al-Khateeb, B. & Zolkipli, M. F., 2019, Recent Trends in Data Science and Soft Computing - Proceedings of the 3rd International Conference of Reliable Information and Communication Technology IRICT 2018. Mohammed, F., Saeed, F., Gazem, N. & Busalim, A. (eds.). Springer Verlag, p. 196-206 11 p. (Advances in Intelligent Systems and Computing; vol. 843).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    27 Citations (SciVal)

  • On the performance of extended real-time object detection and attribute estimation within urban scene understanding

    Ismail, K. & Breckon, T., Dec 2019, Proceedings - 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019. Wani, M. A., Khoshgoftaar, T. M., Wang, D., Wang, H. & Seliya, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 641-646 6 p. 8999126. (Proceedings - 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Citations (SciVal)

  • Performance Analysis of 10 nm FinFET with Scaled Fin-Dimension and Oxide Thickness

    Dargar, S. K. & Srivastava, V. M., Apr 2019, 2019 International Conference on Automation, Computational and Technology Management, ICACTM 2019. Institute of Electrical and Electronics Engineers Inc., p. 1-5 5 p. 8776710. (2019 International Conference on Automation, Computational and Technology Management, ICACTM 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Citations (SciVal)

  • Performance Analysis of High- k Dielectric Based Double-gate Carbon Nanotube MOSFET

    Dargar, S. K. & Srivastava, V. M., Jun 2019, 2019 PhotonIcs and Electromagnetics Research Symposium - Spring, PIERS-Spring 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2603-2609 7 p. 9017411. (Progress in Electromagnetics Research Symposium; vol. 2019-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (SciVal)

  • Permitting significant harm in the conservation of heritage assets: Conflicts in sustainable land-use planning decisions

    Nash, H. A., 2019, Structural Studies, Repairs and Maintenance of Heritage Architecture XVI. De Wilde, P. (ed.). WITPress, p. 225-236 12 p. (WIT Transactions on the Built Environment; vol. 191).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Pointing and Selection Methods for Text Entry in Augmented Reality Head Mounted Displays

    Xu, W., Liang, H-N., He, A. & Wang, Z., 2019, 2019 IEEE International Symposium on Mixed and Augmented Reality (ISMAR). p. 279-288 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    61 Citations (SciVal)

  • Practising occupational health and safety using social practice theory

    Raiden, A. & Aboagye-Nimo, E., 2019, Association of Researchers in Construction Management, ARCOM 2019 - Proceedings of the 35th Annual Conference. Gorse, C. & Neilson, C. J. (eds.). Association of Researchers in Construction Management, p. 517-526 10 p. (Association of Researchers in Construction Management, ARCOM 2019 - Proceedings of the 35th Annual Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Pressure vessel design simulation: Implementing of multi-swarm particle swarm optimization

    Salih, S. Q., Alsewari, A. R. A. & Yaseen, Z. M., 2019, ACM International Conference Proceeding Series. Association for Computing Machinery, p. 120-124 5 p. (ACM International Conference Proceeding Series; vol. Part F147956).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    49 Citations (SciVal)

  • Pressure vessel design simulation using hybrid harmony search algorithm

    Alomoush, A. A., Younis, M. I., Aloufi, K. S., Alsewari, A. R. A. & Zamli, K. Z., 20 Nov 2019, ICBDR 2019 - Proceedings of the 2019 3rd International Conference on Big Data Research. Association for Computing Machinery, p. 37-41 5 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (SciVal)

  • Privacy-preserving social media forensic analysis for preventive policing of online activities

    Naqvi, S., Enderby, S., Williams, I., Asif, W., Rajarajan, M., Potlog, C. & Florea, M., Jun 2019, 2019 10th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2019 - Proceedings and Workshop. Institute of Electrical and Electronics Engineers Inc., 8763830. (2019 10th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2019 - Proceedings and Workshop).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (SciVal)

  • Quality features for summarizing text forum threads by selecting quality replies

    Osman, A., Salim, N., Saeed, F. & Abdelhamid, I., 2019, Recent Trends in Data Science and Soft Computing - Proceedings of the 3rd International Conference of Reliable Information and Communication Technology IRICT 2018. Mohammed, F., Saeed, F., Gazem, N. & Busalim, A. (eds.). Springer Verlag, p. 47-56 10 p. (Advances in Intelligent Systems and Computing; vol. 843).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (SciVal)

  • Redesign of Clinical Decision Systems to Support Precision Medicine

    Afzal, M., Hussain, M., Lee, S. & Khattak, H. A., 22 Feb 2019, Proceedings of TENCON 2018 - 2018 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., p. 2259-2263 5 p. 8650175. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2018-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (Scopus)

  • Reducing computational cost in IoT cyber security: Case study of artificial immune system algorithm

    Zakariyya, I., Al-Kadri, M. O., Kalutarage, H. & Petrovski, A., 2019, SECRYPT. Obaidat, M. S., Obaidat, M. S. & Samarati, P. (eds.). SciTePress, p. 523-528 6 p. (ICETE 2019 - Proceedings of the 16th International Joint Conference on e-Business and Telecommunications; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Samiran Bag, and Feng Hao,‘M2m-rep: Reputation of machines in the internet of things’

    Azad, M. A., 2019, Proceedings of the 12th international conference on availability, reliability and security. p. 28 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Smart and green street lighting system based on arduino and RF wireless module

    Jabbar, W. A., Yuzaidi, M. A. B., Yan, K. Q., Bustaman, U. S. B. M., Hashim, Y. & Alariqi, H. T., Apr 2019, 2019 8th International Conference on Modeling Simulation and Applied Optimization, ICMSAO 2019. Institute of Electrical and Electronics Engineers Inc., 8880451. (2019 8th International Conference on Modeling Simulation and Applied Optimization, ICMSAO 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Citations (SciVal)

  • Smart city development: A business process-centric conceptualisation

    Javidroozi, V., Shah, H. & Feldman, G., 2019, ICORES 2019 - Proceedings of the 8th International Conference on Operations Research and Enterprise Systems. Parlier, G. H., Liberatore, F. & Demange, M. (eds.). SciTePress, p. 346-353 8 p. (ICORES 2019 - Proceedings of the 8th International Conference on Operations Research and Enterprise Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Citations (SciVal)

  • Temperature sensitivity of silicon nanowire transistor based on channel length

    Alariqi, H. T., Jabbar, W. A., Hashim, Y. & Manap, H. B., Apr 2019, 2019 8th International Conference on Modeling Simulation and Applied Optimization, ICMSAO 2019. Institute of Electrical and Electronics Engineers Inc., 8880360. (2019 8th International Conference on Modeling Simulation and Applied Optimization, ICMSAO 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (SciVal)

  • The potential of digital technology to improve construction productivity

    Madanayake, U. H. & Çidik, M. S., 2019, Association of Researchers in Construction Management, ARCOM 2019 - Proceedings of the 35th Annual Conference. Gorse, C. & Neilson, C. J. (eds.). Association of Researchers in Construction Management, p. 416-425 10 p. (Association of Researchers in Construction Management, ARCOM 2019 - Proceedings of the 35th Annual Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (SciVal)

  • Towards a holistic modeling framework for embodied carbon and waste in the building lifecycle

    Tah, J. H. M., Zhou, W., Abanda, F. H. & Cheung, F. K. T., 2019, EG-ICE 2010 - 17th International Workshop on Intelligent Computing in Engineering. Tizani, W. (ed.). Nottingham, (EG-ICE 2010 - 17th International Workshop on Intelligent Computing in Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Towards Blockchain-Based Auditing of Data Exchanges

    Zhou, X., Nehme, A., Jesus, V., Wang, Y., Josephs, M. & Mahbub, K., 2019, Smart Blockchain -2nd International Conference, SmartBlock 2019, Proceedings. Qiu, M. (ed.). Springer, p. 43-52 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11911 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (SciVal)

  • Towards Fully Integrated Real-Time Detection Framework for Online Contents Analysis-RED-Alert Approach

    Naqvi, S., Williams, I., Enderby, S., Pollner, P., Abel, D., Biescas, B., Garcia, O., Florea, M. & Potlog, C., Jun 2019, Proceedings - 4th IEEE European Symposium on Security and Privacy Workshops, EUROS and PW 2019. Institute of Electrical and Electronics Engineers Inc., p. 257-263 7 p. 8802501. (Proceedings - 4th IEEE European Symposium on Security and Privacy Workshops, EUROS and PW 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Using Virtual Reality to Enable Individuals with Severe Visual Disabilities to Read Books

    Weir, K., Loizides, F., Nahar, V. & Aggoun, A., 19 Aug 2019, Human-Computer Interaction. Recognition and Interaction Technologies. Cham, Switzerland: Springer, Vol. 11567. p. 680-684 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Visual and Thermal Data for Pedestrian and Cyclist Detection

    Ahmed, S., Huda, M. N., Rajbhandari, S., Saha, C., Elshaw, M. & Kanarachos, S., 17 Jul 2019, Towards Autonomous Robotic Systems - 20th Annual Conference, TAROS 2019, Proceedings.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (SciVal)
  • 2018

    A 3D-Collaborative Wireless Network: Towards Resilient Communication for Rescuing Flood Victims

    Rahman, M. A., Hasan, M. M., Asyhari, A. T. & Bhuiyan, M. Z. A., 29 Mar 2018, Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017. Institute of Electrical and Electronics Engineers Inc., p. 385-390 6 p. (Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    16 Citations (Scopus)

  • A language-independent approach to smart contract verification

    Chen, X., Park, D. & Roşu, G., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 405-413 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Citations (SciVal)

  • A language-independent program verification framework

    Chen, X. & Roşu, G., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 92-102 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Citations (SciVal)

  • A Markov chain based link lifetime prediction in mobile ad hoc networks

    Shah, S. C. & Kumar, S., 9 Oct 2018, Proceedings - 2018 IEEE 6th International Conference on Future Internet of Things and Cloud Workshops, W-FiCloud 2018. Awan, I., Younas, M. & Portela, C. F. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 28-33 6 p. 8488171. (Proceedings - 2018 IEEE 6th International Conference on Future Internet of Things and Cloud Workshops, W-FiCloud 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (SciVal)

  • An analysis of key challenges for adopting the cloud computing in indian education sector

    Singh, M. & Srivastava, V. M., 2018, Advances in Computing and Data Sciences - 2nd International Conference, ICACDS 2018, Revised Selected Papers. Singh, M., Tyagi, V., Oren, T., Gupta, P. K. & Flusser, J. (eds.). Springer Verlag, p. 439-448 10 p. (Communications in Computer and Information Science; vol. 905).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Citations (SciVal)

  • An efficient rate adaptation algorithm for streaming over HTTP

    Ur Rahman, W. & Chung, K., 19 Apr 2018, 32nd International Conference on Information Networking, ICOIN 2018. IEEE Computer Society, p. 486-491 6 p. (International Conference on Information Networking; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • An improved endpoint detection algorithm based on improved spectral subtraction with multi-taper spectrum and energy-zero ratio

    Bao, T., Li, Y., Xu, K., Wang, Y. & Hu, W., 2018, Intelligent Computing Theories and Application - 14th International Conference, ICIC 2018, Proceedings. Premaratne, P., Gupta, P., Huang, D-S. & Bevilacqua, V. (eds.). Springer Verlag, p. 266-275 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10954 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (Scopus)