Publications

Koutavas V, Lin Y-Y, Tzevelekos N.  2022.  From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. Tools and Algorithms for the Construction and Analysis of Systems.

Ngondi G, Koutavas V, Butterfield A.  2022.  From CCS to CSP: the m-among-n Synchronisation Approach.

Murphy A, Ali MSarmad, Dias D, Amaral J, Naredo E, Ryan C.  2022.  Fuzzy Pattern Tree Evolution Using Grammatical Evolution. SN Computer Science. 3

Provan G, Quiñones-Grueiro M, Sohège Y.  2022.  Generating Minimal Controller Sets for Mixing MMAC. 2022 IEEE 61st Conference on Decision and Control (CDC).

Wolf P, Frederiksen MHarbo, Wilhøft A, Cormican K, Kunz C, Cakir ÖAndic, Sarsar F, Ulus HEkrem, van Leeuwen M.  2022.  Higher education engineering educator's perspectives on challenges and upskilling needs in teaching creativity online. CINet conference proceedings.

Javeed K, Saeed K, Gregg D.  2022.  High‐speed parallel reconfigurable F p multipliers for elliptic curve cryptography applications. International Journal of Circuit Theory and Applications. 50

Griva A.  2022.  “I can get no e-satisfaction”. What analytics say? Evidence using satisfaction data from e-commerce Journal of Retailing and Consumer Services. 66:102954.

Tang M, Huang H, Walsh G, Guerrero M.  2022.  The impact of entrepreneurial overconfidence on incubator effectiveness . The Journal of Technology Transfer.

Bokolo A, Petersen SAbbas, Helfert M.  2022.  Improving Digitization of Urban Mobility Services with Enterprise Architecture. Digital Transformation in Norwegian Enterprises. :135–150.

Rauf I, Lopez T, Sharp H, Petre M, Tun T, Levine M, Towse J, van der Linden D, Rashid A, Nuseibeh B.  2022.  Influences of Developers' Perspectives on Their Engagement with Security in Code. Proceedings of the 15th International Conference on Cooperative and Human Aspects of Software Engineering.

Ahvanooey MTaleby, Zhu MXuefang, Mazurczyk W, Bendechache M.  2022.  Information Hiding in Digital Textual Contents: Techniques and Current Challenges. Computer. 55:56-65.

Doyle R, Conboy K, Kreps D.  2022.  An Interdisciplinary Review of Ephemerality for Information Systems Research. Co-creating for Context in the Transfer and Diffusion of IT.

Connolly C, Hall T.  2022.  Introduction to the Special Issue on Computer Science Education. Tech Trends.

Cronin S, Freeman E, Doherty G.  2022.  Investigating Clutching Interactions for Touchless Medical Imaging Systems. Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems.

Turab M, Kumar T, Bendechache M, Saber T.  2022.  Investigating Multi-Feature Selection and Ensembling for Audio Classification.

Monserrat M, Mas A, Mesquida A-L, Clarke P.  2022.  Investigating the Use of Artificial Intelligence (AI) in Educational Settings: A Systematic Review. Systems, Software and Services Process Improvement.

Saadi S, Sarshar N, Sadeghi S, Ranjbarzadeh R, Kooshki M, Bendechache M.  2022.  Investigation of Effectiveness of Shuffled Frog-Leaping Optimizer in Training a Convolution Neural Network. Journal of Healthcare Engineering. 2022:1-11.

Ghahramani M, Zhou MC, Molter A, Pilla F.  2022.  IoT-Based Route Recommendation for an Intelligent Waste Management System. IEEE Internet of Things Journal. 9:11883-11892.

Velasco-Hernandez G, Mirani A, Walsh J.  2022.  IoT-based system for monitoring conditions in an industrial painting booth.

Velasco-Hernandez G, Mirani A, Awasthi A, Walsh J.  2022.  IoT-based system for monitoring conditions in an industrial painting booth. Conference: 2022 33rd Irish Signals and Systems Conference (ISSC).

Mirani A, Velasco-Hernandez G, Awasthi A, Walsh J.  2022.  Key Challenges and Emerging Technologies in Industrial IoT Architectures: A Review. Sensors. 22:5836.

Alrimawi F, Nuseibeh B.  2022.  Kind computing.

Dey T, Jiang W, Fitzgerald B.  2022.  Knights and Gold Stars: A Tale of InnerSource Incentivization. IEEE Software. 39:88-98.

Duggan J, Cormican K, McDermott O.  2022.  Lean Implementation: Analysis of Individual Individual-Level Factors in a Biopharmaceutical Organisation . International Journal of Lean Six Sigma .

Steffen B, Margaria T.  2022.  Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Lecture Notes in Computer Science.