![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 44 matches
- 2024
- Harrison Grodin
, Yue Niu
, Jonathan Sterling
, Robert Harper
:
Decalf: A Directed, Effectful Cost-Aware Logical Framework. Proc. ACM Program. Lang. 8(POPL): 273-301 (2024) - Yue Niu, Jonathan Sterling, Robert Harper:
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory. CoRR abs/2404.00212 (2024) - 2023
- Harrison Grodin, Robert Harper, Yue Niu, Jonathan Sterling:
Decalf: A Directed, Effectful Cost-Aware Logical Framework. CoRR abs/2307.05938 (2023) - 2022
- Yue Niu
, Jonathan Sterling
, Harrison Grodin
, Robert Harper
:
A cost-aware logical framework. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - Jonathan Sterling
, Robert Harper:
Sheaf Semantics of Termination-Insensitive Noninterference. FSCD 2022: 5:1-5:19 - Jonathan Sterling, Robert Harper:
Sheaf semantics of termination-insensitive noninterference. CoRR abs/2204.09421 (2022) - 2021
- Jonathan Sterling
, Robert Harper
:
Logical Relations as Types: Proof-Relevant Parametricity for Program Modules. J. ACM 68(6): 41:1-41:47 (2021) - Yue Niu, Jonathan Sterling, Harrison Grodin, Robert Harper:
A cost-aware logical framework. CoRR abs/2107.04663 (2021) - 2020
- Jonathan D. Hron
, Chase R. Parsons, Lee Ann Williams, Marvin B. Harper
, Fabienne C. Bourgeois:
Rapid Implementation of an Inpatient Telehealth Program during the COVID-19 Pandemic. Appl. Clin. Inform. 11(03): 452-459 (2020) - Jonathan Graf
, Whitney Batchelor, Scott J. Harper, Ryan Marlow, Edward Carlisle IV, Peter Athanas:
A practical application of game theory to optimize selection of hardware Trojan detection strategies. J. Hardw. Syst. Secur. 4(2): 98-119 (2020) - Ernest Turro
, William J. Astle
, Karyn Megy, Stefan Gräf, Daniel Greene, Olga Shamardina, Hana Lango Allen, Alba Sanchis-Juan, Mattia Frontini, Chantal Thys, Jonathan Stephens, Rutendo Mapeta, Oliver S. Burren
, Kate Downes, Matthias Haimel
, Salih Tuna, Sri V. V. Deevi, Timothy J. Aitman
, David L. H. Bennett
, Paul Calleja, Keren Carss, Mark J. Caulfield, Patrick F. Chinnery
, Peter H. Dixon, Daniel P. Gale, Roger James
, Ania Koziell, Michael A. Laffan, Adam P. Levine
, Eamonn R. Maher, Hugh S. Markus, Joannella Morales
, Nicholas W. Morrell
, Andrew D. Mumford
, Elizabeth Ormondroyd, Stuart Rankin, Augusto Rendon, Sylvia Richardson, Irene Roberts, Noemi B. A. Roy, Moin A. Saleem, Kenneth G. C. Smith, Hannah Stark, Rhea Y. Y. Tan, Andreas C. Themistocleous
, Adrian J. Thrasher, Hugh Watkins, Andrew R. Webster, Martin R. Wilkins
, Catherine Williamson, James Whitworth, Sean Humphray, David R. Bentley, Stephen Abbs, Lara Abulhoul, Julian Adlard, Munaza Ahmed, Hana Alachkar, David J. Allsup, Jeff Almeida-King, Philip Ancliff, Richard Antrobus, Ruth Armstrong, Gavin Arno, Sofie Ashford, Anthony Attwood, Paul Aurora, Christian Babbs, Chiara Bacchelli, Tamam Bakchoul, Siddharth Banka, Tadbir Bariana, Julian Barwell, Joana Batista, Helen E. Baxendale, Phil L. Beales, Agnieszka Bierzynska, Tina Biss, Maria A. K. Bitner-Glindzicz, Graeme C. M. Black
, Marta Bleda, Iulia Blesneac, Detlef Bockenhauer, Harm Bogaard, Christian J. Bourne, Sara Boyce, John R. Bradley
, Eugene Bragin, Gerome Breen, Paul Brennan, Carole Brewer, Matthew Brown, Andrew C. Browning, Michael J. Browning, Rachel J. Buchan
, Matthew S. Buckland, Teofila Bueser, Carmen Bugarin Diz, John Burn, Siobhan O. Burns, Nigel Burrows, Carolyn Campbell, Gerald Carr-White, Ruth Casey, Jenny Chambers, John Chambers, Melanie M. Y. Chan, Calvin Cheah, Floria Cheng, Manali Chitre, Martin T. Christian, Colin Church, Jill Clayton-Smith, Maureen Cleary, Naomi Clements Brod, Gerry Coghlan, Elizabeth Colby, Trevor R. P. Cole, Janine Collins, Peter W. Collins, Camilla Colombo, Cecilia J. Compton, Robin Condliffe, Stuart A. Cook, H. Terence Cook, Nichola Cooper, Paul A. Corris, Abigail Furnell, Fiona Cunningham, Nicola S. Curry, Antony J. Cutler, Matthew J. Daniels, Mehul Dattani, Louise C. Daugherty
, John Davis, Anthony De Soyza, Timothy Dent, Charu Deshpande, Eleanor F. Dewhurst, Sofia Douzgou, Anna M. Drazyk, Elizabeth Drewe, Daniel Duarte, Tina Dutt, J. David M. Edgar, Karen Edwards, William Egner, Melanie N. Ekani, Perry Elliott
, Wendy N. Erber, Marie Erwood, Maria C. Estiu, Dafydd Gareth Evans
, Gillian Evans, Tamara Everington, Mélanie Eyries, Hiva Fassihi, Remi Favier, Jack Findhammer, Debra Fletcher, Frances A. Flinter, R. Andres Floto, Tom Fowler, James Fox, Amy J. Frary, Courtney E. French, Kathleen Freson
, Henning Gall, Vijeya Ganesan, Michael Gattens, Claire Geoghegan, Terence S. A. Gerighty, Ali G. Gharavi, Stefano Ghio, Hossein-Ardeschir Ghofrani, J. Simon R. Gibbs, Kate Gibson, Kimberly C. Gilmour, Barbara Girerd, Nicholas S. Gleadall, Sarah Goddard, David B. Goldstein, Keith Gomez, Pavels Gordins, David Gosal, Jodie Graham, Luigi Grassi, Lynn Greenhalgh, Andreas Greinacher, Paolo Gresele, Philip Griffiths, Sofia Grigoriadou, Russell J. Grocock, Detelina Grozeva, Mark Gurnell, Scott Hackett, Charaka Hadinnapola, William M. Hague, Rosie Hague, Matthew Hall, Helen L. Hanson, Eshika Haque, Kirsty Harkness, Andrew R. Harper, Claire L. Harris, Daniel Hart, Ahamad Hassan, Grant Hayman, Alex Henderson, Archana Herwadkar, Jonathan Hoffman, Simon Holden, Rita Horvath
, Henry Houlden, Arjan C. Houweling, Luke S. G. E. Howard, Fengyuan Hu, Gavin Hudson, Joseph Hughes, Aarnoud P. Huissoon, Marc Humbert, Sarah Hunter, Matthew E. Hurles, Melita Irving, Louise Izatt, Sally A. Johnson, Stephen Jolles, Jennifer Jolley, Dragana Josifova, Neringa Jurkute, Tim Karten, Johannes Karten, Mary A. Kasanicki, Hanadi Kazkaz, Rashid Kazmi, Peter Kelleher, Anne M. Kelly, Wilf Kelsall, Carly Kempster, David G. Kiely, Nathalie Kingston, Robert Klima, Nils Koelling
, Myrto Kostadima, Gabor Kovacs, Roman Kreuzhuber, Taco W. Kuijpers, Ajith Kumar, Dinakantha Kumararatne, Manju A. Kurian, Fiona Lalloo, Michele Lambert, Allan Lawrie, D. Mark Layton, Nick Lench, Claire Lentaigne, Tracy Lester, Rachel Linger, Hilary Longhurst, Lorena E. Lorenzo, Eleni Louka, Paul A. Lyons, Rajiv D. Machado, Robert V. MacKenzie Ross, Bella Madan, Jesmeen Maimaris, Samantha Malka, Sarah Mangles, Kevin J. Marchbank, Stephen Marks, Hanns-Ulrich Marschall
, Andrew G. Marshall
, Jennifer Martin, Mary Mathias, Emma Matthews, Heather Maxwell, Paul McAlinden, Mark I. McCarthy, Harriet McKinney, Aoife McMahon
, Stuart Meacham, Adam J. Mead, Ignacio Medina Castello, Sarju G. Mehta, Michel Michaelides, Carolyn Millar, Shehla N. Mohammed, Shahin Moledina, David Montani, Anthony T. Moore, Monika Mozere, Keith W. Muir, Andrea H. Nemeth
, William G. Newman, Michael Newnham, Sadia Noorani, Paquita Nurden, Jennifer O'Sullivan, Samya Obaji, Chris Odhams, Steven Okoli, Andrea Olschewski
, Horst Olschewski, Kai Ren Ong, S. Helen Oram, Willem H. Ouwehand
, Claire Palles, Sofia Papadia, Soo-Mi Park, David Parry, Smita Patel, Joan Paterson, Andrew Peacock, Simon H. Pearce, John Peden, Kathelijne Peerlinck, Christopher J. Penkett, Joanna Pepke-Zaba, Romina Petersen, Clarissa Pilkington, Kenneth E. S. Poole, Radhika Prathalingam, Bethan Psaila, Angela Pyle, Richard Quinton, Shamima Rahman, Anupama Rao, F. Lucy Raymond, Paula J. Rayner-Matthews, Christine Rees, Tara Renton, Christopher J. Rhodes, Andrew S. C. Rice, Alex Richter, Leema Robert, Anthony Rogers, Sarah J. Rose, Robert Ross-Russell, Catherine Roughley, Deborah M. Ruddy, Omid Sadeghi-Alavijeh, Nilesh J. Samani, Crina Samarghitean, Ravishankar B. Sargur, Robert N. Sarkany, Simon Satchell, Sinisa Savic, John A. Sayer, Genevieve Sayer, Laura Scelsi, Andrew M. Schaefer, Sol Schulman, Richard Scott, Marie Scully, Claire Searle, Werner Seeger, Arjune Sen, W. A. Carrock Sewell, Denis Seyres, Neil Shah, Susan E. Shapiro, Adam C. Shaw, Patrick J. Short, Keith Sibson, Lucy Side, Ilenia Simeoni, Michael A. Simpson, Matthew C. Sims, Suthesh Sivapalaratnam, Damian Smedley, Katherine R. Smith, Katie Snape, Nicole Soranzo
, Florent Soubrier, Laura Southgate, Olivera Spasic-Boskovic, Simon Staines, Emily Staples, Charles A. Steward
, Kathleen E. Stirrups, Alex Stuckey, Jay Suntharalingam, Emilia M. Swietlik, Petros Syrris, R. Campbell Tait, Kate Talks, Katie Tate, John M. Taylor, Jenny C. Taylor
, James E. Thaventhiran, Ellen Thomas, David Thomas, Moira J. Thomas, Patrick Thomas, Kate Thomson, Glen Threadgold, Tobias Tilly, Marc Tischkowitz, Catherine Titterton, John A. Todd
, Cheng-Hock Toh, Bas Tolhuis, Ian P. Tomlinson, Mark Toshner, Matthew Traylor, Carmen Treacy, Paul Treadaway, Richard Trembath, Wojciech Turek, Philip Twiss, Tom Vale, Chris Van Geet, Natalie van Zuydam, Maarten Vandekuilen, Anthony M. Vandersteen, Marta Vazquez-Lopez, Julie von Ziegenweidt, Anton Vonk-Noordegraaf, Annette Wagner, Quinten Waisfisz, Suellen M. Walker, Neil Walker
, Klaudia Walter, James S. Ware
, Christopher Watt, Lucy Wedderburn, Wei Wei, Steven B. Welch, Julie Wessels, Sarah K. Westbury, John-Paul Westwood, John Wharton, Deborah Whitehorn, Andrew O. M. Wilkie, Brian T. Wilson, Edwin K. S. Wong, Nicholas W. Wood
, Yvette Wood, Christopher Geoffrey Woods, Emma R. Woodward, Stephen J. Wort, Austen Worth, Michael Wright, Katherine Yates, Patrick F. K. Yong, Timothy Young, Ping Yu, Patrick Yu-Wai-Man, Eliska Zlamalova:
Whole-genome sequencing of patients with rare diseases in a national health system. Nat. 583(7814): 96-102 (2020) - Max P. Austin
, Mario Y. Harper, Jason M. Brown
, Emmanuel G. Collins Jr., Jonathan E. Clark
:
Navigation for Legged Mobility: Dynamic Climbing. IEEE Trans. Robotics 36(2): 537-544 (2020) - Jonathan Sterling
, Robert Harper:
Logical Relations as Types: Proof-Relevant Parametricity for Program Modules. CoRR abs/2010.08599 (2020) - Mike Wu, Jonathan Nafziger, Anthony Scodary, Andrew Maas:
HarperValleyBank: A Domain-Specific Spoken Dialog Corpus. CoRR abs/2010.13929 (2020) - 2019
- Jonathan R. Bull
, Simon P. Rowland, Elina Berglund Scherwitzl, Raoul Scherwitzl, Kristina Gemzell Danielsson, Joyce Harper:
Real-world menstrual cycle characteristics of more than 600, 000 menstrual cycles. npj Digit. Medicine 2 (2019) - Mario Y. Harper, John V. Nicholson
, Emmanuel G. Collins Jr., Jason L. Pusey, Jonathan E. Clark:
Energy Efficient Navigation for Running Legged Robots. ICRA 2019: 6770-6776 - Arthur Juliani, Ahmed Khalifa
, Vincent-Pierre Berges, Jonathan Harper, Ervin Teng, Hunter Henry, Adam Crespi, Julian Togelius
, Danny Lange:
Obstacle Tower: A Generalization Challenge in Vision, Control, and Planning. IJCAI 2019: 2684-2691 - Arthur Juliani, Ahmed Khalifa, Vincent-Pierre Berges, Jonathan Harper, Hunter Henry, Adam Crespi, Julian Togelius, Danny Lange:
Obstacle Tower: A Generalization Challenge in Vision, Control, and Planning. CoRR abs/1902.01378 (2019) - Vincent A. Knight, Marc Harper, Nikoleta E. Glynatsi, Jonathan W. Gillard:
Recognising and evaluating the effectiveness of extortion in the Iterated Prisoner's Dilemma. CoRR abs/1904.00973 (2019) - 2018
- Jonathan Graham-Harper-Cater
, Benjamin Metcalfe
, Peter Wilson:
An Analytical Comparison of Locally-Connected Reconfigurable Neural Network Architectures Using a C. elegans Locomotive Model. Comput. 7(3): 43 (2018) - Jonathan Harper, Maneesh Agrawala
:
Converting Basic D3 Charts into Reusable Style Templates. IEEE Trans. Vis. Comput. Graph. 24(3): 1274-1286 (2018) - Mario Harper, David Balbuena, Justin Larson, Camilo Ordonez, Gordon Erlebacher, Emmanuel G. Collins Jr., Jonathan E. Clark:
Model Refinement for Terrain Responsive Planning on a Dynamic Running Quadruped. ISER 2018: 645-654 - Jonathan Sterling
, Robert Harper:
Guarded Computational Type Theory. LICS 2018: 879-888 - Carlo Angiuli
, Evan Cavallo
, Kuen-Bang Hou (Favonia), Robert Harper, Jonathan Sterling
:
The RedPRL Proof Assistant (Invited Paper). LFMTP@FSCD 2018: 1-10 - Jonathan Sterling, Robert Harper:
Guarded Computational Type Theory. CoRR abs/1804.09098 (2018) - 2017
- Julie Leanne Vile, Jonathan W. Gillard, Paul R. Harper, Vincent A. Knight:
A Queueing Theoretic Approach to Set Staffing Levels in Time-Dependent Dual-Class Service Systems. Decis. Sci. 48(4): 766-794 (2017) - Hayat Al Mushcab
, William George Kernohan
, Jonathan G. Wallace
, Roy Harper, Suzanne Martin
:
Self-Management of Diabetes Mellitus with Remote Monitoring: A Retrospective Review of 214 Cases. Int. J. E Health Medical Commun. 8(1): 52-61 (2017) - Andrew D. Harper
, Jeremy T. Reed, Jonathan L. Odom, Aaron D. Lanterman, Xiaoli Ma:
Performance of a Linear-Detector Joint Radar-Communication System in Doubly Selective Channels. IEEE Trans. Aerosp. Electron. Syst. 53(2): 703-715 (2017) - Jonathan Sterling, Robert Harper:
Algebraic Foundations of Proof Refinement. CoRR abs/1703.05215 (2017) - 2016
- Jonathan Harper, Maneesh Agrawala:
Converting Basic D3 Charts into Reusable Style Templates. CoRR abs/1609.05283 (2016)
skipping 14 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-07 06:30 CEST 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