The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paolo Zuliani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Barbara Russo, Alberto Sillitti, Paolo Zuliani, Giancarlo Succi, Paolo Gasperi
    A pilot project in PAs to transit to an open source solution. [Citation Graph (0, 0)][DBLP]
    DG.O, 2005, pp:303-304 [Conf]
  2. Jeff W. Sanders, Paolo Zuliani
    Quantum Programming. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:80-99 [Conf]
  3. Bruno Rossi, Barbara Russo, Paolo Zuliani, Giancarlo Succi
    On the Transition to an Open Source Solution for Desktop Office Automation. [Citation Graph (0, 0)][DBLP]
    TCGOV, 2005, pp:277-285 [Conf]
  4. Paolo Zuliani
    On Counterfactual Computation. [Citation Graph (0, 0)][DBLP]
    UC, 2005, pp:251-266 [Conf]
  5. Andrea Janes, Barbara Russo, Paolo Zuliani, Giancarlo Succi
    An Empirical Analysis on the Discontinuous Use of Pair Programming. [Citation Graph (0, 0)][DBLP]
    XP, 2003, pp:205-214 [Conf]
  6. Paolo Zuliani
    Compiling quantum programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:41, n:7-8, pp:435-474 [Journal]
  7. Paolo Zuliani
    Quantum Programming With Mixed States. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:185-199 [Journal]
  8. 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. [Citation Graph (0, 0)][DBLP]
    Empirical Software Engineering, 2005, v:10, n:1, pp:81-104 [Journal]
  9. Paolo Zuliani
    Logical reversibility. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 2001, v:45, n:6, pp:807-818 [Journal]
  10. Paolo Zuliani
    A Formal Derivation of Grover's Quantum Search Algorithm. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:67-74 [Conf]

  11. A Bayesian Approach to Model Checking Biological Systems. [Citation Graph (, )][DBLP]


  12. Bayesian statistical model checking with application to Simulink/Stateflow verification. [Citation Graph (, )][DBLP]


  13. Reasoning about faulty quantum programs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002