Orieta Celiku
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2002–2009
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SEKE | Using Service-oriented Architectures for Socio-Cultural Analysis. | David Garlan, Kathleen M. Carley, Bradley R. Schmerl, Michael W. Bigrigg, Orieta Celiku |
| 2005 | FM | Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. | Orieta Celiku, Annabelle McIver |
| 2005 | ICTAC | Quantitative Temporal Logic Mechanized in HOL. | Orieta Celiku |
| 2003 | APSEC | Implementing Angelic Nondeterminism. | Orieta Celiku, Joakim von Wright |
| 2002 | ICFEM | Theorem Prover Support for Precondition and Correctness Calculation. | Orieta Celiku, Joakim von Wright |