Published in: LIPIcs, Volume 367, 42nd International Symposium on Computational Geometry (SoCG 2026)
Dhruv Meduri, Chuan-Shen Hu, Cong Shen, Kelin Xia, and Bei Wang. Mapping Chemical Space: Topological Data Analysis of Chemical Latent Space with Mapper. In 42nd International Symposium on Computational Geometry (SoCG 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 367, pp. 78:1-78:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{meduri_et_al:LIPIcs.SoCG.2026.78,
author = {Meduri, Dhruv and Hu, Chuan-Shen and Shen, Cong and Xia, Kelin and Wang, Bei},
title = {{Mapping Chemical Space: Topological Data Analysis of Chemical Latent Space with Mapper}},
booktitle = {42nd International Symposium on Computational Geometry (SoCG 2026)},
pages = {78:1--78:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-418-5},
ISSN = {1868-8969},
year = {2026},
volume = {367},
editor = {Ahn, Hee-Kap and Hoffmann, Michael and Nayyeri, Amir},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2026.78},
URN = {urn:nbn:de:0030-drops-258854},
doi = {10.4230/LIPIcs.SoCG.2026.78},
annote = {Keywords: Practice of computational topology, topological data analysis, applications in chemistry, mapper algorithm, high-dimensional data analysis, chemical spaces, geometric deep learning, latent space geometry}
}
Published in: LIPIcs, Volume 352, 16th International Conference on Interactive Theorem Proving (ITP 2025)
Chase Norman and Jeremy Avigad. Canonical for Automated Theorem Proving in Lean. In 16th International Conference on Interactive Theorem Proving (ITP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 352, pp. 14:1-14:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{norman_et_al:LIPIcs.ITP.2025.14,
author = {Norman, Chase and Avigad, Jeremy},
title = {{Canonical for Automated Theorem Proving in Lean}},
booktitle = {16th International Conference on Interactive Theorem Proving (ITP 2025)},
pages = {14:1--14:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-396-6},
ISSN = {1868-8969},
year = {2025},
volume = {352},
editor = {Forster, Yannick and Keller, Chantal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.14},
URN = {urn:nbn:de:0030-drops-246128},
doi = {10.4230/LIPIcs.ITP.2025.14},
annote = {Keywords: Automated Reasoning, Interactive Theorem Proving, Dependent Type Theory, Inhabitation, Unification, Program Synthesis, Formal Methods}
}
Published in: LIPIcs, Volume 333, 39th European Conference on Object-Oriented Programming (ECOOP 2025)
Francisco Handrick Tomaz da Costa, Ismael Medeiros, Leandro Oliveira, João Calássio, Rodrigo Bonifácio, Krishna Narasimhan, Mira Mezini, and Márcio Ribeiro. Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper). In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 40:1-40:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{handricktomazdacosta_et_al:LIPIcs.ECOOP.2025.40,
author = {Handrick Tomaz da Costa, Francisco and Medeiros, Ismael and Oliveira, Leandro and Cal\'{a}ssio, Jo\~{a}o and Bonif\'{a}cio, Rodrigo and Narasimhan, Krishna and Mezini, Mira and Ribeiro, M\'{a}rcio},
title = {{Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification}},
booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)},
pages = {40:1--40:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-373-7},
ISSN = {1868-8969},
year = {2025},
volume = {333},
editor = {Aldrich, Jonathan and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.40},
URN = {urn:nbn:de:0030-drops-233320},
doi = {10.4230/LIPIcs.ECOOP.2025.40},
annote = {Keywords: Android Malware Detection, Dynamic Analysis, Mining Android Sandboxes}
}
Published in: OASIcs, Volume 126, Symposium on Scaling AI Assessments (SAIA 2024)
Elisabeth Pachl, Fabian Langer, Thora Markert, and Jeanette Miriam Lorenz. A View on Vulnerabilites: The Security Challenges of XAI (Academic Track). In Symposium on Scaling AI Assessments (SAIA 2024). Open Access Series in Informatics (OASIcs), Volume 126, pp. 12:1-12:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{pachl_et_al:OASIcs.SAIA.2024.12,
author = {Pachl, Elisabeth and Langer, Fabian and Markert, Thora and Lorenz, Jeanette Miriam},
title = {{A View on Vulnerabilites: The Security Challenges of XAI}},
booktitle = {Symposium on Scaling AI Assessments (SAIA 2024)},
pages = {12:1--12:23},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-357-7},
ISSN = {2190-6807},
year = {2025},
volume = {126},
editor = {G\"{o}rge, Rebekka and Haedecke, Elena and Poretschkin, Maximilian and Schmitz, Anna},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SAIA.2024.12},
URN = {urn:nbn:de:0030-drops-227523},
doi = {10.4230/OASIcs.SAIA.2024.12},
annote = {Keywords: Explainability, XAI, Transparency, Adversarial Machine Learning, Security, Vulnerabilities}
}
Published in: Dagstuhl Reports, Volume 14, Issue 5 (2024)
Barbara Hammer, Filip Ilievski, Sascha Saralajew, and Frank van Harmelen. Generalization by People and Machines (Dagstuhl Seminar 24192). In Dagstuhl Reports, Volume 14, Issue 5, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{hammer_et_al:DagRep.14.5.1,
author = {Hammer, Barbara and Ilievski, Filip and Saralajew, Sascha and van Harmelen, Frank},
title = {{Generalization by People and Machines (Dagstuhl Seminar 24192)}},
pages = {1--11},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {5},
editor = {Hammer, Barbara and Ilievski, Filip and Saralajew, Sascha and van Harmelen, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.5.1},
URN = {urn:nbn:de:0030-drops-222682},
doi = {10.4230/DagRep.14.5.1},
annote = {Keywords: Abstraction, Cognitive Science, Generalization, Human-AI Teaming, Interpretable Machine Learning, Neuro-Symbolic AI}
}
Published in: Dagstuhl Reports, Volume 1, Issue 8 (2011)
Michael Biehl, Barbara Hammer, Erzsébet Merényi, Alessandro Sperduti, and Thomas Villman. Learning in the context of very high dimensional data (Dagstuhl Seminar 11341). In Dagstuhl Reports, Volume 1, Issue 8, pp. 67-95, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@Article{biehl_et_al:DagRep.1.8.67,
author = {Biehl, Michael and Hammer, Barbara and Mer\'{e}nyi, Erzs\'{e}bet and Sperduti, Alessandro and Villman, Thomas},
title = {{Learning in the context of very high dimensional data (Dagstuhl Seminar 11341)}},
pages = {67--95},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2011},
volume = {1},
number = {8},
editor = {Biehl, Michael and Hammer, Barbara and Mer\'{e}nyi, Erzs\'{e}bet and Sperduti, Alessandro and Villman, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.8.67},
URN = {urn:nbn:de:0030-drops-33125},
doi = {10.4230/DagRep.1.8.67},
annote = {Keywords: Curse of dimensionality, Dimensionality reduction, Regularization Deep learning, Visualization}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10302, Learning paradigms in dynamic environments (2010)
Barbara Hammer, Pascal Hitzler, Wolfgang Maass, and Marc Toussaint. 10302 Abstracts Collection – Learning paradigms in dynamic environments. In Learning paradigms in dynamic environments. Dagstuhl Seminar Proceedings, Volume 10302, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{hammer_et_al:DagSemProc.10302.1,
author = {Hammer, Barbara and Hitzler, Pascal and Maass, Wolfgang and Toussaint, Marc},
title = {{10302 Abstracts Collection – Learning paradigms in dynamic environments}},
booktitle = {Learning paradigms in dynamic environments},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10302},
editor = {Barbara Hammer and Pascal Hitzler and Wolfgang Maass and Marc Toussaint},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.1},
URN = {urn:nbn:de:0030-drops-28048},
doi = {10.4230/DagSemProc.10302.1},
annote = {Keywords: Recurrent neural networks, Dynamic systems, Speech processing, Neurobiology, Neural-symbolic integration, Autonomous learning}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10302, Learning paradigms in dynamic environments (2010)
Barbara Hammer, Pascal Hitzler, Wolfgang Maass, and Marc Toussaint. 10302 Summary – Learning paradigms in dynamic environments. In Learning paradigms in dynamic environments. Dagstuhl Seminar Proceedings, Volume 10302, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{hammer_et_al:DagSemProc.10302.2,
author = {Hammer, Barbara and Hitzler, Pascal and Maass, Wolfgang and Toussaint, Marc},
title = {{10302 Summary – Learning paradigms in dynamic environments}},
booktitle = {Learning paradigms in dynamic environments},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10302},
editor = {Barbara Hammer and Pascal Hitzler and Wolfgang Maass and Marc Toussaint},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.2},
URN = {urn:nbn:de:0030-drops-28027},
doi = {10.4230/DagSemProc.10302.2},
annote = {Keywords: Summary}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10302, Learning paradigms in dynamic environments (2010)
Artur S. d'Avila Garcez. Neurons and Symbols: A Manifesto. In Learning paradigms in dynamic environments. Dagstuhl Seminar Proceedings, Volume 10302, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{davilagarcez:DagSemProc.10302.3,
author = {d'Avila Garcez, Artur S.},
title = {{Neurons and Symbols: A Manifesto}},
booktitle = {Learning paradigms in dynamic environments},
pages = {1--16},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10302},
editor = {Barbara Hammer and Pascal Hitzler and Wolfgang Maass and Marc Toussaint},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.3},
URN = {urn:nbn:de:0030-drops-28005},
doi = {10.4230/DagSemProc.10302.3},
annote = {Keywords: Neuro-symbolic systems, cognitive models, machine learning}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10302, Learning paradigms in dynamic environments (2010)
Peter Tino. One-shot Learning of Poisson Distributions in fast changing environments. In Learning paradigms in dynamic environments. Dagstuhl Seminar Proceedings, Volume 10302, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{tino:DagSemProc.10302.4,
author = {Tino, Peter},
title = {{One-shot Learning of Poisson Distributions in fast changing environments}},
booktitle = {Learning paradigms in dynamic environments},
pages = {1--9},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10302},
editor = {Barbara Hammer and Pascal Hitzler and Wolfgang Maass and Marc Toussaint},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.4},
URN = {urn:nbn:de:0030-drops-27998},
doi = {10.4230/DagSemProc.10302.4},
annote = {Keywords: Audic-Claverie statistic, Bayesian averaging, information theory, one-shot learning, Poisson distribution}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10302, Learning paradigms in dynamic environments (2010)
Barbara Hammer, Kerstin Bunte, and Michael Biehl. Some steps towards a general principle for dimensionality reduction mappings. In Learning paradigms in dynamic environments. Dagstuhl Seminar Proceedings, Volume 10302, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{hammer_et_al:DagSemProc.10302.5,
author = {Hammer, Barbara and Bunte, Kerstin and Biehl, Michael},
title = {{Some steps towards a general principle for dimensionality reduction mappings}},
booktitle = {Learning paradigms in dynamic environments},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10302},
editor = {Barbara Hammer and Pascal Hitzler and Wolfgang Maass and Marc Toussaint},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.5},
URN = {urn:nbn:de:0030-drops-28034},
doi = {10.4230/DagSemProc.10302.5},
annote = {Keywords: Visualization, dimensionality reduction}
}
Published in: Dagstuhl Seminar Proceedings, Volume 10302, Learning paradigms in dynamic environments (2010)
Marc Toussaint. Why deterministic logic is hard to learn but Statistical Relational Learning works. In Learning paradigms in dynamic environments. Dagstuhl Seminar Proceedings, Volume 10302, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{toussaint:DagSemProc.10302.6,
author = {Toussaint, Marc},
title = {{Why deterministic logic is hard to learn but Statistical Relational Learning works}},
booktitle = {Learning paradigms in dynamic environments},
pages = {1--2},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10302},
editor = {Barbara Hammer and Pascal Hitzler and Wolfgang Maass and Marc Toussaint},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.6},
URN = {urn:nbn:de:0030-drops-28014},
doi = {10.4230/DagSemProc.10302.6},
annote = {Keywords: Statistical relational learning, relational model-based Reinforcement Learning}
}
Published in: Dagstuhl Seminar Proceedings, Volume 9081, Similarity-based learning on structures (2009)
Michael Biehl, Barbara Hammer, Sepp Hochreiter, Stefan C. Kremer, and Thomas Villmann. 09081 Abstracts Collection – Similarity-based learning on structures. In Similarity-based learning on structures. Dagstuhl Seminar Proceedings, Volume 9081, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{biehl_et_al:DagSemProc.09081.1,
author = {Biehl, Michael and Hammer, Barbara and Hochreiter, Sepp and Kremer, Stefan C. and Villmann, Thomas},
title = {{09081 Abstracts Collection – Similarity-based learning on structures}},
booktitle = {Similarity-based learning on structures},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9081},
editor = {Michael Biehl and Barbara Hammer and Sepp Hochreiter and Stefan C. Kremer and Thomas Villmann},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09081.1},
URN = {urn:nbn:de:0030-drops-20395},
doi = {10.4230/DagSemProc.09081.1},
annote = {Keywords: Similarity-based clustering and classification, metric adaptation and kernel design, learning on graphs, spatiotemporal data}
}
Published in: Dagstuhl Seminar Proceedings, Volume 9081, Similarity-based learning on structures (2009)
Michael Biehl, Barbara Hammer, Sepp Hochreiter, Stefan C. Kremer, and Thomas Villmann. 09081 Summary – Similarity-based learning on structures. In Similarity-based learning on structures. Dagstuhl Seminar Proceedings, Volume 9081, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{biehl_et_al:DagSemProc.09081.2,
author = {Biehl, Michael and Hammer, Barbara and Hochreiter, Sepp and Kremer, Stefan C. and Villmann, Thomas},
title = {{09081 Summary – Similarity-based learning on structures}},
booktitle = {Similarity-based learning on structures},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9081},
editor = {Michael Biehl and Barbara Hammer and Sepp Hochreiter and Stefan C. Kremer and Thomas Villmann},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09081.2},
URN = {urn:nbn:de:0030-drops-20382},
doi = {10.4230/DagSemProc.09081.2},
annote = {Keywords: Similarity-based clustering and classification, metric adaptation and kernel design, learning on graphs, spatiotemporal data}
}
Published in: Dagstuhl Seminar Proceedings, Volume 9081, Similarity-based learning on structures (2009)
Ian Walsh, Alessandro Vullo, and Gianluca Pollastri. An adaptive model for learning molecular endpoints. In Similarity-based learning on structures. Dagstuhl Seminar Proceedings, Volume 9081, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{walsh_et_al:DagSemProc.09081.3,
author = {Walsh, Ian and Vullo, Alessandro and Pollastri, Gianluca},
title = {{An adaptive model for learning molecular endpoints}},
booktitle = {Similarity-based learning on structures},
pages = {1--16},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9081},
editor = {Michael Biehl and Barbara Hammer and Sepp Hochreiter and Stefan C. Kremer and Thomas Villmann},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09081.3},
URN = {urn:nbn:de:0030-drops-20367},
doi = {10.4230/DagSemProc.09081.3},
annote = {Keywords: Recursive neural networks, qsar, qspr, small molecules}
}