Marta Kwiatkowska

Kwiatkowska in 2018 Marta Zofia Kwiatkowska (born 1957) is a Polish theoretical computer scientist based in the United Kingdom.

Kwiatkowska is Professor of Computing Systems in the Department of Computer Science at the University of Oxford, England, and a Fellow of Trinity College, Oxford. Her research focuses on developing modelling and automated verification techniques for computing systems in order to guarantee safe, secure, reliable, timely and resource-efficient operation. Provided by Wikipedia
Showing 1 - 7 results of 7 for search 'Marta Kwiatkowska', query time: 0.10s Refine Results
  1. 1
    Strategic Analysis of Trust Models for User-Centric Networks
    by Marta Kwiatkowska, David Parker, Aistis Simaitis
    Published 2013-03-01
    Get full text
    Article
  2. 2
    Glyphosate and its formulations – Toxicity, occupational and environmental exposure
    Get full text
    Article
  3. 3
    Modal Specifications for Probabilistic Timed Systems
    Get full text
    Article
  4. 4
    The role of mechanisms of buffering anxiety in HIV carriers. A study within the terror management theory paradigm
    Get full text
    Article
  5. 5
    The Impact of Glyphosate, Its Metabolites and Impurities on Viability, ATP Level and Morphological changes in Human Peripheral Blood Mononuclear Cells.
    Get full text
    Article
  6. 6
    Current state and future directions of technology-based ecological momentary assessments and interventions for major depressive disorder: protocol for a systematic review
    Get full text
    Article
  7. 7
    Current State and Future Directions of Technology-Based Ecological Momentary Assessment and Intervention for Major Depressive Disorder: A Systematic Review
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search