BibTeX records: William P. Birmingham

download as .bib file

@inproceedings{DBLP:conf/aaaifs/BirminghamW17,
  author       = {William P. Birmingham and
                  Britton Wolfe},
  title        = {Effects of Network Latency on Games with Human and Distributed Agent
                  Players},
  booktitle    = {2017 {AAAI} Fall Symposia, Arlington, Virginia, USA, November 9-11,
                  2017},
  pages        = {254--257},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://aaai.org/ocs/index.php/FSS/FSS17/paper/view/15970},
  timestamp    = {Tue, 13 Nov 2018 19:43:23 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/BirminghamW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/BrownJB16,
  author       = {David C. Brown and
                  Yan Jin and
                  William P. Birmingham},
  title        = {In memory of Clive L. Dym},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {30},
  number       = {4},
  pages        = {333--334},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0890060416000317},
  doi          = {10.1017/S0890060416000317},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/BrownJB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BirminghamRMM12,
  author       = {William P. Birmingham and
                  Shane Rose and
                  Gregory Miller and
                  Matthew Mahan},
  editor       = {G. Michael Youngblood and
                  Philip M. McCarthy},
  title        = {Effect of Latency on Pursuit Problems},
  booktitle    = {Proceedings of the Twenty-Fifth International Florida Artificial Intelligence
                  Research Society Conference, Marco Island, Florida, USA, May 23-25,
                  2012},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS12/paper/view/4469},
  timestamp    = {Wed, 26 Oct 2022 08:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/BirminghamRMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-6022,
  author       = {William P. Birmingham and
                  Edmund H. Durfee and
                  Sunju Park},
  title        = {Use of Markov Chains to Design an Agent Bidding Strategy for Continuous
                  Double Auctions},
  journal      = {CoRR},
  volume       = {abs/1106.6022},
  year         = {2011},
  url          = {http://arxiv.org/abs/1106.6022},
  eprinttype    = {arXiv},
  eprint       = {1106.6022},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-6022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0054,
  author       = {William P. Birmingham and
                  Colin Meek},
  title        = {A Comprehensive Trainable Error Model for Sung Music Queries},
  journal      = {CoRR},
  volume       = {abs/1107.0054},
  year         = {2011},
  url          = {http://arxiv.org/abs/1107.0054},
  eprinttype    = {arXiv},
  eprint       = {1107.0054},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-0054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/FreyBD10,
  author       = {Daniel Frey and
                  William P. Birmingham and
                  Clive L. Dym},
  title        = {Design pedagogy: Representations and processes},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {24},
  number       = {3},
  pages        = {283--284},
  year         = {2010},
  url          = {https://doi.org/10.1017/S0890060410000193},
  doi          = {10.1017/S0890060410000193},
  timestamp    = {Fri, 19 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/FreyBD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/Birmingham07,
  author       = {William P. Birmingham},
  title        = {The {AI} in {AI} {EDAM}},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {21},
  number       = {1},
  pages        = {5--6},
  year         = {2007},
  url          = {https://doi.org/10.1017/S0890060407070035},
  doi          = {10.1017/S0890060407070035},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/Birmingham07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jasis/DannenbergBPHMT07,
  author       = {Roger B. Dannenberg and
                  William P. Birmingham and
                  Bryan Pardo and
                  Ning Hu and
                  Colin Meek and
                  George Tzanetakis},
  title        = {A comparative evaluation of search techniques for query-by-humming
                  using the {MUSART} testbed},
  journal      = {J. Assoc. Inf. Sci. Technol.},
  volume       = {58},
  number       = {5},
  pages        = {687--701},
  year         = {2007},
  url          = {https://doi.org/10.1002/asi.20532},
  doi          = {10.1002/ASI.20532},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jasis/DannenbergBPHMT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BirminghamA07,
  author       = {William P. Birmingham and
                  Leah Acker},
  editor       = {Ingrid Russell and
                  Susan M. Haller and
                  J. D. Dougherty and
                  Susan H. Rodger},
  title        = {Software-defined radio for undergraduate projects},
  booktitle    = {Proceedings of the 38th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2007, Covington, Kentucky, USA, March 7-11, 2007},
  pages        = {293--297},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1227310.1227414},
  doi          = {10.1145/1227310.1227414},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/BirminghamA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BirminghamDP06,
  author       = {William P. Birmingham and
                  Roger B. Dannenberg and
                  Bryan Pardo},
  title        = {Query by humming with the VocalSearch system},
  journal      = {Commun. {ACM}},
  volume       = {49},
  number       = {8},
  pages        = {49--52},
  year         = {2006},
  url          = {https://doi.org/10.1145/1145287.1145313},
  doi          = {10.1145/1145287.1145313},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BirminghamDP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PardoB05,
  author       = {Bryan Pardo and
                  William P. Birmingham},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {Modeling Form for On-line Following of Musical Performances},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {1018--1023},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-161.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/PardoB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comj/DannenbergBTMHP04,
  author       = {Roger B. Dannenberg and
                  William P. Birmingham and
                  George Tzanetakis and
                  Colin Meek and
                  Ning Hu and
                  Bryan Pardo},
  title        = {The {MUSART} Testbed for Query-by-Humming Evaluation},
  journal      = {Comput. Music. J.},
  volume       = {28},
  number       = {2},
  pages        = {34--48},
  year         = {2004},
  url          = {https://doi.org/10.1162/014892604323112239},
  doi          = {10.1162/014892604323112239},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comj/DannenbergBTMHP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/MeekB04,
  author       = {Colin Meek and
                  William P. Birmingham},
  title        = {A Comprehensive Trainable Error Model for Sung Music Queries},
  journal      = {J. Artif. Intell. Res.},
  volume       = {22},
  pages        = {57--91},
  year         = {2004},
  url          = {https://doi.org/10.1613/jair.1334},
  doi          = {10.1613/JAIR.1334},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/MeekB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ParkDB04,
  author       = {Sunju Park and
                  Edmund H. Durfee and
                  William P. Birmingham},
  title        = {Use of Markov Chains to Design an Agent Bidding Strategy for Continuous
                  Double Auctions},
  journal      = {J. Artif. Intell. Res.},
  volume       = {22},
  pages        = {175--214},
  year         = {2004},
  url          = {https://doi.org/10.1613/jair.1466},
  doi          = {10.1613/JAIR.1466},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/ParkDB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jasis/PardoSB04,
  author       = {Bryan Pardo and
                  Jonah Shifrin and
                  William P. Birmingham},
  title        = {Name that tune: {A} pilot study in finding a melody from a sung query},
  journal      = {J. Assoc. Inf. Sci. Technol.},
  volume       = {55},
  number       = {4},
  pages        = {283--300},
  year         = {2004},
  url          = {https://doi.org/10.1002/asi.10373},
  doi          = {10.1002/ASI.10373},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jasis/PardoSB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/MeekB03,
  author       = {Colin Meek and
                  William P. Birmingham},
  title        = {Automatic Thematic Extractor},
  journal      = {J. Intell. Inf. Syst.},
  volume       = {21},
  number       = {1},
  pages        = {9--33},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023549700206},
  doi          = {10.1023/A:1023549700206},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jiis/MeekB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/DannenbergBTMHP03,
  author       = {Roger B. Dannenberg and
                  William P. Birmingham and
                  George Tzanetakis and
                  Colin Meek and
                  Ning Hu and
                  Bryan Pardo},
  title        = {The {MUSART} testbed for query-by-humming evaluation},
  booktitle    = {{ISMIR} 2003, 4th International Conference on Music Information Retrieval,
                  Baltimore, Maryland, USA, October 27-30, 2003, Proceedings},
  year         = {2003},
  url          = {http://ismir2003.ismir.net/papers/Dannenberg.pdf},
  timestamp    = {Tue, 04 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismir/DannenbergBTMHP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/MeekB03,
  author       = {Colin Meek and
                  William P. Birmingham},
  title        = {The dangers of parsimony in query-by-humming applications},
  booktitle    = {{ISMIR} 2003, 4th International Conference on Music Information Retrieval,
                  Baltimore, Maryland, USA, October 27-30, 2003, Proceedings},
  year         = {2003},
  url          = {http://ismir2003.ismir.net/papers/Meek.pdf},
  timestamp    = {Tue, 04 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismir/MeekB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/ShifrinB03,
  author       = {Jonah Shifrin and
                  William P. Birmingham},
  title        = {Effectiveness of HMM-based retrieval on large databases},
  booktitle    = {{ISMIR} 2003, 4th International Conference on Music Information Retrieval,
                  Baltimore, Maryland, USA, October 27-30, 2003, Proceedings},
  year         = {2003},
  url          = {http://ismir2003.ismir.net/papers/Shifrin.pdf},
  timestamp    = {Tue, 04 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismir/ShifrinB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/BirminghamODS03,
  author       = {William P. Birmingham and
                  Kevin O'Malley and
                  Jon W. Dunn and
                  Ryan Scherle},
  title        = {{V2V:} {A} Second Variation on Query-by-Humming},
  booktitle    = {{ACM/IEEE} 2003 Joint Conference on Digital Libraries {(JCDL} 2003),
                  27-31 May 2003, Houston, Texas, USA, Proceedings},
  pages        = {380},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/JCDL.2003.1204896},
  doi          = {10.1109/JCDL.2003.1204896},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jcdl/BirminghamODS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comj/PardoB02,
  author       = {Bryan Pardo and
                  William P. Birmingham},
  title        = {Algorithms for Chordal Analysis},
  journal      = {Comput. Music. J.},
  volume       = {26},
  number       = {2},
  pages        = {27--49},
  year         = {2002},
  url          = {https://doi.org/10.1162/014892602760137167},
  doi          = {10.1162/014892602760137167},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comj/PardoB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dlib/BirminghamPMS02,
  author       = {William P. Birmingham and
                  Bryan Pardo and
                  Colin Meek and
                  Jonah Shifrin},
  title        = {The MusArt Music-Retrieval System: An Overview},
  journal      = {D Lib Mag.},
  volume       = {8},
  number       = {2},
  year         = {2002},
  url          = {https://doi.org/10.1045/february2002-birmingham},
  doi          = {10.1045/FEBRUARY2002-BIRMINGHAM},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dlib/BirminghamPMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/PardoB02,
  author       = {Bryan Pardo and
                  William P. Birmingham},
  title        = {Improved Score Following for Acoustic Performances},
  booktitle    = {Proceedings of the 2002 International Computer Music Conference, {ICMC}
                  2002, Gothenburg, Sweden, September 16-21, 2002},
  publisher    = {Michigan Publishing},
  year         = {2002},
  url          = {https://hdl.handle.net/2027/spo.bbp2372.2002.054},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icmc/PardoB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/MeekB02,
  author       = {Colin Meek and
                  William P. Birmingham},
  title        = {Johnny Can't Sing: {A} Comprehensive Error Model for Sung Music Queries},
  booktitle    = {{ISMIR} 2002, 3rd International Conference on Music Information Retrieval,
                  Paris, France, October 13-17, 2002, Proceedings},
  year         = {2002},
  url          = {http://ismir2002.ismir.net/proceedings/02-FP04-4.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismir/MeekB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/PardoB02,
  author       = {Bryan Pardo and
                  William P. Birmingham},
  title        = {Encoding Timing Information for Musical Query Matching},
  booktitle    = {{ISMIR} 2002, 3rd International Conference on Music Information Retrieval,
                  Paris, France, October 13-17, 2002, Proceedings},
  year         = {2002},
  url          = {http://ismir2002.ismir.net/proceedings/03-SP02-2.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismir/PardoB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/ShifrinPMB02,
  author       = {Jonah Shifrin and
                  Bryan Pardo and
                  Colin Meek and
                  William P. Birmingham},
  title        = {HMM-based musical query retrieval},
  booktitle    = {{ACM/IEEE} Joint Conference on Digital Libraries, {JCDL} 2002, Portland,
                  Oregon, USA, June 14-18, 2002, Proceedings},
  pages        = {295--300},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/544220.544291},
  doi          = {10.1145/544220.544291},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jcdl/ShifrinPMB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/LesperanceWBBNWAFGJHGGHSKMDGMBM01,
  author       = {Yves Lesp{\'{e}}rance and
                  Gerd Wagner and
                  William P. Birmingham and
                  Kurt D. Bollacker and
                  Alexander Nareyek and
                  J. Paul Walser and
                  David W. Aha and
                  Timothy W. Finin and
                  Benjamin N. Grosof and
                  Nathalie Japkowicz and
                  Robert Holte and
                  Lise Getoor and
                  Carla P. Gomes and
                  Holger H. Hoos and
                  Alan C. Schultz and
                  Miroslav Kubat and
                  Tom M. Mitchell and
                  J{\"{o}}rg Denzinger and
                  Yolanda Gil and
                  Karen L. Myers and
                  Claudio Bettini and
                  Angelo Montanari},
  title        = {{AAAI} 2000 Workshop Reports},
  journal      = {{AI} Mag.},
  volume       = {22},
  number       = {1},
  pages        = {127--136},
  year         = {2001},
  url          = {https://doi.org/10.1609/aimag.v22i1.1552},
  doi          = {10.1609/AIMAG.V22I1.1552},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/LesperanceWBBNWAFGJHGGHSKMDGMBM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GloverLGBG01,
  author       = {Eric J. Glover and
                  Steve Lawrence and
                  Michael D. Gordon and
                  William P. Birmingham and
                  C. Lee Giles},
  title        = {Web Search - Your Way},
  journal      = {Commun. {ACM}},
  volume       = {44},
  number       = {12},
  pages        = {97--102},
  year         = {2001},
  url          = {https://doi.org/10.1145/501317.501319},
  doi          = {10.1145/501317.501319},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/GloverLGBG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/Birmingham01,
  author       = {William P. Birmingham},
  title        = {{MUSART:} Music Retrieval Via Aural Queries},
  booktitle    = {{ISMIR} 2001, 2nd International Symposium on Music Information Retrieval,
                  Indiana University, Bloomington, Indiana, USA, October 15-17, 2001,
                  Proceedings},
  year         = {2001},
  url          = {http://ismir2001.ismir.net/pdf/birmingham.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismir/Birmingham01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/GloverFLBKGP01,
  author       = {Eric J. Glover and
                  Gary William Flake and
                  Steve Lawrence and
                  William P. Birmingham and
                  Andries Kruger and
                  C. Lee Giles and
                  David M. Pennock},
  title        = {Improving Category Specific Web Search by Learning Query Modifications},
  booktitle    = {2001 Symposium on Applications and the Internet {(SAINT} 2001), 8-12
                  January 2001, San Diego, CA, USA, Proceedings},
  pages        = {23},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/SAINT.2001.905165},
  doi          = {10.1109/SAINT.2001.905165},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saint/GloverFLBKGP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/ParkDB00,
  author       = {Sunju Park and
                  Edmund H. Durfee and
                  William P. Birmingham},
  title        = {Emergent Properties of a Market-based Digital Library with Strategic
                  Agents},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {3},
  number       = {1},
  pages        = {33--51},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1010081711284},
  doi          = {10.1023/A:1010081711284},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aamas/ParkDB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/DarrB00,
  author       = {Timothy P. Darr and
                  William P. Birmingham},
  title        = {Part-selection triptych: {A} representation, problem properties and
                  problem definition, and problem-solving method},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {14},
  number       = {1},
  pages        = {39--51},
  year         = {2000},
  url          = {http://journals.cambridge.org/action/displayAbstract?aid=38557},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/DarrB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/PardoB00,
  author       = {Bryan Pardo and
                  William P. Birmingham},
  editor       = {James N. Etheredge and
                  Bill Z. Manaris},
  title        = {Automated Partitioning of Tonal Music},
  booktitle    = {Proceedings of the Thirteenth International Florida Artificial Intelligence
                  Research Society Conference, May 22-24, 2000, Orlando, Florida, {USA}},
  pages        = {23--27},
  publisher    = {{AAAI} Press},
  year         = {2000},
  url          = {http://www.aaai.org/Library/FLAIRS/2000/flairs00-005.php},
  timestamp    = {Wed, 26 Oct 2022 08:35:35 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/PardoB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/WeinsteinBD99,
  author       = {Peter Weinstein and
                  William P. Birmingham and
                  Edmund H. Durfee},
  title        = {Agent based digital libraries: decentralization and coordination},
  journal      = {{IEEE} Commun. Mag.},
  volume       = {37},
  number       = {1},
  pages        = {110--115},
  year         = {1999},
  url          = {https://doi.org/10.1109/35.739313},
  doi          = {10.1109/35.739313},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cm/WeinsteinBD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/ParkDB99,
  author       = {Sunju Park and
                  Edmund H. Durfee and
                  William P. Birmingham},
  editor       = {Oren Etzioni and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  Jeffrey M. Bradshaw},
  title        = {An Adaptive Agent Bidding Strategy Based on Stochastic Modeling},
  booktitle    = {Proceedings of the Third Annual Conference on Autonomous Agents, {AGENTS}
                  1999, Seattle, WA, USA, May 1-5, 1999},
  pages        = {147--153},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/301136.301181},
  doi          = {10.1145/301136.301181},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agents/ParkDB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/GloverLBG99,
  author       = {Eric J. Glover and
                  Steve Lawrence and
                  William P. Birmingham and
                  C. Lee Giles},
  title        = {Architecture of a Metasearch Engine That Supports User Information
                  Needs},
  booktitle    = {Proceedings of the 1999 {ACM} {CIKM} International Conference on Information
                  and Knowledge Management, Kansas City, Missouri, USA, November 2-6,
                  1999},
  pages        = {210--216},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/319950.319980},
  doi          = {10.1145/319950.319980},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cikm/GloverLBG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/BirminghamD98,
  author       = {William P. Birmingham and
                  Clive L. Dym},
  title        = {Foreword},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {12},
  number       = {1},
  pages        = {1},
  year         = {1998},
  url          = {http://journals.cambridge.org/action/displayAbstract?aid=38587},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/BirminghamD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodl/WeinsteinB98,
  author       = {Peter Weinstein and
                  William P. Birmingham},
  title        = {Creating Ontological Metadata for Digital Library Content and Services},
  journal      = {Int. J. Digit. Libr.},
  volume       = {2},
  number       = {1},
  pages        = {20--37},
  year         = {1998},
  url          = {https://doi.org/10.1007/s007990050034},
  doi          = {10.1007/S007990050034},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jodl/WeinsteinB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aid/DarrBS98,
  author       = {Timothy P. Darr and
                  William P. Birmingham and
                  Nancy Scala},
  editor       = {John S. Gero and
                  Fay Sudweeks},
  title        = {A Mad Approach for Solving Part-Selection Problems},
  booktitle    = {Artificial Intelligence in Design '98 - Proceedings of the Fifth International
                  Conference on Artificial Intelligence in Design, {AID} 1998, Lisbon,
                  Portugal, July 20-23, 1998},
  pages        = {251--269},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-94-011-5121-4\_13},
  doi          = {10.1007/978-94-011-5121-4\_13},
  timestamp    = {Fri, 17 Nov 2017 16:50:36 +0100},
  biburl       = {https://dblp.org/rec/conf/aid/DarrBS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dl/GloverB98,
  author       = {Eric J. Glover and
                  William P. Birmingham},
  title        = {Using Decision Theory to Order Documents},
  booktitle    = {Proceedings of the 3rd {ACM} International Conference on Digital Libraries,
                  June 23-26, 1998, Pittsburgh, PA, {USA}},
  pages        = {285--286},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/276675.276732},
  doi          = {10.1145/276675.276732},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dl/GloverB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/ParkDB98,
  author       = {Sunju Park and
                  Edmund H. Durfee and
                  William P. Birmingham},
  editor       = {Yves Demazeau},
  title        = {Emergent Properties of a Market-based Digital Library with Strategic
                  Agents},
  booktitle    = {Proceedings of the Third International Conference on Multiagent Systems,
                  {ICMAS} 1998, Paris, France, July 3-7, 1998},
  pages        = {230--237},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICMAS.1998.699054},
  doi          = {10.1109/ICMAS.1998.699054},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icmas/ParkDB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/widm/GloverWBG98,
  author       = {Eric J. Glover and
                  William P. Birmingham and
                  Michael D. Gordon},
  editor       = {Fereidoon Sadri},
  title        = {Improving Web Search Using Utility Theory},
  booktitle    = {CIKM'98 First Workshop on Web Information and Data Management (WIDM'98),
                  Bathesda, Maryland, USA, November 6, 1998},
  pages        = {5--8},
  publisher    = {{ACM}},
  year         = {1998},
  timestamp    = {Mon, 29 Dec 2003 11:37:49 +0100},
  biburl       = {https://dblp.org/rec/conf/widm/GloverWBG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/Birmingham97,
  author       = {William P. Birmingham},
  title        = {Introduction to \emph{AIEDAM}},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {11},
  number       = {1},
  pages        = {3},
  year         = {1997},
  url          = {https://doi.org/10.1017/S0890060400001797},
  doi          = {10.1017/S0890060400001797},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/Birmingham97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BrownB97,
  author       = {David C. Brown and
                  William P. Birmingham},
  title        = {Guest Editors' Introduction: Understanding the Nature of Design},
  journal      = {{IEEE} Expert},
  volume       = {12},
  number       = {2},
  pages        = {14--16},
  year         = {1997},
  url          = {https://doi.org/10.1109/MEX.1997.585099},
  doi          = {10.1109/MEX.1997.585099},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/BrownB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DurfeeKB97,
  author       = {Edmund H. Durfee and
                  Daniel L. Kiskis and
                  William P. Birmingham},
  title        = {The agent architecture of the Univercity of Michingan Digital Library},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {1},
  pages        = {61--71},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971024},
  doi          = {10.1049/IP-SEN:19971024},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DurfeeKB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/DagaB97,
  author       = {Ajay J. Daga and
                  William P. Birmingham},
  title        = {Interface finite-state machines: definition, minimization, and decomposition},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {16},
  number       = {5},
  pages        = {497--505},
  year         = {1997},
  url          = {https://doi.org/10.1109/43.631212},
  doi          = {10.1109/43.631212},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/DagaB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WeinsteinB97,
  author       = {Peter Weinstein and
                  William P. Birmingham},
  editor       = {Benjamin Kuipers and
                  Bonnie L. Webber},
  title        = {Matching Requests for Agent Services with Differentiated Vocabulary},
  booktitle    = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
                  and Ninth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
                  {USA}},
  pages        = {850},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1997},
  url          = {http://www.aaai.org/Library/AAAI/1997/aaai97-180.php},
  timestamp    = {Tue, 05 Sep 2023 08:53:09 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WeinsteinB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/DarrB96,
  author       = {Timothy P. Darr and
                  William P. Birmingham},
  title        = {An attribute-space representation and algorithm for concurrent engineering},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {10},
  number       = {1},
  pages        = {21--36},
  year         = {1996},
  url          = {https://doi.org/10.1017/S0890060400001268},
  doi          = {10.1017/S0890060400001268},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/DarrB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/AtkinsBDGMRSVWW96,
  author       = {Daniel E. Atkins and
                  William P. Birmingham and
                  Edmund H. Durfee and
                  Eric J. Glover and
                  Tracy Mullen and
                  Elke A. Rundensteiner and
                  Elliot Soloway and
                  Jos{\'{e}} M. Vidal and
                  Raven Wallace and
                  Michael P. Wellman},
  title        = {Toward Inquiry-Based Education Through Interacting Software Agents},
  journal      = {Computer},
  volume       = {29},
  number       = {5},
  pages        = {69--76},
  year         = {1996},
  url          = {https://doi.org/10.1109/2.494084},
  doi          = {10.1109/2.494084},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/AtkinsBDGMRSVWW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/SchreiberB96,
  author       = {A. Th. Schreiber and
                  William P. Birmingham},
  title        = {Editorial: the Sisyphus-VT initiative},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {44},
  number       = {3-4},
  pages        = {275--280},
  year         = {1996},
  url          = {https://doi.org/10.1006/ijhc.1996.0015},
  doi          = {10.1006/IJHC.1996.0015},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmms/SchreiberB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/RunkelBB96,
  author       = {Jay T. Runkel and
                  William P. Birmingham and
                  Alan Balkany},
  title        = {Solving {VT} by reuse},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {44},
  number       = {3-4},
  pages        = {403--433},
  year         = {1996},
  url          = {https://doi.org/10.1006/ijhc.1996.0020},
  doi          = {10.1006/IJHC.1996.0020},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmms/RunkelBB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DAmbrosioB96,
  author       = {Joseph G. D'Ambrosio and
                  William P. Birmingham},
  editor       = {William J. Clancey and
                  Daniel S. Weld},
  title        = {Achieving Agent Coordination via Distributed Preferences},
  booktitle    = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
                  and Eighth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
                  2},
  pages        = {1383},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1996},
  url          = {http://www.aaai.org/Library/AAAI/1996/aaai96-234.php},
  timestamp    = {Tue, 05 Sep 2023 08:53:09 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DAmbrosioB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/BirminghamW95,
  author       = {William P. Birmingham and
                  Allen C. Ward},
  title        = {Special Issue: What is Concurrent Engineering?},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {9},
  number       = {2},
  pages        = {67--68},
  year         = {1995},
  url          = {https://doi.org/10.1017/S0890060400002110},
  doi          = {10.1017/S0890060400002110},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/BirminghamW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/DAmbrosioB95,
  author       = {Joseph G. D'Ambrosio and
                  William P. Birmingham},
  title        = {Preference-directed design},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {9},
  number       = {3},
  pages        = {219--230},
  year         = {1995},
  url          = {https://doi.org/10.1017/S0890060400002456},
  doi          = {10.1017/S0890060400002456},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/DAmbrosioB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dlib/Birmingham95,
  author       = {William P. Birmingham},
  title        = {An agent-based architecture for digital libraries},
  journal      = {D Lib Mag.},
  volume       = {1},
  number       = {1},
  year         = {1995},
  url          = {http://www.dlib.org/dlib/July95/07birmingham.html},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dlib/Birmingham95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/DagaB95,
  author       = {Ajay J. Daga and
                  William P. Birmingham},
  title        = {A symbolic-simulation approach to the timing verification of interacting
                  FSMs},
  booktitle    = {1995 International Conference on Computer Design {(ICCD} '95), {VLSI}
                  in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
  pages        = {584--589},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ICCD.1995.528927},
  doi          = {10.1109/ICCD.1995.528927},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/DagaB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/BirminghamW94,
  author       = {William P. Birmingham and
                  Allen C. Ward},
  title        = {Special Issue on Innovative Approaches to Concurrent Engineering},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {8},
  number       = {1},
  pages        = {76},
  year         = {1994},
  url          = {https://doi.org/10.1017/S0890060400000470},
  doi          = {10.1017/S0890060400000470},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/BirminghamW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/DarrB94,
  author       = {Timothy P. Darr and
                  William P. Birmingham},
  title        = {Automated Design for Concurrent Engineering},
  journal      = {{IEEE} Expert},
  volume       = {9},
  number       = {5},
  pages        = {35--42},
  year         = {1994},
  url          = {https://doi.org/10.1109/64.331486},
  doi          = {10.1109/64.331486},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/DarrB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/BalkanyBR94,
  author       = {Alan Balkany and
                  William P. Birmingham and
                  Jay T. Runkel},
  title        = {Solving Sisyphus by design},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {40},
  number       = {2},
  pages        = {221--241},
  year         = {1994},
  url          = {https://doi.org/10.1006/ijhc.1994.1011},
  doi          = {10.1006/IJHC.1994.1011},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmms/BalkanyBR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/BalkanyBMRT94,
  author       = {Alan Balkany and
                  William P. Birmingham and
                  Bruce R. Maxim and
                  Jay T. Runkel and
                  Iris D. Tommelein},
  title        = {{DIDS:} rapidly prototyping configuration design systems},
  journal      = {J. Intell. Manuf.},
  volume       = {5},
  number       = {1},
  pages        = {33--45},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF00124685},
  doi          = {10.1007/BF00124685},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jim/BalkanyBMRT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RunkelB94,
  author       = {Jay T. Runkel and
                  William P. Birmingham},
  editor       = {Barbara Hayes{-}Roth and
                  Richard E. Korf},
  title        = {Building Non-Brittle Knowledge-Acquisition Tools},
  booktitle    = {Proceedings of the 12th National Conference on Artificial Intelligence,
                  Seattle, WA, USA, July 31 - August 4, 1994, Volume 1},
  pages        = {535--540},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1994},
  url          = {http://www.aaai.org/Library/AAAI/1994/aaai94-081.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RunkelB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DagaB94,
  author       = {Ajay J. Daga and
                  William P. Birmingham},
  editor       = {Michael J. Lorenzetti},
  title        = {The Minimization and Decomposition of Interface State Machines},
  booktitle    = {Proceedings of the 31st Conference on Design Automation, San Diego,
                  California, USA, June 6-10, 1994},
  pages        = {120--125},
  publisher    = {{ACM} Press},
  year         = {1994},
  url          = {https://doi.org/10.1145/196244.196301},
  doi          = {10.1145/196244.196301},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DagaB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/BalkanyBT93,
  author       = {Alan Balkany and
                  William P. Birmingham and
                  Iris D. Tommelein},
  title        = {An analysis of several configuration design systems},
  journal      = {Artif. Intell. Eng. Des. Anal. Manuf.},
  volume       = {7},
  number       = {1},
  pages        = {1--17},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0890060400000032},
  doi          = {10.1017/S0890060400000032},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aiedam/BalkanyBT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/BirminghamK93,
  author       = {William P. Birmingham and
                  Georg Klinker},
  title        = {Knowledge-acquisition tools with explicit problem-solving models},
  journal      = {Knowl. Eng. Rev.},
  volume       = {8},
  number       = {1},
  pages        = {5--25},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0269888900000047},
  doi          = {10.1017/S0269888900000047},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ker/BirminghamK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/GuptaBS93,
  author       = {Anurag P. Gupta and
                  William P. Birmingham and
                  Daniel P. Siewiorek},
  title        = {Automating the design of computer systems},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {12},
  number       = {4},
  pages        = {473--487},
  year         = {1993},
  url          = {https://doi.org/10.1109/43.229731},
  doi          = {10.1109/43.229731},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/GuptaBS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/HaworthBH93,
  author       = {Manjote S. Haworth and
                  William P. Birmingham and
                  Daniel E. Haworth},
  title        = {Optimal part selection},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {12},
  number       = {10},
  pages        = {1611--1617},
  year         = {1993},
  url          = {https://doi.org/10.1109/43.256941},
  doi          = {10.1109/43.256941},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/HaworthBH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HaworthB93,
  author       = {Manjote S. Haworth and
                  William P. Birmingham},
  editor       = {Alfred E. Dunlop},
  title        = {Towards Optimal System-Level Design},
  booktitle    = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
                  USA, June 14-18, 1993},
  pages        = {434--438},
  publisher    = {{ACM} Press},
  year         = {1993},
  url          = {https://doi.org/10.1145/157485.164965},
  doi          = {10.1145/157485.164965},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HaworthB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017331,
  author       = {William P. Birmingham and
                  Anurag P. Gupta and
                  Daniel P. Siewiorek},
  title        = {Automating the design of computer systems - the {MICON} project},
  publisher    = {Jones and Bartlett Publishers},
  year         = {1992},
  isbn         = {978-0-86720-241-0},
  timestamp    = {Thu, 07 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0017331.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LeongB92,
  author       = {Yew{-}Hong Leong and
                  William P. Birmingham},
  editor       = {Daniel G. Schweikert},
  title        = {The Automatic Generation of Bus-Interface Models},
  booktitle    = {Proceedings of the 29th Design Automation Conference, Anaheim, California,
                  USA, June 8-12, 1992},
  pages        = {634--637},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1992},
  url          = {http://portal.acm.org/citation.cfm?id=113938.149649},
  timestamp    = {Thu, 16 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LeongB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LaddB91,
  author       = {Maureen Ladd and
                  William P. Birmingham},
  editor       = {A. Richard Newton},
  title        = {Synthesis of Multiple-Input Change Asynchronous Finite state Machines},
  booktitle    = {Proceedings of the 28th Design Automation Conference, San Francisco,
                  California, USA, June 17-21, 1991},
  pages        = {309--314},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/127601.127686},
  doi          = {10.1145/127601.127686},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/LaddB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DagaB90,
  author       = {Ajay J. Daga and
                  William P. Birmingham},
  editor       = {Richard C. Smith},
  title        = {Failure Recovery in the {MICON} System},
  booktitle    = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando,
                  Florida, USA, June 24-28, 1990},
  pages        = {686--691},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1990},
  url          = {https://doi.org/10.1145/123186.123440},
  doi          = {10.1145/123186.123440},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DagaB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/BirminghamGS89,
  author       = {William P. Birmingham and
                  Anurag P. Gupta and
                  Daniel P. Siewiorek},
  title        = {The Micon system for computer design},
  journal      = {{IEEE} Micro},
  volume       = {9},
  number       = {5},
  pages        = {61--67},
  year         = {1989},
  url          = {https://doi.org/10.1109/40.45823},
  doi          = {10.1109/40.45823},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/micro/BirminghamGS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BirminghamGS89,
  author       = {William P. Birmingham and
                  Anurag P. Gupta and
                  Daniel P. Siewiorek},
  editor       = {Donald E. Thomas},
  title        = {The {MICON} System for Computer Design},
  booktitle    = {Proceedings of the 26th {ACM/IEEE} Design Automation Conference, Las
                  Vegas, Nevada, USA, June 25-29, 1989},
  pages        = {135--140},
  publisher    = {{ACM} Press},
  year         = {1989},
  url          = {https://doi.org/10.1145/74382.74406},
  doi          = {10.1145/74382.74406},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BirminghamGS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BirminghamS89,
  author       = {William P. Birmingham and
                  Daniel P. Siewiorek},
  editor       = {Donald E. Thomas},
  title        = {Capturing Designer Expertise the {CGEN} System},
  booktitle    = {Proceedings of the 26th {ACM/IEEE} Design Automation Conference, Las
                  Vegas, Nevada, USA, June 25-29, 1989},
  pages        = {610--613},
  publisher    = {{ACM} Press},
  year         = {1989},
  url          = {https://doi.org/10.1145/74382.74487},
  doi          = {10.1145/74382.74487},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BirminghamS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BirminghamJK86,
  author       = {William P. Birmingham and
                  Rostam Joobbani and
                  Jin Kim},
  editor       = {Don Thomas},
  title        = {Knowlege-based expert systems and their application (tutorial session},
  booktitle    = {Proceedings of the 23rd {ACM/IEEE} Design Automation Conference. Las
                  Vegas, NV, USA, June, 1986},
  pages        = {531--539},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1986},
  url          = {https://doi.org/10.1145/318013.318098},
  doi          = {10.1145/318013.318098},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BirminghamJK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caia/BirminghamK85,
  author       = {William P. Birmingham and
                  J. H. Kim},
  editor       = {Charles R. Weisbin},
  title        = {DAS/Logic\({}^{\mbox{TM}}\): {A} Rule-Based Logic Design Assistant},
  booktitle    = {Artificial Intelligence Applications, {CAIA} 1985, The Engineering
                  of Knowledge-Based Systems, Proceedings of the Second Conference,
                  Miami Beach, Florida, USA, December 11-13, 1985},
  pages        = {264--268},
  publisher    = {{IEEE} Computer Society / North-Holland},
  year         = {1985},
  timestamp    = {Tue, 30 May 2006 14:03:38 +0200},
  biburl       = {https://dblp.org/rec/conf/caia/BirminghamK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/YangYBS85,
  author       = {Xiao{-}Zong Yang and
                  Gary York and
                  William P. Birmingham and
                  Daniel P. Siewiorek},
  title        = {Fault Recovery of Triplicated Software on the Intel iAPX 432},
  booktitle    = {Proceedings of the 5th International Conference on Distributed Computing
                  Systems, Denver, Colorado, USA, May 13-17, 1985},
  pages        = {438--443},
  publisher    = {{IEEE} Computer Society},
  year         = {1985},
  timestamp    = {Wed, 27 Nov 2013 16:54:35 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/YangYBS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics