Applicative Shortcut Fusion. - Germán Andrés Delbianco; Mauro Jaskelioff; Alberto Pardo (Trends in Functional Programming, 2011)

Hoare-style reasoning with (algebraic) continuations. - Germán Andrés Delbianco; Aleksandar Nanevski (ICFP, 2013)

Communicating State Transition Systems for Fine-Grained Concurrent Resources. - Aleksandar Nanevski; Ruy Ley-Wild; Ilya Sergey; Germán Andrés Delbianco (ESOP, 2014)

Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. - Ilya Sergey; Aleksandar Nanevski; Anindya Banerjee 001; Germán Andrés Delbianco (OOPSLA, 2016)

Concurrent Data Structures Linked in Time. - Germán Andrés Delbianco; Ilya Sergey; Aleksandar Nanevski; Anindya Banerjee 001 (ECOOP, 2017)

Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources. - Aleksandar Nanevski; Anindya Banerjee 001; Germán Andrés Delbianco (CoRR, 2017)

Concurrent Data Structures Linked in Time (Artifact). - Germán Andrés Delbianco; Ilya Sergey; Aleksandar Nanevski; Anindya Banerjee 001 (Dagstuhl Artifacts Ser., 2017)

Hoare-style Reasoning with Higher-order Control: Continuations and Concurrency. - Germán Andrés Delbianco (2017)

Specifying concurrent programs in separation logic: morphisms and simulations. - Aleksandar Nanevski; Anindya Banerjee 001; Germán Andrés Delbianco; Ignacio Fábregas (Proc. ACM Program. Lang., 2019)

On algebraic abstractions for concurrent separation logics. - Frantisek Farka; Aleksandar Nanevski; Anindya Banerjee 001; Germán Andrés Delbianco; Ignacio Fábregas (Proc. ACM Program. Lang., 2021)