Published in: LIPIcs, Volume 351, 33rd Annual European Symposium on Algorithms (ESA 2025)
Nick Fischer, Elazar Goldenberg, Mursalin Habib, and Karthik C. S.. Hardness of Median and Center in the Ulam Metric. In 33rd Annual European Symposium on Algorithms (ESA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 351, pp. 111:1-111:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{fischer_et_al:LIPIcs.ESA.2025.111,
author = {Fischer, Nick and Goldenberg, Elazar and Habib, Mursalin and Karthik C. S.},
title = {{Hardness of Median and Center in the Ulam Metric}},
booktitle = {33rd Annual European Symposium on Algorithms (ESA 2025)},
pages = {111:1--111:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-395-9},
ISSN = {1868-8969},
year = {2025},
volume = {351},
editor = {Benoit, Anne and Kaplan, Haim and Wild, Sebastian and Herman, Grzegorz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2025.111},
URN = {urn:nbn:de:0030-drops-245809},
doi = {10.4230/LIPIcs.ESA.2025.111},
annote = {Keywords: Ulam distance, median, center, rank aggregation, fine-grained complexity}
}
Published in: LIPIcs, Volume 346, 13th International Conference on Geographic Information Science (GIScience 2025)
Weihua Huan, Xintao Liu, and Wei Huang. A Modularity-Driven Framework for Unraveling Congestion Centers with Enhanced Spatial-Semantic Features. In 13th International Conference on Geographic Information Science (GIScience 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 346, pp. 7:1-7:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{huan_et_al:LIPIcs.GIScience.2025.7,
author = {Huan, Weihua and Liu, Xintao and Huang, Wei},
title = {{A Modularity-Driven Framework for Unraveling Congestion Centers with Enhanced Spatial-Semantic Features}},
booktitle = {13th International Conference on Geographic Information Science (GIScience 2025)},
pages = {7:1--7:11},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-378-2},
ISSN = {1868-8969},
year = {2025},
volume = {346},
editor = {Sila-Nowicka, Katarzyna and Moore, Antoni and O'Sullivan, David and Adams, Benjamin and Gahegan, Mark},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2025.7},
URN = {urn:nbn:de:0030-drops-238362},
doi = {10.4230/LIPIcs.GIScience.2025.7},
annote = {Keywords: Congestion center, Temporal granularity, Fast Fourier Transform, Local dominance}
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Gal Gilad, Teresa M. Przytycka, and Roded Sharan. Mutational Signature Refitting on Sparse Pan-Cancer Data. In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 11:1-11:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gilad_et_al:LIPIcs.WABI.2025.11,
author = {Gilad, Gal and Przytycka, Teresa M. and Sharan, Roded},
title = {{Mutational Signature Refitting on Sparse Pan-Cancer Data}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {11:1--11:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.11},
URN = {urn:nbn:de:0030-drops-239374},
doi = {10.4230/LIPIcs.WABI.2025.11},
annote = {Keywords: mutational signatures, signature refitting, cancer genomics, genomic data analysis, somatic mutations}
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Marcos E. González Laffitte, Tieu-Long Phan, and Peter F. Stadler. Extension of Partial Atom-To-Atom Maps: Uniqueness and Algorithms. In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 12:1-12:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gonzalezlaffitte_et_al:LIPIcs.WABI.2025.12,
author = {Gonz\'{a}lez Laffitte, Marcos E. and Phan, Tieu-Long and Stadler, Peter F.},
title = {{Extension of Partial Atom-To-Atom Maps: Uniqueness and Algorithms}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {12:1--12:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.12},
URN = {urn:nbn:de:0030-drops-239410},
doi = {10.4230/LIPIcs.WABI.2025.12},
annote = {Keywords: atom-to-atom maps, imaginary transition state (ITS) graphs, condensed graph of the reaction (CGR), chemical reaction mechanisms, molecular graphs, metabolic networks, chemical synthesis planning, constrained graph isomorphism}
}
Published in: LIPIcs, Volume 341, 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)
Anna B. Jakobsen, Anders B. Clausen, Jaco van de Pol, and Irfansha Shaik. Depth-Optimal Quantum Layout Synthesis as SAT. In 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 341, pp. 16:1-16:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{jakobsen_et_al:LIPIcs.SAT.2025.16,
author = {Jakobsen, Anna B. and Clausen, Anders B. and van de Pol, Jaco and Shaik, Irfansha},
title = {{Depth-Optimal Quantum Layout Synthesis as SAT}},
booktitle = {28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)},
pages = {16:1--16:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-381-2},
ISSN = {1868-8969},
year = {2025},
volume = {341},
editor = {Berg, Jeremias and Nordstr\"{o}m, Jakob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2025.16},
URN = {urn:nbn:de:0030-drops-237501},
doi = {10.4230/LIPIcs.SAT.2025.16},
annote = {Keywords: Quantum Layout Synthesis, Transpiling, Circuit Mapping, Incremental SAT, Parallel Plans}
}
Published in: TGDK, Volume 2, Issue 2 (2024): Special Issue on Resources for Graph Data and Knowledge. Transactions on Graph Data and Knowledge, Volume 2, Issue 2
Grunde Haraldsson Wesenberg and Ana Ozaki. TØIRoads: A Road Data Model Generation Tool. In Special Issue on Resources for Graph Data and Knowledge. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 2, pp. 6:1-6:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{wesenberg_et_al:TGDK.2.2.6,
author = {Wesenberg, Grunde Haraldsson and Ozaki, Ana},
title = {{T{\O}IRoads: A Road Data Model Generation Tool}},
journal = {Transactions on Graph Data and Knowledge},
pages = {6:1--6:12},
ISSN = {2942-7517},
year = {2024},
volume = {2},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.2.6},
URN = {urn:nbn:de:0030-drops-225901},
doi = {10.4230/TGDK.2.2.6},
annote = {Keywords: Road Data, Transportation, Graph Neural Networks, Synthetic Dataset Generation}
}
Published in: LIPIcs, Volume 280, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Kexin Zheng, Ang Li, Han Zhang, and T. K. Satish Kumar. FastMapSVM for Predicting CSP Satisfiability. In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 280, pp. 40:1-40:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{zheng_et_al:LIPIcs.CP.2023.40,
author = {Zheng, Kexin and Li, Ang and Zhang, Han and Kumar, T. K. Satish},
title = {{FastMapSVM for Predicting CSP Satisfiability}},
booktitle = {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)},
pages = {40:1--40:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-300-3},
ISSN = {1868-8969},
year = {2023},
volume = {280},
editor = {Yap, Roland H. C.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.40},
URN = {urn:nbn:de:0030-drops-190775},
doi = {10.4230/LIPIcs.CP.2023.40},
annote = {Keywords: Constraint Satisfaction Problems, Machine Learning, FastMapSVM}
}
Published in: OASIcs, Volume 100, 13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022)
Antonino Tumeo, Nicolas Bohm Agostini, Serena Curzel, Ankur Limaye, Cheng Tan, Vinay Amatya, Marco Minutoli, Vito Giovanni Castellana, Ang Li, and Joseph Manzano. SO(DA)^2: End-to-end Generation of Specialized Reconfigurable Architectures (Invited Talk). In 13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022). Open Access Series in Informatics (OASIcs), Volume 100, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{tumeo_et_al:OASIcs.PARMA-DITAM.2022.1,
author = {Tumeo, Antonino and Agostini, Nicolas Bohm and Curzel, Serena and Limaye, Ankur and Tan, Cheng and Amatya, Vinay and Minutoli, Marco and Castellana, Vito Giovanni and Li, Ang and Manzano, Joseph},
title = {{SO(DA)^2: End-to-end Generation of Specialized Reconfigurable Architectures}},
booktitle = {13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022)},
pages = {1:1--1:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-231-0},
ISSN = {2190-6807},
year = {2022},
volume = {100},
editor = {Palumbo, Francesca and Bispo, Jo\~{a}o and Cherubin, Stefano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2022.1},
URN = {urn:nbn:de:0030-drops-161175},
doi = {10.4230/OASIcs.PARMA-DITAM.2022.1},
annote = {Keywords: Reconfigurable architectures, data analytics}
}