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 251 (Search time: 0.031 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
5Longo Grace Lydia - 2023 - A metaheuristic approach to crowdsourced package...pdf.jpgLongo, Grace A metaheuristic approach to crowdsourced package deliveryThesis Hochschulschrift 2023
6Wussler Aron - 2023 - Post-Quantum Cryptography in OpenPGP.pdf.jpgWussler, Aron Post-Quantum Cryptography in OpenPGPThesis Hochschulschrift 2023
7Sattlegger Paul Florian - 2023 - Security Analysis of WebViews in...pdf.jpgSattlegger, Paul Florian Security Analysis of WebViews in Cross-Plattform Mobile FrameworksThesis Hochschulschrift 2023
8Lackner Florian - 2023 - Score-based Explanations of Classification Outcomes and...pdf.jpgLackner, Florian Score-based Explanations of Classification Outcomes and Database QueriesThesis Hochschulschrift 2023
9Krystallidis Andreas - 2023 - Adaptive Large Neighbourhood Search for...pdf.jpgKrystallidis, Andreas Adaptive Large Neighbourhood Search for Double-Round-Robin Sports Tournament ProblemThesis Hochschulschrift 2023
10Kaindlstorfer 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
11Besin 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
12Breitenbrunner Manuel - 2023 - Certifying Unsatisfiability in an Expansion-Based...pdf.jpgBreitenbrunner, Manuel Certifying unsatisfiability in an expansion-based DQBF solverThesis Hochschulschrift 2023
13Bresich 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
14Hadl 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
15Malik Patrick - 2023 - Solving the Production Leveling Problem with Memetic...pdf.jpgMalik, Patrick Solving the production leveling problem with memetic algorithmsThesis Hochschulschrift 2023
16Hetzenberger Matthias - 2023 - Constraint Superposition for Higher-order Logic.pdf.jpgHetzenberger, Matthias Constraint superposition for higher-order logicThesis Hochschulschrift 2023
17Mahler Stella - 2023 - Analytic Proof Theory for Deontic Mimamsa Logic.pdf.jpgMahler, Stella Analytic proof theory for deontic Mīmāṃsā logicThesis Hochschulschrift 2023
18Kreutzer Bernhard - 2023 - Computational Optimization Approaches for...pdf.jpgKreutzer, Bernhard Computational optimization approaches for distributing battery exchange stations for electric scootersThesis Hochschulschrift 2023
19Loz 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
20Behofsics Paul - 2023 - Reboots in Lazy-Grounding ASP-Solving.pdf.jpgBehofsics, Paul Reboots in lazy-grounding ASP-solvingThesis Hochschulschrift 2023