Juliusz Chroboczek

According to our database1, Juliusz Chroboczek authored at least 23 papers between 1997 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Relaxed Packet Counter Verification for Babel MAC Authentication.
RFC, January, 2024

2022
IPv4 Routes with an IPv6 Next Hop in the Babel Routing Protocol.
RFC, May, 2022

2021
Homenet Profile of the Babel Routing Protocol.
RFC, August, 2021

Source-Specific Routing in the Babel Routing Protocol.
RFC, August, 2021

Babel Routing Protocol over Datagram Transport Layer Security.
RFC, January, 2021

MAC Authentication for the Babel Routing Protocol.
RFC, January, 2021

The Babel Routing Protocol.
RFC, January, 2021

Applicability of the Babel Routing Protocol.
RFC, January, 2021

2015
Extension Mechanism for the Babel Routing Protocol.
RFC, May, 2015

User-space Multipath UDP in Mosh.
CoRR, 2015

Source-specific routing.
Proceedings of the 14th IFIP Networking Conference, 2015

2014
A delay-based routing metric.
CoRR, 2014

Source-sensitive routing.
CoRR, 2014

2012
Juppix: a Linux Live-CD for Undergraduate Students
CoRR, 2012

Lambda-lifting and CPS conversion in an imperative language
CoRR, 2012

2011
The Babel Routing Protocol.
RFC, April, 2011

Erratum to: Continuation-Passing C, compiling threads to events through continuations.
High. Order Symb. Comput., 2011

Continuation-Passing C, compiling threads to events through continuations.
High. Order Symb. Comput., 2011

CPC: programming with a massive number of lightweight threads
CoRR, 2011

2003
Game semantics and subtyping.
PhD thesis, 2003

2001
Subtyping Recursive Games.
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000
Game Semantics and Subtyping.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1997
Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations - Optimizing Optimal lambda-Calculus Implementations.
Appl. Algebra Eng. Commun. Comput., 1997


  Loading...