المؤلفون: Weigl, Alexander, Bachmeier, Joshua, Ulbrich, Mattias, Beckert, Bernhard

المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :1-11 Apr, 2024

Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Beckert, Sebastian, Schlitz, Richard, Skobjin, Gregor, Badura, Antonin, Leiviskä, Miina, Kriegner, Dominik, Scheffler, Daniel, Sala, Giacomo, Olejník, Kamil, Michez, Lisa, Baltz, Vincent, Thomas, Andy, Reichlová, Helena, Goennenwein, Sebastian T. B.

مصطلحات موضوعية: Condensed Matter - Materials Science, Condensed Matter - Mesoscale and Nanoscale Physics

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

المؤلفون: Babin, Marcus, Fabian, Simone, Reibe, Michael, Spantzel, Lukas, Börsch, Michael, Beckert, Erik

مصطلحات موضوعية: Physics - Optics, Physics - Instrumentation and Detectors

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

المؤلفون: Schiffl, Jonas, Weigl, Alexander, Beckert, Bernhard

المصدر: 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) DAPPS Decentralized Applications and Infrastructures (DAPPS), 2023 IEEE International Conference on. :110-117 Jul, 2023

Relation: 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)

المؤلفون: Klamroth, Jonas, Beckert, Bernhard, Scheerer, Max, Denninger, Oliver

المصدر: 2023 IEEE International Conference on Quantum Software (QSW) QSW Quantum Software (QSW). 2023 IEEE International Conference on. :175-185 Jul, 2023

Relation: 2023 IEEE International Conference on Quantum Software (QSW)

المؤلفون: Leiviskä, Miina, Rial, Javier, Badura, Antonín, Seeger, Rafael Lopes, Kounta, Ismaïla, Beckert, Sebastian, Kriegner, Dominik, Joumard, Isabelle, Schmoranzerová, Eva, Sinova, Jairo, Gomonay, Olena, Thomas, Andy, Goennenwein, Sebastian T. B., Reichlová, Helena, Šmejkal, Libor, Michez, Lisa, Jungwirth, Tomáš, Baltz, Vincent

مصطلحات موضوعية: Condensed Matter - Mesoscale and Nanoscale Physics

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

المؤلفون: Teuber, Samuel, Beckert, Bernhard

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Artificial Intelligence, Computer Science - Computers and Society, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

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

المؤلفون: Badura, Antonin, Kriegner, Dominik, Schmoranzerová, Eva, Výborný, Karel, Leiviskä, Miina, Seeger, Rafael Lopes, Baltz, Vincent, Scheffler, Daniel, Beckert, Sebastian, Kounta, Ismaila, Michez, Lisa, Šmejkal, Libor, Sinova, Jairo, Goennenwein, Sebastian T. B., Železný, Jakub, Reichlová, Helena

مصطلحات موضوعية: Condensed Matter - Mesoscale and Nanoscale Physics

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

المؤلفون: Kamaraju, Sailaja^{Aff1, IDs11912024015256_cor1}, McKoy, June, Williams, Grant R., Gilmore, Nikesha, Minami, Christina, Bylow, Kathryn, Rajalingam, Helena, Cortina, Chandler S.^{Aff1, Aff7}, Beckert, Angela, Stolley, Melinda, Bullock, Dan^{Aff1, Aff8}, Kurzrock, Razelle, Jatoi, Aminah

المصدر: Current Oncology Reports. :1-10

المؤلفون: Buckley, Russell J.^{Aff1, Aff2}, Innes, Carrie R. H.^{Aff1, Aff2}, Kelly, Paul T., Hlavac, Michael C., Beckert, Lutz^{Aff2, Aff3}, Melzer, Tracy R.^{Aff1, Aff2, Aff4}, Jones, Richard D.^{Aff1, Aff2, Aff4, Aff5, Aff6, IDs11325024030487_cor7}

المصدر: Sleep and Breathing: International Journal of the Science and Practice of Sleep Medicine. :1-8