• Sign in
  • Sign up
conf.researchr.org / Rocco De Nicola
  • ECOOP 2016 profile
  • ICFP 2018 profile
  • ICSE 2020 profile
  • POPL 2018 profile
  • POPL 2019 profile

Not registered as user

Name:Rocco De Nicola

Contributions

2020

FormaliSE

  • Author of Verification of Privacy-Enhanced Collaborations within the FormaliSE 2020-track

2019

OPCT

  • Author of Attribute Based Communication for Collective Adaptive Systems within the OPCT 2019-track

2018

Erlang

  • Committee Member in Program Committee within the Erlang 2018-track

2016

COP

  • Committee Member in Program Committee within the COP-track
Share
xSun 13 Jul 06:34
using conf.researchr.org (v1.69.1)
Support page
Sign Up