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 1-20 of 2627 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Geibinger, Tobias ; Hecher, Markus ; Schlögel, Matthias Parallel Empirical Evaluations: Resilience despite ConcurrencyInproceedings Konferenzbeitrag 24-Mar-2024
2Lanzinger-2024-FPT Approximation of Generalised Hypertree Width for Bound...-vor.pdf.jpgLanzinger, Matthias Paul ; Razgon, Igor FPT Approximation of Generalised Hypertree Width for Bounded Intersection HypergraphsInproceedings Konferenzbeitrag 11-Mar-2024
3Eisenhofer-2024-Embedding the Connection Calculus in Satisfiability Modul...-vor.pdf.jpgEisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael Embedding the Connection Calculus in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag Jan-2024
4Berthe, Gaétan ; Codert-Osman, Yoann ; Dobler, Alexander ; Morelle, Laure ; Reinald, Amadeus ; Rocton, Mathis PACE Solver Description: TouiouidthInproceedings Konferenzbeitrag 13-Dec-2023
5di Angelo, Monika ; Salzer, Gernot Consolidation of Ground Truth Sets for Weakness Detection in Smart ContractsInproceedings Konferenzbeitrag 5-Dec-2023
6Zeimetz, Tobias ; Hose, Katja ; Schenkel, Ralf Tunable Query Optimizer for Web APIs and User PreferencesInproceedings Konferenzbeitrag 5-Dec-2023
7Khazaliya, Liana ; Kindermann, Philipp ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Simonov, Kirill The st-Planar Edge Completion Problem Is Fixed-Parameter TractableInproceedings Konferenzbeitrag Dec-2023
8Brand, Cornelius ; Lassota, Alexandra Fast Convolutions for Near-Convex SequencesInproceedings Konferenzbeitrag Dec-2023
9Abouda-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
10Goeth-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
11Glaser, Philipp-Lorenz ; Sallinger, Emanuel ; Bork, Dominik EA ModelSet – A FAIR Dataset for Machine Learning in Enterprise ModelingInproceedings Konferenzbeitrag 25-Nov-2023
12Jendal-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
13Bhati, 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
14Brugger-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
15Tairi-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
16Ciabattoni, Agata ; Rozplokhas, Dmitrii Streamlining Input/Output Logics with Sequent CalculiInproceedings Konferenzbeitrag 12-Nov-2023
17Sharma, 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
18Buraglio-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
19Monika 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
20Moosbrugger, Marcel ; Müllner, Julian ; Kovács, Laura Automated Sensitivity Analysis for Probabilistic LoopsInproceedings Konferenzbeitrag 6-Nov-2023