BibTeX records: Michael A. McRobbie

download as .bib file

@inproceedings{DBLP:conf/hpc/CatlettAA06,
  author       = {Charlie Catlett and
                  William E. Allcock and
                  Phil Andrews and
                  Ruth A. Aydt and
                  Ray Bair and
                  Natasha Balac and
                  Bryan Banister and
                  Trish Barker and
                  Mark Bartelt and
                  Peter H. Beckman and
                  Francine Berman and
                  Gary R. Bertoline and
                  Alan Blatecky and
                  Jay Boisseau and
                  Jim Bottum and
                  Sharon Brunett and
                  Julian J. Bunn and
                  Michelle Butler and
                  David Carver and
                  John Cobb and
                  Tim Cockerill and
                  Peter Couvares and
                  Maytal Dahan and
                  Diana Diehl and
                  Thom H. Dunning and
                  Ian T. Foster and
                  Kelly P. Gaither and
                  Dennis Gannon and
                  Sebastien Goasguen and
                  Michael Grobe and
                  David L. Hart and
                  Matt Heinzel and
                  Chris Hempel and
                  Wendy Huntoon and
                  Joseph A. Insley and
                  Christopher T. Jordan and
                  Ivan R. Judson and
                  Anke Kamrath and
                  Nicholas T. Karonis and
                  Carl Kesselman and
                  Patricia A. Kovatch and
                  Lex Lane and
                  Scott A. Lathrop and
                  Michael J. Levine and
                  David Lifka and
                  Lee Liming and
                  Miron Livny and
                  Rich Loft and
                  Doru Marcusiu and
                  Jim Marsteller and
                  Stuart Martin and
                  D. Scott McCaulay and
                  John McGee and
                  Laura McGinnis and
                  Michael A. McRobbie and
                  Paul Messina and
                  Reagan W. Moore and
                  Richard Lee Moore and
                  John{-}Paul Navarro and
                  Jeff Nichols and
                  Michael E. Papka and
                  Rob Pennington and
                  Greg Pike and
                  Jim Pool and
                  Raghurama Reddy and
                  Daniel A. Reed and
                  Tony Rimovsky and
                  Eric Roberts and
                  Ralph Roskies and
                  Sergiu Sanielevici and
                  J. Ray Scott and
                  Anurag Shankar and
                  Mark Sheddon and
                  Mike Showerman and
                  Derek Simmel and
                  Abe Singer and
                  Dane Skow and
                  Shava Smallen and
                  Warren Smith and
                  Carol X. Song and
                  Rick L. Stevens and
                  Craig A. Stewart and
                  Robert B. Stock and
                  Nathan Stone and
                  John Towns and
                  Tomislav Urban and
                  Mike Vildibill and
                  Edward Walker and
                  Von Welch and
                  Nancy Wilkins{-}Diehr and
                  Roy Williams and
                  Linda Winkler and
                  Lan Zhao and
                  Ann Zimmerman},
  editor       = {Lucio Grandinetti},
  title        = {TeraGrid: Analysis of Organization, System Architecture, and Middleware
                  Enabling New Types of Applications},
  booktitle    = {High Performance Computing and Grids in Action - Selected Papers from
                  the 2006 International Advanced Research Workshop on High Performance
                  Computing and Grids, Cetraro, Italy, 2006},
  series       = {Advances in Parallel Computing},
  volume       = {16},
  pages        = {225--249},
  publisher    = {{IOS} Press},
  year         = {2006},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hpc/CatlettAA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hpdc/McRobbieMAGPRWW98,
  author       = {Michael A. McRobbie and
                  Donald F. McMullen and
                  K. H. Adams and
                  Dennis Gannon and
                  Douglas D. Pearson and
                  R. Allen Robel and
                  Steven S. Wallace and
                  James G. Williams},
  title        = {Global High Performance Networking: Connecting the vNBS and the Asia-Pacific
                  Advanced Network for Research and Education Applications},
  booktitle    = {Proceedings of the Seventh {IEEE} International Symposium on High
                  Performance Distributed Computing, {HPDC} '98, Chicago, Illinois,
                  USA, July 28-31, 1998},
  pages        = {252--259},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HPDC.1998.709979},
  doi          = {10.1109/HPDC.1998.709979},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpdc/McRobbieMAGPRWW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/1996,
  editor       = {Michael A. McRobbie and
                  John K. Slaney},
  title        = {Automated Deduction - CADE-13, 13th International Conference on Automated
                  Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1104},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61511-3},
  doi          = {10.1007/3-540-61511-3},
  isbn         = {3-540-61511-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/MeyerMB95,
  author       = {Robert K. Meyer and
                  Michael A. McRobbie and
                  Nuel Belnap},
  editor       = {Peter Baumgartner and
                  Reiner H{\"{a}}hnle and
                  Joachim Posegga},
  title        = {Linear Analytic Tableaux},
  booktitle    = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
                  Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
                  May 7-10, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {918},
  pages        = {278--293},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59338-1\_42},
  doi          = {10.1007/3-540-59338-1\_42},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/MeyerMB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aai/McRobbieS91,
  author       = {Michael A. McRobbie and
                  J{\"{o}}rg H. Siekmann},
  title        = {Artificial intelligence: Perspectives and Predictions},
  journal      = {Appl. Artif. Intell.},
  volume       = {5},
  number       = {2},
  pages        = {187--207},
  year         = {1991},
  url          = {https://doi.org/10.1080/08839519108927925},
  doi          = {10.1080/08839519108927925},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aai/McRobbieS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/McRobbie91,
  author       = {Michael A. McRobbie},
  title        = {Automated Reasoning and Nonclassical Logics: Introduction},
  journal      = {J. Autom. Reason.},
  volume       = {7},
  number       = {4},
  pages        = {447--451},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01880323},
  doi          = {10.1007/BF01880323},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/McRobbie91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ThistlewaiteM91,
  author       = {Paul B. Thistlewaite and
                  Michael A. McRobbie},
  title        = {Approaching Hard Non-Classical Problems},
  journal      = {J. Autom. Reason.},
  volume       = {7},
  number       = {4},
  pages        = {635--637},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01880333},
  doi          = {10.1007/BF01880333},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ThistlewaiteM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0070252,
  author       = {Paul B. Thistlewaite and
                  Michael A. McRobbie and
                  Robert K. Meyer},
  title        = {Automated theorem-proving in non-classical logics},
  series       = {Research Notes in Theoretical Computer Science},
  publisher    = {Pitman},
  year         = {1988},
  isbn         = {978-0-273-08781-6},
  timestamp    = {Fri, 06 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0070252.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aicom/McRobbieS88,
  author       = {Michael A. McRobbie and
                  J{\"{o}}rg H. Siekmann},
  title        = {Artificial Intelligence: Perspectives and Predictions},
  journal      = {{AI} Commun.},
  volume       = {1},
  number       = {4},
  pages        = {16--29},
  year         = {1988},
  url          = {https://doi.org/10.3233/AIC-1988-1403},
  doi          = {10.3233/AIC-1988-1403},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/McRobbieS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ausai/GirleM88,
  author       = {Roderic A. Girle and
                  Michael A. McRobbie},
  editor       = {Chris J. Barter and
                  Michael J. Brooks},
  title        = {Exploring the Epistemic Labyrinth: New Directions in the Formal Theory
                  of Knowledge Representation},
  booktitle    = {{AI} '88: 2nd Australian Joint Artificial Intelligence Conference,
                  Adelaide, Australia, November 15-18, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {406},
  pages        = {156--176},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-52062-7\_77},
  doi          = {10.1007/3-540-52062-7\_77},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ausai/GirleM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/McRobbieMT88,
  author       = {Michael A. McRobbie and
                  Robert K. Meyer and
                  Paul B. Thistlewaite},
  editor       = {Ewing L. Lusk and
                  Ross A. Overbeek},
  title        = {Towards Efficient "Knowledge-Based" Automated Theorem Proving
                  for Non-Standard Logics},
  booktitle    = {9th International Conference on Automated Deduction, Argonne, Illinois,
                  USA, May 23-26, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {310},
  pages        = {197--217},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0012833},
  doi          = {10.1007/BFB0012833},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/McRobbieMT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ThistlewaiteMM86,
  author       = {Paul B. Thistlewaite and
                  Michael A. McRobbie and
                  Robert K. Meyer},
  editor       = {J{\"{o}}rg H. Siekmann},
  title        = {The {KRIPKE} Automated Theorem Proving System},
  booktitle    = {8th International Conference on Automated Deduction, Oxford, England,
                  July 27 - August 1, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {230},
  pages        = {705--706},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16780-3\_147},
  doi          = {10.1007/3-540-16780-3\_147},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ThistlewaiteMM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/McRobbieM79,
  author       = {Michael A. McRobbie and
                  Robert K. Meyer},
  title        = {A Note on the Admissibility of Cut in Relevant Tableau Systems},
  journal      = {Math. Log. Q.},
  volume       = {25},
  number       = {32},
  pages        = {511--512},
  year         = {1979},
  url          = {https://doi.org/10.1002/malq.19790253203},
  doi          = {10.1002/MALQ.19790253203},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/McRobbieM79.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.