|
| | Preview | Author(s) | Title | Type | Issue Date |
| 41 |  | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | QuanDA: GPU accelerated quantitative deep neural network analysis | Article Artikel    | Oct-2023 |
| 42 |  | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo | On Two- and Three-valued Semantics for Impure Simplicial Complexes | Inproceedings Konferenzbeitrag | 30-Sep-2023 |
| 43 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 and its decidability | Presentation Vortrag | 27-Sep-2023 |
| 44 |  | Träff, Jesper Larsson ; Vardas, Ioannis | Library Development with MPI: Attributes, Request Objects, Group Communicator Creation, Local Reductions, and Datatypes | Inproceedings Konferenzbeitrag | 21-Sep-2023 |
| 45 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation | Inproceedings Konferenzbeitrag | 19-Sep-2023 |
| 46 | | Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie | Deductive Controller Synthesis for Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 47 | | Garlich, Lina ; Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Introducing Asynchronicity to Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 48 | | He, Jie ; Nickovic, Dejan ; Bartocci, Ezio ; Grosu, Radu | TD-Magic: From Pictures of Timing Diagrams To Formal Specifications | Inproceedings Konferenzbeitrag | 15-Sep-2023 |
| 49 |  | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Extensions of K5: Proof Theory and Uniform Lyndon Interpolation | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 50 |  | Cignarale, Giorgio ; Kuznets, Roman ; Rincon Galeana, Hugo ; Schmid, Ulrich | Logic of Communication Interpretation: How to Not Get Lost in Translation | Inproceedings Konferenzbeitrag | 13-Sep-2023 |
| 51 |  | Kuznets, Roman | Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof Theory | Inproceedings Konferenzbeitrag | 13-Sep-2023 |
| 52 | | Treml, Lilly Maria | 3D Hybrid Cellular Automata for Cardiac Electrophysiology: A Concept Study | Inproceedings Konferenzbeitrag | 9-Sep-2023 |
| 53 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra | Hypernode Automata | Inproceedings Konferenzbeitrag | 7-Sep-2023 |
| 54 | | Tabassam, Zaheer ; Steininger, Andreas ; Najvirt, Robert ; Huemer, Florian | ζ: A Novel Approach for Mitigating Single Event Transient Effects in Quasi Delay Insensitive Logic | Inproceedings Konferenzbeitrag | 6-Sep-2023 |
| 55 | | Kjäer, Martin ; Preindl, Thomas ; Kastner, Wolfgang | Towards an Understanding of Trade-Offs Between Blockchain and Alternative Technologies for Inter-organizational Business Process Enactment | Inproceedings Konferenzbeitrag | 4-Sep-2023 |
| 56 | | Schuchart, Joseph ; Hunold, Sascha ; Bosilca, George | Synchronizing MPI Processes in Space and Time | Inproceedings Konferenzbeitrag | Sep-2023 |
| 57 | | Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan | Mining Hyperproperties using Temporal Logics | Article Artikel | Sep-2023 |
| 58 |  | Chiari, Michele ; Mandrioli, Dino ; Pontiggia, Francesco ; Pradella, Matteo | A model checker for operator precedence languages | Article Artikel | Sep-2023 |
| 59 | | Thoma, Max ; Steindl, Gernot ; Kastner, Wolfgang | FIWARE-based Architecture for Smart Local Energy Communities | Inproceedings Konferenzbeitrag | 31-Aug-2023 |
| 60 | | Shehaby, Raghda El ; Függer, Matthias ; Steininger, Andreas | On the Susceptibility of QDI Circuits to Transient Faults | Inproceedings Konferenzbeitrag | 29-Aug-2023 |
