-
1مؤتمر
المؤلفون: 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)
-
2كتاب إلكتروني
المؤلفون: Niemetz, AinaAff9, Preiner, MathiasAff9, Zohar, YoniAff10
المساهمون: 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:178-200
-
3مؤتمر
المؤلفون: Preiner, Mathias
المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :5-6 Oct, 2022
Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)
-
4مؤتمر
المؤلفون: Niemetz, Aina, Preiner, Mathias
المصدر: 2020 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2020. :214-224 Sep, 2020
Relation: 2020 Formal Methods in Computer Aided Design (FMCAD)
-
5كتاب إلكتروني
المؤلفون: Niemetz, AinaAff9, Preiner, MathiasAff9
المساهمون: 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, Enea, Constantin, editorAff7, Lal, Akash, editorAff8
المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II. 13965:3-17
-
6دورية أكاديمية
المؤلفون: Scott, JosephAff1, IDs10009023006960_cor1, Niemetz, Aina, Preiner, Mathias, Nejati, Saeed, Ganesh, Vijay
المصدر: International Journal on Software Tools for Technology Transfer. 25(2):219-239
-
7دورية أكاديمية
المؤلفون: Scott, JosephAff1, IDs10009023007141_cor1, Niemetz, Aina, Preiner, Mathias, Nejati, Saeed, Ganesh, Vijay
المصدر: International Journal on Software Tools for Technology Transfer. 25(5-6):799-800
-
8تقرير
المؤلفون: Niemetz, Aina, Preiner, Mathias
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2006.01621
-
9تقرير
المؤلفون: Ozdemir, Alex, Niemetz, Aina, Preiner, Mathias, Zohar, Yoni, Barrett, Clark
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1907.00087
-
10تقرير