Citation Impact
Citing Papers
A Review of Metaverse’s Definitions, Architecture, Applications, Challenges, Issues, Solutions, and Future Trends
2022 Standout
Let me answer that for you: exploiting broadcast information in cellular networks
2013
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
2016
Digital Twin for rotating machinery fault diagnosis in smart manufacturing
2018 Standout
When and how to develop domain-specific languages
2005 Standout
Fortune favors the prepared: How SMEs approach business model innovations in Industry 4.0
2018 Standout
Quality of service approaches in cloud computing: A systematic mapping study
2014
Small Cells in the Forthcoming 5G/IoT: Traffic Modelling and Deployment Overview
2018
Decentralized adaptive scheduling using consensus variables
2006
Deep learning for smart manufacturing: Methods and applications
2018 Standout
Language-based information-flow security
2003 Standout
From cloud computing to cloud manufacturing
2011 Standout
Mobile edge computing, Fog et al.: A survey and analysis of security threats and challenges
2016 Standout
Synthesizing information systems knowledge: A typology of literature reviews
2014 Standout
A comprehensive review of big data analytics throughout product lifecycle to support sustainable smart manufacturing: A framework, challenges and future research directions
2018 Standout
Defeating IMSI Catchers
2015
A Formal Analysis of 5G Authentication
2018 Standout
Cloud computing: The beliefs and perceptions of Swedish school principals
2015
Secure Information Flow via Linear Continuations
2002
Ensemble Prediction Algorithm of Anomaly Monitoring Based on Big Data Analysis Platform of Open‐Pit Mine Slope
2018 Standout
Cyber-physical systems in manufacturing
2016 Standout
Large Iterative Multitier Ensemble Classifiers for Security of Big Data
2014
Research Commentary—Moving Beyond the Single Site Implementation Study: How (and Why) We Should Study the Biography of Packaged Enterprise Solutions
2011
Security in cloud computing: A mapping study
2014
A survey on ensemble learning
2019 Standout
Computational Intelligence Based QoS-Aware Web Service Composition: A Systematic Literature Review
2015 Standout
Cloud-enabled prognosis for manufacturing
2015
A review on remote data auditing in single cloud server: Taxonomy and open issues
2014
A Maturity Model for Assessing Industry 4.0 Readiness and Maturity of Manufacturing Enterprises
2016 Standout
The Social Shaping of the Metaverse as an Alternative to the Imaginaries of Data-Driven Smart Cities: A Study in Science, Technology, and Society
2022
An Overview of Recent Progress in the Study of Distributed Multi-Agent Coordination
2012 Standout
A Survey on the Internet of Things (IoT) Forensics: Challenges, Approaches, and Open Issues
2020 Standout
Mobile Edge Computing: A Survey
2017 Standout
Achieving Better Privacy for the 3GPP AKA Protocol
2016
Pilot Study of Readiness of Czech Companies to Implement the Principles of Industry 4.0
2017 Standout
Intelligent Manufacturing in the Context of Industry 4.0: A Review
2017 Standout
Evolving accurate and compact classification rules with gene expression programming
2003
Big Data and cloud computing: innovation opportunities and challenges
2016 Standout
Works of Mark Ryan being referenced
Proceedings of the First Imperial College Department of Computing Workshop on Theory and formal methods 1993
1993
Rule induction using a reverse Polish representation
1999
Language constructs for describing features : proceedings of the FIREworks workshop
2001
Privacy through Pseudonymity in Mobile Telephony Systems
2014
New privacy issues in mobile telephony
2012
Software package requirements and procurement
2002
Verifying privacy-type properties of electronic voting protocols
2009
Cloud computing security: The scientific challenge, and a survey of solutions
2013
Cloud computing privacy concerns on our doorstep
2010
Formal analysis of privacy in Direct Anonymous Attestation schemes
2015
Objects, Agents, and Features
2004
Formal Analysis of Protocols Based on TPM State Registers
2011
Information and Communications Security
2008
StatVerif: Verification of Stateful Processes
2011