Research output per year
Research output per year
Personal profile
Education/Academic qualification
Doctor of Philosophy, Mathematics, Tampereen yliopisto
Award Date: 26 Oct 2011
Fingerprint
Dive into the research topics where Antti Kuusisto is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Descriptive complexity for distributed computing with circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., Jan 2025, (E-pub ahead of print) In: JOURNAL OF LOGIC AND COMPUTATION. exae087.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile4 Downloads (Pure) -
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 AccessFile7 Downloads (Pure) -
Interpretable classifiers for tabular data via feature selection and discretization
Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 2024, DAO-XAI 2024: Data meets Ontologies in Explainable AI 2024: Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024) . CEUR-WS, 22 p. (CEUR Workshop Proceedings; vol. 3833).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile6 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 AccessFile5 Downloads (Pure) -
Relating description complexity to entropy
Jaakkola, R., Kuusisto, A. & Vilander, M., May 2025, In: Journal of Computer and System Sciences. 149, 103615.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile6 Downloads (Pure)
Activities
-
Modal Logic and Distributed Message Passing Automata
Kuusisto, A. (Speaker)
3 Sept 2013Activity: Talk or presentation › Conference presentation
-
Strong systems of modal logic, with connections to distributed computing
Kuusisto, A. (Speaker)
19 Apr 2013Activity: Talk or presentation › Conference presentation
-
Second-Order Logic and Definability
Kuusisto, A. (Keynote speaker)
31 Jan 2013Activity: Talk or presentation › Invited lecture
-
85th Workshop on General Algebra (AAA85)
Kuusisto, A. (Chair)
31 Jan 2013 → 2 Feb 2013Activity: Participating in or organising an event › Chair of workshop, panel, session or tutorial
-
Synthese (Journal)
Kuusisto, A. (Reviewer)
2013Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal