• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 16 matches

• 2024
• 
  Wen Zeng, Haydar A Jawad, Wenxuan Wang, Vasileios Germanos, François Siewe, Carlos Molina-Jiménez:
  Predicting Illnesses from Medical Sensors Readings using Artificial Intelligence Model. ICIS 2024: 1-8
• 
  Wen Zeng, Abigail Smith, Moira Carroll-Mayer, Vasileios Germanos, François Siewe:
  A Business Plan for Data Security and Privacy Services. ICIS 2024: 61-66
• 
  Wen Zeng, Nicholas Kit Lam Wan, Vasileios Germanos, Yuqi Jia, Leandros Maglaras, Carlos Molina-Jiménez:
  An IoT Architecture for Enhancing Safety in Supply Chain Systems. ICIS 2024: 1-8
• 2022
• 
  Vasileios Germanos, Wen Zeng:
  Model-based risk assessment evaluation. Secur. Priv. 5(5) (2022)
• 2021
• 
  Najmudin Saqib, Vasileios Germanos, Wen Zeng, Leandros Maglaras:
  Mapping of the Security Requirements of GDPR and NISD. EAI Endorsed Trans. Security Safety 7(24): e2 (2021)
• 2020
• 
  Friday Ehi Ikuero, Vasileios Germanos, Laurence Brooks, Wen Zeng:
  Is E-voting Systems based on Blockchain Technology Efficient in Nigeria General Elections? EAI Endorsed Trans. Security Safety 7(25): e1 (2020)
• 
  Wen Zeng, Vasileios Germanos:
  Quantitative Reaction Systems. PNSE@Petri Nets 2020: 216-217
• 
  François Siewe, Vasileios Germanos, Wen Zeng:
  Analysing Petri Nets in a Calculus of Context-Aware Ambients. COMPSAC 2020: 1647-1652
• 2019
• 
  Wen Zeng, Vasileios Germanos:
  Modelling Hybrid Cyber Kill Chain. PNSE@Petri Nets/ACSD 2019: 143-160
• 
  Wen Zeng, Vasileios Germanos:
  Benefit and Cost of Cloud Computing Security. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019: 291-295
• 2016
• 
  Wen Zeng, Maciej Koutny, Paul Watson, Vasileios Germanos:
  Formal verification of secure information flow in cloud computing. J. Inf. Secur. Appl. 27-28: 103-116 (2016)
• 
  Vasileios Germanos, Emanuele Lindo Secco:
  Formal Verification of Robotics Navigation Algorithms. CSE/EUC/DCABES 2016: 177-180
• 2015
• 
  Vasileios Germanos:
  Model checking of mobile systems and diagnosability of weakly fair systems. Newcastle University, UK, 2015
• 
  Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon:
  Diagnosability under Weak Fairness. ACM Trans. Embed. Comput. Syst. 14(4): 69:1-69:19 (2015)
• 
  Victor Khomenko, Vasileios Germanos:
  Modelling and Analysis Mobile Systems Using \pi -calculus (EFCP). Trans. Petri Nets Other Model. Concurr. 10: 153-175 (2015)
• 2014
• 
  Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon:
  Diagnosability under Weak Fairness. ACSD 2014: 132-141