Forschungsbereich Algorithms and Complexity

Organization Name (de) Name der Organisation (de)
E192-01 - Forschungsbereich Algorithms and Complexity
 
Code Kennzahl
E192-01
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 1-20 of 882 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ehlers, 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
2Fuchs, 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
3Piccolotto, Nikolaus ; Wallinger, Markus ; Miksch, Silvia ; Bögl, Markus UnDRground Tubes: Exploring Spatial Data With Multidimensional Projections and Set VisualizationArticle Artikel Jan-2025
4Szeider, Stefan Large and Parallel Human Sorting NetworksInproceedings Konferenzbeitrag 2025
5Reixach, 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
6Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin Satisfiability Modulo User PropagatorsArticle Artikel 27-Dec-2024
7Chen, Jiehua Fairness in Assignments with Congestion-Averse Agents: Concepts, Algorithms, and ComplexityPresentation Vortrag11-Dec-2024
8Chen, Jiehua ; Hatschka, Christian ; Simola, Sofia Henna Elisa Multi-Winner ReconfigurationPresentation Vortrag11-Dec-2024
9Chede-2024-Circuits, Proofs and Propositional Model Counting-vor.pdf.jpgChede, Sravanthi ; Chew, Leroy Nicholas ; Shukla, Anil Circuits, Proofs and Propositional Model CountingInproceedings Konferenzbeitrag 5-Dec-2024
10Balabán, Jakub ; Ganian, Robert ; Rocton, Mathis Teva Twin-Width Meets Feedback Edges and Vertex IntegrityInproceedings Konferenzbeitrag 5-Dec-2024
11Firbas, Alexander ; Sorge, Manuel On the Complexity of Establishing Hereditary Graph Properties via Vertex SplittingInproceedings Konferenzbeitrag 4-Dec-2024
12Depian-2024-Constrained Boundary Labeling-vor.pdf.jpgDepian, Thomas ; Nöllenburg, Martin ; Terziadis, Soeren ; Wallinger, Markus Constrained Boundary LabelingInproceedings Konferenzbeitrag 4-Dec-2024
13Da Lozzo, Giordano ; Ganian, Robert ; Gupta, Siddharth ; Mohar, Bojan ; Ordyniak, Sebastian ; Zehavi, Meirav Exact Algorithms for Clustered Planarity with Linear SaturatorsInproceedings Konferenzbeitrag 4-Dec-2024
14Gregor, Petr ; Hoang, Phuc Hung ; Merino, Arturo ; Mička, Ondřej Generating All Invertible Matrices by Row OperationsInproceedings Konferenzbeitrag 4-Dec-2024
15Piccolotto, Nikolaus ; Wallinger, Markus ; Miksch, Silvia ; Bögl, Markus On Combined Visual Cluster and Set AnalysisInproceedings Konferenzbeitrag 2-Dec-2024
16Korchemna, Viktoria ; Lokshtanov, Daniel ; Saurabh, Saket ; Surianarayanan, Vaishali ; Xue, Jie Efficient Approximation of Fractional Hypertree WidthInproceedings Konferenzbeitrag 29-Nov-2024
17Beyersdorff-2024-ACM Transactions on Computation Theory-vor.pdf.jpgBeyersdorff, Olaf ; Blinkhorn, Joshua Lewis ; Peitl, Tomáš Strong (D)QBF Dependency Schemes via Implication-free Resolution PathsArticle Artikel 11-Nov-2024
18Szeider, Stefan Neurosymbolic AI: Deep Learning and Deep ReasoningPresentation Vortrag1-Nov-2024
19Boehm-2024-Artificial Intelligence-vor.pdf.jpgBöhm, Benjamin ; Peitl, Tomáš ; Beyersdorff, Olaf QCDCL with cube learning or pure literal elimination – What is best?Article Artikel Nov-2024
20Archambault, Daniel ; Liotta, Giuseppe ; Nöllenburg, Martin ; Piselli, Tommaso ; Tappini, Alessandra ; Wallinger, Markus Bundling-Aware Graph DrawingInproceedings Konferenzbeitrag 28-Oct-2024