Damian Heiman

Orcid: 0009-0000-6038-7006

According to our database¹, Damian Heiman authored at least 4 papers between 2023 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats.

[BibT_eX]

[DOI]

CoRR, 2024

Graded modal logic and counting message passing automata.

[BibT_eX]

[DOI]

Veeti Ahvonen

Damian Heiman

Antti Kuusisto

CoRR, 2024

Descriptive Complexity for Neural Networks via Boolean Networks.

[BibT_eX]

[DOI]

Veeti Ahvonen

Damian Heiman

Antti Kuusisto

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Descriptive Complexity for Distributed Computing with Circuits.

[BibT_eX]

[DOI]

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Damian Heiman

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...