Capra Lorenzo

RICERCATORE CONFERMATO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA

Referenti e contatti

Sede di lavoro

Via Celoria, 18

Numero di telefono dell'ufficio
02503 16256
E-mail di ateneo
Sito web
Ricevimento
mer-ven h 14.30
Luogo di ricevimento
stanza 5052

Didattica

Ricerca

Pubblicazioni
  • Towards a Petri net Model for Graph Transformation Systems / L. Capra. - In: IAENG INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS. - ISSN 1992-9978. - 49:4(2019 Nov 20), pp. 415-420.
  • PNemu: An Extensible Modeling Library for Adaptable Distributed Systems / M. Camilli, L. Capra, C. Bellettini (LECTURE NOTES IN COMPUTER SCIENCE). - In: Application and Theory of Petri Nets and Concurrency / [a cura di] S. Donatelli, S. Haar. - [s.l] : Springer, 2019 May. - ISBN 9783030215705. - pp. 80-90 (( Intervento presentato al 40. convegno PETRI NETS tenutosi a Aachen nel 2019.
  • An Operational Semantics of Graph Transformation Systems Using Symmetric Nets / L. Capra. - (2019). ((Intervento presentato al 3. convegno Working Formal Methods Symposium tenutosi a Timisoara nel 2019.
  • A high-level petri net-based formal model of distributed self-adaptive systems / M. Camilli, C.N.M. Bellettini, L. Capra - In: ECSA '18 : Proceedings[s.l] : ACM, 2018 Sep 24. - ISBN 9781450364836. - pp. 1-7 (( Intervento presentato al 12. convegno European Conference on Software Architecture tenutosi a Madrid nel 2018.
  • Towards Evolving Petri Nets: a Symmetric Nets-based Framework / L. Capra, M. Camilli (IFAC-PAPERSONLINE). - In: 14th IFAC Workshop on Discrete Event Systems WODES 2018 / [a cura di] G. De Tommasi. - [s.l] : Elsevier, 2018 Jul. - pp. 480-485 (( Intervento presentato al 14. convegno Discrete Event Systems WODES tenutosi a Sorrento nel 2018.