Rachel Cardell-Oliver
发表
Rachel Cardell-Oliver,
Liam Walmsley-Eyre,
R. Cardell-Oliver,
2017,
2017 IEEE 42nd Conference on Local Computer Networks Workshops (LCN Workshops).
Rachel Cardell-Oliver,
Tim Glover,
1998,
FTRTFT.
Rachel Cardell-Oliver,
Mark Kranz,
Keith Smettem,
2005,
Int. J. Distributed Sens. Networks.
Rachel Cardell-Oliver,
Jon Morgan,
Tom Chapman,
2015,
2015 IEEE Tenth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP).
Rachel Cardell-Oliver,
Amitava Datta,
Babak Pazand,
2007,
SenSys '07.
Rachel Cardell-Oliver,
1998,
J. Log. Comput..
Rachel Cardell-Oliver,
R. Cardell-Oliver,
2011,
ACE 2011.
Rachel Cardell-Oliver,
Amitava Datta,
Ary Mazharuddin Shiddiqi,
2017,
CySWATER@CPSWeek.
Rachel Cardell-Oliver,
R. Cardell-Oliver,
1991,
TAPSOFT, Vol.2.
Alvaro Monsalve,
Rachel Cardell-Oliver,
Christof Huebner,
2013,
Wirel. Commun. Mob. Comput..
Rachel Cardell-Oliver,
Rowan Davies,
Arran Stewart,
2016,
ACSW.
Rachel Cardell-Oliver,
Marco Avvenuti,
Janet Light,
2009
.
Evaluating the impact of limited resource on the performance of flooding in wireless sensor networks
Rachel Cardell-Oliver,
Patrick Downey,
2004,
International Conference on Dependable Systems and Networks, 2004.
Rachel Cardell-Oliver,
Mark Reynolds,
Mark Kranz,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Wei Liu,
Rachel Cardell-Oliver,
Jin Wang,
2015,
PAKDD.
Rachel Cardell-Oliver,
Richard Cardell-Oliver,
1990
.
Rachel Cardell-Oliver,
Amitava Datta,
Lanny Sitanayah,
2010,
Comput. Networks.
Rachel Cardell-Oliver,
John Herbert,
Roger W. S. Hale,
1994
.
Rachel Cardell-Oliver,
Jingbo Sun,
2008,
Med-Hoc-Net.
Rachel Cardell-Oliver,
2014
.
Rachel Cardell-Oliver,
2002,
ISSTA '02.
Rachel Cardell-Oliver,
Christof Huebner,
Matthias Leopold,
2019,
DATA@SenSys.
Rachel Cardell-Oliver,
Amitava Datta,
Winnie Louis Lee,
2006
.
Rachel Cardell-Oliver,
2013,
2013 22nd Australian Software Engineering Conference.
Rachel Cardell-Oliver,
G. Peach,
2013
.
Rachel Cardell-Oliver,
Amitava Datta,
Winnie Louis Lee,
2006,
IEEE Globecom 2006.
Rachel Cardell-Oliver,
Stefan Böttcher,
Christof Huebner,
2013,
EWSN.
Rachel Cardell-Oliver,
Tim French,
Ben Caldwell,
2016,
IEEE Transactions on Automation Science and Engineering.
Rachel Cardell-Oliver,
Chris McDonald,
Chi Yang,
2011,
2011 Seventh International Conference on Intelligent Sensors, Sensor Networks and Information Processing.
Rachel Cardell-Oliver,
Jingbo Sun,
R. Cardell-Oliver,
2006
.
Rachel Cardell-Oliver,
Jin Wang,
Helen Gigney,
2016
.
Alvaro Monsalve,
Rachel Cardell-Oliver,
Christof Huebner,
2010,
SenSys '10.
Rachel Cardell-Oliver,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Rachel Cardell-Oliver,
Patrick Doran Wu,
2011,
ITiCSE '11.
Rachel Cardell-Oliver,
Thorsten Gerdsmeier,
2001,
Electron. Notes Theor. Comput. Sci..
Wei Liu,
Rachel Cardell-Oliver,
Jin Wang,
2016,
Knowl. Based Syst..
Wei Liu,
Rachel Cardell-Oliver,
Jin Wang,
2015,
2015 IEEE Tenth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP).
Rachel Cardell-Oliver,
Christof Huebner,
Miriam Foeller-Nord,
2011,
2011 Seventh International Conference on Intelligent Sensors, Sensor Networks and Information Processing.
Rachel Cardell-Oliver,
Chayan Sarkar,
2016,
TSAA '16.
Wei Liu,
Rachel Cardell-Oliver,
Rui Wang,
2018,
Environ. Model. Softw..
Rachel Cardell-Oliver,
Christof Huebner,
Benjamin Dix-Matthews,
2018,
RealWSN@SenSys.
Rachel Cardell-Oliver,
2014,
MSM/MUSE/SenseML.
Rachel Cardell-Oliver,
Chayan Sarkar,
2019,
TOSN.
Alvaro Monsalve,
Rachel Cardell-Oliver,
Christof Huebner,
2012,
2012 18th IEEE International Conference on Networks (ICON).
Wei Liu,
Rachel Cardell-Oliver,
A. R. Blond,
2013,
AusDM 2013.
Rachel Cardell-Oliver,
Prathyusha Sangam,
2019,
BuildSys@SenSys.
Rachel Cardell-Oliver,
Jingbo Sun,
2007,
SenSys '07.
Rachel Cardell-Oliver,
John Herbert,
Roger Hale,
1993,
Formal Methods Syst. Des..
Rachel Cardell-Oliver,
Chayan Sarkar,
2017,
BuildSys@SenSys.
Wei Liu,
Rachel Cardell-Oliver,
Michael Stewart,
2017,
ADMA.
Rachel Cardell-Oliver,
Elena Pasternak,
Arcady Dyskin,
2011
.
Rachel Cardell-Oliver,
1988
.
Rachel Cardell-Oliver,
1992,
FTRTFT.
Rachel Cardell-Oliver,
Thorsten Gerdsmeier,
2001,
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems.
Wei Liu,
Rachel Cardell-Oliver,
Michael Stewart,
2019,
ArXiv.
Wei Liu,
Rachel Cardell-Oliver,
Michael Stewart,
2019,
EMNLP/IJCNLP.
Wei Liu,
Rachel Cardell-Oliver,
R. Cardell-Oliver,
2010,
IEEE Communications Magazine.
Rachel Cardell-Oliver,
Mark Kranz,
2007
.
Rachel Cardell-Oliver,
Amitava Datta,
Valance Phua,
2006,
IEEE Globecom 2006.
Rachel Cardell-Oliver,
Rowan Davies,
Arran Stewart,
2017
.
Rachel Cardell-Oliver,
2007
.
Rachel Cardell-Oliver,
1995,
Formal Development of Reactive Systems.
Rachel Cardell-Oliver,
Margaret Hamilton,
Stanislav Kurkovsky,
2011,
ITiCSE-WGR '11.
Rachel Cardell-Oliver,
R. Cardell-Oliver,
2004
.
Rachel Cardell-Oliver,
Lu Zhang,
Terry Woodings,
2010,
2010 21st Australian Software Engineering Conference.
Rachel Cardell-Oliver,
Amitava Datta,
Babak Pazand,
2010,
ICCSA.
Rachel Cardell-Oliver,
2013,
2013 IEEE Eighth International Conference on Intelligent Sensors, Sensor Networks and Information Processing.
Rachel Cardell-Oliver,
Amitava Datta,
Winnie Louis Lee,
2006,
2006 14th IEEE International Conference on Networks.
Rachel Cardell-Oliver,
Craig Standing,
Doina Olaru,
2019
.
Rachel Cardell-Oliver,
Chris Beckett,
Daniela Ciancio,
2017
.
Rachel Cardell-Oliver,
Sule Nair,
2004,
MSWiM '04.
Rachel Cardell-Oliver,
2000,
Formal Aspects of Computing.
Rachel Cardell-Oliver,
Chi Yang,
Chi Yang,
2009,
2009 International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP).
Rachel Cardell-Oliver,
Adrian Keating,
Ash Tyndall,
2016,
IEEE Sensors Journal.
Rachel Cardell-Oliver,
1992
.
Wei Liu,
Rachel Cardell-Oliver,
Rui Wang,
2018,
2018 IEEE International Conference on Big Knowledge (ICBK).
Rachel Cardell-Oliver,
Amitava Datta,
Winnie Louis Lee,
2008,
IEEE Transactions on Parallel and Distributed Systems.
Rachel Cardell-Oliver,
S. Sen,
2006
.
Rachel Cardell-Oliver,
Travis Povey,
R. Cardell-Oliver,
2018,
BuildSys@SenSys.
Rachel Cardell-Oliver,
David G. Glance,
2021,
Secure Edge Computing.
Rachel Cardell-Oliver,
Bettina Buth,
Jan Peleska,
1996
.
Rachel Cardell-Oliver,
Winnie Louis Lee,
Amitava Datta,
2006
.
Rachel Cardell-Oliver,
Mark Kranz,
Stephen S. O. Burgess,
2010
.
Rachel Cardell-Oliver,
Chris Beckett,
Daniela Ciancio,
2014
.
Rachel Cardell-Oliver,
Tino Wagenknecht,
Christof Hübner,
2009
.
Rachel Cardell-Oliver,
R. Cardell-Oliver,
2013
.
Rachel Cardell-Oliver,
2014
.