BibTeX records: Randall J. LeVeque

download as .bib file

@article{DBLP:journals/corr/abs-2307-05816,
  author       = {Marsha J. Berger and
                  Randall J. LeVeque},
  title        = {Implicit Adaptive Mesh Refinement for Dispersive Tsunami Propagation},
  journal      = {CoRR},
  volume       = {abs/2307.05816},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.05816},
  doi          = {10.48550/ARXIV.2307.05816},
  eprinttype    = {arXiv},
  eprint       = {2307.05816},
  timestamp    = {Mon, 24 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05816.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-01420,
  author       = {Marsha J. Berger and
                  Randall J. LeVeque},
  title        = {Towards Adaptive Simulations of Dispersive Tsunami Propagation from
                  an Asteroid Impact},
  journal      = {CoRR},
  volume       = {abs/2110.01420},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.01420},
  eprinttype    = {arXiv},
  eprint       = {2110.01420},
  timestamp    = {Fri, 08 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-01420.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/DavisL20,
  author       = {Brisa N. Davis and
                  Randall J. LeVeque},
  title        = {Analysis and Performance Evaluation of Adjoint-guided Adaptive Mesh
                  Refinement for Linear Hyperbolic PDEs Using Clawpack},
  journal      = {{ACM} Trans. Math. Softw.},
  volume       = {46},
  number       = {3},
  pages        = {26:1--26:28},
  year         = {2020},
  url          = {https://doi.org/10.1145/3392775},
  doi          = {10.1145/3392775},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toms/DavisL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamam/GeorgeKL19,
  author       = {Jithin D. George and
                  David I. Ketcheson and
                  Randall J. LeVeque},
  title        = {A Path-Integral Method for Solution of the Wave Equation with Continuously
                  Varying Coefficients},
  journal      = {{SIAM} J. Appl. Math.},
  volume       = {79},
  number       = {6},
  pages        = {2615--2638},
  year         = {2019},
  url          = {https://doi.org/10.1137/19M1238630},
  doi          = {10.1137/19M1238630},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamam/GeorgeKL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-06798,
  author       = {Xinsheng Qin and
                  Randall J. LeVeque and
                  Michael R. Motley},
  title        = {Efficient Tsunami Modeling on Adaptive Grids with Graphics Processing
                  Units (GPUs)},
  journal      = {CoRR},
  volume       = {abs/1901.06798},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.06798},
  eprinttype    = {arXiv},
  eprint       = {1901.06798},
  timestamp    = {Sun, 03 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-06798.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/juq/RimML18,
  author       = {Donsub Rim and
                  Scott Moe and
                  Randall J. LeVeque},
  title        = {Transport Reversal for Model Reduction of Hyperbolic Partial Differential
                  Equations},
  journal      = {{SIAM/ASA} J. Uncertain. Quantification},
  volume       = {6},
  number       = {1},
  pages        = {118--150},
  year         = {2018},
  url          = {https://doi.org/10.1137/17M1113679},
  doi          = {10.1137/17M1113679},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/juq/RimML18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02638,
  author       = {Xinsheng Qin and
                  Randall J. LeVeque and
                  Michael R. Motley},
  title        = {Accelerating wave-propagation algorithms with adaptive mesh refinement
                  using the Graphics Processing Unit {(GPU)}},
  journal      = {CoRR},
  volume       = {abs/1808.02638},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.02638},
  eprinttype    = {arXiv},
  eprint       = {1808.02638},
  timestamp    = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-02638.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jscic/VoglL17,
  author       = {Christopher J. Vogl and
                  Randall J. LeVeque},
  title        = {A High-Resolution Finite Volume Seismic Model to Generate Seafloor
                  Deformation for Tsunami Modeling},
  journal      = {J. Sci. Comput.},
  volume       = {73},
  number       = {2-3},
  pages        = {1204--1215},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10915-017-0459-y},
  doi          = {10.1007/S10915-017-0459-Y},
  timestamp    = {Fri, 24 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jscic/VoglL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/RazoL17,
  author       = {Mauricio J. Del Razo and
                  Randall J. LeVeque},
  title        = {Numerical Methods for Interface Coupling of Compressible and Almost
                  Incompressible Media},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {39},
  number       = {3},
  year         = {2017},
  url          = {https://doi.org/10.1137/16M1067834},
  doi          = {10.1137/16M1067834},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/RazoL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VoglL17,
  author       = {Christopher J. Vogl and
                  Randall J. LeVeque},
  title        = {A High-Resolution Finite Volume Seismic Model to Generate Seafloor
                  Deformation for Tsunami Modeling},
  journal      = {CoRR},
  volume       = {abs/1701.01430},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.01430},
  eprinttype    = {arXiv},
  eprint       = {1701.01430},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/VoglL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peerj-cs/MandliABCGHKLL16,
  author       = {Kyle T. Mandli and
                  Aron J. Ahmadia and
                  Marsha J. Berger and
                  Donna A. Calhoun and
                  David L. George and
                  Yiannis Hadjimichael and
                  David I. Ketcheson and
                  Grady I. Lemoine and
                  Randall J. LeVeque},
  title        = {Clawpack: building an open source ecosystem for solving hyperbolic
                  PDEs},
  journal      = {PeerJ Comput. Sci.},
  volume       = {2},
  pages        = {e68},
  year         = {2016},
  url          = {https://doi.org/10.7717/peerj-cs.68},
  doi          = {10.7717/PEERJ-CS.68},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/peerj-cs/MandliABCGHKLL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/RazoMMHPBMLC16,
  author       = {Mauricio J. Del Razo and
                  Yoichi Morofuji and
                  James S. Meabon and
                  B. Russell Huber and
                  Elaine R. Peskind and
                  William A. Banks and
                  Pierre D. Mourad and
                  Randall J. LeVeque and
                  David G. Cook},
  title        = {Computational and In Vitro Studies of Blast-Induced Blood-Brain Barrier
                  Disruption},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {38},
  number       = {3},
  year         = {2016},
  url          = {https://doi.org/10.1137/15M1010750},
  doi          = {10.1137/15M1010750},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/RazoMMHPBMLC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peerjpre/MandliABCGHKLL16,
  author       = {Kyle T. Mandli and
                  Aron J. Ahmadia and
                  Marsha J. Berger and
                  Donna A. Calhoun and
                  David L. George and
                  Yiannis Hadjimichael and
                  David I. Ketcheson and
                  Grady I. Lemoine and
                  Randall J. LeVeque},
  title        = {The Clawpack 5.x software},
  journal      = {PeerJ Prepr.},
  volume       = {4},
  pages        = {e1829},
  year         = {2016},
  url          = {https://doi.org/10.7287/peerj.preprints.1829v1},
  doi          = {10.7287/PEERJ.PREPRINTS.1829V1},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/peerjpre/MandliABCGHKLL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/KetchesonPL13,
  author       = {David I. Ketcheson and
                  Matteo Parsani and
                  Randall J. LeVeque},
  title        = {High-Order Wave Propagation Algorithms for Hyperbolic Systems},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {35},
  number       = {1},
  year         = {2013},
  url          = {https://doi.org/10.1137/110830320},
  doi          = {10.1137/110830320},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/KetchesonPL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/LemoineOL13,
  author       = {Grady I. Lemoine and
                  Miao{-}Jung Yvonne Ou and
                  Randall J. LeVeque},
  title        = {High-Resolution Finite Volume Modeling of Wave Propagation in Orthotropic
                  Poroelastic Media},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {35},
  number       = {1},
  year         = {2013},
  url          = {https://doi.org/10.1137/120878720},
  doi          = {10.1137/120878720},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamsc/LemoineOL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/StoddenLM12,
  author       = {Victoria Stodden and
                  Randall J. LeVeque and
                  Ian Mitchell},
  title        = {Reproducible Research for Scientific Computing: Tools and Strategies
                  for Changing the Culture},
  journal      = {Comput. Sci. Eng.},
  volume       = {14},
  number       = {4},
  pages        = {13--17},
  year         = {2012},
  url          = {https://doi.org/10.1109/MCSE.2012.38},
  doi          = {10.1109/MCSE.2012.38},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cse/StoddenLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-5824,
  author       = {Grady I. Lemoine and
                  Miao{-}Jung Yvonne Ou and
                  Randall J. LeVeque},
  title        = {High-Resolution Finite Volume Modeling of Wave Propagation in Orthotropic
                  Poroelastic Media},
  journal      = {CoRR},
  volume       = {abs/1205.5824},
  year         = {2012},
  url          = {http://arxiv.org/abs/1205.5824},
  eprinttype    = {arXiv},
  eprint       = {1205.5824},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1205-5824.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actanum/LeVequeGB11,
  author       = {Randall J. LeVeque and
                  David L. George and
                  Marsha J. Berger},
  title        = {Tsunami modelling with adaptively refined finite volume methods},
  journal      = {Acta Numer.},
  volume       = {20},
  pages        = {211--289},
  year         = {2011},
  url          = {https://doi.org/10.1017/S0962492911000043},
  doi          = {10.1017/S0962492911000043},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/actanum/LeVequeGB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jscic/LeVeque11,
  author       = {Randall J. LeVeque},
  title        = {A Well-Balanced Path-Integral f-Wave Method for Hyperbolic Problems
                  with Source Terms},
  journal      = {J. Sci. Comput.},
  volume       = {48},
  number       = {1-3},
  pages        = {209--226},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10915-010-9411-0},
  doi          = {10.1007/S10915-010-9411-0},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jscic/LeVeque11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/LeVeque09,
  author       = {Randall J. LeVeque},
  title        = {Python Tools for Reproducible Research on Hyperbolic Problems},
  journal      = {Comput. Sci. Eng.},
  volume       = {11},
  number       = {1},
  pages        = {19--27},
  year         = {2009},
  url          = {https://doi.org/10.1109/MCSE.2009.13},
  doi          = {10.1109/MCSE.2009.13},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cse/LeVeque09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamrev/CalhounHL08,
  author       = {Donna A. Calhoun and
                  Christiane Helzel and
                  Randall J. LeVeque},
  title        = {Logically Rectangular Grids and Finite Volume Methods for PDEs in
                  Circular and Spherical Domains},
  journal      = {{SIAM} Rev.},
  volume       = {50},
  number       = {4},
  pages        = {723--752},
  year         = {2008},
  url          = {https://doi.org/10.1137/060664094},
  doi          = {10.1137/060664094},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamrev/CalhounHL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0020202,
  author       = {Randall J. LeVeque},
  title        = {Finite difference methods for ordinary and partial differential equations
                  - steady-state and time-dependent problems},
  publisher    = {{SIAM}},
  year         = {2007},
  url          = {https://doi.org/10.1137/1.9780898717839},
  doi          = {10.1137/1.9780898717839},
  isbn         = {978-0-89871-629-0},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0020202.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/PelantiL06,
  author       = {Marica Pelanti and
                  Randall J. LeVeque},
  title        = {High-Resolution Finite Volume Methods for Dusty Gas Jets and Plumes},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {28},
  number       = {4},
  pages        = {1335--1360},
  year         = {2006},
  url          = {https://doi.org/10.1137/050635018},
  doi          = {10.1137/050635018},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/PelantiL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/HelzelBL05,
  author       = {Christiane Helzel and
                  Marsha J. Berger and
                  Randall J. LeVeque},
  title        = {A High-Resolution Rotated Grid Method for Conservation Laws with Embedded
                  Geometries},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {26},
  number       = {3},
  pages        = {785--809},
  year         = {2005},
  url          = {https://doi.org/10.1137/S106482750343028X},
  doi          = {10.1137/S106482750343028X},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/HelzelBL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamam/YongL03,
  author       = {Darryl H. Yong and
                  Randall J. LeVeque},
  title        = {Solitary Waves in Layered Nonlinear Media},
  journal      = {{SIAM} J. Appl. Math.},
  volume       = {63},
  number       = {5},
  pages        = {1539--1560},
  year         = {2003},
  url          = {https://doi.org/10.1137/S0036139902408151},
  doi          = {10.1137/S0036139902408151},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamam/YongL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamnum/BergerHL03,
  author       = {Marsha J. Berger and
                  Christiane Helzel and
                  Randall J. LeVeque},
  title        = {\emph{H}-Box Methods for the Approximation of Hyperbolic Conservation
                  Laws on Irregular Grids},
  journal      = {{SIAM} J. Numer. Anal.},
  volume       = {41},
  number       = {3},
  pages        = {893--918},
  year         = {2003},
  url          = {https://doi.org/10.1137/S0036142902405394},
  doi          = {10.1137/S0036142902405394},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamnum/BergerHL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/BaleLMR03,
  author       = {Derek S. Bale and
                  Randall J. LeVeque and
                  Sorin Mitran and
                  James A. Rossmanith},
  title        = {A Wave Propagation Method for Conservation Laws and Balance Laws with
                  Spatially Varying Flux Functions},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {24},
  number       = {3},
  pages        = {955--978},
  year         = {2003},
  url          = {https://doi.org/10.1137/S106482750139738X},
  doi          = {10.1137/S106482750139738X},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamsc/BaleLMR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/LeeL03,
  author       = {Long Lee and
                  Randall J. LeVeque},
  title        = {An Immersed Interface Method for Incompressible Navier-Stokes Equations},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {25},
  number       = {3},
  pages        = {832--856},
  year         = {2003},
  url          = {https://doi.org/10.1137/S1064827502414060},
  doi          = {10.1137/S1064827502414060},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/LeeL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/HelzelLW00,
  author       = {Christiane Helzel and
                  Randall J. LeVeque and
                  Gerald Warnecke},
  title        = {A Modified Fractional Step Method for the Accurate Approximation of
                  Detonation Waves},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {22},
  number       = {4},
  pages        = {1489--1510},
  year         = {2000},
  url          = {https://doi.org/10.1137/S1064827599357814},
  doi          = {10.1137/S1064827599357814},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/HelzelLW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/LeVequeL97,
  author       = {Randall J. LeVeque and
                  Zhilin Li},
  title        = {Immersed Interface Methods for Stokes Flow with Elastic Boundaries
                  or Surface Tension},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {18},
  number       = {3},
  pages        = {709--735},
  year         = {1997},
  url          = {https://doi.org/10.1137/S1064827595282532},
  doi          = {10.1137/S1064827595282532},
  timestamp    = {Mon, 12 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/LeVequeL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/LeVequeS95,
  author       = {Randall J. LeVeque and
                  Keh{-}Ming Shyue},
  title        = {One-Dimensional Front Tracking Based on High Resolution Wave Propagation
                  Methods},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {16},
  number       = {2},
  pages        = {348--377},
  year         = {1995},
  url          = {https://doi.org/10.1137/0916023},
  doi          = {10.1137/0916023},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/LeVequeS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamrev/LeVeque93,
  author       = {Randall J. LeVeque},
  title        = {Adaptive Finite Element Solution Algorithm for the Euler Equations
                  {(R.} A. Shapiro)},
  journal      = {{SIAM} Rev.},
  volume       = {35},
  number       = {3},
  pages        = {531--532},
  year         = {1993},
  url          = {https://doi.org/10.1137/1035124},
  doi          = {10.1137/1035124},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamrev/LeVeque93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0078096,
  author       = {Randall J. LeVeque},
  title        = {Numerical methods for conservation laws {(2.} ed.)},
  series       = {Lectures in mathematics},
  publisher    = {Birkh{\"{a}}user},
  year         = {1992},
  isbn         = {978-3-7643-2723-1},
  timestamp    = {Mon, 02 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0078096.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/LeVeque82,
  author       = {Randall J. LeVeque},
  title        = {Time-split methods for partial differential equations},
  school       = {Stanford University, {USA}},
  year         = {1982},
  url          = {https://searchworks.stanford.edu/view/1030102},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/LeVeque82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics