Andrea Turrini and Lijun Zhang - Free people check

(1 - 11 from 12

)

Andrea Turrini | Papers With Codepaperswithcode.com › author › andrea-turrini

paperswithcode.com

no code implementations • 5 Jul • Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang. While this is well-understood in the termination analysis of ...

Formal Methods: 24th International Symposium, FM 2021, Virtual ...books.google.com › books

books.google.de

Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, and Lijun Zhang Featured Team Automata .

Andrea Turrini - Home

dl.acm.org

Andrea Turrini. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Xiaowei Huang. Department of Computer Science, University of Liverpool, Lei Song. JD.com, Yuan Feng. Centre for Quantum Software and Information, University of Technology Sydney, Lijun Zhang

[ ] Lazy Probabilistic Model Checking without Determinisation

arxiv.org

Nov 12, · Authors: Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang (Submitted on 12 Nov , last revised 24 Apr (this ...

Print version - Association for the Advancement of Artificial ...

www.aaai.org

Andrea Turrini and Lijun Zhang. State Key Laboratory of Computer Science. Institute of Software, Chinese Academy of Sciences. Beijing, China. Abstract.

On the Power of Finite Ambiguity in Büchi Complementation - arXivarxiv.org › cs

arxiv.org

Sep 27, · On the Power of Finite Ambiguity in Büchi Complementation. Authors:Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang · Download ...

All web results to the name "Andrea Turrini"

Lazy Probabilistic Model Checking without Determinisationpure.qub.ac.uk › publications › lazy-probabilistic-model-checking-without...

pure.qub.ac.uk

Ernst Moritz Hahn, Guangyuan Li, University Liverpool, Andrea Turrini, Lijun Zhang. Research output: Chapter in Book/Report/Conference proceeding ...

QPMC: A Model Checker for Quantum Programs and Protocolswww.springerprofessional.de › qpmc-a-model-checker-for-quantum-progr...

www.springerprofessional.de

Authors: Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang. Publisher: Springer International Publishing. Published in: FM 2015: Formal Methods.