arrow
Back
M

Marta Kwiatkowska

university of oxford

67H-index
540Paper Count
2.0WCitation Count
Published Papers 30
Publication Date
Probabilistic reach-avoid for Bayesian neural networks
err2024-09-01
err1
errOAAI
errWicker, Matthew; Laurenti, Luca; Patane, Andrea; Paoletti, Nicola; Abate, Alessandro; Kwiatkowska, Marta
errShare
errSave
Healthcare resource utilisation and direct medical cost for individuals with 5q spinal muscular atrophy in Sweden
err2024-04-20
err1
errOAAI
errSejersen, Thomas; Graham, Sophie; Ekstrom, Anne-Berit; Kroksmark, Anna-Karin; Kwiatkowska, Marta; Ganz, Michael L.; Justo, Nahila; Gertow, Karl; Simpson, Alex
errShare
errSave
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States
err2023-08-01
err3
errOAAI
errGhiasi, Shadi; Patane, Andrea; Laurenti, Luca; Gentili, Claudio; Scilingo, Enzo Pasquale; Greco, Alberto; Kwiatkowska, Marta
errShare
errSave
Probabilistic Model Checking and Autonomy
err2022-05-03
err8
errOAAI
errKwiatkowska, Marta; Norman, Gethin; Parker, David
errShare
errSave
PID Control of Biochemical Reaction Networks
err2022-02-01
err34
errOAAI
errWhitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
errShare
errSave
Rational verification: game-theoretic verification of multi-agent systems
err2021-08-03
err13
errOAAI
errAbate, Alessandro; Gutierrez, Julian; Hammond, Lewis; Harrenstein, Paul; Kwiatkowska, Marta; Najib, Muhammad; Perelli, Giuseppe; Steeples, Thomas; Wooldridge, Michael
errShare
errSave
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
err2021-01-01
err14
errOAAI
errLaurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
errShare
errSave
Evaluation of apoptotic potential of glyphosate metabolites and impurities in human peripheral blood mononuclear cells (in vitro study)
err2020-01-01
err15
errOAAI
errKwiatkowska, Marta; Michalowicz, Jaromir; Jarosiewicz, Pawel; Pingot, Daria; Sicinska, Paulina; Huras, Bogumila; Zakrzewski, Jerzy; Jarosiewicz, Monika; Bukowska, Bozena
errShare
errSave
Current State and Future Directions of Technology-Based Ecological Momentary Assessment and Intervention for Major Depressive Disorder: A Systematic Review
err2019-04-05
err135
errOAAI
errColombo, Desiree; Fernandez-Alvarez, Javier; Patane, Andrea; Semonella, Michelle; Kwiatkowska, Marta; Garcia-Palacios, Azucena; Cipresso, Pietro; Riva, Giuseppe; Botella, Cristina
errShare
errSave
Polypyrrole microcapsules loaded with gold nanoparticles: Perspectives for biomedical imaging
err2019-02-01
err9
PREAI
errKrug, Pamela; Kwiatkowska, Marta; Mojzych, Ilona; Glowala, Paulina; Dorant, Sylwia; Kepinska, Dania; Chotkowski, Maciej; Janiszewska, Katarzyna; Stolarski, Jaroslaw; Wiktorska, Katarzyna; Kaczynska, Katarzyna; Mazur, Maciej
errShare
errSave
Current state and future directions of technology-based ecological momentary assessments and interventions for major depressive disorder: protocol for a systematic review
err2018-12-13
err17
errOAAI
errColombo, Desiree; Garcia Palacios, Azucena; Alvarez, Javier Fernandez; Patane, Andrea; Semonella, Michelle; Cipresso, Pietro; Kwiatkowska, Marta; Riva, Giuseppe; Botella, Cristina
errShare
errSave
Efficient synthesis of robust models for stochastic systems (vol 143, pg 140, 2018)
err2018-11-01
err0
errOAAI
errCalinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola
errShare
errSave
Efficient synthesis of robust models for stochastic systems
err2018-09-01
err44
errOAAI
errCalinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola
errShare
errSave
DNA damage and methylation induced by glyphosate in human peripheral blood mononuclear cells (in vitro study)
err2017-07-01
err115
PREAI
errKwiatkowska, Marta; Reszka, Edyta; Wozniak, Katarzyna; Jablonska, Ewa; Michalowicz, Jaromir; Bukowska, Bozena
errShare
errSave
Modelling DNA origami self-assembly at the domain level
err2015-10-28
err35
errOAAI
errDannenberg, Frits; Dunn, Katherine E.; Bath, Jonathan; Kwiatkowska, Marta; Turberfield, Andrew J.; Ouldridge, Thomas E.
errShare
errSave
Quantitative verification of implantable cardiac pacemakers over hybrid heart models
err2014-08-01
err31
errOAAI
errChen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
errShare
errSave
Self-Adaptive Software Needs Quantitative Verification at Runtime
err2012-09-01
err172
errOAAI
errCalinescu, Radu; Ghezzi, Carlo; Kwiatkowska, Marta; Mirandola, Raffaela
errShare
errSave