Janek Spaderna

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Algebraic Expressions

Artificial Neural Networks

Security Protocols

Top Venues

Proc. ACM Program. Lang.

Publications

Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Parameterized Algebraic Protocols. CoRR (2023)
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Parameterized Algebraic Protocols. Proc. ACM Program. Lang. 7 (PLDI) (2023)