122910
Lehrstuhl für Logik und Theorie diskreter Systeme (Informatik 7) Also known as:Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)| ID | I:(DE-82)122910_20140620 |
All known publications ...
Download: BibTeX | EndNote XML, Text | RIS |
Contribution to a book/Contribution to a conference proceedings
Query Languages for Neural NetworksLIPIcs, Volume 328, ICDT 2025Leibniz International Proceedings in Informatics (LIPIcs)
28th International Conference on Database Theory : ICDT 2025, March 25-28, 2025, Barcelona, Spain / edited by Sudeepa Roy, Ahmet Kara
28. International Conference on Database Theory, ICDT 2025, BarcelonaBarcelona, Spain, 25 Mar 2025 - 28 Mar 2025
Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 328, 9:[1]-9:18 (2025) [10.4230/LIPICS.ICDT.2025.9]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a book/Contribution to a conference proceedings
Saturation Problems for Families of Automata
52nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis
52. International Colloquium on Automata, Languages, and Programming, ICALP 2025, AarhusAarhus, Denmark, 8 Jul 2025 - 11 Jul 2025
Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz international proceedings in informatics 334, 146:1-146:19 (2025) [10.4230/LIPICS.ICALP.2025.146]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Journal Article/Contribution to a book
Exploring data augmentation: Multi-task methods for molecular property prediction
Computers & chemical engineering 201, 109253 (2025) [10.1016/j.compchemeng.2025.109253] special issue: "Machine learning in chemical engineering : Special issue / Guest Editors: Professor Alexander Mitsos, Dr. Erik Esche, Professor Artur M. Schweidtmann"
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Journal Article
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
Journal of the ACM : JACM 72(3), 21 (2025) [10.1145/3727978]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Journal Article
GraphXForm: graph transformer for computer-aided molecular design
Digital discovery 4(4), 1052-1065 (2025) [10.1039/D4DD00339J]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Dissertation / PhD Thesis
Deep learning on graphs : developing and understanding neural architectures for structured data
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2024) [10.18154/RWTH-2025-03641] = Dissertation, RWTH Aachen University, 2024
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a book
Some Thoughts on Graph Similarity
Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors
Cham : Springer, Lecture notes in computer science 15260, 369-392 (2025) [10.1007/978-3-031-75783-9_15]
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a book/Contribution to a conference proceedings
End-to-End Reinforcement Learning of Curative Curtailment with Partial Measurement Availability
IEEE PES ISGT Europe 2024 : conference book : ISGT Europe 2024, 14-17 October 2024, Dubrovnik, Croatia / editors: assist. prof. Ninoslav Holjevac, PhD; Tomislav Baškarad, PhD; Matija Zidar, PhD; prof. Igor Kuzle, PhD ; IEEE PES - Power & Energy Society, IEEE PES Innovative Smart Grid Technologies Europe, University of Zagreb - Faculty of Electrical Engineering and Computing
IEEE PES Innovative Smart Grid Technologies Conference Europe, IEEE PES ISGT Europe 2024, DubrovnikDubrovnik, Croatia, 14 Oct 2024 - 17 Oct 2024
[Piscataway, NJ] : IEEE 6 Seiten (2024) [10.1109/ISGTEUROPE62998.2024.10863540]
BibTeX |
EndNote:
XML,
Text |
RIS
Journal Article
The Iteration Number of the Weisfeiler-Leman Algorithm
ACM transactions on computational logic : TOCL 26(1), 6 (2025) [10.1145/3708891]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
Contribution to a book/Contribution to a conference proceedings
Computational Complexity of the Weisfeiler-Leman Dimension
33rd EACSL Annual Conference on Computer Science Logic : CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / edited by Jörg Endrullis, Sylvain Schmitz
33. EACSL Annual Conference on Computer Science Logic, CSL 2025, AmsterdamAmsterdam, Netherlands, 10 Feb 2025 - 14 Feb 2025
Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, February, Leibniz International Proceedings in Informatics : LIPIcs 326, 13:1-13:22 (2025) [10.4230/LIPIcs.CSL.2025.13]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
All known publications ...
Download: BibTeX | EndNote XML, Text | RIS |