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
Exact matches
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 21 matches
- 2023
- Adam Frankish, Silvia Carbonell Sala, Mark Diekhans, Irwin Jungreis, Jane E. Loveland, Jonathan M. Mudge, Cristina Sisu, James C. Wright, Carme Arnan, If Barnes, Abhimanyu Banerjee, Ruth Bennett, Andrew E. Berry, Alexandra Bignell, Carles Boix, Ferriol Calvet Riera, Daniel Cerdán-Vélez, Fiona Cunningham, Claire Davidson, Sarah M. Donaldson, Cagatay Dursun, Reham Fatima, Stefano Giorgetti, Carlos García-Girón, Jose M. Gonzalez, Matthew Hardy, Peter W. Harrison, Thibaut Hourlier, Zoe Hollis, Toby Hunt, Benjamin James, Yunzhe Jiang, Rory Johnson, Mike P. Kay, Julien Lagarde, Fergal J. Martin, Laura Martínez Gómez, Surag Nair, Pengyu Ni, Fernando Pozo, Vivek Ramalingam, Magali Ruffier, Bianca M. Schmitt, Jacob M. Schreiber, Emily Steed, Marie-Marthe Suner, Dulika Sumathipala, Irina Sycheva, Barbara Uszczynska-Ratajczak, Elizabeth Wass, Yucheng T. Yang, Andrew D. Yates, Zahoor Zafrulla, Jyoti Choudhary, Mark Gerstein, Roderic Guigó, Tim J. P. Hubbard, Manolis Kellis, Anshul Kundaje, Benedict Paten, Michael L. Tress, Paul Flicek:
GENCODE: reference annotation for the human and mouse genomes in 2023. Nucleic Acids Res. 51(D1): 942-949 (2023) - Fergal J. Martin, M. Ridwan Amode, Alisha Aneja, Olanrewaju Austine-Orimoloye, Andrey G. Azov, If Barnes, Arne Becker, Ruth Bennett, Andrew E. Berry, Jyothish Bhai, Simarpreet Kaur Bhurji, Alexandra Bignell, Sanjay Boddu, Paulo R. B. Lins, Lucy Brooks, Shashank Budhanuru Ramaraju, Mehrnaz Charkhchi, Alexander Cockburn, Luca Da Rin Fioretto, Claire Davidson, Kamalkumar Jayantilal Dodiya, Sarah M. Donaldson, Bilal El Houdaigui, Tamara El Naboulsi, Reham Fatima, Carlos García-Girón, Thiago Augusto Lopes Genez, Gurpreet S. Ghattaoraya, Jose Gonzalez Martinez, Cristi Guijarro, Matthew Hardy, Zoe Hollis, Thibaut Hourlier, Toby Hunt, Mike P. Kay, Vinay Kaykala, Tuan Le, Diana Lemos, Diego Marques-Coelho, José Carlos Marugán, Gabriela Alejandra Merino, Louisse Paola Mirabueno, Aleena Mushtaq, Syed Nakib Hossain, Denye N. Ogeh, Manoj Pandian Sakthivel, Anne Parker, Malcolm Perry, Ivana Pilizota, Irina Prosovetskaia, José G. Pérez-Silva, Ahamed Imran Abdul Salam, Nuno Saraiva-Agostinho, Helen Schuilenburg, Dan Sheppard, Swati Sinha, Botond Sipos, William Stark, Emily Steed, Ranjit Sukumaran, Dulika Sumathipala, Marie-Marthe Suner, Likhitha Surapaneni, Kyösti Sutinen, Michal Szpak, Francesca Floriana Tricomi, David Urbina-Gómez, Andres Veidenberg, Thomas A. Walsh, Brandon Walts, Elizabeth Wass, Natalie L. Willhoft, Jamie Allen, Jorge Álvarez-Jarreta, Marc Chakiachvili, Bethany Flint, Stefano Giorgetti, Leanne Haggerty, Garth R Ilsley, Jane E. Loveland, Benjamin Moore, Jonathan M. Mudge, John G. Tate, David Thybert, Stephen J. Trevanion, Andrea Winterbottom, Adam Frankish, Sarah E. Hunt, Magali Ruffier, Fiona Cunningham, Sarah Dyer, Robert D. Finn, Kevin L. Howe, Peter W. Harrison, Andrew D. Yates, Paul Flicek:
Ensembl 2023. Nucleic Acids Res. 51(D1): 933-941 (2023) - Joseph Day, I. A. Grant Wilson, Daniel L. Donaldson, Edward Barbour, Bruno Cárdenas, Christopher R. Jones, Andrew J. Urquhart, Seamus D. Garvey:
Estimating Primary Substation Boundaries and the Value of Mapping the Electrical Network Infrastructure of Great Britain. CoRR abs/2311.03324 (2023) - 2022
- Manuel S. Alvarez-Alvarado, Daniel L. Donaldson, Angel A. Recalde, Holguer H. Noriega, Zafar Ali Khan, Washington Velasquez, Carlos D. Rodriguez-Gallegos:
Power System Reliability and Maintenance Evolution: A Critical Review and Future Perspectives. IEEE Access 10: 51922-51950 (2022) - Fiona Cunningham, James E. Allen, Jamie Allen, Jorge Álvarez-Jarreta, M. Ridwan Amode, Irina M. Armean, Olanrewaju Austine-Orimoloye, Andrey G. Azov, If Barnes, Ruth Bennett, Andrew E. Berry, Jyothish Bhai, Alexandra Bignell, Konstantinos Billis, Sanjay Boddu, Lucy Brooks, Mehrnaz Charkhchi, Carla A. Cummins, Luca Da Rin Fioretto, Claire Davidson, Kamalkumar Jayantilal Dodiya, Sarah M. Donaldson, Bilal El Houdaigui, Tamara El Naboulsi, Reham Fatima, Carlos García-Girón, Thiago A. L. Genez, Jose Gonzalez Martinez, Cristina Guijarro-Clarke, Arthur Gymer, Matthew Hardy, Zoe Hollis, Thibaut Hourlier, Toby Hunt, Thomas Juettemann, Vinay Kaikala, Mike P. Kay, Ilias Lavidas, Tuan Le, Diana Lemos, José Carlos Marugán, Shamika Mohanan, Aleena Mushtaq, Marc Naven, Denye N. Oheh, Anne Parker, Andrew Parton, Malcolm Perry, Ivana Pilizota, Irina Prosovetskaia, Manoj Pandian Sakthivel, Ahamed Imran Abdul Salam, Bianca M. Schmitt, Helen Schuilenburg, Dan Sheppard, José G. Pérez-Silva, William Stark, Emily Steed, Kyösti Sutinen, Ranjit Sukumaran, Dulika Sumathipala, Marie-Marthe Suner, Michal Szpak, Anja Thormann, Francesca Floriana Tricomi, David Urbina-Gómez, Andres Veidenberg, Thomas A. Walsh, Brandon Walts, Natalie L. Willhoft, Andrea Winterbottom, Elizabeth Wass, Marc Chakiachvili, Bethany Flint, Adam Frankish, Stefano Giorgetti, Leanne Haggerty, Sarah E. Hunt, Garth IIsley, Jane E. Loveland, Fergal J. Martin, Benjamin Moore, Jonathan M. Mudge, Matthieu Muffato, Emily Perry, Magali Ruffier, John G. Tate, David Thybert, Stephen J. Trevanion, Sarah Dyer, Peter W. Harrison, Kevin L. Howe, Andrew D. Yates, Daniel R. Zerbino, Paul Flicek:
Ensembl 2022. Nucleic Acids Res. 50(D1): 988-995 (2022) - Daniel L. Donaldson, Dilan Jayaweera:
Integrating Geospatial Data for Weather Station Selection and Enhanced Electric Load Forecasting. ISGT 2022: 1-5 - 2021
- Daniel L. Donaldson, David M. Piper, Dilan Jayaweera:
Temporal Solar Photovoltaic Generation Capacity Reduction From Wildfire Smoke. IEEE Access 9: 79841-79852 (2021) - Adam Frankish, Mark Diekhans, Irwin Jungreis, Julien Lagarde, Jane E. Loveland, Jonathan M. Mudge, Cristina Sisu, James C. Wright, Joel Armstrong, If Barnes, Andrew E. Berry, Alexandra Bignell, Carles Boix, Silvia Carbonell Sala, Fiona Cunningham, Tomás Di Domenico, Sarah M. Donaldson, Ian T. Fiddes, Carlos García-Girón, Jose M. Gonzalez, Tiago Grego, Matthew Hardy, Thibaut Hourlier, Kevin L. Howe, Toby Hunt, Osagie G. Izuogu, Rory Johnson, Fergal J. Martin, Laura Martínez, Shamika Mohanan, Paul Muir, Fabio C. P. Navarro, Anne Parker, Baikang Pei, Fernando Pozo, Ferriol Calvet Riera, Magali Ruffier, Bianca M. Schmitt, Eloise Stapleton, Marie-Marthe Suner, Irina Sycheva, Barbara Uszczynska-Ratajczak, Maxim Y. Wolf, Jinrui Xu, Yucheng T. Yang, Andrew D. Yates, Daniel R. Zerbino, Yan Zhang, Jyoti Choudhary, Mark Gerstein, Roderic Guigó, Tim J. P. Hubbard, Manolis Kellis, Benedict Paten, Michael L. Tress, Paul Flicek:
GENCODE 2021. Nucleic Acids Res. 49(Database-Issue): D916-D923 (2021) - 2019
- Adam Frankish, Mark Diekhans, Anne-Maud Ferreira, Rory Johnson, Irwin Jungreis, Jane E. Loveland, Jonathan M. Mudge, Cristina Sisu, James C. Wright, Joel Armstrong, If Barnes, Andrew E. Berry, Alexandra Bignell, Silvia Carbonell Sala, Jacqueline Chrast, Fiona Cunningham, Tomás Di Domenico, Sarah M. Donaldson, Ian T. Fiddes, Carlos García-Girón, Jose M. Gonzalez, Tiago Grego, Matthew Hardy, Thibaut Hourlier, Toby Hunt, Osagie G. Izuogu, Julien Lagarde, Fergal J. Martin, Laura Martínez, Shamika Mohanan, Paul Muir, Fabio C. P. Navarro, Anne Parker, Baikang Pei, Fernando Pozo, Magali Ruffier, Bianca M. Schmitt, Eloise Stapleton, Marie-Marthe Suner, Irina Sycheva, Barbara Uszczynska-Ratajczak, Jinrui Xu, Andrew D. Yates, Daniel R. Zerbino, Yan Zhang, Bronwen L. Aken, Jyoti Choudhary, Mark Gerstein, Roderic Guigó, Tim J. P. Hubbard, Manolis Kellis, Benedict Paten, Alexandre Reymond, Michael L. Tress, Paul Flicek:
GENCODE reference annotation for the human and mouse genomes. Nucleic Acids Res. 47(Database-Issue): D766-D773 (2019) - Daniel Cardoso Llach, Scott Donaldson:
An Experimental Archaeology of CAD - Using Software Reconstruction to Explore the Past and Future of Computer-Aided Design. CAAD Futures 2019: 105-119 - Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett:
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. ESEC/SIGSOFT FSE 2019: 521-532 - 2017
- Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle:
Floating-point symbolic execution: a case study in n-version programming. ASE 2017: 601-612 - 2016
- Daniel Liew, Cristian Cadar, Alastair F. Donaldson:
Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST 2016: 45-56 - 2015
- Prashila Dullabh, Katherine Donaldson, Melissa M. Goldstein, Jane H. Thorpe, Kathryn Li, Daniel Bowers:
Innovative Methods for Obtaining and Managing Patient Consent for Patient Centered Outcomes Research. AMIA 2015 - 2014
- Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer:
Engineering a Static Verification Tool for GPU Kernels. CAV 2014: 226-242 - 2012
- Daryl H. Hepting, Gerry Donaldson, Peter R. King, Daniel L. Silver:
CS/IT outreach from a Canadian perspective. SIGITE Conference 2012: 251-252 - 2011
- Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer:
Software Verification Using k-Induction. SAS 2011: 351-368 - Alastair F. Donaldson, Leopold Haller, Daniel Kroening:
Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI 2011: 169-183 - 2010
- Laura Moss, Derek H. Sleeman, Malcolm Sim, Malcolm Booth, Malcolm Daniel, Lyndsay Donaldson, Charlotte J. Gilhooly, Martin Hughes, John Kinsella:
Ontology-driven hypothesis generation to explain anomalous patient responses to treatment. Knowl. Based Syst. 23(4): 309-315 (2010) - 2009
- Laura Moss, Derek H. Sleeman, Malcolm Booth, Malcolm Daniel, Lyndsay Donaldson, Charlotte J. Gilhooly, Martin Hughes, Malcolm Sim, John Kinsella:
Explaining Anomalous Responses to Treatment in the Intensive Care Unit. AIME 2009: 250-254 - Laura Moss, Derek H. Sleeman, Malcolm Sim, Malcolm Booth, Malcolm Daniel, Lyndsay Donaldson, Charlotte J. Gilhooly, Martin Hughes, John Kinsella:
Ontology-Driven Hypothesis Generation to Explain Anomalous Patient Responses to Treatment. SGAI Conf. 2009: 63-76
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-12-13 07:59 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