Publicaciones en colaboración con investigadores/as de Tel Aviv University (3)

2023

  1. Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks

    IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 3, pp. 2256-2273

2020

  1. Taming callbacks for smart contract modularity

    Proceedings of the ACM on Programming Languages, Vol. 4, Núm. OOPSLA

2008

  1. Covers of Klein surfaces

    Advances in Geometry, Vol. 8, Núm. 4, pp. 557-590