• Conference Object  

      A brief overview of m-health e-emergency systems 

      Pattichis, Constantinos S.; Kyriacou, Efthyvoulos C.; Pattichis, Marios S.; Panayides, Andreas S.; Mougiakakou, Stavroula Gr; Pitsillides, Andreas; Schizas, Christos N. (2008)
      Rapid advances in wireless communications and networking technologies, linked with advances in computing and medical technologies facilitate the development and offering of emerging mobile systems and services in the ...
    • Article  

      On confluence in the π-caleulus 

      Philippou, Anna; Walker, D. (1997)
      An account of the basic theory of confluence in the 7r-calculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis ...
    • Conference Object  

      An overview of recent health care support systems for eEmergency and mHealth applications 

      Kyriacou, Efthyvoulos C.; Pattichis, Constantinos S.; Pattichis, Marios S. (2009)
      Advances in mobile communications and medical technologies facilitate the development of emerging mobile systems and applications for healthcare. The objective of this paper is to provide an overview and the current status ...
    • Doctoral Thesis  

      Reasoning about systems with evolving structure 

      Philippou, Anna (University of Warwick, 1996)