|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Taranto, Philip ; Lipka-Bartosik, Patryk ; Rodríguez-Briones, Nayeli A. ; Perarnau-Llobet, Martí ; Friis, Nicolai ; Huber, Marcus ; Bakhshinezhad, Pharnam | Efficiently Cooling Quantum Systems with Finite Resources: Insights from Thermodynamic Geometry | Article Artikel    | 18-Feb-2025 |
| 2 |  | He, Qiao ; Hadmojo, Wisnu Tantyo ; Hu, Xiantao ; Mukherjee, Subhrangsu ; Alqurashi, Maryam ; Althobaiti, Wejdan ; De Castro, Catherine ; Lee, Byongkyu ; Ding, Bowen ; Luke, Joel ; Kafourou, Panagiota ; Fei, Zhuping ; White, Andrew J P ; Gorenflot, Julien ; Glöcklhofer, Florian ; Laquai, Frédéric ; Ade, Harald ; Anthopoulos, Thomas D ; Heeney, Martin | Significant Efficiency Enhancements in Non-Y Series Acceptors by the Addition of Outer Side Chains | Article Artikel | 22-Jan-2025 |
| 3 | | Froud, Julie ; Marino, Stefania ; Martinez Lucio, Miguel ; Plank, Leonhard ; Salento, Angelo | Trade unions and the foundational economy: understanding shifting boundaries, politics and functions of economic participation and social action within industrial relations | Article Artikel | 2025 |
| 4 | | Ergoktas, M Said ; Kecebas, Ali ; Despotelis, Konstantinos ; Soleymani, Sina ; Bakan, Gokhan ; Kocabas, Askin ; Principi, Alessandro ; Rotter, Stefan ; Ozdemir, Sahin K ; Kocabas, Coskun | Localized thermal emission from topological interfaces | Article Artikel | 6-Jun-2024 |
| 5 | | Lanzinger, Matthias ; Sferrazza, Stefano ; Wałęga, Przemysław ; Gottlob, Georg | Fuzzy Datalog∃ over Arbitrary t-Norms | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 6 |  | Schoisswohl, Johannes ; Kovács, Laura ; Korovin, Konstantin | VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 7 | | Fisher, Michael ; Slavkovik, Marija ; Dobrosovestnova, Anna ; Schuster, Nick | Roadmap for Responsible Robotics (Dagstuhl Seminar 23371) | Article Artikel | 27-Mar-2024 |
| 8 |  | Gill, Sukhpal Singh ; Wu, Huaming ; Patros, Panos ; Ottaviani, Carlo ; Arora, Priyansh ; Casamayor Pujol, Victor ; Haunschild, David ; Parlikad, Ajith Kumar ; Cetinkaya, Oktay ; Lutfiyya, Hanan ; Stankovski, Vlado ; Li, Ruidong ; Ding, Yuemin ; Qadir, Junaid ; Abraham, Ajith ; Ghosh, Soumya K. ; Song, Houbing ; Sakellariou, Rizos ; Rana, Omer ; Rodrigues, Joel ; Kanhere, Salil ; Dustdar, Schahram ; Uhlig, Steve ; Ramamohanarao, Kotagiri ; Buyya, Rajkumar | Modern computing: Vision and challenges | Article Artikel | Mar-2024 |
| 9 |  | Gill, Sukhpal Singh ; Xu, Minxian ; Patros, Panos ; Wu, Huaming ; Kaur, Rupinder ; Kaur, Kamalpreet ; Fuller, Stephanie ; Singh, Manmeet ; Arora, Priyansh ; Parlikad, Ajith Kumar ; Stankovski, Vlado ; Abraham, Ajith ; Ghosh, Soumya K. ; Lutfiyya, Hanan ; Kanhere, Salil S. ; Bahsoon, Rami ; Rana, Omer ; Dustdar, Schahram ; Sakellariou, Rizos ; Uhlig, Steve ; Buyya, Rajkumar | Transformative effects of ChatGPT on modern education: Emerging Era of AI Chatbots | Article Artikel | 2024 |
| 10 |  | Hajdu, Márton ; Kovács, Laura ; Rawson, Michael ; Voronkov, Andrei | Reducibility Constraints in Superposition | Inproceedings Konferenzbeitrag | 2024 |
| 11 |  | Kovács, Laura ; Hozzová, Petra ; Hajdu, Márton ; Voronkov, Andrei | Induction in Saturation | Inproceedings Konferenzbeitrag | 2024 |
| 12 |  | Gill, Sukhpal Singh ; Wu, Huaming ; Patros, Panos ; Ottaviani, Carlo ; Arora, Priyansh ; Casamayor Pujol, Victor ; Haunschild, David ; Parlikad, Ajith Kumar ; Cetinkaya, Oktay ; Lutfiyya, Hanan ; Stankovski, Vlado ; Li, Ruidong ; Ding, Yuemin ; Qadir, Junaid ; Abraham, Ajith ; Ghosh, Soumya K. ; Song, Houbing ; Sakellariou, Rizos ; Rana, Omer ; Rodrigues, Joel J.P.C. ; Kanhere, Salil ; Dustdar, Schahram ; Uhlig, Steve ; Ramamohanarao, Kotagiri ; Buyya, Rajkumar | Modern Computing: Vision and Challenges | Preprint Preprint | 2024 |
| 13 |  | David, Romain ; Rybina, Arina ; Burel, Jean-Marie ; Heriche, Jean-Karim ; Audergon, Pauline ; Boiten, Jan-Willem ; Coppens, Frederik ; Crockett, Sara ; Exter, Katrina ; Fahrner, Sven ; Fratelli, Maddalena ; Goble, Carole ; Gormanns, Philipp ; Grantner, Tobias ; Grüning, Björn ; Gurwitz, Kim Tamara ; Hancock, John M. ; Harmse, Henriette ; Holub, Petr ; Juty, Nick ; Karnbach, Geoffrey ; Karoune, Emma ; Keppler, Antje ; Klemeier, Jessica ; Lancelotti, Carla ; Legras, Jean-Luc ; Lister, Allyson L. ; Longo, Dario Livio ; Ludwig, Rebecca ; Madon, Bénédicte ; Massimi, Marzia ; Matser, Vera ; Matteoni, Rafaele ; Mayrhofer, Michaela Th ; Ohmann, Christian ; Panagiotopoulou, Maria ; Parkinson, Helen ; Perseil, Isabelle ; Pfander, Claudia ; Pieruschka, Roland ; Raess, Michael ; Rauber, Andreas ; Richard, Audrey S. ; Romano, Paolo ; Rosato, Antonio ; Sánchez-Pla, Alex ; Sansone, Susanna-Assunta ; Sarkans, Ugis ; Serrano-Solano, Beatriz ; Tang, Jing ; Tanoli, Ziaurrehman ; Tedds, Jonathan ; Wagener, Harald ; Weise, Martin ; Westerhoff, Hans V. ; Wittner, Rudolf ; Ewbank, Jonathan ; Blomberg, Niklas ; Gribbon, Philip | “Be sustainable”: EOSC-Life recommendations for implementation of FAIR principles in life science data handling | Article Artikel | 1-Dec-2023 |
| 14 |  | Chen, Jia-Li ; Blaha, Peter ; Kaltsoyannis, Nikolas | DFT + U simulation of the X-ray absorption near-edge structure of bulk UO₂ and PuO₂ | Article Artikel | 14-Sep-2023 |
| 15 |  | Eisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura | Non-Classical Logics in Satisfiability Modulo Theories | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 16 |  | Cignarale, Giorgio ; Kuznets, Roman ; Rincón Galeana, Hugo ; Schmid, Ulrich | Logic of Communication Interpretation: How to Not Get Lost in Translation | Inproceedings Konferenzbeitrag | 13-Sep-2023 |
| 17 | | Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael | Superposition with Delayed Unification | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 18 | | Bhayat, Ahmed ; Korovin, Konstantin ; Kovács, Laura ; Schoisswohl, Johannes | Refining Unification with Abstraction | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 19 | | Pluska, Alexander ; Zuleger, Florian | Embedding Intuitionistic into Classical Logic | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 20 | | Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
