-
1تقرير
-
2تقرير
المؤلفون: Tsiskaridze, Nestan, Barrett, Clark, Tinelli, Cesare
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2404.16122
-
3مؤتمر
المؤلفون: Mohamed, Abdalrhman, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare
المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :189-198 Oct, 2023
Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)
-
4مؤتمر
المؤلفون: Larraz, Daniel, Lorch, Robert, Yahyazadeh, Moosa, Arif, M. Fareed, Chowdhury, Omar, Tinelli, Cesare
المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :209-220 Oct, 2023
Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)
-
5مؤتمر
المؤلفون: 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)
-
6مؤتمر
المؤلفون: Notzli, Andres, Barbosa, Haniel, Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare
المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :65-74 Oct, 2022
Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)
-
7مؤتمر
المؤلفون: Rozier, Kristin Y., Shankar, Natarajan, Tinelli, Cesare, Vardi, Moshe
المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :1-1 Oct, 2023
Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)
-
8كتاب إلكتروني
المؤلفون: Johannsen, ChrisAff9, Nukala, KarthikAff10, Dureja, RohitAff11, Irfan, AhmedAff10, Shankar, NatarajanAff10, Tinelli, CesareAff12, Vardi, Moshe Y.Aff13, Rozier, Kristin YvonneAff9
المساهمون: 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:203-218
-
9كتاب إلكتروني
المؤلفون: 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
-
10تقرير
المؤلفون: Larraz, Daniel, Tinelli, Cesare
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2205.09082