default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Jonathan Harper"
download as .bib file
@article{DBLP:journals/pacmpl/GrodinNSH24,
author = {Harrison Grodin and
Yue Niu and
Jonathan Sterling and
Robert Harper},
title = {Decalf: {A} Directed, Effectful Cost-Aware Logical Framework},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {273--301},
year = {2024},
url = {https://doi.org/10.1145/3632852},
doi = {10.1145/3632852},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GrodinNSH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-00212,
author = {Yue Niu and
Jonathan Sterling and
Robert Harper},
title = {Cost-sensitive computational adequacy of higher-order recursion in
synthetic domain theory},
journal = {CoRR},
volume = {abs/2404.00212},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.00212},
doi = {10.48550/ARXIV.2404.00212},
eprinttype = {arXiv},
eprint = {2404.00212},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-00212.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05938,
author = {Harrison Grodin and
Robert Harper and
Yue Niu and
Jonathan Sterling},
title = {Decalf: {A} Directed, Effectful Cost-Aware Logical Framework},
journal = {CoRR},
volume = {abs/2307.05938},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05938},
doi = {10.48550/ARXIV.2307.05938},
eprinttype = {arXiv},
eprint = {2307.05938},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/NiuSGH22,
author = {Yue Niu and
Jonathan Sterling and
Harrison Grodin and
Robert Harper},
title = {A cost-aware logical framework},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--31},
year = {2022},
url = {https://doi.org/10.1145/3498670},
doi = {10.1145/3498670},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/NiuSGH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Sterling022,
author = {Jonathan Sterling and
Robert Harper},
editor = {Amy P. Felty},
title = {Sheaf Semantics of Termination-Insensitive Noninterference},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {5:1--5:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.5},
doi = {10.4230/LIPICS.FSCD.2022.5},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Sterling022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-09421,
author = {Jonathan Sterling and
Robert Harper},
title = {Sheaf semantics of termination-insensitive noninterference},
journal = {CoRR},
volume = {abs/2204.09421},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.09421},
doi = {10.48550/ARXIV.2204.09421},
eprinttype = {arXiv},
eprint = {2204.09421},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-09421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SterlingH21,
author = {Jonathan Sterling and
Robert Harper},
title = {Logical Relations as Types: Proof-Relevant Parametricity for Program
Modules},
journal = {J. {ACM}},
volume = {68},
number = {6},
pages = {41:1--41:47},
year = {2021},
url = {https://doi.org/10.1145/3474834},
doi = {10.1145/3474834},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SterlingH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-04663,
author = {Yue Niu and
Jonathan Sterling and
Harrison Grodin and
Robert Harper},
title = {A cost-aware logical framework},
journal = {CoRR},
volume = {abs/2107.04663},
year = {2021},
url = {https://arxiv.org/abs/2107.04663},
eprinttype = {arXiv},
eprint = {2107.04663},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-04663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aci/HronPWHB20,
author = {Jonathan D. Hron and
Chase R. Parsons and
Lee Ann Williams and
Marvin B. Harper and
Fabienne C. Bourgeois},
title = {Rapid Implementation of an Inpatient Telehealth Program during the
{COVID-19} Pandemic},
journal = {Appl. Clin. Inform.},
volume = {11},
number = {03},
pages = {452--459},
year = {2020},
url = {https://doi.org/10.1055/s-0040-1713635},
doi = {10.1055/S-0040-1713635},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aci/HronPWHB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhss/GrafBHMCA20,
author = {Jonathan Graf and
Whitney Batchelor and
Scott J. Harper and
Ryan Marlow and
Edward Carlisle IV and
Peter Athanas},
title = {A practical application of game theory to optimize selection of hardware
Trojan detection strategies},
journal = {J. Hardw. Syst. Secur.},
volume = {4},
number = {2},
pages = {98--119},
year = {2020},
url = {https://doi.org/10.1007/s41635-019-00089-3},
doi = {10.1007/S41635-019-00089-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhss/GrafBHMCA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/TurroAMGGSASFTS20,
author = {Ernest Turro and
William J. Astle and
Karyn Megy and
Stefan Gr{\"{a}}f and
Daniel Greene and
Olga Shamardina and
Hana Lango Allen and
Alba Sanchis{-}Juan and
Mattia Frontini and
Chantal Thys and
Jonathan Stephens and
Rutendo Mapeta and
Oliver S. Burren and
Kate Downes and
Matthias Haimel and
Salih Tuna and
Sri V. V. Deevi and
Timothy J. Aitman and
David L. H. Bennett and
Paul Calleja and
Keren Carss and
Mark J. Caulfield and
Patrick F. Chinnery and
Peter H. Dixon and
Daniel P. Gale and
Roger James and
Ania Koziell and
Michael A. Laffan and
Adam P. Levine and
Eamonn R. Maher and
Hugh S. Markus and
Joannella Morales and
Nicholas W. Morrell and
Andrew D. Mumford and
Elizabeth Ormondroyd and
Stuart Rankin and
Augusto Rendon and
Sylvia Richardson and
Irene Roberts and
Noemi B. A. Roy and
Moin A. Saleem and
Kenneth G. C. Smith and
Hannah Stark and
Rhea Y. Y. Tan and
Andreas C. Themistocleous and
Adrian J. Thrasher and
Hugh Watkins and
Andrew R. Webster and
Martin R. Wilkins and
Catherine Williamson and
James Whitworth and
Sean Humphray and
David R. Bentley and
Stephen Abbs and
Lara Abulhoul and
Julian Adlard and
Munaza Ahmed and
Hana Alachkar and
David J. Allsup and
Jeff Almeida{-}King and
Philip Ancliff and
Richard Antrobus and
Ruth Armstrong and
Gavin Arno and
Sofie Ashford and
Anthony Attwood and
Paul Aurora and
Christian Babbs and
Chiara Bacchelli and
Tamam Bakchoul and
Siddharth Banka and
Tadbir Bariana and
Julian Barwell and
Joana Batista and
Helen E. Baxendale and
Phil L. Beales and
Agnieszka Bierzynska and
Tina Biss and
Maria A. K. Bitner{-}Glindzicz and
Graeme C. M. Black and
Marta Bleda and
Iulia Blesneac and
Detlef Bockenhauer and
Harm Bogaard and
Christian J. Bourne and
Sara Boyce and
John R. Bradley and
Eugene Bragin and
Gerome Breen and
Paul Brennan and
Carole Brewer and
Matthew Brown and
Andrew C. Browning and
Michael J. Browning and
Rachel J. Buchan and
Matthew S. Buckland and
Teofila Bueser and
Carmen Bugarin Diz and
John Burn and
Siobhan O. Burns and
Nigel Burrows and
Carolyn Campbell and
Gerald Carr{-}White and
Ruth Casey and
Jenny Chambers and
John Chambers and
Melanie M. Y. Chan and
Calvin Cheah and
Floria Cheng and
Manali Chitre and
Martin T. Christian and
Colin Church and
Jill Clayton{-}Smith and
Maureen Cleary and
Naomi Clements Brod and
Gerry Coghlan and
Elizabeth Colby and
Trevor R. P. Cole and
Janine Collins and
Peter W. Collins and
Camilla Colombo and
Cecilia J. Compton and
Robin Condliffe and
Stuart A. Cook and
H. Terence Cook and
Nichola Cooper and
Paul A. Corris and
Abigail Furnell and
Fiona Cunningham and
Nicola S. Curry and
Antony J. Cutler and
Matthew J. Daniels and
Mehul Dattani and
Louise C. Daugherty and
John Davis and
Anthony De Soyza and
Timothy Dent and
Charu Deshpande and
Eleanor F. Dewhurst and
Sofia Douzgou and
Anna M. Drazyk and
Elizabeth Drewe and
Daniel Duarte and
Tina Dutt and
J. David M. Edgar and
Karen Edwards and
William Egner and
Melanie N. Ekani and
Perry Elliott and
Wendy N. Erber and
Marie Erwood and
Maria C. Estiu and
Dafydd Gareth Evans and
Gillian Evans and
Tamara Everington and
M{\'{e}}lanie Eyries and
Hiva Fassihi and
Remi Favier and
Jack Findhammer and
Debra Fletcher and
Frances A. Flinter and
R. Andres Floto and
Tom Fowler and
James Fox and
Amy J. Frary and
Courtney E. French and
Kathleen Freson and
Henning Gall and
Vijeya Ganesan and
Michael Gattens and
Claire Geoghegan and
Terence S. A. Gerighty and
Ali G. Gharavi and
Stefano Ghio and
Hossein{-}Ardeschir Ghofrani and
J. Simon R. Gibbs and
Kate Gibson and
Kimberly C. Gilmour and
Barbara Girerd and
Nicholas S. Gleadall and
Sarah Goddard and
David B. Goldstein and
Keith Gomez and
Pavels Gordins and
David Gosal and
Jodie Graham and
Luigi Grassi and
Lynn Greenhalgh and
Andreas Greinacher and
Paolo Gresele and
Philip Griffiths and
Sofia Grigoriadou and
Russell J. Grocock and
Detelina Grozeva and
Mark Gurnell and
Scott Hackett and
Charaka Hadinnapola and
William M. Hague and
Rosie Hague and
Matthew Hall and
Helen L. Hanson and
Eshika Haque and
Kirsty Harkness and
Andrew R. Harper and
Claire L. Harris and
Daniel Hart and
Ahamad Hassan and
Grant Hayman and
Alex Henderson and
Archana Herwadkar and
Jonathan Hoffman and
Simon Holden and
Rita Horvath and
Henry Houlden and
Arjan C. Houweling and
Luke S. G. E. Howard and
Fengyuan Hu and
Gavin Hudson and
Joseph Hughes and
Aarnoud P. Huissoon and
Marc Humbert and
Sarah Hunter and
Matthew E. Hurles and
Melita Irving and
Louise Izatt and
Sally A. Johnson and
Stephen Jolles and
Jennifer Jolley and
Dragana Josifova and
Neringa Jurkute and
Tim Karten and
Johannes Karten and
Mary A. Kasanicki and
Hanadi Kazkaz and
Rashid Kazmi and
Peter Kelleher and
Anne M. Kelly and
Wilf Kelsall and
Carly Kempster and
David G. Kiely and
Nathalie Kingston and
Robert Klima and
Nils Koelling and
Myrto Kostadima and
Gabor Kovacs and
Roman Kreuzhuber and
Taco W. Kuijpers and
Ajith Kumar and
Dinakantha Kumararatne and
Manju A. Kurian and
Fiona Lalloo and
Michele Lambert and
Allan Lawrie and
D. Mark Layton and
Nick Lench and
Claire Lentaigne and
Tracy Lester and
Rachel Linger and
Hilary Longhurst and
Lorena E. Lorenzo and
Eleni Louka and
Paul A. Lyons and
Rajiv D. Machado and
Robert V. MacKenzie Ross and
Bella Madan and
Jesmeen Maimaris and
Samantha Malka and
Sarah Mangles and
Kevin J. Marchbank and
Stephen Marks and
Hanns{-}Ulrich Marschall and
Andrew G. Marshall and
Jennifer Martin and
Mary Mathias and
Emma Matthews and
Heather Maxwell and
Paul McAlinden and
Mark I. McCarthy and
Harriet McKinney and
Aoife McMahon and
Stuart Meacham and
Adam J. Mead and
Ignacio Medina Castello and
Sarju G. Mehta and
Michel Michaelides and
Carolyn Millar and
Shehla N. Mohammed and
Shahin Moledina and
David Montani and
Anthony T. Moore and
Monika Mozere and
Keith W. Muir and
Andrea H. Nemeth and
William G. Newman and
Michael Newnham and
Sadia Noorani and
Paquita Nurden and
Jennifer O'Sullivan and
Samya Obaji and
Chris Odhams and
Steven Okoli and
Andrea Olschewski and
Horst Olschewski and
Kai Ren Ong and
S. Helen Oram and
Willem H. Ouwehand and
Claire Palles and
Sofia Papadia and
Soo{-}Mi Park and
David Parry and
Smita Patel and
Joan Paterson and
Andrew Peacock and
Simon H. Pearce and
John Peden and
Kathelijne Peerlinck and
Christopher J. Penkett and
Joanna Pepke{-}Zaba and
Romina Petersen and
Clarissa Pilkington and
Kenneth E. S. Poole and
Radhika Prathalingam and
Bethan Psaila and
Angela Pyle and
Richard Quinton and
Shamima Rahman and
Anupama Rao and
F. Lucy Raymond and
Paula J. Rayner{-}Matthews and
Christine Rees and
Tara Renton and
Christopher J. Rhodes and
Andrew S. C. Rice and
Alex Richter and
Leema Robert and
Anthony Rogers and
Sarah J. Rose and
Robert Ross{-}Russell and
Catherine Roughley and
Deborah M. Ruddy and
Omid Sadeghi{-}Alavijeh and
Nilesh J. Samani and
Crina Samarghitean and
Ravishankar B. Sargur and
Robert N. Sarkany and
Simon Satchell and
Sinisa Savic and
John A. Sayer and
Genevieve Sayer and
Laura Scelsi and
Andrew M. Schaefer and
Sol Schulman and
Richard Scott and
Marie Scully and
Claire Searle and
Werner Seeger and
Arjune Sen and
W. A. Carrock Sewell and
Denis Seyres and
Neil Shah and
Susan E. Shapiro and
Adam C. Shaw and
Patrick J. Short and
Keith Sibson and
Lucy Side and
Ilenia Simeoni and
Michael A. Simpson and
Matthew C. Sims and
Suthesh Sivapalaratnam and
Damian Smedley and
Katherine R. Smith and
Katie Snape and
Nicole Soranzo and
Florent Soubrier and
Laura Southgate and
Olivera Spasic{-}Boskovic and
Simon Staines and
Emily Staples and
Charles A. Steward and
Kathleen E. Stirrups and
Alex Stuckey and
Jay Suntharalingam and
Emilia M. Swietlik and
Petros Syrris and
R. Campbell Tait and
Kate Talks and
Katie Tate and
John M. Taylor and
Jenny C. Taylor and
James E. Thaventhiran and
Ellen Thomas and
David Thomas and
Moira J. Thomas and
Patrick Thomas and
Kate Thomson and
Glen Threadgold and
Tobias Tilly and
Marc Tischkowitz and
Catherine Titterton and
John A. Todd and
Cheng{-}Hock Toh and
Bas Tolhuis and
Ian P. Tomlinson and
Mark Toshner and
Matthew Traylor and
Carmen Treacy and
Paul Treadaway and
Richard Trembath and
Wojciech Turek and
Philip Twiss and
Tom Vale and
Chris Van Geet and
Natalie van Zuydam and
Maarten Vandekuilen and
Anthony M. Vandersteen and
Marta Vazquez{-}Lopez and
Julie von Ziegenweidt and
Anton Vonk{-}Noordegraaf and
Annette Wagner and
Quinten Waisfisz and
Suellen M. Walker and
Neil Walker and
Klaudia Walter and
James S. Ware and
Christopher Watt and
Lucy Wedderburn and
Wei Wei and
Steven B. Welch and
Julie Wessels and
Sarah K. Westbury and
John{-}Paul Westwood and
John Wharton and
Deborah Whitehorn and
Andrew O. M. Wilkie and
Brian T. Wilson and
Edwin K. S. Wong and
Nicholas W. Wood and
Yvette Wood and
Christopher Geoffrey Woods and
Emma R. Woodward and
Stephen J. Wort and
Austen Worth and
Michael Wright and
Katherine Yates and
Patrick F. K. Yong and
Timothy Young and
Ping Yu and
Patrick Yu{-}Wai{-}Man and
Eliska Zlamalova},
title = {Whole-genome sequencing of patients with rare diseases in a national
health system},
journal = {Nat.},
volume = {583},
number = {7814},
pages = {96--102},
year = {2020},
url = {https://doi.org/10.1038/s41586-020-2434-2},
doi = {10.1038/S41586-020-2434-2},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nature/TurroAMGGSASFTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/AustinHBCC20,
author = {Max P. Austin and
Mario Y. Harper and
Jason M. Brown and
Emmanuel G. Collins Jr. and
Jonathan E. Clark},
title = {Navigation for Legged Mobility: Dynamic Climbing},
journal = {{IEEE} Trans. Robotics},
volume = {36},
number = {2},
pages = {537--544},
year = {2020},
url = {https://doi.org/10.1109/TRO.2019.2958207},
doi = {10.1109/TRO.2019.2958207},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/AustinHBCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-08599,
author = {Jonathan Sterling and
Robert Harper},
title = {Logical Relations as Types: Proof-Relevant Parametricity for Program
Modules},
journal = {CoRR},
volume = {abs/2010.08599},
year = {2020},
url = {https://arxiv.org/abs/2010.08599},
eprinttype = {arXiv},
eprint = {2010.08599},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-08599.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13929,
author = {Mike Wu and
Jonathan Nafziger and
Anthony Scodary and
Andrew Maas},
title = {HarperValleyBank: {A} Domain-Specific Spoken Dialog Corpus},
journal = {CoRR},
volume = {abs/2010.13929},
year = {2020},
url = {https://arxiv.org/abs/2010.13929},
eprinttype = {arXiv},
eprint = {2010.13929},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/npjdm/BullRSSDH19,
author = {Jonathan R. Bull and
Simon P. Rowland and
Elina Berglund Scherwitzl and
Raoul Scherwitzl and
Kristina Gemzell Danielsson and
Joyce Harper},
title = {Real-world menstrual cycle characteristics of more than 600, 000 menstrual
cycles},
journal = {npj Digit. Medicine},
volume = {2},
year = {2019},
url = {https://doi.org/10.1038/s41746-019-0152-7},
doi = {10.1038/S41746-019-0152-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/npjdm/BullRSSDH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HarperNCPC19,
author = {Mario Y. Harper and
John V. Nicholson and
Emmanuel G. Collins Jr. and
Jason L. Pusey and
Jonathan E. Clark},
title = {Energy Efficient Navigation for Running Legged Robots},
booktitle = {International Conference on Robotics and Automation, {ICRA} 2019,
Montreal, QC, Canada, May 20-24, 2019},
pages = {6770--6776},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICRA.2019.8793599},
doi = {10.1109/ICRA.2019.8793599},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/HarperNCPC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JulianiKBHTHCTL19,
author = {Arthur Juliani and
Ahmed Khalifa and
Vincent{-}Pierre Berges and
Jonathan Harper and
Ervin Teng and
Hunter Henry and
Adam Crespi and
Julian Togelius and
Danny Lange},
editor = {Sarit Kraus},
title = {Obstacle Tower: {A} Generalization Challenge in Vision, Control, and
Planning},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {2684--2691},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/373},
doi = {10.24963/IJCAI.2019/373},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JulianiKBHTHCTL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-01378,
author = {Arthur Juliani and
Ahmed Khalifa and
Vincent{-}Pierre Berges and
Jonathan Harper and
Hunter Henry and
Adam Crespi and
Julian Togelius and
Danny Lange},
title = {Obstacle Tower: {A} Generalization Challenge in Vision, Control, and
Planning},
journal = {CoRR},
volume = {abs/1902.01378},
year = {2019},
url = {http://arxiv.org/abs/1902.01378},
eprinttype = {arXiv},
eprint = {1902.01378},
timestamp = {Thu, 22 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-01378.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00973,
author = {Vincent A. Knight and
Marc Harper and
Nikoleta E. Glynatsi and
Jonathan W. Gillard},
title = {Recognising and evaluating the effectiveness of extortion in the Iterated
Prisoner's Dilemma},
journal = {CoRR},
volume = {abs/1904.00973},
year = {2019},
url = {http://arxiv.org/abs/1904.00973},
eprinttype = {arXiv},
eprint = {1904.00973},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/Graham-Harper-Cater18,
author = {Jonathan Graham{-}Harper{-}Cater and
Benjamin Metcalfe and
Peter Wilson},
title = {An Analytical Comparison of Locally-Connected Reconfigurable Neural
Network Architectures Using a \emph{C. elegans} Locomotive Model},
journal = {Comput.},
volume = {7},
number = {3},
pages = {43},
year = {2018},
url = {https://doi.org/10.3390/computers7030043},
doi = {10.3390/COMPUTERS7030043},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/Graham-Harper-Cater18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/HarperA18,
author = {Jonathan Harper and
Maneesh Agrawala},
title = {Converting Basic {D3} Charts into Reusable Style Templates},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {24},
number = {3},
pages = {1274--1286},
year = {2018},
url = {https://doi.org/10.1109/TVCG.2017.2659744},
doi = {10.1109/TVCG.2017.2659744},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvcg/HarperA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iser/HarperBLOECC18,
author = {Mario Harper and
David Balbuena and
Justin Larson and
Camilo Ordonez and
Gordon Erlebacher and
Emmanuel G. Collins Jr. and
Jonathan E. Clark},
editor = {Jing Xiao and
Torsten Kr{\"{o}}ger and
Oussama Khatib},
title = {Model Refinement for Terrain Responsive Planning on a Dynamic Running
Quadruped},
booktitle = {Proceedings of the 2018 International Symposium on Experimental Robotics,
{ISER} 2018, Buenos Aires, Argentina, November 5-8, 2018},
series = {Springer Proceedings in Advanced Robotics},
volume = {11},
pages = {645--654},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-33950-0\_55},
doi = {10.1007/978-3-030-33950-0\_55},
timestamp = {Thu, 23 Apr 2020 12:26:15 +0200},
biburl = {https://dblp.org/rec/conf/iser/HarperBLOECC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SterlingH18,
author = {Jonathan Sterling and
Robert Harper},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Guarded Computational Type Theory},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {879--888},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209153},
doi = {10.1145/3209108.3209153},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/SterlingH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1807-01869,
author = {Carlo Angiuli and
Evan Cavallo and
Kuen{-}Bang Hou (Favonia) and
Robert Harper and
Jonathan Sterling},
editor = {Fr{\'{e}}d{\'{e}}ric Blanqui and
Giselle Reis},
title = {The RedPRL Proof Assistant (Invited Paper)},
booktitle = {Proceedings of the 13th International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford,
UK, 7th July 2018},
series = {{EPTCS}},
volume = {274},
pages = {1--10},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.274.1},
doi = {10.4204/EPTCS.274.1},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-09098,
author = {Jonathan Sterling and
Robert Harper},
title = {Guarded Computational Type Theory},
journal = {CoRR},
volume = {abs/1804.09098},
year = {2018},
url = {http://arxiv.org/abs/1804.09098},
eprinttype = {arXiv},
eprint = {1804.09098},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-09098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsj/VileGHK17,
author = {Julie Leanne Vile and
Jonathan W. Gillard and
Paul R. Harper and
Vincent A. Knight},
title = {A Queueing Theoretic Approach to Set Staffing Levels in Time-Dependent
Dual-Class Service Systems},
journal = {Decis. Sci.},
volume = {48},
number = {4},
pages = {766--794},
year = {2017},
url = {https://doi.org/10.1111/deci.12236},
doi = {10.1111/DECI.12236},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dsj/VileGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijehmc/MushcabKWHM17,
author = {Hayat Al Mushcab and
William George Kernohan and
Jonathan G. Wallace and
Roy Harper and
Suzanne Martin},
title = {Self-Management of Diabetes Mellitus with Remote Monitoring: {A} Retrospective
Review of 214 Cases},
journal = {Int. J. {E} Health Medical Commun.},
volume = {8},
number = {1},
pages = {52--61},
year = {2017},
url = {https://doi.org/10.4018/IJEHMC.2017010104},
doi = {10.4018/IJEHMC.2017010104},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijehmc/MushcabKWHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taes/HarperROLM17,
author = {Andrew D. Harper and
Jeremy T. Reed and
Jonathan L. Odom and
Aaron D. Lanterman and
Xiaoli Ma},
title = {Performance of a Linear-Detector Joint Radar-Communication System
in Doubly Selective Channels},
journal = {{IEEE} Trans. Aerosp. Electron. Syst.},
volume = {53},
number = {2},
pages = {703--715},
year = {2017},
url = {https://doi.org/10.1109/TAES.2017.2664481},
doi = {10.1109/TAES.2017.2664481},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taes/HarperROLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SterlingH17,
author = {Jonathan Sterling and
Robert Harper},
title = {Algebraic Foundations of Proof Refinement},
journal = {CoRR},
volume = {abs/1703.05215},
year = {2017},
url = {http://arxiv.org/abs/1703.05215},
eprinttype = {arXiv},
eprint = {1703.05215},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SterlingH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarperA16,
author = {Jonathan Harper and
Maneesh Agrawala},
title = {Converting Basic {D3} Charts into Reusable Style Templates},
journal = {CoRR},
volume = {abs/1609.05283},
year = {2016},
url = {http://arxiv.org/abs/1609.05283},
eprinttype = {arXiv},
eprint = {1609.05283},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarperA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/epjds/AlthouseSMABBBC15,
author = {Benjamin M. Althouse and
Samuel V. Scarpino and
Lauren Ancel Meyers and
John W. Ayers and
Marisa Bargsten and
Joan Baumbach and
John S. Brownstein and
Lauren Castro and
Hannah E. Clapham and
Derek A. T. Cummings and
Sara Y. Del Valle and
Stephen G. Eubank and
Geoffrey Fairchild and
Lyn Finelli and
Nicholas Generous and
Dylan B. George and
David R. Harper and
Laurent H{\'{e}}bert{-}Dufresne and
Michael A. Johansson and
Kevin J. Konty and
Marc Lipsitch and
Gabriel Milinovich and
Joseph D. Miller and
Elaine O. Nsoesie and
Donald R. Olson and
Michael J. Paul and
Philip M. Polgreen and
Reid Priedhorsky and
Jonathan M. Read and
Isabel Rodr{\'{\i}}guez{-}Barraquer and
Derek J. Smith and
Christian Stefansen and
David L. Swerdlow and
Deborah Thompson and
Alessandro Vespignani and
Amy Wesolowski},
title = {Enhancing disease surveillance with novel data streams: challenges
and opportunities},
journal = {{EPJ} Data Sci.},
volume = {4},
number = {1},
pages = {17},
year = {2015},
url = {https://doi.org/10.1140/epjds/s13688-015-0054-0},
doi = {10.1140/EPJDS/S13688-015-0054-0},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/epjds/AlthouseSMABBBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acssc/HarperROL15,
author = {Andrew D. Harper and
Jeremy T. Reed and
Jonathan L. Odom and
Aaron D. Lanterman},
editor = {Michael B. Matthews},
title = {Performance of a joint radar-communication system in doubly-selective
channels},
booktitle = {49th Asilomar Conference on Signals, Systems and Computers, {ACSSC}
2015, Pacific Grove, CA, USA, November 8-11, 2015},
pages = {1369--1373},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACSSC.2015.7421366},
doi = {10.1109/ACSSC.2015.7421366},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/acssc/HarperROL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/DonnellyHBFEFHM15,
author = {Nicola Donnelly and
Roy Harper and
David Branagh and
Jonathan Francey and
H. Easlea and
Virginia Faro{-}Maza and
Thomas Hunniford and
Andrew Mooney and
James McLaughlin},
title = {Development and integration of a Surveillance Monitoring solution
to provide earlier detection of the deteriorating patient},
booktitle = {37th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
2015},
pages = {1198--1202},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMBC.2015.7318581},
doi = {10.1109/EMBC.2015.7318581},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/DonnellyHBFEFHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/HarperA14,
author = {Jonathan Harper and
Maneesh Agrawala},
editor = {Hrvoje Benko and
Mira Dontcheva and
Daniel Wigdor},
title = {Deconstructing and restyling {D3} visualizations},
booktitle = {The 27th Annual {ACM} Symposium on User Interface Software and Technology,
{UIST} '14, Honolulu, HI, USA, October 5-8, 2014},
pages = {253--262},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642918.2647411},
doi = {10.1145/2642918.2647411},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uist/HarperA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/WolgemuthSHHLAKCMCL13,
author = {Jennifer R. Wolgemuth and
Robert S. Savage and
Janet Helmer and
Helen Harper and
Tess Lea and
Philip C. Abrami and
Adrienne Kirby and
Kalotina Chalkiti and
Peter Morris and
Jonathan R. Carapetis and
William Louden},
title = {{ABRACADABRA} aids Indigenous and non-Indigenous early literacy in
Australia: Evidence from a multisite randomized controlled trial},
journal = {Comput. Educ.},
volume = {67},
pages = {250--264},
year = {2013},
url = {https://doi.org/10.1016/j.compedu.2013.04.002},
doi = {10.1016/J.COMPEDU.2013.04.002},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ce/WolgemuthSHHLAKCMCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jors/BrailsfordBBCCHKPT13,
author = {Sally C. Brailsford and
Timothy Bolt and
Giovanni Bucci and
T. M. Chaussalet and
N. A. D. Connell and
Paul R. Harper and
Jonathan H. Klein and
Martin A. Pitt and
M. Taylor},
title = {Overcoming the barriers: a qualitative study of simulation adoption
in the {NHS}},
journal = {J. Oper. Res. Soc.},
volume = {64},
number = {2},
pages = {157--168},
year = {2013},
url = {https://doi.org/10.1057/jors.2011.130},
doi = {10.1057/JORS.2011.130},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jors/BrailsfordBBCCHKPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simultech/HarperGKSVW13,
author = {Paul R. Harper and
Jonathan W. Gillard and
Vincent A. Knight and
Leanne Smith and
Julie Leanne Vile and
Janet E. Williams},
editor = {Tuncer I. {\"{O}}ren and
Janusz Kacprzyk and
Leifur {\TH}. Leifsson and
Mohammad S. Obaidat and
Slawomir Koziel},
title = {Emergency Medical Services Modelling},
booktitle = {{SIMULTECH} 2013 - Proceedings of the 3rd International Conference
on Simulation and Modeling Methodologies, Technologies and Applications,
Reykjav{\'{\i}}k, Iceland, 29-31 July, 2013},
pages = {549--555},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004538705490555},
doi = {10.5220/0004538705490555},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simultech/HarperGKSVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jors/VileGHK12,
author = {Julie Leanne Vile and
Jonathan W. Gillard and
Paul R. Harper and
Vincent A. Knight},
title = {Predicting ambulance demand using singular spectrum analysis},
journal = {J. Oper. Res. Soc.},
volume = {63},
number = {11},
pages = {1556--1565},
year = {2012},
url = {https://doi.org/10.1057/jors.2011.160},
doi = {10.1057/JORS.2011.160},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jors/VileGHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/KamilCBCGHMF12,
author = {Shoaib Kamil and
Derrick Coetzee and
Scott Beamer and
Henry Cook and
Ekaterina Gonina and
Jonathan Harper and
Jeffrey Morlan and
Armando Fox},
editor = {J. Ramanujam and
P. Sadayappan},
title = {Portable parallel performance from sequential, productive, embedded
domain-specific languages},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA,
February 25-29, 2012},
pages = {303--304},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2145816.2145865},
doi = {10.1145/2145816.2145865},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppopp/KamilCBCGHMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/KelleyGHBWHPPPLMAOHW10,
author = {Rowena Y. Kelley and
Cathy R. Gresham and
Jonathan Harper and
Susan M. Bridges and
Marilyn Warburton and
Leigh K. Hawkins and
Olga Pechanova and
Bela Peethambaran and
Tibor Pechan and
Dawn S. Luthe and
J. E. Mylroie and
Arunkanth Ankala and
Seval Ozkan and
W. B. Henry and
W. Paul Williams},
title = {Integrated database for identifying candidate genes for Aspergillus
flavus resistance in maize},
journal = {{BMC} Bioinform.},
volume = {11},
number = {{S-6}},
pages = {S25},
year = {2010},
url = {https://doi.org/10.1186/1471-2105-11-S6-S25},
doi = {10.1186/1471-2105-11-S6-S25},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/KelleyGHBWHPPPLMAOHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/HarperNMWBK08,
author = {Roy Harper and
Peter Nicholl and
Michael F. McTear and
Jonathan G. Wallace and
Lesley{-}Ann Black and
Patricia M. Kearney},
title = {Automated Phone Capture of Diabetes Patients Readings with Consultant
Monitoring via the Web},
booktitle = {15th Annual {IEEE} International Conference and Workshop on Engineering
of Computer Based Systems {(ECBS} 2008), 31 March - 4 April 2008,
Belfast, Northern Ireland},
pages = {219--226},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ECBS.2008.31},
doi = {10.1109/ECBS.2008.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/HarperNMWBK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/State05a,
author = {Radu State},
title = {Review of "Gray Hat Hacking: The Ethical Hacker's Handbook by Shon
Harris, Allen Harper, Chris Eagle, Jonathan Ness, and Michael Lester"},
journal = {{ACM} Queue},
volume = {3},
number = {6},
pages = {60},
year = {2005},
url = {https://doi.org/10.1145/1080862.1080879},
doi = {10.1145/1080862.1080879},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/State05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/CastlemanHHKLN01,
author = {Wendy A. Castleman and
Richard Harper and
Steven Herbst and
Jonathan Kies and
Sean Lane and
Jens Nagel},
editor = {Marilyn Mantai Tremaine},
title = {The impact of mobile technologies on everyday life},
booktitle = {{CHI} 2001 Extended Abstracts on Human Factors in Computing Systems,
{CHI} Extended Abstracts 2001, Seattle, Washington, USA, March 31
- April 5, 2001},
pages = {227--228},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/634067.634202},
doi = {10.1145/634067.634202},
timestamp = {Tue, 15 Jun 2021 16:10:41 +0200},
biburl = {https://dblp.org/rec/conf/chi/CastlemanHHKLN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/JoseFH98,
author = {Joemon M. Jose and
Jonathan Furner and
David J. Harper},
editor = {W. Bruce Croft and
Alistair Moffat and
C. J. van Rijsbergen and
Ross Wilkinson and
Justin Zobel},
title = {Spatial Querying for Image Retrieval: {A} User-Oriented Evaluation},
booktitle = {{SIGIR} '98: Proceedings of the 21st Annual International {ACM} {SIGIR}
Conference on Research and Development in Information Retrieval, August
24-28 1998, Melbourne, Australia},
pages = {232--240},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/290941.291000},
doi = {10.1145/290941.291000},
timestamp = {Tue, 06 Nov 2018 11:07:23 +0100},
biburl = {https://dblp.org/rec/conf/sigir/JoseFH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-13 12:20 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
