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 101-120 of 257 (Search time: 0.025 seconds).

PreviewAuthor(s)TitleTypeIssue Date
101Schueller Manuel - 2022 - Reasoning in financial knowledge graphs Making...pdf.jpgSchüller, Manuel Reasoning in financial knowledge graphs : Making Industry sectors accessible to AIThesis Hochschulschrift 2022
102Hamm Thekla - 2022 - Algorithmic Advances via Graph Decomposition.pdf.jpgHamm, Thekla Algorithmic advances via graph decompositionThesis Hochschulschrift 2022
103Stipkovits, Christian Der Einsatz von digitalen Unterrichtsmethoden während der COVID-19 PandemieThesis Hochschulschrift2022
104Grimm Niklas - 2021 - Static and dynamic enforcement of security via relational...pdf.jpgGrimm, Niklas Static and dynamic enforcement of security via relational reasoningThesis Hochschulschrift 2021
105Humenberger Andreas - 2021 - Algebra-based loop reasoning - invariant generation...pdf.jpgHumenberger, Andreas Algebra-based loop reasoning - invariant generation and synthesis for numeric loopsThesis Hochschulschrift 2021
106Grishchenko Ilya - 2021 - Static analysis of low-level code.pdf.jpgGrishchenko, Ilya Static analysis of low-level codeThesis Hochschulschrift 2021
107Jahn Rebecca - 2021 - Reasoning in knowledge graphs Methods and techniques.pdf.jpgJahn, Rebecca Reasoning in knowledge graphs: Methods and techniquesThesis Hochschulschrift 2021
108Schneidewind Clara - 2021 - Foundations for the security analysis of distributed...pdf.jpgSchneidewind, Clara Foundations for the security analysis of distributed blockchain applicationsThesis Hochschulschrift 2021
109Klampfer Martin - 2021 - Analyse und Vergleich von gaengigen...pdf.jpgKlampfer, Martin Analyse und Vergleich von gängigen Graph-AnfragesprachenThesis Hochschulschrift 2021
110Fellner Andreas - 2021 - Starkes modellbasiertes Mutationstesten.pdf.jpgFellner, Andreas Starkes modellbasiertes MutationstestenThesis Hochschulschrift 2021
111De Coster Arnaud - 2021 - Axiomatic truth theories and reflection principles.pdf.jpgDe Coster, Arnaud Axiomatic truth theories and reflection principlesThesis Hochschulschrift 2021
112Schaden Benjamin - 2021 - Scheduling the charging of electric vehicles with...pdf.jpgSchaden, Benjamin Scheduling the charging of electric vehicles with SOC-dependent maximum charging powerThesis Hochschulschrift 2021
113Abfalter Jakob - 2021 - Adaptor signature based atomic swaps between bitcoin and...pdf.jpgAbfalter, Jakob Adaptor signature based atomic swaps between bitcoin and a mimblewimble based cryptocurrencyThesis Hochschulschrift 2021
114Lang Timo Achim - 2021 - Games modalities and analytic proofs in nonclassical...pdf.jpgLang, Timo Achim Games, modalities and analytic proofs in nonclassical logicsThesis Hochschulschrift 2021
115Pace Giulio - 2021 - Randomized construction approaches for the traveling...pdf.jpgPace, Giulio Randomized construction approaches for the traveling tournament problem using lower bound based heuristicsThesis Hochschulschrift 2021
116Schmidt David - 2021 - Large-scale Static Analysis of PII Leakage in IoT...pdf.jpgSchmidt, David Large-scale Static Analysis of PII Leakage in IoT Companion AppsThesis Hochschulschrift 2021
117Leutgeb Lorenz - 2021 - ATLAS Automated amortised complexity analysis of...pdf.jpgLeutgeb, Lorenz ATLAS: Automated amortised complexity analysis of self-adjusting data structuresThesis Hochschulschrift 2021
118Selzer Alexander - 2021 - Lightweight integration of query decomposition...pdf.jpgSelzer, Alexander Lightweight integration of query decomposition techniques into SQL-based database systemsThesis Hochschulschrift 2021
119Djukanovic Marko - 2021 - Exact and heuristic approaches for solving string...pdf.jpgDjukanovic, Marko Exact and heuristic approaches for solving string problems from bioinformaticsThesis Hochschulschrift 2021
120Varga Johannes - 2021 - Computational Methods for fleet scheduling in E-mobility.pdf.jpgVarga, Johannes Computational Methods for fleet scheduling in E-mobilityThesis Hochschulschrift 2021