Per Sort & Year

Papers in Proceedings  /  2020  /  Stefano Mariani

Stefano Mariani, Franco Zambonelli
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020), 2020
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Time-Fluid Field-Based Coordination
Coordination Models and Languages, 2020
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
BLOCKCHAIN'19. Advances in Intelligent Systems and Computing 1010, 2020
(3 papers in proceedings in 2020)

Tags:

Publications / Mariani

Home
clouds
tags  |  co-authors  |  co-editors  |  journals
per sort & year
in journal  |  in proc  |  chapters  |  books  |  edited  |  spec issues  |  editorials  |  tech reps  |  phd th  |  others
2022  |  2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013–2012
per status
online  |  in press  |  proof  |  camera-ready  |  revised  |  accepted  |  revision  |  submitted  |  draft  |  note

Avatar

Contacts

— mail

UniMoRe  |  AMS-UniBo

— personal page

UniMoRe

— addresses

via Amendola 2 13
42122 Reggio Emilia, Italy

via dell'Università 50
47522 Cesena, Italy

Links

— projects

CONNECARE  |  SAPERE

— research

MoK  |  ReSpecT  |  TuCSoN  |  TU Wien Stuff

— teaching

IFTS 2019/2020  |  IFTS 2018/2019  |  IFTS 2015/2016  |  Distributed Systems   |  Concurrent and Distributed Programming

— software

ReSpecT  |  TuCSoN  |  T4J  |  T4Jn

— suggested readings

Academic Readings  |  Personal Readings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY