Travelled to:1 × USA
Collaborated with:R.Nagarajan S.J.Gay P.Baltazar P.Mateus
Talks about:probabilist (1) quantum (1) checker (1) system (1) exogen (1) comput (1) model (1) logic (1) tree (1) qmc (1)
Person: Nikolaos Papanikolaou
DBLP: Papanikolaou:Nikolaos
Contributed to:
2008
2007Wrote 2 papers:
- CAV-2008-GayNP #model checking #named #quantum
- QMC: A Model Checker for Quantum Systems (SJG, RN, NP), pp. 543–547.
- QAPL-2007-BaltazarMNP #logic #probability
- Exogenous Probabilistic Computation Tree Logic (PB, PM, RN, NP), pp. 95–110.