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 31 matches
- 2024
- Mia Filic, Jonas Hofmann, Sam A. Markelon, Kenneth G. Paterson, Anupama Unnikrishnan:
Probabilistic Data Structures in the Wild: A Security Analysis of Redis. IACR Cryptol. ePrint Arch. 2024: 1312 (2024) - 2022
- Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law:
Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. 218: 102809 (2022) - Giovanni Casini, Thomas Meyer, Guy Paterson-Jones, Ivan Varzinczak:
KLM-Style Defeasibility for Restricted First-Order Logic. RuleML+RR 2022: 81-94 - 2021
- Kirsty A. Jones, Craig A. Paterson, D. J. Hamilton, A. D. Small, W. Martin, J. Robinson, N. E. R. Goodfield:
Optimising approximate entropy for assessing cardiac dyssynchrony with radionuclide ventriculography. Biomed. Signal Process. Control. 68: 102703 (2021) - Shangpeng Sun, Changying Li, Peng W. Chee, Andrew H. Paterson, Cheng Meng, Jingyi Zhang, Ping Ma, Jon S. Robertson, Jeevan Adhikari:
High resolution 3D terrestrial LiDAR for cotton plant main stalk and node detection. Comput. Electron. Agric. 187: 106276 (2021) - R. Acciarri, Corey Adams, C. Andreopoulos, J. Asaadi, M. Babicz, C. Backhouse, W. Badgett, L. Bagby, D. Barker, V. Basque, M. C. Q. Bazetto, M. Betancourt, A. Bhanderi, A. Bhat, C. Bonifazi, D. Brailsford, A. G. Brandt, T. Brooks, M. F. Carneiro, Y. Chen, H. Chen, G. Chisnall, J. I. Crespo-Anadón, E. Cristaldo, C. Cuesta, I. L. de Icaza Astiz, A. De Roeck, G. de Sá Pereira, M. Del Tutto, Vito Di Benedetto, A. Ereditato, J. J. Evans, A. C. Ezeribe, R. S. Fitzpatrick, B. T. Fleming, W. Foreman, D. Franco, I. Furic, A. P. Furmanski, S. Gao, D. Garcia-Gamez, H. Frandini, G. Ge, I. Gil-Botella, S. Gollapinni, O. Goodwin, P. Green, W. C. Griffith, R. Guenette, P. Guzowski, T. Ham, J. Henzerling, A. Holin, B. Howard, R. S. Jones, D. Kalra, G. Karagiorgi, L. Kashur, W. Ketchum, M. J. Kim, V. A. Kudryavtsev, J. Larkin, H. Lay, I. Lepetic, B. R. Littlejohn, W. C. Louis, A. A. Machado, M. Malek, D. Mardsen, Camillo Mariani, F. Marinho, A. Mastbaum, K. Mavrokoridis, N. McConkey, V. Meddage, D. P. Méndez, Thomas Mettler, K. Mistry, A. Mogan, J. Molina, M. Mooney, L. Mora, C. A. Moura, Joel Mousseau, A. Navrer-Agasson, F. J. Nicolas-Arnaldos, Jaroslaw A. Nowak, O. Palamara, V. Pandey, J. Pater, L. Paulucci, V. L. Pimentel, F. Psihas, G. Putnam, X. Qian, E. Raguzin, H. Ray, M. Reggiani-Guzzo, D. Rivera, M. Roda, M. Ross-Lonergan, G. Scanavini, A. Scarff, D. W. Schmitz, A. Schukraft, E. Segreto, M. Soares Nunes, M. Soderberg, S. Söldner-Rembold, J. Spitz, N. J. C. Spooner, M. Stancari, G. V. Stenico, A. Szelc, W. Tang, J. Tena Vidal, D. Torretta, M. Toups, C. Touramanis, M. Tripathi, S. Tufanli, E. Tyley, G. A. Valdiviesso, E. Worcester, M. Worcester, G. Yarbrough, J. Yu, Bruno Zamorano, J. Zennamo, A. Zglam:
Cosmic Ray Background Removal With Deep Neural Networks in SBND. Frontiers Artif. Intell. 4: 649917 (2021) - Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law:
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR abs/2106.06604 (2021) - 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) - Guy Paterson-Jones, Giovanni Casini, Thomas Meyer:
A Boolean Extension of KLM-Style Conditional Reasoning. SACAIR 2020: 236-252 - 2019
- Shangpeng Sun, Changying Li, Andrew H. Paterson, Peng W. Chee, Jon S. Robertson:
Image processing algorithms for infield single cotton boll counting and yield prediction. Comput. Electron. Agric. 166 (2019) - Jon Bertram, Asfand Tanwear, Aurelio Rodríguez, Gary Paterson, Stephen McVitie, Hadi Heidari:
Spin-Hall Nano-Oscillator Simulations. IEEE SENSORS 2019: 1-4 - 2017
- Kyle M. L. Jones:
Learning Analytics and Its Paternalistic Influences. HCI (26) 2017: 281-292 - 2016
- Jonathan Lazar, Julio Abascal, Simone D. J. Barbosa, Jeremy T. Barksdale, Batya Friedman, Jens Grossklags, Jan Gulliksen, Jeff A. Johnson, Tom McEwan, Loïc Martínez Normand, Wibke Michalk, Janice Y. Tsai, Gerrit C. van der Veer, Hans von Axelson, Åke Walldius, Gill Whitney, Marco Winckler, Volker Wulf, Elizabeth F. Churchill, Lorrie Faith Cranor, Janet Davis, Alan Hedge, Harry Hochheiser, Juan Pablo Hourcade, Clayton Lewis, Lisa P. Nathan, Fabio Paternò, Blake Reid, Whitney Quesenbery, Ted Selker, Brian Wentz:
Human-Computer Interaction and International Public Policymaking: A Framework for Understanding and Taking Future Actions. Found. Trends Hum. Comput. Interact. 9(2): 69-149 (2016) - Josh Veitch-Michaelis, Yu Tao, Dave Walton, Jan-Peter Müller, Benjamin Crutchley, Jonathan Storey, Chris Paterson, Andrew Chown:
Crack Detection in "As-Cast" Steel Using Laser Triangulation and Machine Learning. CRV 2016: 342-349 - Fabio Paternò, Kaisa Väänänen, Karen Church, Jonna Häkkilä, Antonio Krüger, Marcos Serrano:
Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2016, Florence, Italy, September 6-9, 2016. ACM 2016, ISBN 978-1-4503-4408-1 [contents] - Fabio Paternò, Kaisa Väänänen, Karen Church, Jonna Häkkilä, Antonio Krüger, Marcos Serrano:
Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016, Florence, Italy, September 6-9, 2016. ACM 2016, ISBN 978-1-4503-4413-5 [contents] - 2015
- David Paterson, Jonathan Turner, Thomas D. White, Gordon Fraser:
Parameter Control in Search-Based Generation of Unit Test Suites. SSBSE 2015: 141-156 - 2012
- Jonathan Lazar, Julio Abascal, Janet Davis, Vanessa Evers, Jan Gulliksen, Joaquim A. Jorge, Tom McEwan, Fabio Paternò, Hans Persson, Raquel Oliveira Prates, Hans von Axelson, Marco Winckler, Volker Wulf:
HCI public policy activities in 2012: a 10-country discussion. Interactions 19(3): 78-81 (2012) - 2003
- Saverio M. Maviglia, Rita D. Zielstorff, Marilyn D. Paterno, Jonathan M. Teich, David W. Bates, Gilad J. Kuperman:
Application of Information Technology: Automating Complex Guidelines for Chronic Disease: Lessons Learned. J. Am. Medical Informatics Assoc. 10(2): 154-165 (2003) - Julie A. Greim, Caroline Shek, Linda Jones, Robert Macauley, Marilyn D. Paterno, Barry Blumenfeld, Gilad J. Kuperman:
Enterprise-wide Drug-Drug Interaction Alerting System. AMIA 2003 - 2000
- Kenneth G. Paterson, Alan E. Jones:
Efficient decoding algorithms for generalized Reed-Muller codes. IEEE Trans. Commun. 48(8): 1272-1285 (2000) - Susan A. Abookire, Jonathan M. Teich, Heidi Sandige, Marilyn D. Paterno, Martha T. Martin, Gilad J. Kuperman, David W. Bates:
Improving allergy alerting in a computerized physician order entry system. AMIA 2000 - 1999
- Mark Segal, Rita D. Zielstorff, Jonathan M. Teich, Marilyn D. Paterno, Roberta L. Fox:
Dialog Manager: A High-Level Tool for Creating, Storing and Executing User-Computer Dialogs. AMIA 1999 - Gordon Stegink, Jon Pater, Daron Vroon:
Computer science and general education: Java, graphics, and the Web. SIGCSE 1999: 146-149 - 1998
- Kenneth G. Paterson, Jonathan Tuliani:
Some New Circuit Codes. IEEE Trans. Inf. Theory 44(3): 1305-1309 (1998) - Marilyn D. Paterno, Rita D. Zielstorff, Jonathan M. Teich, Mark Segal, Roberta L. Fox:
Protocols, Pathways, and Practice Guidelines: Defining Multiple Step Clinical Algorithms for Automated Navigation. AMIA 1998 - Rita D. Zielstorff, Jonathan M. Teich, Marilyn D. Paterno, Mark Segal, Gilad J. Kuperman, Frederick L. Hiltz, Roberta L. Fox:
P-CAPE: a high-level tool for entering and processing clinical practice guidelines. Partners Computerized Algorithm and Editor. AMIA 1998 - 1997
- Michael J. Franklin, Dean F. Sittig, Marilyn D. Paterno, Mark Segal, Rita D. Zielstorff, Jonathan M. Teich:
An Easy to Use Tool for Creating and Maintaining User Dialogs. AMIA 1997 - 1996
- Simon Buckingham Shum, Ann Blandford, David J. Duke, Jason Good, Jon May, Fabio Paternò, Richard M. Young:
Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study. BCS HCI 1996: 201-219 - 1995
- Fabio Paternò, M. S. Sciacchitano, Jonas Löwgren:
A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications. DSV-IS 1995: 35-53
skipping 1 more match
loading more results
failed to load more results, please try again later
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-15 14:14 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