ask others

Germán Andrés Delbianco

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[d1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/darts/DelbiancoSNB17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/darts/DelbiancoSNB17
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Concurrent Data Structures Linked in Time (Artifact). DARTS 3(2): 04:1-04:4 (2017)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/DelbiancoSNB17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ecoop/DelbiancoSNB17
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Concurrent Data Structures Linked in Time. ECOOP 2017: 8:1-8:30
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1709-07741
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1709-07741
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco:
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources. CoRR abs/1709.07741 (2017)
2016
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/oopsla/SergeyNBD16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/oopsla/SergeyNBD16
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco:
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. OOPSLA 2016: 92-110
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DelbiancoSNB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/DelbiancoSNB16
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Concurrent Data Structures Linked in Time. CoRR abs/1604.08080 (2016)
2015
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/SergeyNBD15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/SergeyNBD15
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco:
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects. CoRR abs/1509.06220 (2015)
2014
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/NanevskiLSD14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/esop/NanevskiLSD14
Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco:
Communicating State Transition Systems for Fine-Grained Concurrent Resources. ESOP 2014: 290-310
2013
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icfp/DelbiancoN13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icfp/DelbiancoN13
Germán Andrés Delbianco, Aleksandar Nanevski:
Hoare-style reasoning with (algebraic) continuations. ICFP 2013: 363-376
2011
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sfp/DelbiancoJP11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sfp/DelbiancoJP11
Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo:
Applicative Shortcut Fusion. Trends in Functional Programming 2011: 179-194

Coauthor Index

see FAQ

maintained by

at