People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Welcome to my homepage. I have moved to Oxford University Computing Laboratory. Please visit my new homepage http://web.comlab.ox.ac.uk/people/Hongyang.Qu
Website for the Computing Laboratory the University's Computer Science department at the heart of computing and related interdisciplinary activity at Oxford.
Hongyang Qu's Homepage. I finished my PhD under the supervision of Prof. Peled in University of Warwick in October 2005, and had been
Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 55/59. Rajagopal Nagarajan, Trivedi Ashutosh, Aleksandar Dimovski and Hongyang Qu
Publications [1]Alessio Lomuscio, Hongyang Qu, and Monika Solanki. Towards verifying contract regulated service composition: an agent based approach.
Welcome to my homepage. I have moved to Oxford University Computing Laboratory. Please visit my new homepage http://web.comlab.ox.ac.uk/people/Hongyang.Qu
Website for the Computing Laboratory the University's Computer Science department at the heart of computing and related interdisciplinary activity at Oxford.
Hongyang Qu's Homepage. I finished my PhD under the supervision of Prof. Peled in University of Warwick in October 2005, and had been
Welcome to my homepage. I have moved to Oxford University Computing Laboratory. Please visit my new homepage http://web.comlab.ox.ac.uk/people/Hongyang.Qu ...
www.comlab.ox.ac.uk/people/hongyang.qu/index.html. You are here: ... Dr Hongyang Qu Research Assistant [email protected] +44-(0)1865-610715 ...
Hongyang Qu's Homepage. I finished my PhD under the supervision of Prof. Peled in University of Warwick in October 2005, and had been ...
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu: Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. ...
London, United Kingdom - Research Assistant at University of OxfordView Hongyang Qu's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Hongyang Qu discover ...
Hongyang QU. Postdoc. Laboratoire d'Informatique Fondamentale de Marseille (LIF) and Université de Provence - Team Modelisation and Verification. [photo] ...
Everything you need to know about Hongyang Qu Email addresses, Phone numbers, Biography, Automatic generation, Wojciech Penczek, LTL, University of Oxford.
by A Lomuscio -
Team members. Marta Kwiatkowska. Professor. Hongyang Qu. Post doc researcher. Chris Chilton. DPhil Student. The Chancellor, Masters and Scholars of the ...
Linkedin
Imperial College London (Educational Institution; Research industry): Research Associate, (April 2007-April 2009) 1. Participate in the European...