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 5496 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ahmeti, Arben ; Musliu, Nysret Hybridizing constraint programming and meta-heuristics for multi-mode resource-constrained multiple projects scheduling ProblemArticle Artikel Nov-2025
2Da Ros, Francesca ; Di Gaspero, Luca ; Lackner, Marie-Louise ; Musliu, Nysret ; Winter, Felix Multi-neighborhood simulated annealing for the oven scheduling problemArticle Artikel May-2025
3Lavrinovics, Ernests ; Biswas, Russa ; Bjerva, Johannes ; Hose, Katja Knowledge graphs, large language models, and hallucinations: an NLP perspectiveArticle Artikel May-2025
4Xu, Zhenghua ; Wang, Hening ; Yang, Runhe ; Yang, Yuchen ; Liu, Weipeng ; Lukasiewicz, Thomas Aggregated Mutual Learning between CNN and Transformer for semi-supervised medical image segmentationArticle Artikel 28-Feb-2025
5Lobo, David ; Medina, Jesús ; Merkl, Timo Camillo ; Pichler, Reinhard Minimal solutions of fuzzy relation equations via maximal independent elementsArticle Artikel Feb-2025
6Ehlers, Henry ; Brich, Nicolas ; Krone, Michael ; Nöllenburg, Martin ; Yu, Jiacheng ; Natsukawa, Hiroaki ; Yuan, Xiaoru ; Wu, Hsiang-Yun An introduction to and survey of biological network visualizationArticle Artikel Feb-2025
7Xu, Zhenghua ; Xu, Wenting ; Wang, Ruizhi ; Chen, Junyang ; Qi, Chang ; Lukasiewicz, Thomas Hybrid Reinforced Medical Report Generation With M-Linear Attention and Repetition PenaltyArticle Artikel Feb-2025
8Sextl, Florian ; Rogalewicz, Adam ; Vojnar, Tomáš ; Zuleger, Florian Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract)Presentation Vortrag21-Jan-2025
9Ortega-Martorell, Sandra ; Olier-Caparroso, Ivan ; Lip, Gregory ; Hose, Katja ; Tomaszuk, Dominik A European network to develop virtual twin technology for personalized stroke management in atrial fibrillation: the TARGET consortiumArticle Artikel 14-Jan-2025
10Fuchs, Johannes ; Frings, Alexander ; Heinle, Maria Viktoria ; Keim, Daniel A. ; Di Bartolomeo, Sara Quality Metrics and Reordering Strategies for Revealing Patterns in BioFabric VisualizationsArticle Artikel 1-Jan-2025
11Piccolotto, Nikolaus ; Wallinger, Markus ; Miksch, Silvia ; Bögl, Markus UnDRground Tubes: Exploring Spatial Data With Multidimensional Projections and Set VisualizationArticle Artikel Jan-2025
12Xu, Zhenghua ; Liu, Yunxin ; Xu, Gang ; Lukasiewicz, Thomas Self-Supervised Medical Image Segmentation Using Deep Reinforced Adaptive MaskingArticle Artikel Jan-2025
13Szeider, Stefan Large and Parallel Human Sorting NetworksInproceedings Konferenzbeitrag 2025
14Rath Jakob - 2025 - Efficient Reasoning with Quantifiers and Theories.pdf.jpgRath, Jakob Efficient Reasoning with Quantifiers and TheoriesThesis Hochschulschrift 2025
15Reixach, Jaume ; Blum, Christian ; Djukanovic, Marko ; Raidl, Günther R. A Biased Random Key Genetic Algorithm for Solving the Longest Common Square Subsequence ProblemArticle Artikel 2025
16Hurbean Alexander - 2025 - ArmorVM Virtual Machine Code-Obfuscation in the Arm...pdf.jpgHurbean, Alexander ArmorVM: Virtual Machine Code-Obfuscation in the Arm TrustZoneThesis Hochschulschrift 2025
17Thoendel Julian - 2025 - Designing A Software System for Finding Proper Timings...pdf.jpgThöndel, Julian Designing A Software System for Finding Proper Timings of Health-Related Tips and TasksThesis Hochschulschrift 2025
18Ait El Manssour-2025-Simple Linear Loops Algebraic Invariants and Applica...-vor.pdf.jpgAit El Manssour, Rida ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton Simple Linear Loops: Algebraic Invariants and ApplicationsInproceedings Konferenzbeitrag 2025
19Puermayr Eva - 2025 - SHACL Shapes Extraction for Evolving Knowledge Graphs.pdf.jpgPürmayr, Eva SHACL shapes extraction for evolving knowledge graphsThesis Hochschulschrift 2025
20Mugdan Esther Shifra - 2025 - Why Is There No Better Solution Explainability...pdf.jpgMugdan, Esther Shifra Why Is There No (Better) Solution? Explainability Results for the Multiobjective Rotating Workforce Scheduling ProblemThesis Hochschulschrift 2025