default search action
Search dblp for Publications
export results for "Richard Downe"
@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/pacmpl/DownenAJE20, author = {Paul Downen and Zena M. Ariola and Simon Peyton Jones and Richard A. Eisenberg}, title = {Kinds are calling conventions}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{ICFP}}, pages = {104:1--104:29}, year = {2020}, url = {https://doi.org/10.1145/3408986}, doi = {10.1145/3408986}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/DownenAJE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/drc/GrowdenSCWDZDMB19, author = {Tyler A. Growden and David F. Storm and Evan M. Cornuelle and Logan M. Whitaker and Brian P. Downey and Weidong Zhang and Jeffrey W. Daulton and Richard Molnar and Elliott R. Brown and Paul R. Berger and David J. Meyer}, title = {Pulsed characteristics for high current, large area GaN/Ain resonant tunneling diodes}, booktitle = {Device Research Conference, {DRC} 2019, Ann Arbor, MI, USA, June 23-26, 2019}, pages = {145--146}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/DRC46940.2019.9046388}, doi = {10.1109/DRC46940.2019.9046388}, timestamp = {Sat, 06 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/drc/GrowdenSCWDZDMB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-08593, author = {Larkin Liu and Richard Downe and Joshua Reid}, title = {Multi-Armed Bandit Strategies for Non-Stationary Reward Distributions and Delayed Feedback Processes}, journal = {CoRR}, volume = {abs/1902.08593}, year = {2019}, url = {http://arxiv.org/abs/1902.08593}, eprinttype = {arXiv}, eprint = {1902.08593}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-08593.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/SuhSKDMY17, author = {Young{-}Kyoon Suh and Richard T. Snodgrass and John D. Kececioglu and Peter J. Downey and Robert S. Maier and Cheng Yi}, title = {{EMP:} execution time measurement protocol for compute-bound programs}, journal = {Softw. Pract. Exp.}, volume = {47}, number = {4}, pages = {559--597}, year = {2017}, url = {https://doi.org/10.1002/spe.2476}, doi = {10.1002/SPE.2476}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/SuhSKDMY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/neuroimage/MichouWVDMEH15, author = {Emilia Michou and Steve Williams and Rishma Vidyasagar and Darragh Downey and Satish Mistry and Richard A. E. Edden and Shaheen Hamdy}, title = {fMRI and {MRS} measures of neuroplasticity in the pharyngeal motor cortex}, journal = {NeuroImage}, volume = {117}, pages = {1--10}, year = {2015}, url = {https://doi.org/10.1016/j.neuroimage.2015.05.007}, doi = {10.1016/J.NEUROIMAGE.2015.05.007}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/neuroimage/MichouWVDMEH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tmi/ZhangWCZDKS15, author = {Ling Zhang and Andreas Wahle and Zhi Chen and Li Zhang and Richard W. Downe and Tomas Kovarnik and Milan Sonka}, title = {Simultaneous Registration of Location and Orientation in Intravascular Ultrasound Pullbacks Pairs Via 3D Graph-Based Optimization}, journal = {{IEEE} Trans. Medical Imaging}, volume = {34}, number = {12}, pages = {2550--2561}, year = {2015}, url = {https://doi.org/10.1109/TMI.2015.2444815}, doi = {10.1109/TMI.2015.2444815}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tmi/ZhangWCZDKS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/miip/ZhangWCZDKS15, author = {Ling Zhang and Andreas Wahle and Zhi Chen and Li Zhang and Richard W. Downe and Tomas Kovarnik and Milan Sonka}, editor = {S{\'{e}}bastien Ourselin and Martin Andreas Styner}, title = {Joint registration of location and orientation of intravascular ultrasound pullbacks using a 3D graph based method}, booktitle = {Medical Imaging 2015: Image Processing, Orlando, Florida, USA, February 24-26, 2015}, series = {{SPIE} Proceedings}, volume = {9413}, pages = {94131I}, publisher = {{SPIE}}, year = {2015}, url = {https://doi.org/10.1117/12.2081475}, doi = {10.1117/12.2081475}, timestamp = {Tue, 16 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/miip/ZhangWCZDKS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmig/BaloccoGCWRCUSMCKWCEFDCPAMRADK14, author = {Simone Balocco and Carlo Gatta and Francesco Ciompi and Andreas Wahle and Petia Radeva and St{\'{e}}phane G. Carlier and G{\"{o}}zde B. {\"{U}}nal and Elias Sanidas and Josepa Mauri and Xavier Carrillo and Tomas Kovarnik and Ching{-}Wei Wang and Hsiang{-}Chou Chen and Themis P. Exarchos and Dimitrios I. Fotiadis and Fran{\c{c}}ois Destrempes and Guy Cloutier and Oriol Pujol and Marina Alberti and Eduardo Gerardo Mendizabal Ruiz and Mariano Rivera and Timur Aksoy and Richard W. Downe and Ioannis A. Kakadiaris}, title = {Standardized evaluation methodology and reference database for evaluating {IVUS} image segmentation}, journal = {Comput. Medical Imaging Graph.}, volume = {38}, number = {2}, pages = {70--90}, year = {2014}, url = {https://doi.org/10.1016/j.compmedimag.2013.07.001}, doi = {10.1016/J.COMPMEDIMAG.2013.07.001}, timestamp = {Fri, 22 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmig/BaloccoGCWRCUSMCKWCEFDCPAMRADK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolis/Bundy11, author = {Alan Bundy}, title = {Book review: The Reader-Friendly Library Service Rachel Van Riel, Olive Fowler and Anne Downes. Newcastle upon Tyne: The Society of Chief Librarians, 2008. 379pp, {\textsterling}25.00. {ISBN} 9780955902802}, journal = {J. Libr. Inf. Sci.}, volume = {43}, number = {1}, pages = {56--57}, year = {2011}, url = {https://doi.org/10.1177/0961000610394914}, doi = {10.1177/0961000610394914}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolis/Bundy11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/SonkaDGLKW11, author = {Milan Sonka and Richard W. Downe and Justin W. Garvin and John J. Lopez and Tomas Kovarnik and Andreas Wahle}, title = {IVUS-based assessment of 3D morphology and virtual histology: Prediction of atherosclerotic plaque status and changes}, booktitle = {33rd Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August 30 - Sept. 3, 2011}, pages = {6647--6650}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/IEMBS.2011.6091639}, doi = {10.1109/IEMBS.2011.6091639}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/embc/SonkaDGLKW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bib/GilbertFGORVKDD06, author = {David R. Gilbert and Hendrik Fu{\ss} and Xu Gu and Richard J. Orton and Steve Robinson and Vladislav Vyshemirsky and Mary Jo Kurth and C. Stephen Downes and Werner Dubitzky}, title = {Computational methodologies for modelling, analysis and simulation of signalling networks}, journal = {Briefings Bioinform.}, volume = {7}, number = {4}, pages = {339--353}, year = {2006}, url = {https://doi.org/10.1093/bib/bbl043}, doi = {10.1093/BIB/BBL043}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bib/GilbertFGORVKDD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/ColesDJL05, author = {Richard Coles and Rodney G. Downey and Carl G. Jockusch Jr. and Geoffrey LaForte}, title = {Completing pseudojump operators}, journal = {Ann. Pure Appl. Log.}, volume = {136}, number = {3}, pages = {297--333}, year = {2005}, url = {https://doi.org/10.1016/j.apal.2003.07.001}, doi = {10.1016/J.APAL.2003.07.001}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/ColesDJL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/DowneyLS03, author = {Rodney G. Downey and Geoffrey LaForte and Richard A. Shore}, title = {Decomposition and infima in the computably enumerable degrees}, journal = {J. Symb. Log.}, volume = {68}, number = {2}, pages = {551--579}, year = {2003}, url = {https://doi.org/10.2178/jsl/1052669063}, doi = {10.2178/JSL/1052669063}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/DowneyLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/DowneyS98, author = {Rodney G. Downey and Richard A. Shore}, title = {Splitting Theorems and the Jump Operator}, journal = {Ann. Pure Appl. Log.}, volume = {94}, number = {1-3}, pages = {45--52}, year = {1998}, url = {https://doi.org/10.1016/S0168-0072(97)00066-3}, doi = {10.1016/S0168-0072(97)00066-3}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/DowneyS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mr/DillCDWFS98, author = {James F. Dill and Brian Candiloro and James Downer and Richard Wiesman and Larry Fallin and Ron Smith}, editor = {Howie Choset and Douglas W. Gage and Pushkin Kachroo and Mikhail Kourjanski and Marten J. de Vries}, title = {Material handling robot system for flow-through storage applications}, booktitle = {Mobile Robots {XIII} and Intelligent Transportation Systems, Boston, MA, USA, November 1, 1998}, series = {{SPIE} Proceedings}, volume = {3525}, pages = {42--49}, publisher = {{SPIE}}, year = {1998}, url = {https://doi.org/10.1117/12.335724}, doi = {10.1117/12.335724}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mr/DillCDWFS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/interspeech/DowneyW97, author = {Simon Downey and Richard Wiseman}, editor = {George Kokkinakis and Nikos Fakotakis and Evangelos Dermatas}, title = {Dynamic and static improvements to lexical baseforms}, booktitle = {Fifth European Conference on Speech Communication and Technology, {EUROSPEECH} 1997, Rhodes, Greece, September 22-25, 1997}, pages = {1027--1030}, publisher = {{ISCA}}, year = {1997}, url = {https://doi.org/10.21437/Eurospeech.1997-359}, doi = {10.21437/EUROSPEECH.1997-359}, timestamp = {Sun, 02 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/interspeech/DowneyW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/DowneyS95, author = {Rodney G. Downey and Richard A. Shore}, title = {Degree Theoretic Definitions of the low\({}_{\mbox{2}}\) Recursively Enumerable Sets}, journal = {J. Symb. Log.}, volume = {60}, number = {3}, pages = {727--756}, year = {1995}, url = {https://doi.org/10.2307/2275754}, doi = {10.2307/2275754}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/DowneyS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/logicColl/CholakDS95, author = {Peter Cholak and Rod Downey and Richard A. Shore}, editor = {Johann A. Makowsky and Elena V. Ravve}, title = {Intervals Without Critical Triples}, booktitle = {Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18, 1995}, series = {Lecture Notes in Logic}, volume = {11}, pages = {17--43}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/978-3-662-22108-2\_2}, doi = {10.1007/978-3-662-22108-2\_2}, timestamp = {Fri, 15 May 2020 14:19:27 +0200}, biburl = {https://dblp.org/rec/conf/logicColl/CholakDS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/CenzerDJS93, author = {Douglas A. Cenzer and Rodney G. Downey and Carl G. Jockusch Jr. and Richard A. Shore}, title = {Countable Thin Pi\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) Classes}, journal = {Ann. Pure Appl. Log.}, volume = {59}, number = {2}, pages = {79--139}, year = {1993}, url = {https://doi.org/10.1016/0168-0072(93)90001-T}, doi = {10.1016/0168-0072(93)90001-T}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/CenzerDJS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/LemppDS93, author = {Steffen Lempp and Rodney G. Downey and Richard A. Shore}, title = {Highness and Bounding Minimal Pairs}, journal = {Math. Log. Q.}, volume = {39}, pages = {475--491}, year = {1993}, url = {https://doi.org/10.1002/malq.19930390151}, doi = {10.1002/MALQ.19930390151}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/LemppDS93.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.