Research output per year
Research output per year
Search results
-
2024
Descriptive Complexity for Neural Networks via Boolean Networks
Ahvonen, V., Heiman, D. & Kuusisto, A., 27 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 288. p. 9:1-9:22 22 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 288).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile1 Citation (Scopus)7 Downloads (Pure) -
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
Ahvonen, V., Heiman, D., Kuusisto, A. & Lutz, C., 10 Dec 2024, (E-pub ahead of print) The Thirty-eighth Annual Conference on Neural Information Processing Systems. NeurIPS, 45 p. (Advances in neural information processing systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile6 Downloads (Pure) -
2023
Descriptive Complexity for Distributed Computing with Circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile2 Citations (Scopus)11 Downloads (Pure)