• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (1):

• Orieta Celiku, Annabelle McIver, Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. Nordic Journal of Computing 11(2), 102–128, 2004.

Articles in proceedings (7):

• Orieta Celiku, Quantitative Temporal Logic Mechanized in HOL. In: Theoretical Aspects of Computing - ICTAC 2005, Lecture Notes in Computer Science 3722, 439–453, Springer-Verlag, 2005.
• Orieta Celiku, Quantitative Temporal Logic Mechanized in HOL. In: Edward Smith Ashish Darbari Joe Hurd (Ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, Research Report, 14-29, Oxford University Computing Laboratory, 2005.
• Orieta Celiku, Annabelle McIver, Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. In: Ian J. Hayes Andrzej Tarlecki John Fitzgerald (Ed.), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings, Lecture Notes in Computer Science 3582, 107–122, Springer-Verlag, 2005.
• Orieta Celiku, Annabelle McIver, Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. In: Proceedings of the 15th Nordic Workshop on Programming Theory , Ser. B, 2003.
• Orieta Celiku, Joakim von Wright, Implementing Angelic Nondeterminism. In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, IEEE Computer Society, 2003.
• Orieta Celiku, Joakim von Wright, Theorem Prover Support for Precondition and Correctness Calculation. In: 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science 2495, 299–310, Springer-Verlag, 2002.
• Orieta Celiku, Joakim von Wright, Transformational Reasoning with Incomplete Information. In: TPHOLs 2001: Supplemental Proceedings, Informatics Report Series, University of Edinburgh, Division of Informatics, 2001.

Ph.D. thesis (1):

• Orieta Celiku, Mechanized Reasoning for Dually-Nondeterministic and Probabilistic Programs. TUCS Dissertations 77. Turku Centre for Computer Science, 2006.

Technical reports (2):

• Orieta Celiku, Joakim von Wright, Correctness and Refinement of Dually Nondeterministic Programs. TUCS Technical Reports 516, Turku Centre for Computer Science, 2003.
• Orieta Celiku, Joakim von Wright, Theorem Prover Support for Precondition and Correctness Calculation. TUCS Technical Reports 449, Turku Centre for Computer Science, 2002.