Search dblp for Publications

export results for "Tim J. Hoar"

 download as .bib file

@article{DBLP:journals/cmpb/HoarLGPBMWRBC21,
  author       = {David Hoar and
                  Peter Q. Lee and
                  Alessandro Guida and
                  Steven Patterson and
                  Chris V. Bowen and
                  Jennifer Merrimen and
                  Cheng Wang and
                  Ricardo Rendon and
                  Steven D. Beyea and
                  Sharon E. Clarke},
  title        = {Combined Transfer Learning and Test-Time Augmentation Improves Convolutional
                  Neural Network-Based Semantic Segmentation of Prostate Cancer from
                  Multi-Parametric {MR} Images},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {210},
  pages        = {106375},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.cmpb.2021.106375},
  doi          = {10.1016/J.CMPB.2021.106375},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cmpb/HoarLGPBMWRBC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/PenninckxT019,
  author       = {Willem Penninckx and
                  Amin Timany and
                  Bart Jacobs},
  editor       = {Toby Murray and
                  Gidon Ernst},
  title        = {Specifying {I/O} using abstract nested hoare triples in separation
                  logic},
  booktitle    = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
                  Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
  pages        = {5:1--5:7},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3340672.3341118},
  doi          = {10.1145/3340672.3341118},
  timestamp    = {Mon, 05 Feb 2024 20:31:47 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/PenninckxT019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/utp/HoareSW19,
  author       = {Tony Hoare and
                  Georg Struth and
                  Jim Woodcock},
  editor       = {Pedro Ribeiro and
                  Augusto Sampaio},
  title        = {A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic},
  booktitle    = {Unifying Theories of Programming - 7th International Symposium, {UTP}
                  2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday,
                  Porto, Portugal, October 8, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11885},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31038-7\_1},
  doi          = {10.1007/978-3-030-31038-7\_1},
  timestamp    = {Wed, 12 Jun 2024 21:04:53 +0200},
  biburl       = {https://dblp.org/rec/conf/utp/HoareSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/JaloyanP17,
  author       = {Georges{-}Axel Jaloyan and
                  Lee Pike},
  title        = {Lock Optimization for Hoare Monitors in Real-Time Systems},
  booktitle    = {17th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  pages        = {126--135},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ACSD.2017.21},
  doi          = {10.1109/ACSD.2017.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/JaloyanP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/BehaegelCF17,
  author       = {Jonathan Behaegel and
                  Jean{-}Paul Comet and
                  Maxime Folschette},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Constraint Identification Using Modified Hoare Logic on Hybrid Models
                  of Gene Networks},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {5:1--5:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.5},
  doi          = {10.4230/LIPICS.TIME.2017.5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/BehaegelCF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/GalESAMHKHZORSRBCF09,
  author       = {Andreas Gal and
                  Brendan Eich and
                  Mike Shaver and
                  David Anderson and
                  David Mandelin and
                  Mohammad R. Haghighat and
                  Blake Kaplan and
                  Graydon Hoare and
                  Boris Zbarsky and
                  Jason Orendorff and
                  Jesse Ruderman and
                  Edwin W. Smith and
                  Rick Reitmaier and
                  Michael Bebenita and
                  Mason Chang and
                  Michael Franz},
  editor       = {Michael Hind and
                  Amer Diwan},
  title        = {Trace-based just-in-time type specialization for dynamic languages},
  booktitle    = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
                  June 15-21, 2009},
  pages        = {465--478},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1542476.1542528},
  doi          = {10.1145/1542476.1542528},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/GalESAMHKHZORSRBCF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ejes/SchusterGHJ06,
  author       = {Jeffrey William Schuster and
                  Kshitij Gupta and
                  Raymond Hoare and
                  Alex K. Jones},
  title        = {Speech Silicon: An {FPGA} Architecture for Real-Time Hidden Markov-Model-Based
                  Speech Recognition},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2006},
  year         = {2006},
  url          = {https://doi.org/10.1155/ES/2006/48085},
  doi          = {10.1155/ES/2006/48085},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejes/SchusterGHJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mobiwac/BurklenMRP06,
  author       = {Susanne B{\"{u}}rklen and
                  Pedro Jos{\'{e}} Marr{\'{o}}n and
                  Kurt Rothermel and
                  Timo Pfahl},
  editor       = {Albert Y. Zomaya and
                  Luciano Bononi},
  title        = {Hoarding location-based data using clustering},
  booktitle    = {Proceedings of the Forth {ACM} International Workshop on Mobility
                  Management {\&} Wireless Access, {MOBIWAC} 2006, Terromolinos,
                  Spain, October 2, 2006},
  pages        = {164--171},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1164783.1164815},
  doi          = {10.1145/1164783.1164815},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mobiwac/BurklenMRP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sc/HoareDJ06,
  author       = {Raymond R. Hoare and
                  Zhu Ding and
                  Alex K. Jones},
  title        = {Interconnect routing and scheduling - {A} near-optimal real-time hardware
                  scheduler for large cardinality crossbar switches},
  booktitle    = {Proceedings of the {ACM/IEEE} {SC2006} Conference on High Performance
                  Networking and Computing, November 11-17, 2006, Tampa, FL, {USA}},
  pages        = {94},
  publisher    = {{ACM} Press},
  year         = {2006},
  url          = {https://doi.org/10.1145/1188455.1188554},
  doi          = {10.1145/1188455.1188554},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/HoareDJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BoultonHM03,
  author       = {Richard J. Boulton and
                  Ruth Hardy and
                  Ursula Martin},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {A Hoare Logic for Single-Input Single-Output Continuous-Time Control
                  Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {113--125},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_11},
  doi          = {10.1007/3-540-36580-X\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BoultonHM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/BettinH03,
  author       = {Jorn Bettin and
                  Jeff Hoare},
  editor       = {Ron Crocker and
                  Guy L. Steele Jr.},
  title        = {Time Conscious Objects},
  booktitle    = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
                  October 26-30, 2003, Anaheim, CA, {USA}},
  pages        = {114},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/949344.949376},
  doi          = {10.1145/949344.949376},
  timestamp    = {Fri, 25 Jun 2021 17:20:20 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BettinH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/BettinH03a,
  author       = {Jorn Bettin and
                  Jeff Hoare},
  editor       = {Ron Crocker and
                  Guy L. Steele Jr.},
  title        = {Time conscious objects: a domain-specific framework and generator},
  booktitle    = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
                  October 26-30, 2003, Anaheim, CA, {USA}},
  pages        = {290--291},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/949344.949417},
  doi          = {10.1145/949344.949417},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/BettinH03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/BhansaliH98,
  author       = {Sanjay Bhansali and
                  Tim J. Hoar},
  title        = {Automated Software Synthesis: An Application in Mechanical {CAD}},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {24},
  number       = {10},
  pages        = {848--862},
  year         = {1998},
  url          = {https://doi.org/10.1109/32.729684},
  doi          = {10.1109/32.729684},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BhansaliH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/BhansaliKH96,
  author       = {Sanjay Bhansali and
                  Glenn A. Kramer and
                  Tim J. Hoar},
  title        = {A Principled Approach Towards Symbolic Geometric Constraint Satisfaction},
  journal      = {J. Artif. Intell. Res.},
  volume       = {4},
  pages        = {419--443},
  year         = {1996},
  url          = {https://doi.org/10.1613/jair.292},
  doi          = {10.1613/JAIR.292},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/BhansaliKH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-9606101,
  author       = {Sanjay Bhansali and
                  Glenn A. Kramer and
                  Tim J. Hoar},
  title        = {A Principled Approach Towards Symbolic Geometric Constraint Satisfaction},
  journal      = {CoRR},
  volume       = {cs.AI/9606101},
  year         = {1996},
  url          = {https://arxiv.org/abs/cs/9606101},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-9606101.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/BhansaliH95,
  author       = {Sanjay Bhansali and
                  Tim J. Hoar},
  title        = {Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction
                  System},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {11--18},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490114},
  doi          = {10.1109/KBSE.1995.490114},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BhansaliH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Hooman94,
  author       = {Jozef Hooman},
  title        = {Extending Hoare Logic to Real-Time},
  journal      = {Formal Aspects Comput.},
  volume       = {6},
  number       = {6A},
  pages        = {801--826},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01213604},
  doi          = {10.1007/BF01213604},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Hooman94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rex/Hooman91,
  author       = {Jozef Hooman},
  editor       = {J. W. de Bakker and
                  Cornelis Huizing and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {Compositional Verification of Real-Time Systems using Extended Hoare
                  Triples},
  booktitle    = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
                  June 3-7, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {600},
  pages        = {252--290},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0031996},
  doi          = {10.1007/BFB0031996},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/Hooman91.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.