-
1مؤتمر
المؤلفون: Wilson, Amalee, Noetzli, Andres, Reynolds, Andrew, Cook, Byron, Tinelli, Cesare, Barrett, Clark
المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :199-208 Oct, 2023
Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)
-
2كتاب إلكتروني
المؤلفون: Lachnitt, HannaAff9, Fleury, MathiasAff12, Aniva, LeniAff9, Reynolds, AndrewAff10, Barbosa, HanielAff11, Nötzli, AndresAff13, Barrett, ClarkAff9, Tinelli, CesareAff10
المساهمون: 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, Finkbeiner, Bernd, editorAff7, Kovács, Laura, editorAff8
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:311-330
-
3تقرير
المؤلفون: Sheng, Ying, Nötzli, Andres, Reynolds, Andrew, Zohar, Yoni, Dill, David, Grieskamp, Wolfgang, Park, Junkil, Qadeer, Shaz, Barrett, Clark, Tinelli, Cesare
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2205.08095
-
4تقرير
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1907.10175
-
5كتاب إلكتروني
المؤلفون: Nötzli, AndresAff9, Reynolds, AndrewAff10, Barbosa, HanielAff11, Barrett, ClarkAff9, Tinelli, CesareAff10
المساهمون: 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, Shoham, Sharon, editorAff7, Vizel, Yakir, editorAff8
المصدر: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II. 13372:205-226
-
6كتاب إلكتروني
المؤلفون: Barbosa, HanielAff10, Reynolds, AndrewAff11, Kremer, GereonAff12, Lachnitt, HannaAff12, Niemetz, AinaAff12, Nötzli, AndresAff12, Ozdemir, AlexAff12, Preiner, MathiasAff12, Viswanathan, ArjunAff11, Viteri, ScottAff12, Zohar, YoniAff13, Tinelli, CesareAff11, Barrett, ClarkAff12
المساهمون: 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:15-35
-
7كتاب إلكتروني
المؤلفون: Barbosa, HanielAff12, Barrett, ClarkAff10, Brain, MartinAff13, Kremer, GereonAff10, Lachnitt, HannaAff10, Mann, MakaiAff10, Mohamed, AbdalrhmanAff11, Mohamed, MudathirAff11, Niemetz, AinaAff10, Nötzli, AndresAff10, Ozdemir, AlexAff10, Preiner, MathiasAff10, Reynolds, AndrewAff11, Sheng, YingAff10, Tinelli, CesareAff11, Zohar, YoniAff10, Aff14
المساهمون: 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:415-442
-
8كتاب إلكتروني
المؤلفون: Zohar, YoniAff10, Irfan, AhmedAff11, Mann, MakaiAff11, Niemetz, AinaAff11, Nötzli, AndresAff11, Preiner, MathiasAff11, Reynolds, AndrewAff12, Barrett, ClarkAff11, Tinelli, CesareAff12
المساهمون: 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, Finkbeiner, Bernd, editorAff8, Wies, Thomas, editorAff9
المصدر: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings. 13182:496-518
-
9تقرير
المؤلفون: Barrett, Clark, Barbosa, Haniel, Brain, Martin, Ibeling, Duligur, King, Tim, Meng, Paul, Niemetz, Aina, Nötzli, Andres, Preiner, Mathias, Reynolds, Andrew, Tinelli, Cesare
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1806.08775
-
10كتاب إلكتروني
المؤلفون: Reynolds, AndrewAff10, Nötzli, AndresAff11, Barrett, ClarkAff11, Tinelli, CesareAff10
المساهمون: 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, Peltier, Nicolas, editorAff8, Sofronie-Stokkermans, Viorica, editorAff9
المصدر: Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. 12166:218-237