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 - 3 results of 3 for search 'Kwiatkowska, Marta', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Mathematical techniques for analyzing concurrent and probabilistic systems

    Mathematical techniques for analyzing concurrent and probabilistic systems by Rutten, J. J. M. M., Kwiatkowska, Marta, Norman, Gethin

    Published 2004
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Verification of engineered molecular devices and programs guest editors: Marta Kwiatkowska, Andrew Phillips, Chris Thachuk

    Verification of engineered molecular devices and programs guest editors: Marta Kwiatkowska, Andrew Phillips, Chris Thachuk

    Published 2016
    Other Authors: “…Kwiatkowska, Marta Z. 1957-…”
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    5th Workshop on Medical Cyber-Physical Systems (MCPS'14) MCPS’14, April 14th, 2014, Berlin, Germany

    5th Workshop on Medical Cyber-Physical Systems (MCPS'14) MCPS’14, April 14th, 2014, Berlin, Germany

    Published 2014
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: