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

PreviewAuthor(s)TitleTypeIssue Date
101Hamm Thekla - 2022 - Algorithmic Advances via Graph Decomposition.pdf.jpgHamm, Thekla Algorithmic advances via graph decompositionThesis Hochschulschrift 2022
102Stipkovits, Christian Der Einsatz von digitalen Unterrichtsmethoden während der COVID-19 PandemieThesis Hochschulschrift2022
103Grimm Niklas - 2021 - Static and dynamic enforcement of security via relational...pdf.jpgGrimm, Niklas Static and dynamic enforcement of security via relational reasoningThesis Hochschulschrift 2021
104Humenberger Andreas - 2021 - Algebra-based loop reasoning - invariant generation...pdf.jpgHumenberger, Andreas Algebra-based loop reasoning - invariant generation and synthesis for numeric loopsThesis Hochschulschrift 2021
105Grishchenko Ilya - 2021 - Static analysis of low-level code.pdf.jpgGrishchenko, Ilya Static analysis of low-level codeThesis Hochschulschrift 2021
106Jahn Rebecca - 2021 - Reasoning in knowledge graphs Methods and techniques.pdf.jpgJahn, Rebecca Reasoning in knowledge graphs: Methods and techniquesThesis Hochschulschrift 2021
107Schneidewind Clara - 2021 - Foundations for the security analysis of distributed...pdf.jpgSchneidewind, Clara Foundations for the security analysis of distributed blockchain applicationsThesis Hochschulschrift 2021
108Klampfer Martin - 2021 - Analyse und Vergleich von gaengigen...pdf.jpgKlampfer, Martin Analyse und Vergleich von gängigen Graph-AnfragesprachenThesis Hochschulschrift 2021
109Fellner Andreas - 2021 - Starkes modellbasiertes Mutationstesten.pdf.jpgFellner, Andreas Starkes modellbasiertes MutationstestenThesis Hochschulschrift 2021
110De Coster Arnaud - 2021 - Axiomatic truth theories and reflection principles.pdf.jpgDe Coster, Arnaud Axiomatic truth theories and reflection principlesThesis Hochschulschrift 2021
111Schaden 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
112Abfalter 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
113Lang Timo Achim - 2021 - Games modalities and analytic proofs in nonclassical...pdf.jpgLang, Timo Achim Games, modalities and analytic proofs in nonclassical logicsThesis Hochschulschrift 2021
114Pace 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
115Schmidt 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
116Leutgeb Lorenz - 2021 - ATLAS Automated amortised complexity analysis of...pdf.jpgLeutgeb, Lorenz ATLAS: Automated amortised complexity analysis of self-adjusting data structuresThesis Hochschulschrift 2021
117Selzer Alexander - 2021 - Lightweight integration of query decomposition...pdf.jpgSelzer, Alexander Lightweight integration of query decomposition techniques into SQL-based database systemsThesis Hochschulschrift 2021
118Djukanovic Marko - 2021 - Exact and heuristic approaches for solving string...pdf.jpgDjukanovic, Marko Exact and heuristic approaches for solving string problems from bioinformaticsThesis Hochschulschrift 2021
119Varga Johannes - 2021 - Computational Methods for fleet scheduling in E-mobility.pdf.jpgVarga, Johannes Computational Methods for fleet scheduling in E-mobilityThesis Hochschulschrift 2021
120Jomar Dana - 2021 - Sequent Calculi for QBFs Their relation to bounded...pdf.jpgJomar, Dana Sequent Calculi for QBFs : Their relation to bounded arithmetic, and the complexity of the witnessing problemThesis Hochschulschrift 2021