Marta Kwiatkowska
发表
Luca Cardelli,
Stephen J. Roberts,
Arno Blaas,
2019,
ArXiv.
Prakash Panangaden,
Marta Kwiatkowska,
Franck van Breugel,
2004
.
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000
.
Marta Kwiatkowska,
M. Kwiatkowska,
2008,
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences.
Marta Kwiatkowska,
Rashid Mehmood,
David Parker,
2003
.
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2010
.
Robin Milner,
Vladimiro Sassone,
Marta Kwiatkowska,
2004
.
Marie Duflot,
Marta Kwiatkowska,
Gethin Norman,
2012
.
Christel Baier,
Michael Huth,
Marta Kwiatkowska,
1999
.
Luca Cardelli,
Luca Laurenti,
Andrea Patane,
2019,
AAAI.
Abbas Edalat,
Klaus Keimel,
Marta Kwiatkowska,
2000
.
Sandeep K. Shukla,
Marta Kwiatkowska,
Gethin Norman,
2004
.
Marta Kwiatkowska,
M. Kwiatkowska,
1989
.
Marta Kwiatkowska,
2010
.
Marta Kwiatkowska,
2012
.
Michael Huth,
Marta Kwiatkowska,
1996
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2005
.
Francesca Lonetti,
Eda Marchetti,
Valérie Issarny,
2012
.
Paola Inverardi,
Bengt Jonsson,
Marta Kwiatkowska,
2012
.
Francesca Lonetti,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2012
.
Marta Kwiatkowska,
2014
.
Luca Cardelli,
Luca Laurenti,
Marta Kwiatkowska,
2018,
Biophysical journal.
Radu Calinescu,
Shinji Kikuchi,
Marta Kwiatkowska,
2011
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2000
.
Valérie Issarny,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2011
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2010,
2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Marta Kwiatkowska,
2012
.
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2003
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2011
.
Marta Kwiatkowska,
Iain Phillips,
1995,
STRICT.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2004
.
Radu Calinescu,
John A. McDermid,
Tim Kelly,
2009,
ICONS 2009.
Paola Inverardi,
Felicita Di Giandomenico,
Bengt Jonsson,
2011
.
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2004
.
Marta Kwiatkowska,
2005
.
Valérie Issarny,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2010
.
Marta Kwiatkowska,
M. Kwiatkowska,
1989
.
Marta Kwiatkowska,
Zhenyu Liu,
C. C. Constantinou,
2010,
Int. J. Wirel. Mob. Comput..
Marta Kwiatkowska,
Aleksandra Jovanovic,
2014,
RP.
Hadas Kress-Gazit,
Paul Newman,
Dushyant Rao,
2016,
IEEE Robotics and Automation Letters.
Marta Kwiatkowska,
Michael William Shields,
Richard Monro Thomas,
1990
.
Michael Huth,
Marta Kwiatkowska,
M. Huth,
2015
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2019,
The Art of Modelling Computational Systems.
Flemming Nielson,
Hanne Riis Nielson,
Marta Kwiatkowska,
2011,
2011 IEEE Sensors Applications Symposium.
Prakash Panangaden,
Marta Kwiatkowska,
Franck van Breugel,
2004
.
Bernhard Steffen,
Antonia Bertolino,
Gordon Blair,
2012
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2018
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2009,
Algorithmic Bioprocesses.
Paola Inverardi,
Felicita Di Giandomenico,
Bengt Jonsson,
2010
.
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2000
.
Prakash Panangaden,
Marta Kwiatkowska,
Franck van Breugel,
2004
.
Carlo Ghezzi,
Radu Calinescu,
Raffaela Mirandola,
2012
.
Marta Kwiatkowska,
Gethin Norman,
David Parker,
2021,
Annu. Rev. Control. Robotics Auton. Syst..
Christoph Meinel,
Ulrich Herzog,
Marta Kwiatkowska,
2021
.
Craig Boutilier,
Marta Kwiatkowska,
Boudewijn Haverkort,
2021
.
Marta Kwiatkowska,
Gethin Norman,
Gabriel Santos,
2022,
TACAS.
Mario Fritz,
Marta Kwiatkowska,
Tobias Lorenz,
2021,
ArXiv.
Yi Zhang,
Marta Kwiatkowska,
David Parker,
2005
.
Christel Baier,
Marta Kwiatkowska,
Gethin Norman,
1999
.
Marta Kwiatkowska,
Gethin Norman,
Roberto Segala,
2001
.
Marta Kwiatkowska,
Jonathan Bath,
Frits Dannenberg,
2015,
The Journal of chemical physics.
Michael Huth,
Marta Kwiatkowska,
1996
.
Marta Kwiatkowska,
Gethin Norman,
Jeremy Sproston,
2003
.