-
1تقرير
المؤلفون: Baumeister, Tom, Eichler, Paul, Jacobs, Swen, Sakr, Mouhammad, Völp, Marcus
مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing
URL الوصول: http://arxiv.org/abs/2406.19880
-
2دورية أكاديمية
المؤلفون: Jacobs, SwenAff1, IDs10009024007541_cor1, Pérez, Guillermo A.Aff2, IDs10009024007541_cor2, Abraham, Remco, Bruyère, Véronique, Cadilhac, Michaël, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaëtan, Tamines, Clément, Tentrup, Leander, Walker, Adam
المصدر: International Journal on Software Tools for Technology Transfer. :1-17
-
3مؤتمر
المؤلفون: Jacobs, Swen, Sakr, Mouhammad, Volp, Marcus
المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :225-234 Oct, 2022
Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)
-
4تقرير
المؤلفون: Jacobs, Swen, Perez, Guillermo A., Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Tamines, Clement, Tentrup, Leander, Walker, Adam
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2206.00251
-
5تقرير
المؤلفون: Jacobs, Swen, Sakr, Mouhammad, Völp, Marcus
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2111.03322
-
6تقرير
-
7تقرير
المؤلفون: Jacobs, Swen, Bloem, Roderick, Colange, Maximilien, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Philipp J., Michaud, Thibaud, Sakr, Mouhammad, Sickert, Salomon, Tentrup, Leander, Walker, Adam
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1904.07736
-
8كتاب إلكتروني
المؤلفون: Jacobs, SwenAff10, Sakr, MouhammadAff10, Aff11
المساهمون: 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, Silva, Alexandra, editorAff8, Leino, K. Rustan M., editorAff9
المصدر: Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. 12760:435-446
-
9تقرير
-
10كتاب إلكتروني
المؤلفون: Jacobs, SwenAff10, Sakr, MouhammadAff10, Aff11, Zimmermann, MartinAff12
المساهمون: 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, Beyer, Dirk, editorAff8, Zufferey, Damien, editorAff9
المصدر: Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings. 11990:337-359