Published in: TGDK, Volume 3, Issue 3 (2025). Transactions on Graph Data and Knowledge, Volume 3, Issue 3
Florian Ruosch, Cristina Sarasua, and Abraham Bernstein. Mining Inter-Document Argument Structures in Scientific Papers for an Argument Web. In Transactions on Graph Data and Knowledge (TGDK), Volume 3, Issue 3, pp. 4:1-4:33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Article{ruosch_et_al:TGDK.3.3.4,
author = {Ruosch, Florian and Sarasua, Cristina and Bernstein, Abraham},
title = {{Mining Inter-Document Argument Structures in Scientific Papers for an Argument Web}},
journal = {Transactions on Graph Data and Knowledge},
pages = {4:1--4:33},
ISSN = {2942-7517},
year = {2025},
volume = {3},
number = {3},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.3.3.4},
URN = {urn:nbn:de:0030-drops-252159},
doi = {10.4230/TGDK.3.3.4},
annote = {Keywords: Argument Mining, Large Language Models, Knowledge Graphs, Link Prediction}
}
Published in: OASIcs, Volume 136, 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)
Herbert Muehlburger and Franz Wotawa. GEMMA-FD: Zero-Shot Fault Detection in Heat Pumps Using Multimodal Language Models. In 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025). Open Access Series in Informatics (OASIcs), Volume 136, pp. 12:1-12:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{muehlburger_et_al:OASIcs.DX.2025.12,
author = {Muehlburger, Herbert and Wotawa, Franz},
title = {{GEMMA-FD: Zero-Shot Fault Detection in Heat Pumps Using Multimodal Language Models}},
booktitle = {36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)},
pages = {12:1--12:17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-394-2},
ISSN = {2190-6807},
year = {2025},
volume = {136},
editor = {Quinones-Grueiro, Marcos and Biswas, Gautam and Pill, Ingo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.12},
URN = {urn:nbn:de:0030-drops-248015},
doi = {10.4230/OASIcs.DX.2025.12},
annote = {Keywords: fault detection, anomaly detection, cyber-physical systems, HVAC, heat pumps, energy systems, large language models, zero-shot learning, open-weight LLMs, interpretable AI, multimodal prompts, smart energy}
}
Published in: LIPIcs, Volume 346, 13th International Conference on Geographic Information Science (GIScience 2025)
Christopher Wagner, Somayeh Dodge, and Danial Alizadeh. Identifying Resilient Communities in Road Networks: A Path-Based Embedding Approach. In 13th International Conference on Geographic Information Science (GIScience 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 346, pp. 9:1-9:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{wagner_et_al:LIPIcs.GIScience.2025.9,
author = {Wagner, Christopher and Dodge, Somayeh and Alizadeh, Danial},
title = {{Identifying Resilient Communities in Road Networks: A Path-Based Embedding Approach}},
booktitle = {13th International Conference on Geographic Information Science (GIScience 2025)},
pages = {9:1--9:10},
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.9},
URN = {urn:nbn:de:0030-drops-238380},
doi = {10.4230/LIPIcs.GIScience.2025.9},
annote = {Keywords: road networks, resilience analysis, machine learning, graph neural networks}
}
Published in: LIPIcs, Volume 341, 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)
Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, and Kuldeep S. Meel. Efficient Certified Reasoning for Binarized Neural Networks. In 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 341, pp. 32:1-32:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{yang_et_al:LIPIcs.SAT.2025.32,
author = {Yang, Jiong and Tan, Yong Kiam and Soos, Mate and Myreen, Magnus O. and Meel, Kuldeep S.},
title = {{Efficient Certified Reasoning for Binarized Neural Networks}},
booktitle = {28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)},
pages = {32:1--32:22},
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.32},
URN = {urn:nbn:de:0030-drops-237665},
doi = {10.4230/LIPIcs.SAT.2025.32},
annote = {Keywords: Neural network verification, proof certification, SAT solving, approximate model counting}
}
Published in: LITES, Volume 7, Issue 1 (2021): Special Issue on Embedded System Security. Leibniz Transactions on Embedded Systems, Volume 7, Issue 1
Philipp Miedl, Rehan Ahmed, and Lothar Thiele. We know what you're doing! Application detection using thermal data. In LITES, Volume 7, Issue 1 (2021): Special Issue on Embedded System Security. Leibniz Transactions on Embedded Systems, Volume 7, Issue 1, pp. 02:1-02:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Article{miedl_et_al:LITES.7.1.2,
author = {Miedl, Philipp and Ahmed, Rehan and Thiele, Lothar},
title = {{We know what you're doing! Application detection using thermal data}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {02:1--02:28},
ISSN = {2199-2002},
year = {2021},
volume = {7},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.7.1.2},
URN = {urn:nbn:de:0030-drops-192850},
doi = {10.4230/LITES.7.1.2},
annote = {Keywords: Thermal Monitoring, Side Channel, Data Leak, Sequence Labelling}
}
Published in: Dagstuhl Reports, Volume 3, Issue 5 (2013)
Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, and Ziv Shkedy. Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212). In Dagstuhl Reports, Volume 3, Issue 5, pp. 78-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{bender_et_al:DagRep.3.5.78,
author = {Bender, Andreas and G\"{o}hlmann, Hinrich and Hochreiter, Sepp and Shkedy, Ziv},
title = {{Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)}},
pages = {78--94},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {5},
editor = {Bender, Andreas and G\"{o}hlmann, Hinrich and Hochreiter, Sepp and Shkedy, Ziv},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.78},
URN = {urn:nbn:de:0030-drops-41791},
doi = {10.4230/DagRep.3.5.78},
annote = {Keywords: Bioinformatics, Chemoinformatics, Machine learning, Statistics, Interdisciplinary applications}
}
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}
}
Published in: Dagstuhl Seminar Proceedings, Volume 9081, Similarity-based learning on structures (2009)
Gert-Jan de Vries and Michael Biehl. Analysis of Robust Soft Learning Vector Quantization and an application to Facial Expression Recognition. In Similarity-based learning on structures. Dagstuhl Seminar Proceedings, Volume 9081, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{devries_et_al:DagSemProc.09081.4,
author = {de Vries, Gert-Jan and Biehl, Michael},
title = {{Analysis of Robust Soft Learning Vector Quantization and an application to Facial Expression Recognition}},
booktitle = {Similarity-based learning on structures},
pages = {1--5},
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.4},
URN = {urn:nbn:de:0030-drops-20356},
doi = {10.4230/DagSemProc.09081.4},
annote = {Keywords: Learning Vector Quantization, Analysis, Facial Expression Recognition}
}
Published in: Dagstuhl Seminar Proceedings, Volume 9081, Similarity-based learning on structures (2009)
Peter Tino, Juan C. Cuevas-Tello, and Somak Raychaudhury. Estimating Time Delay in Gravitationally Lensed Fluxes. In Similarity-based learning on structures. Dagstuhl Seminar Proceedings, Volume 9081, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{tino_et_al:DagSemProc.09081.5,
author = {Tino, Peter and Cuevas-Tello, Juan C. and Raychaudhury, Somak},
title = {{Estimating Time Delay in Gravitationally Lensed Fluxes}},
booktitle = {Similarity-based learning on structures},
pages = {1--3},
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.5},
URN = {urn:nbn:de:0030-drops-20378},
doi = {10.4230/DagSemProc.09081.5},
annote = {Keywords: Time series, kernel regression, statistical analysis, evolutionary algorithms, mixed representation}
}