Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Michael C. Browne
@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} }
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.