Skip to content

Germán Andrés Delbianco

  • PhD in Computer Science
  • Post-doctorant
  • Institut de Recherche en Informatique Fondamentale
  • 2h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 19CitationsNumber of citations received by Germán Andrés's publications. Updated daily.

Research interests

ConcurrencyDistributed Systems VerificationTheorem ProvingFunctional ProgrammingProgramming LanguagesSoftware Verification

Co-authors (6)

  • José Miguel Rojas

Publications (8)

Concurrent Data Structures Linked in Time

  • Delbianco G
  • Sergey I
  • Nanevski A
31st European Conference on Object-Oriented Programming (ECOOP 2017) (2017)
  • n/a

    Readers

  • n/a

    Citations

Full text

Concurrent Data Structures Linked in Time (Artifact)

  • Delbianco G
  • Sergey I
  • Nanevski A
Daghstul Artifacts Series (2017)
  • n/a

    Readers

  • n/a

    Citations

Full text

Hoare-style Reasoning with Higher-order Control : Continuations and Concurrency

  • Delbianco G
  • n/a

    Readers

  • n/a

    Citations

Full text

Hoare-style specifications as correctness conditions for non-linearizable concurrent objects

  • Sergey I
  • Nanevski A
  • Banerjee A
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 (2016)
  • n/a

    Readers

  • n/a

    Citations

Full text

Communicating State Transition Systems for Fine-Grained Concurrent Resources

  • Nanevski A
  • Ley-Wild R
  • Sergey I
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014)
  • n/a

    Readers

  • n/a

    Citations

Full text

Professional experience

Post-doctorant

Institut de Recherche en Informatique Fondamentale

September 2017 - Present

phD candidate

Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software

September 2011 - September 2017(6 years)

Research Intern

Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software

December 2010 - October 2011(10 months)

Ayudante de Segunda

UNR

August 2007 - December 2010(3 years)

Research intern

INRIA Sophia Antipolis

April 2008 - October 2008(6 months)

Education history

phD in Computer Science

Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software

October 2011 - July 2017(6 years)

Licenciado en Ciencia de la Computación

UNR

March 2003 - December 2010(8 years)