|
Search the dblp DataBase
Orieta Celiku:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Orieta Celiku, Joakim von Wright
Implementing Angelic Nondeterminism. [Citation Graph (0, 0)][DBLP] APSEC, 2003, pp:176-185 [Conf]
- Orieta Celiku, Annabelle McIver
Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. [Citation Graph (0, 0)][DBLP] FM, 2005, pp:107-122 [Conf]
- Orieta Celiku, Joakim von Wright
Theorem Prover Support for Precondition and Correctness Calculation. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:299-310 [Conf]
- Orieta Celiku
Quantitative Temporal Logic Mechanized in HOL. [Citation Graph (0, 0)][DBLP] ICTAC, 2005, pp:439-453 [Conf]
- Orieta Celiku, Annabelle McIver
Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2004, v:11, n:2, pp:102-128 [Journal]
Using Service-oriented Architectures for Socio-Cultural Analysis. [Citation Graph (, )][DBLP]
Evolution styles: Foundations and tool support for software architecture evolution. [Citation Graph (, )][DBLP]
Search in 0.021secs, Finished in 0.021secs
|