h1

h2

h3

h4

h5
h6

122910

Lehrstuhl für Logik und Theorie diskreter Systeme (Informatik 7) Also known as:Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
IDI:(DE-82)122910_20140620

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png 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 20252025-07-082025-07-11 Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz international proceedings in informatics 334, 146:1-146:19 () [10.4230/LIPICS.ICALP.2025.146]  GO  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a book  ;  ;  ;  ;
Exploring data augmentation: Multi-task methods for molecular property prediction
Computers & chemical engineering 201, 109253 () [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"  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;  ;  ;
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
Journal of the ACM : JACM 72(3), 21 () [10.1145/3727978]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;  ;  ;  ;  ;  ;
GraphXForm: graph transformer for computer-aided molecular design
Digital discovery 4(4), 1052-1065 () [10.1039/D4DD00339J]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis  ;  ;
Deep learning on graphs : developing and understanding neural architectures for structured data
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen () [10.18154/RWTH-2025-03641] = Dissertation, RWTH Aachen University, 2024  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book
Some Thoughts on Graph Similarity
Principles of verification: cycling the probabilistic landscape, [Bd.] 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 () [10.1007/978-3-031-75783-9_15]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png 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 20242024-10-142024-10-17 [Piscataway, NJ] : IEEE 6 Seiten () [10.1109/ISGTEUROPE62998.2024.10863540]  GO BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;  ;
The Iteration Number of the Weisfeiler-Leman Algorithm
ACM transactions on computational logic : TOCL 26(1), 6 () [10.1145/3708891]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png 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 20252025-02-102025-02-14 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 () [10.4230/LIPIcs.CSL.2025.13]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings  ;  ;
Untangling Gaussian Mixtures
Graph-Theoretic Concepts in Computer Science : 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19–21, 2024, Revised Selected Papers / edited by Daniel Kráľ, Martin Milanič
50. International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2024, Gozd MartuljekGozd Martuljek, Slovenia, 18 Jun 2024 - 21 Jun 20242024-06-182024-06-21 Cham : Springer Nature Switzerland, Lecture notes in computer science 14760, 196-210 () [10.1007/978-3-031-75409-8_14]  GO BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

 Record created 2014-07-16, last modified 2024-02-27
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)