المؤلفون: 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

المؤلفون: Jacobs, Swen^{Aff1, 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

المؤلفون: 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)

المؤلفون: 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

المؤلفون: Jacobs, Swen, Sakr, Mouhammad, Völp, Marcus

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2111.03322

المؤلفون: Jacobs, Swen, Sakr, Mouhammad, Zimmermann, Martin

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/1911.03122

المؤلفون: 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

المؤلفون: Jacobs, Swen^Aff10, Sakr, Mouhammad^{Aff10, Aff11}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Silva, Alexandra, editor^Aff8, Leino, K. Rustan M., editor^Aff9

المصدر: Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. 12760:435-446

المؤلفون: Jacobs, Swen, Sakr, Mouhammad

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1707.01369

المؤلفون: Jacobs, Swen^Aff10, Sakr, Mouhammad^{Aff10, Aff11}, Zimmermann, Martin^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Beyer, Dirk, editor^Aff8, Zufferey, Damien, editor^Aff9

المصدر: Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings. 11990:337-359