المؤلفون: Hadzic, Vedad, Bloem, Roderick, Shukla, Ankit, Seidl, Martina

المصدر: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :80-83 Sep, 2022

Relation: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Seidl, Martina

المصدر: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :16-18 Sep, 2022

Relation: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Heisinger, Maximilian, Shaik, Irfansha, Seidl, Martina, van de Pol, Jaco

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

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

المؤلفون: Heisinger, Simone^Aff27, Heisinger, Maximilian^Aff27, Rebola-Pardo, Adrian^{Aff27, Aff28}, Seidl, Martina^Aff27

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, van Leeuwen, Jan, Series Editor^Aff2, Hutchison, David, Editorial Board Member^Aff3, Kanade, Takeo, Editorial Board Member^Aff4, Kittler, Josef, Editorial Board Member^Aff5, Kleinberg, Jon M., Editorial Board Member^Aff6, Kobsa, Alfred, Series Editor^Aff7, Mattern, Friedemann, Editorial Board Member^Aff8, Mitchell, John C., Editorial Board Member^Aff9, Naor, Moni, Editorial Board Member^Aff10, Nierstrasz, Oscar, Series Editor^Aff11, Pandu Rangan, C., Editorial Board Member^Aff12, Sudan, Madhu, Series Editor^Aff13, Terzopoulos, Demetri, Editorial Board Member^Aff14, Tygar, Doug, Editorial Board Member^Aff15, Weikum, Gerhard, Series Editor^Aff16, Vardi, Moshe Y, Series Editor^Aff17, Goos, Gerhard, Founding Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Benzmüller, Christoph, editor^Aff24, Heule, Marijn J.H., editor^Aff25, Schmidt, Renate A., editor^Aff26

المصدر: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:325-343

المؤلفون: Heisinger, Maximilian^Aff27, Heisinger, Simone^Aff27, Seidl, Martina^Aff27

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, van Leeuwen, Jan, Series Editor^Aff2, Hutchison, David, Editorial Board Member^Aff3, Kanade, Takeo, Editorial Board Member^Aff4, Kittler, Josef, Editorial Board Member^Aff5, Kleinberg, Jon M., Editorial Board Member^Aff6, Kobsa, Alfred, Series Editor^Aff7, Mattern, Friedemann, Editorial Board Member^Aff8, Mitchell, John C., Editorial Board Member^Aff9, Naor, Moni, Editorial Board Member^Aff10, Nierstrasz, Oscar, Series Editor^Aff11, Pandu Rangan, C., Editorial Board Member^Aff12, Sudan, Madhu, Series Editor^Aff13, Terzopoulos, Demetri, Editorial Board Member^Aff14, Tygar, Doug, Editorial Board Member^Aff15, Weikum, Gerhard, Series Editor^Aff16, Vardi, Moshe Y, Series Editor^Aff17, Goos, Gerhard, Founding Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Benzmüller, Christoph, editor^Aff24, Heule, Marijn J.H., editor^Aff25, Schmidt, Renate A., editor^Aff26

المصدر: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:315-324

المؤلفون: Shukla, Ankit, Biere, Armin, Pulina, Luca, Seidl, Martina

المصدر: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) Tools with Artificial Intelligence (ICTAI), 2019 IEEE 31st International Conference on. :78-84 Nov, 2019

Relation: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)

المؤلفون: Bloem, Roderick, Braud-Santoni, Nicolas, Hadzic, Vedad, Egly, Uwe, Lonsing, Florian, Seidl, Martina

المصدر: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-10 Oct, 2018

Relation: 2018 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Heisinger, Simone^Aff9, Seidl, Martina^Aff9

المساهمون: 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, Yung, Moti, Editorial Board Member^Aff6, Dubois, Catherine, editor^Aff7, Kerber, Manfred, editor^Aff8

المصدر: Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings. 14101:291-296

المؤلفون: Seidl, Martina^Aff9

المساهمون: 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, Yung, Moti, Editorial Board Member^Aff6, Dubois, Catherine, editor^Aff7, Kerber, Manfred, editor^Aff8

المصدر: Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings. 14101:16-33

المؤلفون: Heisinger, Maximilian^Aff9, Seidl, Martina^Aff9, Biere, Armin^Aff10

المساهمون: 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, Yung, Moti, Editorial Board Member^Aff6, Sankaranarayanan, Sriram, editor^Aff7, Sharygina, Natasha, editor^Aff8

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:426-447