Randal Bryant (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Randal Bryant" in English language version.

refsWebsite

Global rank English rank

1,564^th place

1,028^th place

2^nd place

2^nd place

5^th place

5^th place

3semanticscholar.org

11^th place

8^th place

207^th place

136^th place

1infosys-science-foundation.com

low place

low place

69^th place

59^th place

1,185^th place

840^th place

1web.archive.org

1^st place

1^st place

652^nd place

515^th place

low place

low place

acm.org

dl.acm.org

Seger, Carl-Johan H.; Bryant, Randal E. (1995-03-01). "Formal verification by symbolic evaluation of partially-ordered trajectories". Formal Methods in System Design. 6 (2): 147–189. doi:10.1007/BF01383966. ISSN 0925-9856. S2CID 14804600.

arxiv.org

Bryant, R. E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation". IEEE Transactions on Computers. C-35 (8): 677–691. arXiv:cs/0508044. doi:10.1109/TC.1986.1676819. ISSN 0018-9340. S2CID 10385726.

cmu.edu

cs.cmu.edu

"Bryant's home". www.cs.cmu.edu. Retrieved 2018-02-01.
"Randal Bryant - Education and Publications".
Bryant, Randal E. (1992-09-01). "Symbolic Boolean manipulation with ordered binary-decision diagrams" (PDF). ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN 0360-0300. S2CID 1933530.

cmu.edu

University, Carnegie Mellon. "Press Release: Former Carnegie Mellon Computer Science Dean Now Assisting in White House Policy Office - News - Carnegie Mellon University". Retrieved 2018-02-01.

isri.cmu.edu

University, Carnegie Mellon. "Randal Bryant - Institute for Software Research - Carnegie Mellon University". www.isri.cmu.edu. Retrieved 2018-02-01.

doi.org

Bryant, R. E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation". IEEE Transactions on Computers. C-35 (8): 677–691. arXiv:cs/0508044. doi:10.1109/TC.1986.1676819. ISSN 0018-9340. S2CID 10385726.
Bryant, Randal E. (1992-09-01). "Symbolic Boolean manipulation with ordered binary-decision diagrams" (PDF). ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN 0360-0300. S2CID 1933530.
Seger, Carl-Johan H.; Bryant, Randal E. (1995-03-01). "Formal verification by symbolic evaluation of partially-ordered trajectories". Formal Methods in System Design. 6 (2): 147–189. doi:10.1007/BF01383966. ISSN 0925-9856. S2CID 14804600.

ieee.org

"IEEE Emanuel R. Piore Award Recipients" (PDF). IEEE. Archived from the original (PDF) on November 24, 2010. Retrieved March 20, 2021.

infosys-science-foundation.com

"Infosys Prize - Jury 2013". Infosys Science Foundation. Retrieved 1 March 2021.

psu.edu

citeseer.ist.psu.edu

"Most cited source documents". Citeseer. September 2006. Retrieved March 5, 2007.

semanticscholar.org

api.semanticscholar.org

Bryant, R. E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation". IEEE Transactions on Computers. C-35 (8): 677–691. arXiv:cs/0508044. doi:10.1109/TC.1986.1676819. ISSN 0018-9340. S2CID 10385726.
Bryant, Randal E. (1992-09-01). "Symbolic Boolean manipulation with ordered binary-decision diagrams" (PDF). ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN 0360-0300. S2CID 1933530.
Seger, Carl-Johan H.; Bryant, Randal E. (1995-03-01). "Formal verification by symbolic evaluation of partially-ordered trajectories". Formal Methods in System Design. 6 (2): 147–189. doi:10.1007/BF01383966. ISSN 0925-9856. S2CID 14804600.

sigda.org

"ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation". SIGDA. Retrieved 2 February 2018.

web.archive.org

"IEEE Emanuel R. Piore Award Recipients" (PDF). IEEE. Archived from the original (PDF) on November 24, 2010. Retrieved March 20, 2021.

worldcat.org

search.worldcat.org

Bryant, R. E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation". IEEE Transactions on Computers. C-35 (8): 677–691. arXiv:cs/0508044. doi:10.1109/TC.1986.1676819. ISSN 0018-9340. S2CID 10385726.
Bryant, Randal E. (1992-09-01). "Symbolic Boolean manipulation with ordered binary-decision diagrams" (PDF). ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN 0360-0300. S2CID 1933530.
Seger, Carl-Johan H.; Bryant, Randal E. (1995-03-01). "Formal verification by symbolic evaluation of partially-ordered trajectories". Formal Methods in System Design. 6 (2): 147–189. doi:10.1007/BF01383966. ISSN 0925-9856. S2CID 14804600.