M. Kwiatkowska
发表
Maria Grazia Vigliotti,
Marta Z. Kwiatkowska,
Gethin Norman,
2009,
Theoretical Computer Science.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2003,
Formal Methods Syst. Des..
R. Segala,
J. Sproston,
M. Kwiatkowska,
1999,
ARTS.
Alessandro Abate,
Marta Z. Kwiatkowska,
Gethin Norman,
2014,
Horizons of the Mind.
Marta Z. Kwiatkowska,
David Parker,
Clemens Wiltsche,
2017,
International Journal on Software Tools for Technology Transfer.
R. Segala,
M. Kwiatkowska,
G. Norman,
1999
.
Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman,
2002,
International Journal on Software Tools for Technology Transfer.
Kousha Etessami,
Mihalis Yannakakis,
Moshe Y. Vardi,
2007,
Log. Methods Comput. Sci..
Marta Z. Kwiatkowska,
María Svorenová,
M. Kwiatkowska,
2016,
European Journal of Control.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Sandeep K. Shukla,
Marta Z. Kwiatkowska,
Gethin Norman,
2004,
17th International Conference on VLSI Design. Proceedings..
M. Kwiatkowska,
Pamela Krug,
Ilona Mojzych,
2019,
Synthetic Metals.
E A Gaffney,
E. Gaffney,
M. Kwiatkowska,
2008,
Bulletin of mathematical biology.
M. Kwiatkowska,
G. Norman,
D. Parker,
2017
.
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000
.
Ashutosh Trivedi,
Marta Z. Kwiatkowska,
Gethin Norman,
2010,
FORMATS.
J. Sproston,
M. Kwiatkowska,
G. Norman,
2003
.
M. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000
.
M. Kwiatkowska,
G. Norman,
C. Daws,
2002
.
M. Kwiatkowska,
D. Parker,
Gethin Norman,
2003
.
Ashutosh Trivedi,
Marta Z. Kwiatkowska,
Gethin Norman,
2010,
ArXiv.
António Pacheco,
Marta Z. Kwiatkowska,
Gethin Norman,
2006,
Comput. Math. Appl..
B. Jonsson,
M. Kwiatkowska,
Chris Chilton,
2013
.
M. Kwiatkowska,
G. Norman,
2002
.
M. Kwiatkowska,
1996
.
Marta Z. Kwiatkowska,
Gethin Norman,
Aleksandra Jovanovic,
2017,
Theor. Comput. Sci..
Marta Z. Kwiatkowska,
Gethin Norman,
M. Kwiatkowska,
1997,
COMPROX.
C. Baier,
M. Kwiatkowska,
2000,
Mathematical Structures in Computer Science.
M. Kwiatkowska,
G. Norman,
A. El-rayes,
1999
.
Marta Kwiatkowska,
Gethin Norman,
Gabriel Santos,
2022,
TACAS.
Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
2005,
FoSSaCS.
Luca Cardelli,
Marta Z. Kwiatkowska,
Max Whitby,
2016,
DNA.
L. Cardelli,
M. Kwiatkowska,
L. Laurenti,
2016,
Bio Systems.
Francesca Lonetti,
Eda Marchetti,
Valérie Issarny,
2012
.
Christel Baier,
Marta Kwiatkowska,
Gethin Norman,
1999
.
M. Kwiatkowska,
D. Piomelli,
E. Rock,
2009,
Physiology & Behavior.
Nicola Paoletti,
Andrea Patane,
Alexandru Mereacre,
2015,
HSB.
Alexandru Mereacre,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2014,
MCPS.
M. Kwiatkowska,
G. Norman,
D. Parker,
2010
.
M. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2007
.
M. Kwiatkowska,
G. Norman,
D. Parker,
2006
.
M. Kwiatkowska,
D. Parker,
Rashid Mehmood,
2003
.
C. Botella,
G. Riva,
M. Kwiatkowska,
2018,
Systematic Reviews.
M. Kwiatkowska,
B. Bukowska,
J. Michałowicz,
2016,
PloS one.
M. Kwiatkowska,
D. Parker,
Joost-Pieter Katoen,
2007
.
M. Kwiatkowska,
Gethin Norman,
2007
.
M. Kwiatkowska,
D. Parker,
Gethin Norman,
2003
.
M. Kwiatkowska,
Metri Denotational Semanti,
Gethin NormanS,
1996
.
M. Kwiatkowska,
G. Norman,
D. Parker,
2022,
ArXiv.
M. Kwiatkowska,
D. Parker,
Vojtěch Forejt,
2015
.
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges
M. Kwiatkowska,
G. Norman,
Gabriel Santos,
2022,
MFCS.
ska,
M. Kwiatkowska,
E. Reszka,
2017
.
M. Kwiatkowska,
E. Reszka,
E. Jabłońska,
2017,
Food and chemical toxicology : an international journal published for the British Industrial Biological Research Association.
M. Kwiatkowska,
D. Parker,
Gabriel Santos,
2022,
UAI.
M. Kwiatkowska,
B. Bukowska,
B. Huras,
2014,
Pesticide biochemistry and physiology.
M. Kwiatkowska,
B. Bukowska,
J. Michałowicz,
2012
.
M. Kwiatkowska,
G. Norman,
D. Parker,
2022,
ArXiv.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
2013,
Formal Methods in System Design.
Christoph Meinel,
Ulrich Herzog,
Marta Kwiatkowska,
2021
.
Mark Rowland,
Will Dabney,
Clare Lyle,
2022,
ICML.
Craig Boutilier,
Marta Kwiatkowska,
Boudewijn Haverkort,
2021
.
Sandeep K. Shukla,
Marta Kwiatkowska,
Gethin Norman,
2004
.
M. Kwiatkowska,
I. Phillips,
1993
.
M. Kwiatkowska,
B. Bukowska,
J. Michałowicz,
2019,
Food and chemical toxicology : an international journal published for the British Industrial Biological Research Association.
M. Kwiatkowska,
G. Norman,
D. Parker,
2022,
Principles of Systems Design.
Artur Czumaj,
Marta Z. Kwiatkowska,
Éva Tardos,
2019,
Bull. EATCS.
M. Kwiatkowska,
Taolue Chen,
D. Parker,
2013,
Formal Methods in System Design.
Carlo Ghezzi,
Radu Calinescu,
Raffaela Mirandola,
2012
.
M. Kwiatkowska,
2013,
Computer Science - Research and Development.
Fedor V. Fomin,
David Peleg,
Marta Z. Kwiatkowska,
2015,
Inf. Comput..
Todd Mytkowicz,
Sasa Misailovic,
M. Kwiatkowska,
2016
.
Krishnendu Chatterjee,
Jan Kretínský,
Tomás Brázdil,
2014,
ATVA.
M. Kwiatkowska,
Pamela Krug,
Ilona Mojzych,
2019,
Materials for Biomedical Engineering.
Clifford A. Shaffer,
John J. Tyson,
Adelinde M. Uhrmacher,
2006,
Proceedings of the 2006 Winter Simulation Conference.
M. Kwiatkowska,
G. Norman,
D. Parker,
2022,
TACAS.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2021,
Annu. Rev. Control. Robotics Auton. Syst..
M. Kwiatkowska,
D. Petridis,
V. Likodimos,
2006
.
Radu Calinescu,
Shinji Kikuchi,
Marta Kwiatkowska,
2011
.
Luca Cardelli,
Morteza Lahijanian,
Alessandro Abate,
2019,
HSCC.
Taolue Chen,
Tingting Han,
Marta Z. Kwiatkowska,
2013,
Inf. Process. Lett..
Luca Cardelli,
Luca Laurenti,
Marta Kwiatkowska,
2018,
Biophysical journal.
Luca Cardelli,
Marta Z. Kwiatkowska,
Max Whitby,
2016,
Natural Computing.
Gabriel Santos,
Marta Z. Kwiatkowska,
Gethin Norman,
2018,
FM.
Yi Zhang,
Marta Z. Kwiatkowska,
David Parker,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
Håkan L. S. Younes,
Marta Z. Kwiatkowska,
Gethin Norman,
2006,
International Journal on Software Tools for Technology Transfer.
Xiaowei Huang,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
AAAI.
Luca Cardelli,
Luca Laurenti,
Mirco Tribastone,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Luca Cardelli,
Luca Laurenti,
Luca Bortolussi,
2016,
QEST.
Christel Baier,
Luca de Alfaro,
Marta Z. Kwiatkowska,
2018,
Handbook of Model Checking.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2011,
SFM.
Min Wu,
Sen Wang,
Xiaowei Huang,
2016,
CAV.
M. Kwiatkowska,
Aneta Maćczak,
J. Michałowicz,
2015,
Toxicology in vitro : an international journal published in association with BIBRA.
A. Abate,
M. Kwiatkowska,
L. Mahadevan,
2014
.
Zhenyu Liu,
Costas C. Constantinou,
Marta Z. Kwiatkowska,
2022
.
Zhenyu Liu,
Costas C. Constantinou,
Marta Z. Kwiatkowska,
2005,
Third IEEE International Conference on Pervasive Computing and Communications Workshops.
Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
2000,
TACAS.
Christel Baier,
Mark Ryan,
Edmund M. Clarke,
1997,
ICALP.
M. Kwiatkowska,
G. Norman,
D. Parker,
2022,
Information and Computation.
Gabriel Santos,
Marta Z. Kwiatkowska,
Gethin Norman,
2018,
QEST.
Lubos Brim,
Alessandro Abate,
Marta Z. Kwiatkowska,
2015,
CAV.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2010,
Formal Methods Syst. Des..
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2007,
SFM.
Christel Baier,
Frank Ciesinski,
Marcus Größer,
2006,
FSTTCS.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2006,
CAV.
Holger Hermanns,
Markus Siegle,
Marta Z. Kwiatkowska,
2003,
J. Log. Algebraic Methods Program..
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
2000,
Mathematical Structures in Computer Science.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
1999,
Theor. Comput. Sci..
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1998,
Distributed Computing.
Michael Huth,
Marta Z. Kwiatkowska,
M. Huth,
1998,
PROCOMET.
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1998,
Inf. Process. Lett..
Marta Z. Kwiatkowska,
Gethin Norman,
M. Kwiatkowska,
1998,
EXPRESS.
Michael Huth,
Marta Z. Kwiatkowska,
M. Huth,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Marta Z. Kwiatkowska,
Gethin Norman,
M. Kwiatkowska,
1996,
MFCS.
Lu Feng,
Tingting Han,
Marta Z. Kwiatkowska,
2011,
ATVA.
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2010,
TACAS.
Bard Bloom,
Marta Z. Kwiatkowska,
B. Bloom,
1991,
MFPS.
Paola Inverardi,
Massimo Tivoli,
Marta Z. Kwiatkowska,
2010,
ISoLA.
Xiaowei Huang,
Marta Z. Kwiatkowska,
Wenjie Ruan,
2018,
IJCAI.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2011,
CAV.
Marie Duflot,
Marta Z. Kwiatkowska,
Gethin Norman,
2006,
37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.
M. Kwiatkowska,
G. Norman,
D. Parker,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Daniel Kroening,
Min Wu,
Xinping Yi,
2018,
ArXiv.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1989,
Formal Aspects of Computing.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1990,
FSTTCS.
Marta Kwiatkowska,
M. Kwiatkowska,
1989
.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
PERV.
M. Kwiatkowska,
D. Petridis,
N. Guskos,
2005
.
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Chris Thachuk,
Marta Z. Kwiatkowska,
Andrew J. Turberfield,
2013,
Natural Computing.
Min Wu,
Matthew Wicker,
Xiaowei Huang,
2018,
Theor. Comput. Sci..
Luca Cardelli,
Matthew Wicker,
Nicola Paoletti,
2019,
IJCAI.
Matthew Wicker,
Xiaowei Huang,
Marta Z. Kwiatkowska,
2017,
TACAS.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2007,
Inf. Comput..
Ivan Martinovic,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2017,
NDSS.
Taolue Chen,
Marta Z. Kwiatkowska,
David Parker,
2012,
Formal Methods in System Design.
Enzo Pasquale Scilingo,
Andrea Patane,
Shadi Ghiasi,
2018,
2018 Computing in Cardiology Conference (CinC).
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
Theor. Comput. Sci..
Luca Cardelli,
Luca Laurenti,
Luca Bortolussi,
2018,
ACM Trans. Comput. Log..
Marc Beunardeau,
Marta Z. Kwiatkowska,
Benoît Barbot,
2016,
QEST.
Carlo Ghezzi,
Radu Calinescu,
Raffaela Mirandola,
2012,
CACM.
Matthew Wicker,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2019,
2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Morteza Lahijanian,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Marta Z. Kwiatkowska,
Nicolas Basset,
Clemens Wiltsche,
2017,
Inf. Comput..
Marta Kwiatkowska,
M. Kwiatkowska,
1989
.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1991,
TAPSOFT, Vol.1.
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2018,
J. Syst. Softw..
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2017,
2017 IEEE International Conference on Software Architecture (ICSA).
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2004,
International Journal on Software Tools for Technology Transfer.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2002,
Computer Performance Evaluation / TOOLS.
Michael Huth,
Marta Kwiatkowska,
M. Huth,
2015
.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2019,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Radu Calinescu,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Radu Calinescu,
Lars Grunske,
Raffaela Mirandola,
2011,
IEEE Transactions on Software Engineering.
Marcin Jurdzinski,
Ashutosh Trivedi,
Marta Z. Kwiatkowska,
2009,
CONCUR.
Lubos Brim,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2014,
Acta Informatica.
Ashutosh Trivedi,
Taolue Chen,
Marta Z. Kwiatkowska,
2012,
CONCUR.
Doina Bucur,
Marta Z. Kwiatkowska,
Doina Bucur,
2010,
IPSN '10.
EP Scilingo,
S Ghiasi,
A Patane,
2020,
2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC).
Taolue Chen,
Marta Z. Kwiatkowska,
David Parker,
2013,
TACAS.
Luca Cardelli,
Martin Fränzle,
Nicola Paoletti,
2017,
CAV.
Valérie Issarny,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2011
.
Marta Z. Kwiatkowska,
Yarin Gal,
Rhiannon Michelmore,
2018,
ArXiv.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2003,
Formal Aspects of Computing.
Lubos Brim,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2016,
TACAS.
Hongyang Qu,
Marta Z. Kwiatkowska,
Henri Hansen,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2002,
PAPM-PROBMIV.
Radu Calinescu,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2008,
Monterey Workshop.
Valérie Issarny,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2010
.
Taolue Chen,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2011,
FORMATS.
Christel Baier,
Marta Z. Kwiatkowska,
Gethin Norman,
1998,
PROBMIV.
Marta Z. Kwiatkowska,
Oksana Tymchyshyn,
M. Kwiatkowska,
2008,
FMSB.
Lu Feng,
Marta Z. Kwiatkowska,
David Parker,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Valérie Issarny,
Gordon S. Blair,
Radu Calinescu,
2009,
2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
Marta Z. Kwiatkowska,
Xu Wang,
M. Kwiatkowska,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
PERV.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2012,
Int. J. Comput. Their Appl..
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2011,
BICoB.
Sandeep K. Shukla,
Rajesh Gupta,
Marta Z. Kwiatkowska,
2005,
Formal Aspects of Computing.
Sandeep K. Shukla,
Rajesh K. Gupta,
Marta Z. Kwiatkowska,
2002,
Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2009,
PERV.
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2016,
Bio Systems.
M. Kwiatkowska,
B. Bukowska,
J. Michałowicz,
2016,
Human & experimental toxicology.
M. Kwiatkowska,
Kornel Szczygielski,
D. Jurkiewicz,
2021,
American journal of otolaryngology.
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
ArXiv.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2018
.
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2013,
Inf. Comput..
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2010,
2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Marta Z. Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000,
CONCUR.
M. Kwiatkowska,
Marta Z Kwiatkowska,
John K Heath,
2009,
Journal of Cell Science.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2006,
Proceedings of the 2006 Winter Simulation Conference.
Doina Bucur,
Marta Z. Kwiatkowska,
Doina Bucur,
2011,
J. Syst. Softw..
Marta Kwiatkowska,
M. Kwiatkowska,
2008,
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences.
Morteza Lahijanian,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
AAAI Fall Symposia.
Taolue Chen,
Marta Z. Kwiatkowska,
David Parker,
2011,
CLIMA.
Marta Z. Kwiatkowska,
David Parker,
Clemens Wiltsche,
2016,
TACAS.
M. Kwiatkowska,
2007,
ESEC-FSE companion '07.
Luca Cardelli,
Luca Laurenti,
Marta Z. Kwiatkowska,
2016,
Natural Computing.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Marta Z. Kwiatkowska,
David Parker,
Vojtech Forejt,
2012,
ATVA.
Hongyang Qu,
Marta Z. Kwiatkowska,
Gethin Norman,
2011,
TACAS.
Taolue Chen,
Marta Z. Kwiatkowska,
Clemens Wiltsche,
2013,
QEST.
Nils Jansen,
Joost-Pieter Katoen,
Javier Cámara,
2017,
Self-Aware Computing Systems.
Mario Fritz,
Marta Kwiatkowska,
Tobias Lorenz,
2021,
ArXiv.
Marta Z. Kwiatkowska,
Gethin Norman,
M. Kwiatkowska,
2002,
FORTE.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Chris Chilton,
2014,
Theor. Comput. Sci..
Paola Inverardi,
Felicita Di Giandomenico,
Bengt Jonsson,
2011
.
Marta Z. Kwiatkowska,
Stefano Cattani,
M. Kwiatkowska,
2005,
Formal Aspects of Computing.
Marta Z. Kwiatkowska,
Xu Wang,
Qianyi Zhang,
2005,
AVoCS.
M. Kwiatkowska,
2020,
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering.
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2014,
2014 IEEE International Conference on Healthcare Informatics.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2004,
International Journal on Software Tools for Technology Transfer.
Marta Kwiatkowska,
Jonathan Bath,
Frits Dannenberg,
2015,
The Journal of chemical physics.
Christel Baier,
Mark Ryan,
Marta Z. Kwiatkowska,
1998,
PROBMIV.
Hadas Kress-Gazit,
Paul Newman,
Dushyant Rao,
2016,
IEEE Robotics and Automation Letters.
Rui Yan,
M. Kwiatkowska,
G. Norman,
2023,
ArXiv.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2005,
PERV.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1992,
REX Workshop.
Luca Cardelli,
Stephen J. Roberts,
Arno Blaas,
2019,
ArXiv.
Lu Feng,
Marta Z. Kwiatkowska,
David Parker,
2011,
FASE.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2004
.
Radu Calinescu,
Dave Cliff,
Richard F. Paige,
2011,
Commun. ACM.
E. Gaffney,
M. Kwiatkowska,
J. Heath,
2008,
Bulletin of mathematical biology.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2019,
The Art of Modelling Computational Systems.
Marta Z. Kwiatkowska,
David Parker,
Vojtech Forejt,
2014,
TACAS.
M. Kwiatkowska,
Daqian Shao,
2023,
International Joint Conference on Artificial Intelligence.
M. Kwiatkowska,
G. Norman,
D. Parker,
2004,
International Journal on Software Tools for Technology Transfer.
M. Kwiatkowska,
G. Norman,
D. Parker,
2006,
International Journal on Software Tools for Technology Transfer.
Marta Z. Kwiatkowska,
Sibusisiwe Chiyangwa,
M. Kwiatkowska,
2005,
FMOODS.
Jan J. M. M. Rutten,
Prakash Panangaden,
Marta Z. Kwiatkowska,
2004,
CRM monograph series.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2005
.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1995
.
Paola Inverardi,
Felicita Di Giandomenico,
Bengt Jonsson,
2010
.
Farhad Arbab,
Sun Meng,
Hongyang Qu,
2009,
ESEC/SIGSOFT FSE.
M. Kwiatkowska,
Benjie Wang,
2023,
AISTATS.
Marta Z. Kwiatkowska,
Azlan Ismail,
M. Kwiatkowska,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Ufuk Topcu,
Marta Z. Kwiatkowska,
Nicolas Basset,
2015,
TACAS.
Marta Z. Kwiatkowska,
Nicolas Basset,
Clemens Wiltsche,
2014,
CONCUR.
Marta Z. Kwiatkowska,
David Parker,
M. Kwiatkowska,
2013,
ATVA.
Taolue Chen,
Marta Z. Kwiatkowska,
Vojtech Forejt,
2013,
MFCS.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2009,
FORMATS.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2016,
Bull. EATCS.
Lijun Zhang,
Hongyang Qu,
Taolue Chen,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Andrew Hinton,
Marta Z. Kwiatkowska,
Gethin Norman,
2006,
TACAS.
Radu Calinescu,
Marta Z. Kwiatkowska,
Tianyi Zang,
2011,
Computer systems science and engineering.
Fedor V. Fomin,
David Peleg,
Marta Z. Kwiatkowska,
2013,
International Colloquium on Automata, Languages and Programming.
Marta Z. Kwiatkowska,
Ernst Moritz Hahn,
Frits Dannenberg,
2013,
Computational Methods in Systems Biology.
Marta Z. Kwiatkowska,
Benoît Barbot,
M. Kwiatkowska,
2015,
Petri Nets.
Marta Z. Kwiatkowska,
Ernst Moritz Hahn,
Frits Dannenberg,
2015,
ACM Trans. Model. Comput. Simul..
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1997,
Fundamenta Informaticae.
Wojciech Penczek,
Doron A. Peled,
Marta Z. Kwiatkowska,
1994,
ICTL.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1991
.
Marta Z. Kwiatkowska,
M. Kwiatkowska,
1990,
Inf. Process. Lett..
Christel Baier,
Marta Z. Kwiatkowska,
C. Baier,
1997,
Fundam. Informaticae.
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2018,
Journal of Systems and Software.
Marta Z. Kwiatkowska,
Simon Ambler,
Nicholas Measor,
1995,
Theor. Comput. Sci..
Marta Z. Kwiatkowska,
Simon Ambler,
Nicholas Measor,
1993,
CSL.
M. Kwiatkowska,
Xiyue Zhang,
2023,
2023 18th Conference on Computer Science and Intelligence Systems (FedCSIS).
M. Kwiatkowska,
C. Constantinou,
Zhenyu Liu,
2005,
19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers).
Marta Z. Kwiatkowska,
Zhenyu Liu,
M. Kwiatkowska,
2005
.
M. Kwiatkowska,
Rashid Mehmood,
2002,
PAPM-PROBMIV.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2000
.
Marta Z. Kwiatkowska,
Aleksandra Jovanovic,
M. Kwiatkowska,
2014,
RP.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
HSCC.
L. Cardelli,
M. Kwiatkowska,
M. Tribastone,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Chris Thachuk,
Marta Z. Kwiatkowska,
M. Kwiatkowska,
2014,
Software Systems Safety.
Zhenqi Huang,
Chuchu Fan,
Alexandru Mereacre,
2014,
CAV.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
VMCAI.
Radu Calinescu,
Jim Davies,
Jeremy Gibbons,
2008,
2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID).
Yi Zhang,
Marta Z. Kwiatkowska,
Rashid Mehmood,
2004,
The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..
Håkan L. S. Younes,
Marta Z. Kwiatkowska,
Gethin Norman,
2004,
TACAS.
M. Kwiatkowska,
G. Norman,
D. Parker,
2017
.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2012,
Formal Aspects of Computing.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2006,
QAPL.
M. Kwiatkowska,
D. Parker,
2013,
ATVA.
Nicola Paoletti,
Marta Z. Kwiatkowska,
Andrea Patanè,
2018,
ACM Trans. Cyber Phys. Syst..
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2015,
CMSB.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
CMSB.
Joost-Pieter Katoen,
Marta Z. Kwiatkowska,
Gethin Norman,
2001,
PAPM-PROBMIV.
Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
2001,
CAV.
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
2008,
QAPL.
L. Cardelli,
M. Kwiatkowska,
M. Kwiatkowska,
2021,
IEEE Transactions on Automatic Control.
R. Segala,
M. Kwiatkowska,
G. Norman,
1999,
Theor. Comput. Sci..