BibTeX records: Joe Hendrix

download as .bib file

@article{DBLP:journals/pacmpl/ChristiansenDDH19,
  author       = {David Thrane Christiansen and
                  Iavor S. Diatchki and
                  Robert Dockins and
                  Joe Hendrix and
                  Tristan Ravitch},
  title        = {Dependently typed Haskell in industry (experience report)},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{ICFP}},
  pages        = {100:1--100:16},
  year         = {2019},
  url          = {https://doi.org/10.1145/3341704},
  doi          = {10.1145/3341704},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ChristiansenDDH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/DockinsFHHMT16,
  author       = {Robert Dockins and
                  Adam Foltzer and
                  Joe Hendrix and
                  Brian Huffman and
                  Dylan McNamee and
                  Aaron Tomb},
  editor       = {Sandrine Blazy and
                  Marsha Chechik},
  title        = {Constructing Semantic Models of Programs with the Software Analysis
                  Workbench},
  booktitle    = {Verified Software. Theories, Tools, and Experiments - 8th International
                  Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9971},
  pages        = {56--72},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48869-1\_5},
  doi          = {10.1007/978-3-319-48869-1\_5},
  timestamp    = {Wed, 25 Sep 2019 18:03:08 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/DockinsFHHMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/CarterFHHT13,
  author       = {Kyle Carter and
                  Adam Foltzer and
                  Joe Hendrix and
                  Brian Huffman and
                  Aaron Tomb},
  editor       = {Jeff Boleng and
                  S. Tucker Taft},
  title        = {{SAW:} the software analysis workbench},
  booktitle    = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
                  10-14, 2013},
  pages        = {15--18},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2527269.2527277},
  doi          = {10.1145/2527269.2527277},
  timestamp    = {Tue, 06 Nov 2018 16:57:53 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/CarterFHHT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/HendrixKM10,
  author       = {Joe Hendrix and
                  Deepak Kapur and
                  Jos{\'{e}} Meseguer},
  editor       = {Matt Kaufmann and
                  Lawrence C. Paulson},
  title        = {Coverset Induction with Partiality and Subsorts: {A} Powerlist Case
                  Study},
  booktitle    = {Interactive Theorem Proving, First International Conference, {ITP}
                  2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6172},
  pages        = {275--290},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14052-5\_20},
  doi          = {10.1007/978-3-642-14052-5\_20},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/HendrixKM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BjornerH09,
  author       = {Nikolaj S. Bj{\o}rner and
                  Joe Hendrix},
  editor       = {Ahmed Bouajjani and
                  Oded Maler},
  title        = {Linear Functional Fixed-points},
  booktitle    = {Computer Aided Verification, 21st International Conference, {CAV}
                  2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5643},
  pages        = {124--139},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02658-4\_13},
  doi          = {10.1007/978-3-642-02658-4\_13},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BjornerH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Hendrix08,
  author       = {Joe Hendrix},
  title        = {Decision Procedures for Equationally Based Reasoning},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2008},
  url          = {https://hdl.handle.net/2142/81828},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Hendrix08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/HendrixO08,
  author       = {Joe Hendrix and
                  Hitoshi Ohsaki},
  editor       = {Andrei Voronkov},
  title        = {Combining Equational Tree Automata over {AC} and {ACI} Theories},
  booktitle    = {Rewriting Techniques and Applications, 19th International Conference,
                  {RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5117},
  pages        = {142--156},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70590-1\_10},
  doi          = {10.1007/978-3-540-70590-1\_10},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HendrixO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HendrixM12,
  author       = {Joe Hendrix and
                  Jos{\'{e}} Meseguer},
  editor       = {G{\"{u}}nter Kniesel and
                  Jorge Sousa Pinto},
  title        = {Order-sorted Equational Unification Revisited},
  booktitle    = {Ninth International Workshop on Rule-Based Programming, {RULE} 2008,
                  Hagenberg, Austria, July 14-18, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {290},
  pages        = {37--50},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2012.11.010},
  doi          = {10.1016/J.ENTCS.2012.11.010},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HendrixM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/ClavelDHLMO07,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Joe Hendrix and
                  Salvador Lucas and
                  Jos{\'{e}} Meseguer and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Till Mossakowski and
                  Ugo Montanari and
                  Magne Haveraaen},
  title        = {The Maude Formal Tool Environment},
  booktitle    = {Algebra and Coalgebra in Computer Science, Second International Conference,
                  {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4624},
  pages        = {173--178},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73859-6\_12},
  doi          = {10.1007/978-3-540-73859-6\_12},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/ClavelDHLMO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/HendrixM07,
  author       = {Joe Hendrix and
                  Jos{\'{e}} Meseguer},
  editor       = {Franz Baader},
  title        = {On the Completeness of Context-Sensitive Order-Sorted Specifications},
  booktitle    = {Term Rewriting and Applications, 18th International Conference, {RTA}
                  2007, Paris, France, June 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4533},
  pages        = {229--245},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73449-9\_18},
  doi          = {10.1007/978-3-540-73449-9\_18},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HendrixM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMTBFHOPSSV07,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott and
                  Christiano Braga and
                  Azadeh Farzan and
                  Joe Hendrix and
                  Peter Csaba {\"{O}}lveczky and
                  Miguel Palomino and
                  Ralf Sasse and
                  Mark{-}Oliver Stehr and
                  Alberto Verdejo},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Some Tools},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {667--693},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_21},
  doi          = {10.1007/978-3-540-71999-1\_21},
  timestamp    = {Wed, 20 Sep 2023 08:58:11 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HendrixMO06,
  author       = {Joe Hendrix and
                  Jos{\'{e}} Meseguer and
                  Hitoshi Ohsaki},
  editor       = {Ulrich Furbach and
                  Natarajan Shankar},
  title        = {A Sufficient Completeness Checker for Linear Order-Sorted Specifications
                  Modulo Axioms},
  booktitle    = {Automated Reasoning, Third International Joint Conference, {IJCAR}
                  2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4130},
  pages        = {151--155},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11814771\_14},
  doi          = {10.1007/11814771\_14},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HendrixMO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/HendrixOV06,
  author       = {Joe Hendrix and
                  Hitoshi Ohsaki and
                  Mahesh Viswanathan},
  editor       = {Frank Pfenning},
  title        = {Propositional Tree Automata},
  booktitle    = {Term Rewriting and Applications, 17th International Conference, {RTA}
                  2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4098},
  pages        = {50--65},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11805618\_5},
  doi          = {10.1007/11805618\_5},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HendrixOV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/HendrixCM05,
  author       = {Joe Hendrix and
                  Manuel Clavel and
                  Jos{\'{e}} Meseguer},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {A Sufficient Completeness Reasoning Tool for Partial Specifications},
  booktitle    = {Term Rewriting and Applications, 16th International Conference, {RTA}
                  2005, Nara, Japan, April 19-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3467},
  pages        = {165--174},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_13},
  doi          = {10.1007/978-3-540-32033-3\_13},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HendrixCM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.