 | 2009 |
|---|
| 11 |       | Sumit Kumar Jha,
Edmund M. Clarke,
Christopher James Langmead,
Axel Legay,
André Platzer,
Paolo Zuliani:
A Bayesian Approach to Model Checking Biological Systems.
CMSB 2009: 218-234 |
| 2007 |
|---|
| 10 | | Paolo Zuliani:
A Formal Derivation of Grover's Quantum Search Algorithm.
TASE 2007: 67-74 |
| 9 | | Paolo Zuliani:
Quantum Programming With Mixed States.
Electr. Notes Theor. Comput. Sci. 170: 185-199 (2007) |
| 2005 |
|---|
| 8 | | Barbara Russo,
Alberto Sillitti,
Paolo Zuliani,
Giancarlo Succi,
Paolo Gasperi:
A pilot project in PAs to transit to an open source solution.
DG.O 2005: 303-304 |
| 7 | | Bruno Rossi,
Barbara Russo,
Paolo Zuliani,
Giancarlo Succi:
On the Transition to an Open Source Solution for Desktop Office Automation.
TCGOV 2005: 277-285 |
| 6 | | Paolo Zuliani:
On Counterfactual Computation.
UC 2005: 251-266 |
| 5 | | Paolo Zuliani:
Compiling quantum programs.
Acta Inf. 41(7-8): 435-474 (2005) |
| 4 | | Giancarlo Succi,
Witold Pedrycz,
Snezana Djokic,
Paolo Zuliani,
Barbara Russo:
An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite.
Empirical Software Engineering 10(1): 81-104 (2005) |
| 2003 |
|---|
| 3 | | Andrea Janes,
Barbara Russo,
Paolo Zuliani,
Giancarlo Succi:
An Empirical Analysis on the Discontinuous Use of Pair Programming.
XP 2003: 205-214 |
| 2001 |
|---|
| 2 | | Paolo Zuliani:
Logical reversibility.
IBM Journal of Research and Development 45(6): 807-818 (2001) |
| 2000 |
|---|
| 1 |  | Jeff W. Sanders,
Paolo Zuliani:
Quantum Programming.
MPC 2000: 80-99 |
