Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/entcs/Bracha07,
  author       = {Gilad Bracha},
  editor       = {Ganesh Gopalakrishnan},
  title        = {Executable Grammars in Newspeak},
  booktitle    = {Festschrift honoring Gary Lindstrom on his retirement from the University
                  of Utah after 30 years of service, Salt Lake City, UT, USA, May 5,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {193},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.10.004},
  doi          = {10.1016/J.ENTCS.2007.10.004},
  timestamp    = {Thu, 09 Feb 2023 10:30:53 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bracha07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Gopalakrishnan07,
  author       = {Ganesh Gopalakrishnan},
  editor       = {Ganesh Gopalakrishnan},
  title        = {Preface},
  booktitle    = {Festschrift honoring Gary Lindstrom on his retirement from the University
                  of Utah after 30 years of service, Salt Lake City, UT, USA, May 5,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {193},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.10.003},
  doi          = {10.1016/J.ENTCS.2007.10.003},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Gopalakrishnan07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GopalakrishnanK07,
  author       = {Ganesh Gopalakrishnan and
                  Robert M. Kirby},
  editor       = {Ganesh Gopalakrishnan},
  title        = {Formal Methods for {MPI} Programs},
  booktitle    = {Festschrift honoring Gary Lindstrom on his retirement from the University
                  of Utah after 30 years of service, Salt Lake City, UT, USA, May 5,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {193},
  pages        = {19--27},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.10.005},
  doi          = {10.1016/J.ENTCS.2007.10.005},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GopalakrishnanK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KellerHJMWG07,
  author       = {Robert Keller and
                  Martin Hunt and
                  Stephen Jones and
                  David Morrison and
                  Aaron Wolin and
                  Steven Gomez},
  editor       = {Ganesh Gopalakrishnan},
  title        = {Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant},
  booktitle    = {Festschrift honoring Gary Lindstrom on his retirement from the University
                  of Utah after 30 years of service, Salt Lake City, UT, USA, May 5,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {193},
  pages        = {47--60},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.10.007},
  doi          = {10.1016/J.ENTCS.2007.10.007},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KellerHJMWG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kieburtz07a,
  author       = {Richard B. Kieburtz},
  editor       = {Ganesh Gopalakrishnan},
  title        = {Strength Induction in a Haskell Program Verifier},
  booktitle    = {Festschrift honoring Gary Lindstrom on his retirement from the University
                  of Utah after 30 years of service, Salt Lake City, UT, USA, May 5,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {193},
  pages        = {61--79},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.10.008},
  doi          = {10.1016/J.ENTCS.2007.10.008},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kieburtz07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LiuH07,
  author       = {Hai Liu and
                  Paul Hudak},
  editor       = {Ganesh Gopalakrishnan},
  title        = {Plugging a Space Leak with an Arrow},
  booktitle    = {Festschrift honoring Gary Lindstrom on his retirement from the University
                  of Utah after 30 years of service, Salt Lake City, UT, USA, May 5,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {193},
  pages        = {29--45},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.10.006},
  doi          = {10.1016/J.ENTCS.2007.10.006},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LiuH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2007lindstrom,
  editor       = {Ganesh Gopalakrishnan},
  title        = {Festschrift honoring Gary Lindstrom on his retirement from the University
                  of Utah after 30 years of service, Salt Lake City, UT, USA, May 5,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {193},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/193/suppl/C},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2007lindstrom.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}