UNICA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 96
Titolo Data di pubblicazione Autore(i) Rivista Editore
A contract-oriented middleware 1-gen-2016 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
Contracts as games on event structures 1-gen-2016 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
Faderank: an incremental algorithm for ranking Twitter users 1-gen-2016 Bartoletti, Massimo; Lande, Stefano; Massa, A. - -
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 1-gen-2016 Bartoletti, Massimo; Henrio, Ludovic; Knight, Sophia; Vieira, Hugo Torres ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association
Debits and Credits in Petri Nets and Linear Logic 1-gen-2015 Bartoletti, Massimo; Degano, P; DI GIAMBERARDINO, Paolo; Zunino, R. - Springer
Vicious circles in contracts and in logic 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
Compliance and Subtyping in Timed Session Types 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
Lending Petri nets 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -
Choreographies in the wild 1-gen-2015 Bartoletti, Massimo; Lange, J; Scalas, Alceste; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
Models of circular causality 1-gen-2015 Bartoletti, Massimo; Cimoli, T.; Pinna, GIOVANNI MICHELE; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
Combining behavioural types with security analysis 1-gen-2015 Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
Model checking usage policies 1-gen-2015 Bartoletti, Massimo; Degano, P; Ferrari G., L; Zunino, R. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE -
The LTS WorkBench 1-gen-2015 Scalas, Alceste; Bartoletti, Massimo ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association
Compliance in behavioural contracts: a brief survey 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto LECTURE NOTES IN COMPUTER SCIENCE Springer
Circular causality in event structures 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. FUNDAMENTA INFORMATICAE -
A semantic deconstruction of session types 1-gen-2014 Bartoletti, Massimo; Scalas, Alceste; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
Modelling and verifying contract-oriented systems in Maude 1-gen-2014 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
A note on two notions of compliance 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Towards a linear contract logic 1-gen-2013 Bartoletti, Massimo; DI GIAMBERARDINO, Paolo; Roberto, Zunino - -
Contract agreement via logic 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Mostrati risultati da 41 a 60 di 96
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile