Fakultät für Informatik

View Statistics Email Alert RSS Feed

Details

Informatik.jpg picture
 
Organization Name (en) Name der Organisation (en)
E180 - Faculty of Informatics
 
Organization Name (de) Name der Organisation (de)
E180 - Fakultät für Informatik
 
Code Kennzahl
E180
 
Type of Organization Organisationstyp
Faculty
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 181-200 of 22533 (Search time: 0.007 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
181Brugger-2023-CheckMate Automated Game-Theoretic Security Reasoning-vor.pdf.jpgBrugger, Lea Salome ; Kovács, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael CheckMate: Automated Game-Theoretic Security ReasoningInproceedings Konferenzbeitrag 21-Nov-2023
182Tairi-2023-LedgerLocks A Security Framework for Blockchain Protocols Base...-vor.pdf.jpgTairi, Erkan ; Moreno-Sanchez, Pedro ; Schneidewind, Clara LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor SignaturesInproceedings Konferenzbeitrag 21-Nov-2023
183Brandic, Ivona Sustainable ComputingPresentation Vortrag17-Nov-2023
184Sedlak, Boris ; Casamayor Pujol, Víctor ; Donta, Praveen Kumar ; Dustdar, Schahram Designing Reconfigurable Intelligent Systems with Markov BlanketsPreprint Preprint 17-Nov-2023
185Sedlak, Boris ; Casamayor Pujol, Víctor ; Donta, Praveen Kumar ; Dustdar, Schahram Active Inference on the Edge : A Design StudyPreprint Preprint 17-Nov-2023
186Xu, Zhenghua ; Tian, Biao ; Liu, Shijie ; Wang, Xiangtao ; Yuan, Di ; Gu, Junhua ; Chen, Junyang ; Lukasiewicz, Thomas ; Leung, Victor C. M. Collaborative Attention Guided Multi-Scale Feature Fusion Network for Medical Image SegmentationArticle Artikel 14-Nov-2023
187Ciabattoni, Agata ; Rozplokhas, Dmitrii Streamlining Input/Output Logics with Sequent CalculiInproceedings Konferenzbeitrag 12-Nov-2023
188Sharma, Yashovardhan ; Giunchiglia, Eleonora ; Birnbach, Simon ; Martinovic, Ivan To TTP or not to TTP?: Exploiting TTPs to Improve ML-based Malware DetectionInproceedings Konferenzbeitrag 12-Nov-2023
189Buraglio-2023-Constrained Derivation in Assumption-Based Argumentation-vor.pdf.jpgBuraglio, Giovanni ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan Constrained Derivation in Assumption-Based ArgumentationInproceedings Konferenzbeitrag 12-Nov-2023
190Hunold-2023-Verifying Performance Guidelines for MPI Collectives at Scale-vor.pdf.jpgHunold, Sascha Verifying Performance Guidelines for MPI Collectives at ScaleInproceedings Konferenzbeitrag 12-Nov-2023
191Swartvagher-2023-Using Mixed-Radix Decomposition to Enumerate Computation...-vor.pdf.jpgSwartvagher, Philippe ; Hunold, Sascha ; Träff, Jesper Larsson ; Vardas, Ioannis Using Mixed-Radix Decomposition to Enumerate Computational Resources of Deeply Hierarchical ArchitecturesInproceedings Konferenzbeitrag 12-Nov-2023
192Recski, Gábor Natural Language ProcessingPresentation Vortrag10-Nov-2023
193Gottlob-2023-Theoretical Computer Science-vor.pdf.jpgGottlob, Georg ; Lanzinger, Matthias ; Pichler, Reinhard ; Razgon, Igor Fractional covers of hypergraphs with bounded multi-intersectionArticle Artikel 10-Nov-2023
194Guan, Jinglong ; Zhang, Qiyang ; Murturi, Ilir ; Donta, Praveen Kumar ; Dustdar, Schahram ; Wang, Shangguang Collaborative Inference in DNN-based Satellite Systems with Dynamic Task StreamsPreprint Preprint 10-Nov-2023
195Recski, Gábor What can AI do for Advanced Legal Research?Presentation Vortrag8-Nov-2023
196Monika di Angelo ; Durieux, Thomas ; Ferreira João F. ; Gernot Salzer SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart ContractsInproceedings Konferenzbeitrag 8-Nov-2023
197Tundo, Alessandro ; Mobilio, Marco ; Ilager, Shashikant Shankar ; Brandic, Ivona ; Bartocci, Ezio ; Mariani, Leonardo An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the EdgeInproceedings Konferenzbeitrag 8-Nov-2023
198Dustdar, Schahram Distributed Intelligence in the Computing ContinuumPresentation Vortrag8-Nov-2023
199Christakis, Maria Specifying and Testing k-Safety Properties for Machine-Learning ModelsPresentation Vortrag8-Nov-2023
200Calvo-Zaragoza-2023-Proceedings of the 5th International Workshop on Read...-vor.pdf.jpgCalvo-Zaragoza, Jorge ; Pacha, Alexander ; Shatri, Elona Proceedings of the 5th International Workshop on Reading Music SystemsProceedings Tagungsband 7-Nov-2023