Institut für Logic and Computation

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
 


Results 1-20 of 252 (Search time: 0.017 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tran Thanh Hai - 2024 - Symbolic Verification of TLA Specifications with...pdf.jpgTran, Thanh Hai Symbolic Verification of TLA+ Specifications with Applications to Distributed AlgorithmsThesis Hochschulschrift 2024
2Kiesel Rafael Peter David - 2024 - Streaming and Quantitative Extensions of...pdf.jpgKiesel, Rafael Peter David Streaming and Quantitative Extensions of Answer Set ProgrammingThesis Hochschulschrift 2024
3Zeier Yannik - 2024 - Identifying Frameworks in Android Applications using...pdf.jpgZeier, Yannik Identifying Frameworks in Android Applications using Binary Code Function SimilarityThesis Hochschulschrift 2024
4Voboril Florentina - 2024 - SAT-based Local Improvement for the Closest String...pdf.jpgVoboril, Florentina SAT-based Local Improvement for the Closest String ProblemThesis Hochschulschrift 2024
5Unterberger Daniel - 2024 - Turning FPT Decision Methods into Enumeration...pdf.jpgUnterberger, Daniel Turning FPT Decision Methods into Enumeration Algorithms with FPT-DelayThesis Hochschulschrift 2024
6Longo Grace Lydia - 2023 - A metaheuristic approach to crowdsourced package...pdf.jpgLongo, Grace A metaheuristic approach to crowdsourced package deliveryThesis Hochschulschrift 2023
7Wussler Aron - 2023 - Post-Quantum Cryptography in OpenPGP.pdf.jpgWussler, Aron Post-Quantum Cryptography in OpenPGPThesis Hochschulschrift 2023
8Sattlegger Paul Florian - 2023 - Security Analysis of WebViews in...pdf.jpgSattlegger, Paul Florian Security Analysis of WebViews in Cross-Plattform Mobile FrameworksThesis Hochschulschrift 2023
9Lackner Florian - 2023 - Score-based Explanations of Classification Outcomes and...pdf.jpgLackner, Florian Score-based Explanations of Classification Outcomes and Database QueriesThesis Hochschulschrift 2023
10Krystallidis Andreas - 2023 - Adaptive Large Neighbourhood Search for...pdf.jpgKrystallidis, Andreas Adaptive Large Neighbourhood Search for Double-Round-Robin Sports Tournament ProblemThesis Hochschulschrift 2023
11Kaindlstorfer David - 2023 - Enhancing Abstraction and Symbolic Execution for...pdf.jpgKaindlstorfer, David Enhancing abstraction and symbolic execution for shape analysis of C-programs operating on linked listsThesis Hochschulschrift 2023
12Besin Viktor - 2023 - A Novel Method for Grounding in Answer-Set Programming.pdf.jpgBesin, Viktor A novel method for grounding in answer-set programmingThesis Hochschulschrift 2023
13Breitenbrunner Manuel - 2023 - Certifying Unsatisfiability in an Expansion-Based...pdf.jpgBreitenbrunner, Manuel Certifying unsatisfiability in an expansion-based DQBF solverThesis Hochschulschrift 2023
14Bresich Maria - 2023 - Hybrid Metaheuristics Based on Large Neighborhood Search...pdf.jpgBresich, Maria Hybrid metaheuristics based on large neighborhood search and mixed integer linear programming for the directed feedback vertex set problemThesis Hochschulschrift 2023
15Hadl Jan - 2023 - GS-VQA Zero-Shot Neural-Symbolic Visual Question Answering...pdf.jpgHadl, Jan GS-VQA: Zero-shot neural-symbolic visual question answering with vision-language modelsThesis Hochschulschrift 2023
16Malik Patrick - 2023 - Solving the Production Leveling Problem with Memetic...pdf.jpgMalik, Patrick Solving the production leveling problem with memetic algorithmsThesis Hochschulschrift 2023
17Hetzenberger Matthias - 2023 - Constraint Superposition for Higher-order Logic.pdf.jpgHetzenberger, Matthias Constraint superposition for higher-order logicThesis Hochschulschrift 2023
18Mahler Stella - 2023 - Analytic Proof Theory for Deontic Mimamsa Logic.pdf.jpgMahler, Stella Analytic proof theory for deontic Mīmāṃsā logicThesis Hochschulschrift 2023
19Kreutzer Bernhard - 2023 - Computational Optimization Approaches for...pdf.jpgKreutzer, Bernhard Computational optimization approaches for distributing battery exchange stations for electric scootersThesis Hochschulschrift 2023
20Loz David - 2023 - Identifying Semantic Properties in the Bytecode of Smart...pdf.jpgLoz, David Identifying semantic properties in the bytecode of smart contracts using symbolic executionThesis Hochschulschrift 2023