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 21-40 of 549 (Search time: 0.008 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Antonio Zaitoun ; Tomer Sagi ; Katja Hose OntoEval: an Automated Ontology Evaluation SystemInproceedings Konferenzbeitrag Apr-2023
22Garigliotti, Dario ; Bjerva, Johannes ; Nielsen, Finn ; Butzbach, Annika ; Lyhne, Ivar ; Kørnøv, Lone ; Hose, Katja Do bridges dream of water pollutants? Towards DreamsKG, a knowledge graph to make digital access for sustainable environmental assessment come trueInproceedings Konferenzbeitrag Apr-2023
23Zaitoun, Antonio ; Sagi, Tomer ; Hose, Katja Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain CorpusInproceedings Konferenzbeitrag Apr-2023
24Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Breaking and Fixing Virtual Channels: Domino Attack and DonnerInproceedings Konferenzbeitrag 27-Feb-2023
25Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian Parameterized complexity of envy-free resource allocation in social networksArticle Artikel Feb-2023
26Brand, Cornelius ; Ganian, Robert ; Simonov, Kirill A Parameterized Theory of PAC LearningInproceedings Konferenzbeitrag 2023
27Glaser, Philipp-Lorenz ; Ali, Syed Juned ; Sallinger, Emanuel ; Bork, Dominik Exploring Enterprise Architecture Knowledge Graphs in Archi: The EAKG ToolkitInproceedings Konferenzbeitrag 2023
28Bhore, Sujoy ; Ganian, Robert ; Khazaliya, Liana ; Montecchiani, Fabrizio ; Nöllenburg, Martin Extending Orthogonal Planar Graph Drawings Is Fixed-Parameter TractableInproceedings Konferenzbeitrag 2023
29Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Korchemna, Viktoriia A Structural Complexity Analysis of Synchronous Dynamical SystemsInproceedings Konferenzbeitrag 2023
30Fichte, Johannes K. ; Ganian, Robert ; Hecher, Markus ; Slivovsky, Friedrich ; Ordyniak, Sebastian Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBFInproceedings Konferenzbeitrag 2023
31Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan The Computational Complexity of Concise Hypersphere ClassificationInproceedings Konferenzbeitrag 2023
32Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad The Parameterized Complexity of Coordinated Motion PlanningInproceedings Konferenzbeitrag 2023
33Blažej, Václav ; Ganian, Robert ; Knop, Dusan ; Pokorný, Jan ; Schierreich, Šimon ; Simonov, Kirill The Parameterized Complexity of Network MicroaggregationInproceedings Konferenzbeitrag 2023
34Longo Grace Lydia - 2023 - A metaheuristic approach to crowdsourced package...pdf.jpgLongo, Grace A metaheuristic approach to crowdsourced package deliveryThesis Hochschulschrift 2023
35Wussler Aron - 2023 - Post-Quantum Cryptography in OpenPGP.pdf.jpgWussler, Aron Post-Quantum Cryptography in OpenPGPThesis Hochschulschrift 2023
36Sattlegger Paul Florian - 2023 - Security Analysis of WebViews in...pdf.jpgSattlegger, Paul Florian Security Analysis of WebViews in Cross-Plattform Mobile FrameworksThesis Hochschulschrift 2023
37Lackner Florian - 2023 - Score-based Explanations of Classification Outcomes and...pdf.jpgLackner, Florian Score-based Explanations of Classification Outcomes and Database QueriesThesis Hochschulschrift 2023
38Krystallidis Andreas - 2023 - Adaptive Large Neighbourhood Search for...pdf.jpgKrystallidis, Andreas Adaptive Large Neighbourhood Search for Double-Round-Robin Sports Tournament ProblemThesis Hochschulschrift 2023
39Kaindlstorfer 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
40Besin 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