( en | de | ru )

 

Disambiguation of "Celiku, Orieta"

Author of the publication

copydeleteadd this publication to your clipboard
Using Service-oriented Architectures for Socio-Cultural Analysis.

, , , , and . SEKE, page 370-375. Knowledge Systems Institute Graduate School, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arbër Çeliku

Sonia Orieta Heinrich

 

Other publications of authors with the same name

Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs., and . FM, volume 3582 of Lecture Notes in Computer Science, page 107-122. Springer, (2005)Theorem Prover Support for Precondition and Correctness Calculation., and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 299-310. Springer, (2002)Quantitative Temporal Logic Mechanized in HOL.. ICTAC, volume 3722 of Lecture Notes in Computer Science, page 439-453. Springer, (2005)Evolution styles: Foundations and tool support for software architecture evolution., , , and . WICSA/ECSA, page 131-140. IEEE Computer Society, (2009)Using Service-oriented Architectures for Socio-Cultural Analysis., , , , and . SEKE, page 370-375. Knowledge Systems Institute Graduate School, (2009)Cost-Based Analysis of Probabilistic Programs Mechanised in HOL., and . Nord. J. Comput., 11 (2): 102-128 (2004)Implementing Angelic Nondeterminism., and . APSEC, page 176-185. IEEE Computer Society, (2003)