Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John Hughes
@article{DBLP:journals/corr/abs-2402-06782,
author = {Akbir Khan and
John Hughes and
Dan Valentine and
Laura Ruis and
Kshitij Sachan and
Ansh Radhakrishnan and
Edward Grefenstette and
Samuel R. Bowman and
Tim Rockt{\"{a}}schel and
Ethan Perez},
title = {Debating with More Persuasive LLMs Leads to More Truthful Answers},
journal = {CoRR},
volume = {abs/2402.06782},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.06782},
doi = {10.48550/ARXIV.2402.06782},
eprinttype = {arXiv},
eprint = {2402.06782},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-06782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/EngelKTKH23,
author = {Felix Engel and
Nenad Krdzavac and
Erhun Giray Tuncay and
Axel Klinger and
John Hughes},
title = {Semantification of Space Data - {A} Feasibility Study},
booktitle = {{ACM/IEEE} Joint Conference on Digital Libraries, {JCDL} 2023, Santa
Fe, NM, USA, June 26-30, 2023},
pages = {295--296},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/JCDL57899.2023.00065},
doi = {10.1109/JCDL57899.2023.00065},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jcdl/EngelKTKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-15210,
author = {Stefan Karlsson and
John Hughes and
Robbert Jongeling and
Adnan Causevic and
Daniel Sundmark},
title = {Exploring {API} Behaviours Through Generated Examples},
journal = {CoRR},
volume = {abs/2308.15210},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.15210},
doi = {10.48550/ARXIV.2308.15210},
eprinttype = {arXiv},
eprint = {2308.15210},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15210.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/SadeghiBH20,
author = {Reza Sadeghi and
Tanvi Banerjee and
John Hughes},
title = {Predicting Sleep Quality in Osteoporosis Patients Using Electronic
Health Records and Heart Rate Variability},
booktitle = {42nd Annual International Conference of the {IEEE} Engineering in
Medicine {\&} Biology Society, {EMBC} 2020, Montreal, QC, Canada,
July 20-24, 2020},
pages = {5571--5574},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EMBC44109.2020.9175629},
doi = {10.1109/EMBC44109.2020.9175629},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/embc/SadeghiBH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmmch/SesanaBLGHL18,
author = {Elena Sesana and
Chiara Bertolin and
Arian Loli and
Alexandre S. Gagnon and
John Hughes and
Johanna Leissner},
editor = {Antonia I. Moropoulou and
Manolis Korres and
Andreas Georgopoulos and
Constantine Spyrakos and
Charalambos Mouzakis},
title = {Increasing the Resilience of Cultural Heritage to Climate Change Through
the Application of a Learning Strategy},
booktitle = {Transdisciplinary Multispectral Modeling and Cooperation for the Preservation
of Cultural Heritage - First International Conference, TMM{\_}CH 2018,
Athens, Greece, October 10-13, 2018, Revised Selected Papers, Part
{I}},
series = {Communications in Computer and Information Science},
volume = {961},
pages = {402--423},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12957-6\_29},
doi = {10.1007/978-3-030-12957-6\_29},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tmmch/SesanaBLGHL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06418,
author = {Andrew Nystrom and
John Hughes},
title = {Leveraging Sparsity to Speed Up Polynomial Feature Expansions of {CSR}
Matrices Using K-Simplex Numbers},
journal = {CoRR},
volume = {abs/1803.06418},
year = {2018},
url = {http://arxiv.org/abs/1803.06418},
eprinttype = {arXiv},
eprint = {1803.06418},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/RizkTHBPA17,
author = {Charbel G. Rizk and
Francisco Tejada and
John Hughes and
David Barbehenn and
Philippe O. Pouliquen and
Andreas G. Andreou},
title = {Characterization of {RTN} noise in the analog front-end of digital
pixel imagers},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2017,
Baltimore, MD, USA, May 28-31, 2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISCAS.2017.8050294},
doi = {10.1109/ISCAS.2017.8050294},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/RizkTHBPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ij3dim/ComiskeyMOHME16,
author = {David Comiskey and
Mark McKane and
E{\'{o}}in O'Shea and
John Hughes and
Sean McNiff and
Robert Eadie},
title = {Collaborative {\&} Multidiscipline Working - From Theory to Practice
in 48 Hours: {A} Case Study from {BIM} Region Northern Ireland},
journal = {Int. J. 3 {D} Inf. Model.},
volume = {5},
number = {2},
pages = {55--71},
year = {2016},
url = {https://doi.org/10.4018/IJ3DIM.2016040104},
doi = {10.4018/IJ3DIM.2016040104},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ij3dim/ComiskeyMOHME16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rjour/Hughes14,
author = {John Hughes},
title = {ngspatial: {A} Package for Fitting the Centered Autologistic and Sparse
Spatial Generalized Linear Mixed Models for Areal Data},
journal = {R J.},
volume = {6},
number = {2},
pages = {81},
year = {2014},
url = {https://doi.org/10.32614/rj-2014-026},
doi = {10.32614/RJ-2014-026},
timestamp = {Fri, 26 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rjour/Hughes14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccac/TuncFAHH14,
author = {Cihan Tunc and
Farah Fargo and
Youssif B. Al{-}Nashif and
Salim Hariri and
John Hughes},
title = {Autonomic Resilient Cloud Management {(ARCM)} Design and Evaluation},
booktitle = {2014 International Conference on Cloud and Autonomic Computing, London,
United Kingdom, September 8-12, 2014},
pages = {44--49},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICCAC.2014.35},
doi = {10.1109/ICCAC.2014.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccac/TuncFAHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2012,
editor = {Torben Hoffman and
John Hughes},
title = {Proceedings of the Eleventh {ACM} {SIGPLAN} Erlang Workshop, Copenhagen,
Denmark, September 14, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2364489},
isbn = {978-1-4503-1575-3},
timestamp = {Fri, 16 Nov 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Hughes11,
author = {John Hughes},
editor = {Per Bjesse and
Anna Slobodov{\'{a}}},
title = {Specification based testing with QuickCheck: \emph{tutorial talk}},
booktitle = {International Conference on Formal Methods in Computer-Aided Design,
{FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
pages = {17},
publisher = {{FMCAD} Inc.},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2157659},
timestamp = {Mon, 09 Aug 2021 15:21:44 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Hughes11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpcc/ChiangBH06,
author = {Frank Chiang and
Robin Braun and
John Hughes},
title = {A biologically-inspired multi-agent framework for autonomic service
management},
journal = {Int. J. Pervasive Comput. Commun.},
volume = {2},
number = {3},
pages = {261--276},
year = {2006},
url = {https://doi.org/10.1108/17427370780000155},
doi = {10.1108/17427370780000155},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpcc/ChiangBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip3-2/HughesMBKKFMMOOSST02,
author = {John Hughes and
Andrew D. McGettrick and
Ellen Francine Barbosa and
Jens Kaasb{\o}ll and
Vin{\'{\i}}cius Medina Kern and
Ana Paula L{\"{u}}dtke Ferreira and
Esselina Macome and
Joberto S. B. Martins and
Clara Am{\'{e}}lia de Oliveira and
Alfonso Ignacio Orth and
R. Sadananda and
Elaine da Silva and
Romero Tori},
editor = {Lillian N. Cassel and
Ricardo Augusto da Luz Reis},
title = {Directions and Challenges in Informatics Education},
booktitle = {Informatics Curricula and Teaching Methods, {IFIP} {TC3} / {WG3.2}
Conference on Informatics Curricula, Teaching Methods and Best Practics
{(ICTEM} 2002), July 10-12, 2002, Florian{\'{o}}polis, SC, Brazil},
series = {{IFIP} Conference Proceedings},
volume = {245},
pages = {115--123},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 29 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip3-2/HughesMBKKFMMOOSST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/SerourHHWC02,
author = {M. K. Serour and
Brian Henderson{-}Sellers and
John Hughes and
D. Winder and
L. Chow},
editor = {Zohra Bellahsene and
Dilip Patel and
Colette Rolland},
title = {Organizational Transition to Object Technology: Theory and Practice},
booktitle = {Object-Oriented. Information Systems, 8th International Conference,
{OOIS} 2002, Montpellier, France, September 2-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2425},
pages = {229--241},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46102-7\_28},
doi = {10.1007/3-540-46102-7\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/oois/SerourHHWC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LopezH02,
author = {Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
John Hughes},
editor = {Kenichi Asai and
Wei{-}Ngan Chin},
title = {Principal type specialisation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium
on Partial Evaluation and Semantics-Based Program Manipulation, Aizu,
Japan, September 12-14, 2002},
pages = {94--105},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568173.568184},
doi = {10.1145/568173.568184},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LopezH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/Hughes99,
author = {John Hughes},
title = {Certificate inter-operability - white paper},
journal = {Comput. Secur.},
volume = {18},
number = {3},
pages = {221--230},
year = {1999},
url = {https://doi.org/10.1016/S0167-4048(99)80067-4},
doi = {10.1016/S0167-4048(99)80067-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/Hughes99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cqre/Hughes99,
author = {John Hughes},
editor = {Rainer Baumgart},
title = {The Realities of {PKI} Inter-operability},
booktitle = {Secure Networking - {CQRE} (Secure) '99, International Exhibition
and Congress D{\"{u}}sseldorf, Germany, November 30 - December
2, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1740},
pages = {127--132},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46701-7\_11},
doi = {10.1007/3-540-46701-7\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cqre/Hughes99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/GutermuteHHW99,
author = {Taylor Gutermute and
Lynn Hickey and
John Hughes and
Alan Warhaftig},
editor = {Jodi Giroux and
Anne Richardson and
Jill Smolin},
title = {Integrating art and technology in a statewide curriculum},
booktitle = {Proceedings of the 26th Annual Conference on Computer Graphics and
Interactive Techniques, {SIGGRAPH} 1999, Los Angeles, CA, USA, August
8-13, 1999, Abstracts and Applications},
pages = {68--69},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/311625.311688},
doi = {10.1145/311625.311688},
timestamp = {Tue, 06 Nov 2018 16:59:19 +0100},
biburl = {https://dblp.org/rec/conf/siggraph/GutermuteHHW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Hughes98,
author = {John Hughes},
title = {Type Specialization},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {14},
year = {1998},
url = {https://doi.org/10.1145/289121.289135},
doi = {10.1145/289121.289135},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Hughes98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DussartHT97,
author = {Dirk Dussart and
John Hughes and
Peter Thiemann},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {Type Specialization for Imperative Languages},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {204--216},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258968},
doi = {10.1145/258948.258968},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DussartHT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Hughes96,
author = {John Hughes},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {Type Specialisation for the lambda-Calculus; or, {A} New Paradigm
for Partial Evaluation Based on Type Inference},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {183--215},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_10},
doi = {10.1007/3-540-61580-6\_10},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Hughes96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/McFallSH93,
author = {Don McFall and
Gillian Fiona Sleith and
John Hughes},
title = {Reverse Engineering Structured Code to an Object-Oriented Representation},
booktitle = {SEKE'93, The 5th International Conference on Software Engineering
and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
pages = {86--93},
publisher = {Knowledge Systems Institute},
year = {1993},
timestamp = {Tue, 04 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/McFallSH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MingPHSB88,
author = {Ouhyoung Ming and
Michael Pique and
John Hughes and
Neela Srinivasan and
Frederick P. Brooks Jr.},
title = {Using a manipulator for force display in molecular docking},
booktitle = {Proceedings of the 1988 {IEEE} International Conference on Robotics
and Automation, Philadelphia, Pennsylvania, USA, April 24-29, 1988},
pages = {1824--1829},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/ROBOT.1988.12330},
doi = {10.1109/ROBOT.1988.12330},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/MingPHSB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BirdH87,
author = {Richard S. Bird and
John Hughes},
title = {The alpha-beta Algorithm: An Exercise in Program Transformation},
journal = {Inf. Process. Lett.},
volume = {24},
number = {1},
pages = {53--57},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90198-0},
doi = {10.1016/0020-0190(87)90198-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BirdH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdo/Hughes85,
author = {John Hughes},
editor = {Harald Ganzinger and
Neil D. Jones},
title = {Strictness detection in non-flat domains},
booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
October 17-19, 1985},
series = {Lecture Notes in Computer Science},
volume = {217},
pages = {112--135},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16446-4\_7},
doi = {10.1007/3-540-16446-4\_7},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/pdo/Hughes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isca/1982,
editor = {Stephen A. Szygenda and
John Hughes and
Matt Blanton and
Terry J. Wagner and
Dennis J. Frailey and
Tom Gunter and
Chuck McLeavy and
G. Jack Lipovski and
Miroslaw Malek},
title = {9th International Symposium on Computer Architecture {(ISCA} 1982),
Austin, TX, USA, April 26-29, 1982},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {https://dl.acm.org/doi/10.5555/800048},
doi = {10.5555/800048},
timestamp = {Thu, 15 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isca/1982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-19 20:10 CET 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:
