-
1مؤتمر
المؤلفون: Bryant, Randal E.
المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :49-58 Oct, 2022
Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)
-
2تقرير
المؤلفون: Bryant, Randal E.
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1
URL الوصول: http://arxiv.org/abs/2306.10337
-
3تقرير
المؤلفون: Soos, Mate, Bryant, Randal E.
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1
URL الوصول: http://arxiv.org/abs/2304.04292
-
4كتاب إلكتروني
المؤلفون: Reeves, Joseph E.Aff9, Heule, Marijn J. H.Aff9, Bryant, Randal E.Aff9
المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Gurfinkel, Arie, editorAff7, Ganesh, Vijay, editorAff8
المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:110-132
-
5تقرير
المؤلفون: Bryant, Randal E., Heule, Marijn J. H.
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2105.00885
-
6مؤتمر
المؤلفون: Fujimoto, Richard M., Bagrodia, Rajive, Bryant, Randal E., Chandy, K. Mani, Jefferson, David, Misra, Jayadev, Nicol, David, Unger, Brian
المصدر: 2017 Winter Simulation Conference (WSC) Simulation Conference (WSC), 2017 Winter. :262-291 Dec, 2017
Relation: 2017 Winter Simulation Conference (WSC)
-
7تقرير
-
8دورية أكاديمية
المؤلفون: Reeves, Joseph E.Aff1, IDs10817023096813_cor1, Heule, Marijn J. H., Bryant, Randal E.
المصدر: Journal of Automated Reasoning. 67(3)
-
9كتاب إلكتروني
المؤلفون: Reeves, Joseph E.Aff10, Heule, Marijn J. H.Aff10, Bryant, Randal E.Aff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Blanchette, Jasmin, editorAff7, Kovács, Laura, editorAff8, Pattinson, Dirk, editorAff9
المصدر: Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 13385:106-124
-
10كتاب إلكتروني
المؤلفون: Reeves, Joseph E.Aff10, Heule, Marijn J. H.Aff10, Bryant, Randal E.Aff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Fisman, Dana, editorAff8, Rosu, Grigore, editorAff9
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. 13243:462-479