المؤلفون: Regaud, Gaëtan, Zimmermann, Martin

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

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

المؤلفون: Regaud, Gaëtan, Zimmermann, Martin

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

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

المؤلفون: Krebs, Andreas, Meier, Arne, Virtema, Jonni, Zimmermann, Martin

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

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

المؤلفون: Cimatti, Alessandro, Grosen, Thomas M., Larsen, Kim G., Tonetta, Stefano, Zimmermann, Martin

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

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

المؤلفون: Schilling, Christian, Zimmermann, Martin

المصدر: AISoLA 2023

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Electrical Engineering and Systems Science - Systems and Control

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

المؤلفون: Kauffman, Sean, Larsen, Kim Guldstrand, Zimmermann, Martin

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

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

المؤلفون: Fränzle, Martin, Grosen, Thomas M., Larsen, Kim G., Zimmermann, Martin

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

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

المؤلفون: Winter, Sarah, Zimmermann, Martin

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

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

المؤلفون: Thomarat, Laure, Elson, Frank, Nocerino, Elisabetta, Das, Debarchan, Ivashko, Oleh, Bartkowiak, Marek, Månsson, Martin, Sassa, Yasmine, Adachi, Tadashi, Zimmermann, Martin v., Luetkens, Hubertus, Chang, Johan, Janoschek, Marc, Guguchia, Zurab, Simutis, Gediminas

المصدر: Communications Physics 7, 271 (2024)

مصطلحات موضوعية: Condensed Matter - Superconductivity, Condensed Matter - Strongly Correlated Electrons

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

المؤلفون: Frenkel, Hadar, Zimmermann, Martin

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

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

المؤلفون: Blackburn, Elizabeth, Ivashko, Oleh, Campillo, Emma, von Zimmermann, Martin, Liang, Ruixing, Bonn, Douglas A., Hardy, Walter N., Chang, Johan, Forgan, Edward M., Hayden, Stephen M.

مصطلحات موضوعية: Condensed Matter - Superconductivity, Condensed Matter - Strongly Correlated Electrons

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

المؤلفون: Fränzle, Martin, Winter, Sarah, Zimmermann, Martin

المصدر: EPTCS 390, 2023, pp. 220-235

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

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

المؤلفون: Murano, Aniello, Neider, Daniel, Zimmermann, Martin

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

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

المؤلفون: Zimmermann, Martin

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

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

المؤلفون: Fränzle, Martin, Kröger, Paul, Winter, Sarah, Zimmermann, Martin

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

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

المؤلفون: Fortin, Marie, Kuijer, Louwe B., Totzke, Patrick, Zimmermann, Martin

المصدر: Logical Methods in Computer Science, Volume 21, Issue 1 (January 10, 2025) lmcs:11608

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

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

المؤلفون: Koll, Katja K., Zimmermann, Martin M., Will, Patrick A., Kneser, Ulrich, Hirche, Christoph

المصدر: Cancer Reports ; volume 8, issue 1 ; ISSN 2573-8348 2573-8348

الاتاحة: https://doi.org/10.1002/cnr2.70110
https://onlinelibrary.wiley.com/doi/pdf/10.1002/cnr2.70110

المؤلفون: Zimmermann, Martin

المصدر: Zimmermann , M 2025 , ' Robust probabilistic temporal logics ' , Information Processing Letters , vol. 188 , 106522 . https://doi.org/10.1016/j.ipl.2024.106522

مصطلحات موضوعية: Model-checking, Probabilistic temporal logics, Robustness

الاتاحة: https://vbn.aau.dk/da/publications/02be171b-3a23-4817-80ef-564e0dda2923
https://doi.org/10.1016/j.ipl.2024.106522
http://www.scopus.com/inward/record.url?scp=85200809171&partnerID=8YFLogxK

المؤلفون: Nocerino, Elisabetta, Lorenzo, Irene San, Papadopulos, Konstantinos, Medarde, Marisa, Lyu, Jike, Klein, Yannick Maximilian, Minelli, Arianna, Hossain, Zakir, Thamizhavel, Arumugam, Lefmann, Kim, Ivashko, Oleh, von Zimmermann, Martin, Sassa, Yasmine, Månsson, Martin

مصطلحات موضوعية: Condensed Matter - Strongly Correlated Electrons

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

المؤلفون: Zimmermann, Martin, Vu, Minh Nhat, Beck, Florian, Nguyen, Anh, Kugi, Andreas

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

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