BibTeX records: Michael C. Browne

download as .bib file

@article{DBLP:journals/tc/PongBAND98,
  author       = {Fong Pong and
                  Michael C. Browne and
                  Gunes Aybay and
                  Andreas Nowatzyk and
                  Michel Dubois},
  title        = {Design Verification of the S3.mp Cache-Coherent Shared-Memory System},
  journal      = {{IEEE} Trans. Computers},
  volume       = {47},
  number       = {1},
  pages        = {135--140},
  year         = {1998},
  url          = {https://doi.org/10.1109/12.656100},
  doi          = {10.1109/12.656100},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/PongBAND98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/NowatzykABKPRV95,
  author       = {Andreas Nowatzyk and
                  Gunes Aybay and
                  Michael C. Browne and
                  Edmund J. Kelly and
                  Michael Parkin and
                  Bill Radke and
                  Sanjay Vishin},
  editor       = {Seif Haridi and
                  Khayri A. M. Ali and
                  Peter Magnusson},
  title        = {Exploiting Parallelism in Cache Coherency Protocol Engines},
  booktitle    = {Euro-Par '95 Parallel Processing, First International Euro-Par Conference,
                  Stockholm, Sweden, August 29-31, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {966},
  pages        = {269--286},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0020471},
  doi          = {10.1007/BFB0020471},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/NowatzykABKPRV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/NowatzykABKPRV95,
  author       = {Andreas Nowatzyk and
                  Gunes Aybay and
                  Michael C. Browne and
                  Edmund J. Kelly and
                  Michael Parkin and
                  Bill Radke and
                  Sanjay Vishin},
  editor       = {Prithviraj Banerjee},
  title        = {The S3.mp Scalable Shared Memory Multiprocessor},
  booktitle    = {Proceedings of the 1995 International Conference on Parallel Processing,
                  Urbana-Champain, Illinois, USA, August 14-18, 1995. Volume {I:} Architecture},
  pages        = {1--10},
  publisher    = {{CRC} Press},
  year         = {1995},
  timestamp    = {Fri, 25 Jul 2014 14:09:07 +0200},
  biburl       = {https://dblp.org/rec/conf/icpp/NowatzykABKPRV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/NowatzykBKP95,
  author       = {Andreas Nowatzyk and
                  Michael C. Browne and
                  Edmund J. Kelly and
                  Michael Parkin},
  editor       = {David A. Patterson},
  title        = {S-Connect: From Networks of Workstations to Supercomputer Performance},
  booktitle    = {Proceedings of the 22nd Annual International Symposium on Computer
                  Architecture, {ISCA} '95, Santa Margherita Ligure, Italy, June 22-24,
                  1995},
  pages        = {71--82},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/223982.224004},
  doi          = {10.1145/223982.224004},
  timestamp    = {Thu, 13 Apr 2023 19:55:42 +0200},
  biburl       = {https://dblp.org/rec/conf/isca/NowatzykBKP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/NowatzykABKLP94,
  author       = {Andreas Nowatzyk and
                  Gunes Aybay and
                  Michael C. Browne and
                  Edmund J. Kelly and
                  David Lee and
                  Michael Parkin},
  title        = {The S3mp Scalable Shared Memory Multiprocessor},
  booktitle    = {27th Annual Hawaii International Conference on System Sciences (HICSS-27),
                  January 4-7, 1994, Maui, Hawaii, {USA}},
  pages        = {144--153},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/NowatzykABKLP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/NowatzykMPKBAL93,
  author       = {Andreas Nowatzyk and
                  M. Monger and
                  Michael Parkin and
                  Edmund J. Kelly and
                  Michael C. Browne and
                  Gunes Aybay and
                  David Lee},
  editor       = {Lawrence Snyder},
  title        = {The S3.mp Architecture: {A} Local Area Multiprocessor},
  booktitle    = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} '93, Velen, Germany, June 30 - July 2, 1993},
  pages        = {140--141},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/165231.165249},
  doi          = {10.1145/165231.165249},
  timestamp    = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/NowatzykMPKBAL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ClarkeGB89,
  author       = {Michael C. Browne and
                  Edmund M. Clarke and
                  Orna Grumberg},
  title        = {Reasoning about Networks with Many Identical Finite State Processes},
  journal      = {Inf. Comput.},
  volume       = {81},
  number       = {1},
  pages        = {13--31},
  year         = {1989},
  url          = {https://doi.org/10.1016/0890-5401(89)90026-6},
  doi          = {10.1016/0890-5401(89)90026-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ClarkeGB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrowneCG88,
  author       = {Michael C. Browne and
                  Edmund M. Clarke and
                  Orna Grumberg},
  title        = {Characterizing Finite Kripke Structures in Propositional Temporal
                  Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {59},
  pages        = {115--131},
  year         = {1988},
  url          = {https://doi.org/10.1016/0304-3975(88)90098-9},
  doi          = {10.1016/0304-3975(88)90098-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrowneCG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BrowneCG87,
  author       = {Michael C. Browne and
                  Edmund M. Clarke and
                  Orna Grumberg},
  editor       = {Hartmut Ehrig and
                  Robert A. Kowalski and
                  Giorgio Levi and
                  Ugo Montanari},
  title        = {Characterizing Kripke Structures in Temporal Logic},
  booktitle    = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
                  and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
                  Volume 1: Advanced Seminar on Foundations of Innovative Software Development
                  {I} and Colloquium on Trees in Algebra and Programming (CAAP'87)},
  series       = {Lecture Notes in Computer Science},
  volume       = {249},
  pages        = {256--270},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-17660-8\_60},
  doi          = {10.1007/3-540-17660-8\_60},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/BrowneCG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrowneCDM86,
  author       = {Michael C. Browne and
                  Edmund M. Clarke and
                  David L. Dill and
                  Bud Mishra},
  title        = {Automatic Verification of Sequential Circuits Using Temporal Logic},
  journal      = {{IEEE} Trans. Computers},
  volume       = {35},
  number       = {12},
  pages        = {1035--1044},
  year         = {1986},
  url          = {https://doi.org/10.1109/TC.1986.1676711},
  doi          = {10.1109/TC.1986.1676711},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/BrowneCDM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Browne86,
  author       = {Michael C. Browne},
  title        = {An Improved Algorithm for the Automatic Verification of Finite State
                  Systems Using Temporal Logic},
  booktitle    = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
                  '86), Cambridge, Massachusetts, USA, June 16-18, 1986},
  pages        = {260--266},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  timestamp    = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Browne86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ClarkeGB86,
  author       = {Edmund M. Clarke and
                  Orna Grumberg and
                  Michael C. Browne},
  editor       = {Joseph Y. Halpern},
  title        = {Reasoning About Networks With Many Identical Finite-State Processes},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {240--248},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10611},
  doi          = {10.1145/10590.10611},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/ClarkeGB86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/ClarkeBES84,
  author       = {Edmund M. Clarke and
                  Michael C. Browne and
                  E. Allen Emerson and
                  A. Prasad Sistla},
  editor       = {Krzysztof R. Apt},
  title        = {Using Temporal Logic for Automatic Verification of Finite State Systems},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {3--26},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_1},
  doi          = {10.1007/978-3-642-82453-1\_1},
  timestamp    = {Fri, 17 Apr 2020 17:55:08 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/ClarkeBES84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics