h1

122110

⇧ 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 Journal Article Kiefer, S. (Corresponding author)RWTH* ; Neuen, D.
The Power of the Weisfeiler--Leman Algorithm to Decompose Graphs
SIAM journal on discrete mathematics 36(1), 252-298 (2022) [10.1137/20M1314987]2022   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Kiefer, S. (Corresponding author)RWTH* ; Schweitzer, P. ; Selman, A. E.RWTH*
Graphs identified by logics with counting
ACM transactions on computational logic : TOCL 23(1), 1-31 (2021) [10.1145/3417515]2021   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Tönshoff, J. M. (Corresponding author)RWTH* ; Ritzert, M.RWTH* ; Wolf, H.RWTH* ; Grohe, M.RWTH*
Graph Neural Networks for Maximum Constraint Satisfaction
Frontiers in artificial intelligence 3, 580607 (2021) [10.3389/frai.2020.580607]2021     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 Filiot, E. (Corresponding author) ; Löding, C. (Corresponding author)RWTH* ; Winter, S. (Corresponding author)
Synthesis from Weighted Specifications with Partial Domains over Finite Words
202040th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science : FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (virtual conference) / edited by Nitin Saxena, Sunil Simon
40. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, onlineonline, 14 Dec 2020 - 18 Dec 20202020-12-142020-12-18 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, December, Leibniz international proceedings in informatics 182, 46:1-46:16 (2020) [10.4230/LIPICS.FSTTCS.2020.46]2020     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Grohe, M. (Corresponding author)RWTH* ; Neuen, D.RWTH* ; Schweitzer, P. ; Wiebking, D.RWTH*
An Improved Isomorphism Test for Bounded-tree-width Graphs
ACM transactions on algorithms : TALG 16(3), 34 (2020) [10.1145/3382082]2020   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Multimedia (Video)/Conference Presentation Schweidtmann, A. M.RWTH* ; Rittig, J. G.RWTH* ; König, A.RWTH* ; Grohe, M.RWTH* ; Mitsos, A. (Corresponding author)RWTH* ; Dahmen, M.
Graph neural networks for prediction of fuel ignition quality
2020AIChE Annual Meeting, Applications of Data Science to Molecules and Materials Session, onlineonline, 18 Nov 2020 - 18 Nov 20202020-11-182020-11-18 Aachen, [AVT research video] [5], 1 Online-Ressource (1 video file) (2020) [10.18154/RWTH-2020-10689]2020     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Multimedia (Video) Rittig, J. G.RWTH* ; Schweidtmann, A. M.RWTH* ; König, A.RWTH* ; Dahmen, M. ; Grohe, M.RWTH* ; Mitsos, A.RWTH*
Deep End-To-End Learning on Molecular Graphs for Physico-Chemical Property Prediction using Graph Neural Networks : 8th - 9th July 2020 ; 3rd International Conference on Machine Learning an AI in (bio)Chemical Engineering
20203. International Conference on Machine Learning an AI in (bio)Chemical Engineering, onlineonline, 8 Jul 2020 - 9 Jul 20202020-07-082020-07-09 Aachen, AVT-SVT Research Video 3, Online (2020) [10.18154/RWTH-2020-10114]2020     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 Landwehr, P. (Corresponding author)RWTH* ; Löding, C. (Corresponding author)RWTH*
Tree Automata with Global Constraints for Infinite Trees
201936th International Symposium on Theoretical Aspects of Computer Science : STACS 2019, March 13-16, 2019, Berlin, Germany / edited by Rolf Niedermeier, Christophe Paul
36. International Symposium on Theoretical Aspects of Computer Science, STACS 2019, BerlinBerlin, Germany, 13 Mar 2019 - 16 Mar 20192019-03-132019-03-16 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics : LIPIcs 126, 47, [1]-15 (2019) [10.4230/LIPICS.STACS.2019.47]2019     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Reidl, F. (Corresponding author)RWTH* ; Sanchez Villaamil, F.RWTH* ; Stavropoulos, K.RWTH*
Characterising bounded expansion by neighbourhood complexity
European journal of combinatorics 75, 152-168 (2019) [10.1016/j.ejc.2018.08.001]2019   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Neider, D. (Corresponding author)RWTH* ; Saha, S. ; Madhusudan, P.
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers
ACM transactions on computational logic : TOCL 19(2), 10 (2018) [10.1145/3173545]2018   BibTeX | EndNote: XML, Text | RIS

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