Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 41-60 of 4996 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpgSchidler, Andre ; Szeider, Stefan SAT-boosted tabu search for coloring massive graphsArticle Artikel Dec-2023
42Solda-2023-Journal of Logic and Computation-vor.pdf.jpgSoldà, Davide ; Fabiano, Francesco ; Dovier, Agostino ECHO: A hierarchical combination of classical and multi-agent epistemic planning problemsArticle Artikel Dec-2023
43Sober-2023-CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND A...-vor.pdf.jpgSober, Michael ; Scaffino, Giulia ; Schulte, Stefan ; Kanhere, Salil S. A blockchain-based IoT data marketplaceArticle Artikel Dec-2023
44Schidler-2023-Artificial Intelligence-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing optimal hypertree decompositions with SATArticle Artikel Dec-2023
45Abouda-2023-StarBench Benchmarking RDF-star Triplestores-vor.pdf.jpgAbouda, Ghadeer ; Aebeloe, Christian ; Dell'Aglio, Daniele ; Keen, Arthur ; Hose, Katja StarBench: Benchmarking RDF-star TriplestoresInproceedings Konferenzbeitrag 27-Nov-2023
46Goeth-2023-Optimizing 0-RTT Key Exchange with Full Forward Security-vor.pdf.jpgGöth, Christian ; Ramacher, Sebastian ; Slamanig, Daniel ; Striecks, Christoph ; Tairi, Erkan ; Zikulnig, Alexander Optimizing 0-RTT Key Exchange with Full Forward SecurityInproceedings Konferenzbeitrag 26-Nov-2023
47Glaser, Philipp-Lorenz ; Sallinger, Emanuel ; Bork, Dominik EA ModelSet – A FAIR Dataset for Machine Learning in Enterprise ModelingInproceedings Konferenzbeitrag 25-Nov-2023
48Jendal-2023-GInRec A Gated Architecture for Inductive Recommendation usin...-vor.pdf.jpgJendal, Theis ; Lissandrini, Matteo ; Dolog, Peter ; Hose, Katja GInRec: A Gated Architecture for Inductive Recommendation using Knowledge GraphsInproceedings Konferenzbeitrag 23-Nov-2023
49Bhati, Amit Singh ; Pohle, Erik ; Abidin, Aysajan ; Andreeva, Elena ; Preneel, Bart Let's Go Eevee! A Friendly and Suitable Family of AEAD Modes for IoT-to-Cloud Secure ComputationInproceedings Konferenzbeitrag 21-Nov-2023
50Bauer-2023-Neuro-Symbolic Visual Graph Question Answering with LLMs for L...-vor.pdf.jpgBauer, Jakob Johannes ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes Neuro-Symbolic Visual Graph Question Answering with LLMs for Language ParsingPresentation Vortrag 21-Nov-2023
51Brugger-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
52Tairi-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
53Xu, 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
54Ciabattoni, Agata ; Rozplokhas, Dmitrii Streamlining Input/Output Logics with Sequent CalculiInproceedings Konferenzbeitrag 12-Nov-2023
55Sharma, 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
56Buraglio-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
57Gottlob-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
58Monika 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
59Chen, Jiehua Advancing Stability in Matching Markets: Multi-Modal Preferences and BeyondPresentation Vortrag6-Nov-2023
60Moosbrugger, Marcel ; Müllner, Julian ; Kovács, Laura Automated Sensitivity Analysis for Probabilistic LoopsInproceedings Konferenzbeitrag 6-Nov-2023