We stand with Ukraine  

Janek Spaderna

Orcid: 0009-0002-4510-2003

According to our database1, Janek Spaderna authored at least 4 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Artifact for the Paper "Borrowing From Session Types".
[BibTeX]
[DOI]
Hannes Saffrich
,
Janek Spaderna
,
Peter Thiemann
,
Vasco T. Vasconcelos
Dataset, August, 2025

Borrowing from Session Types.
[BibTeX]
[DOI]
Hannes Saffrich
,
Janek Spaderna
,
Peter Thiemann
,
Vasco T. Vasconcelos
Proc. ACM Program. Lang., 2025

2023
AlgST.
[BibTeX]
[DOI]
Janek Spaderna
,
Peter Thiemann
,
Andreia Mordido
,
Vasco Thudichum Vasconcelos
Dataset, April, 2023

Parameterized Algebraic Protocols.
[BibTeX]
[DOI]
Andreia Mordido
,
Janek Spaderna
,
Peter Thiemann
,
Vasco T. Vasconcelos
Proc. ACM Program. Lang., 2023


  Loading...