|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Van Herck, Joren ; Gil, María Victoria ; Jablonka, Kevin Maik ; Abrudan, Alex ; Anker, Andy S. ; Asgari, Mehrdad ; Blaiszik, Ben ; Buffo, Antonio ; Choudhury, Leander ; Corminboeuf, Clemence ; Daglar, Hilal ; Elahi, Amir Mohammad ; Foster, Ian T. ; Garcia, Susana ; Garvin, Matthew ; Godin, Guillaume ; Good, Lydia L ; Gu, Jianan ; Xiao Hu, Noémie ; Jin, Xin ; Junkers, Tanja ; Keskin, Seda ; Knowles, Tuomas P. J. ; Laplaza, Ruben ; Lessona, Michele ; Majumdar, Sauradeep ; Mashhadimoslem, Hossein ; McIntosh, Ruaraidh D. ; Moosavi, Seyed Mohamad ; Mouriño, Beatriz ; Nerli, Francesca ; Pevida, Covadonga ; Poudineh, Neda ; Rajabi-Kochi, Mahyar ; Saar, Kadi L. ; Hooriabad Saboor, Fahimeh ; Sagharichiha, Morteza ; Schmidt, K. J. ; Shi, Jiale ; Simone, Elena ; Svatunek, Dennis ; Taddei, Marco ; Tetko, Igor ; Tolnai, Domonkos ; Vahdatifar, Sahar ; Whitmer, Jonathan ; Wieland, D. C. Florian ; Willumeit-Römer, Regine ; Züttel, Andreas ; Smit, Berend | Assessment of fine-tuned large language models for real-world chemistry and material science applications | Article Artikel    | 2025 |
| 2 |  | Priya, Siddharth ; Gurfinkel, Arie | Ownership in low-level intermediate representation | Inproceedings Konferenzbeitrag | Oct-2024 |
| 3 |  | Barrett, Clark ; Chen, Pei-Wei ; Cook, Byron ; Dutertre, Bruno ; Jones, Robert B. ; Le, Nham ; Reynolds, Andrew ; Sheth, Kunal ; Stephens, Christopher ; Whalen, Michael W. | SMT-D: New Strategies for Portfolio-Based SMT Solving | Inproceedings Konferenzbeitrag | Oct-2024 |
| 4 | | Bhattacharyya, Archishna ; George, Ian ; Kanitschar, Florian Peter ; Lutkenhaus, Norbert | Security against coherent attacks in discrete-modulated continuous-variable quantum key distribution | Presentation Vortrag | 5-Sep-2024 |
| 5 |  | Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie | Inductive Predicate Synthesis Modulo Programs (Extended) | Preprint Preprint | 11-Jul-2024 |
| 6 |  | Schenk, Hannes ; Arabzadeh, Rezgar ; Dabiri, Soroush ; Insam, Heribert ; Kreuzinger, Norbert ; Büchel-Marxer, Monika ; Markt, Rudolf ; Nägele, Fabiana ; Rauch, Wolfgang | Integrating wastewater-based epidemiology and mobility data to predict SARS-CoV-2 cases | Article Artikel | May-2024 |
| 7 |  | Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie | Inductive Predicate Synthesis Modulo Programs | Inproceedings Konferenzbeitrag | 2024 |
| 8 |  | Frontini, Francesco ; Bonomo, Pierluigi ; Martín Chivelet, Nuria ; Schneider, Astrid ; Kapsis, Konstantinos | BIPV products | Book Contribution Buchbeitrag | 2024 |
| 9 | | Athavale, Anagha ; Bartocci, Ezio ; Christakis, Maria ; Maffei, Matteo ; Ničković, Dejan ; Weissenbacher, Georg | Verifying Global Two-Safety Properties in Neural Networks with Confidence | Inproceedings Konferenzbeitrag | 2024 |
| 10 | | Mirwald, Johannes ; Aikaterina Varveri ; Tavassoti Kheiry, Pezhouhan ; Hofko, Bernhard | RILEM TC 295-FBB Fingerprinting bituminous binders using physico-chemical analysis TG 1: Towards FTIR Pre-Standardization - Update Fall 2023 | Presentation Vortrag | 8-Nov-2023 |
| 11 | | Kanitschar, Florian ; George, Ian ; Lin, Jie ; Upadhyaya, Twesh ; Lütkenhaus, Norbert | Finite-Size Security for Discrete-Modulated Continuous-Variable Quantum Key Distribution Protocols | Article Artikel | Oct-2023 |
| 12 |  | Tafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel | Btor2MLIR: A Format for Hardware Verification | Inproceedings Konferenzbeitrag | Oct-2023 |
| 13 | | Bliokh, Konstantin Y ; Karimi, Ebrahim ; Padgett, Miles J ; Alonso, Miguel A ; Dennis, Mark R ; Dudley, Angela ; Forbes, Andrew ; Zahedpour, Sina ; Hancock, Scott ; Milchberg, Howard ; Rotter, Stefan ; Nori, Franco ; Özdemir, Sahin Kaya ; Bender, Nicholas ; Cao, Hui ; Corkum, Paul B ; Hernández-García, Carlos ; Ren, Haoran ; Kivshar, Yuri ; Silveirinha, Mário G ; Engheta, Nader ; Rauschenbeutel, Arno ; Schneeweiss, Philipp ; Volz, Jürgen ; Leykam, Daniel ; Smirnova, Daria A ; Rong, Kexiu ; Wang, Bo ; Hasman, Erez ; Picardi, Michela F ; Zayats, Anatoly V ; Rodríguez-Fortuño, Francisco J ; Yang, Chenwen ; Ren, Jie ; Khanikaev, Alexander ; Alù, Andrea ; Brasselet, Etienne ; Shats, Michael ; Verbeeck, Jo ; Schattschneider, Peter ; Sarenac, Dusan ; Cory, David G ; Pushin, Dmitry A ; Birk, Michael ; Gorlach, Alexey ; Kaminer, Ido ; Cardano, Filippo ; Marrucci, Lorenzo ; Krenn, Mario ; Marquardt, Florian | Roadmap on structured waves | Article Artikel | Oct-2023 |
| 14 | | Mirwald, Johannes ; Aikaterina Varveri ; Tavassoti Kheiry, Pezhouhan ; Hofko, Bernhard | RILEM TC 295-FBB Fingerprinting bituminous binders using physico-chemical analysis TG 1: Towards FTIR Pre-Standardization - Update Spring 2023 | Presentation Vortrag | 24-Mar-2023 |
| 15 | | Liu, Michael ; Kanitschar, Florian Peter ; Arqand, Amir ; Tan, Ernest Y.-Z. | Lipschitz continuity of quantum-classical conditional entropies with respect to angular distance and related properties | Article Artikel | 21-Feb-2023 |
| 16 | | Gaetz, Christian ; Pechenik, Oliver ; Pfannerer-Mittas, Stephan Heinz ; Jessica, Striker ; Swanson, Joshua P. | An SL₄-web basis from hourglass plabic graphs | Inproceedings Konferenzbeitrag | 2023 |
| 17 |  | Zhang, Ruoxi ; Trefler, Richard ; Namjoshi, Kedar | Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications | Konferenzbeitrag Inproceedings | Oct-2022 |
| 18 |  | Priya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie | Bounded Model Checking for LLVM | Konferenzbeitrag Inproceedings | Oct-2022 |
| 19 | | Shen, Daozhi ; Yang, HeeBong ; Spudat, Christian ; Patel, Tarun ; Zhong, Shazhou ; Chen, Fangchu ; YAN, Jian ; Luo, Xuan ; Cheng, Meixin ; Sciaini, Germán ; Sun, Yuping ; Rhodes, Daniel A ; Timusk, Thomas ; Zhou, Y Norman ; Kim, Na Young ; Tsen, Adam W | High-Performance Mid-IR to Deep-UV van der Waals Photodetectors Capable of Local Spectroscopy at Room Temperature | Article Artikel | 27-Apr-2022 |
| 20 | | HeeBong Yang ; Spudat, Christian ; Daozhi Shen ; Adam W Tsen ; Na Young Kim | Numerical simulation studies with heterostructure of transition metal dichalcogenides | Inproceedings Konferenzbeitrag | 15-Mar-2022 |
