Modelling and verifying contract-oriented systems in Maude
2014-01-01 Bartoletti, M.; Murgia, M.; Scalas, A.; Zunino, R.
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes
2019-01-01 Bocchi, L.; Murgia, M.; Vasconcelos, V. T.; Yoshida, N.
Progress-preserving refinements of CTA
2018-01-01 Bartoletti, M.; Bocchi, L.; Murgia, M.
Renegotiation and recursion in bitcoin contracts
2020-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
A Contract-Oriented Middleware
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, Alessandro Sebastian; Pompianu, Livio
On urgency in asynchronous timed session types
2018-01-01 Murgia, M.
A note on compliance relations and fixed points.?
2019-01-01 Murgia, M.
Compliance and subtyping in timed session types
2015-01-01 Bartoletti, M.; Cimoli, T.; Murgia, M.; Podda, A. S.; Pompianu, L.
A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
Sinkless Orientation Made Simple
2023-01-01 Balliu, Alkida; Korhonen, Janne H.; Kuhn, Fabian; Lievonen, Henrik; Olivetti, Dennis; Pai, Shreyas; Paz, Ami; Rybicki, Joel; Schmid, Stefan; Studený, Jan; Suomela, Jukka; Uitto, Jara
Distributed Maximal Matching and Maximal Independent Set on Hypergraphs
2023-01-01 Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis
Optimal Deterministic Massively Parallel Connectivity on Forests
2023-01-01 Balliu, Alkida; Latypov, Rustam; Maus, Yannic; Olivetti, Dennis; Uitto, Jara
Exponential Speedup over Locality in MPC with Optimal Memory
2022-01-01 Balliu, Alkida; Brandt, Sebastian; Fischer, Manuela; Latypov, Rustam; Maus, Yannic; Olivetti, Dennis; Uitto, Jara
Efficient Classification of Locally Checkable Problems in Regular Trees
2022-01-01 Balliu, Alkida; Brandt, Sebastian; Chang, Yi-Jun; Olivetti, Dennis; Studený, Jan; Suomela, Jukka
Preliminary results of a survey on the use of self-adaptation in industry
2022-01-01 Weyns, Danny; Gerostathopoulos, Ilias; Abbas, Nadeem; Andersson, Jesper; Biffl, Stefan; Brada, Premek; Bures, Tomas; Di Salle, Amleto; Lago, Patricia; Musil, Angelika; Musil, Juergen; Pelliccione, Patrizio
Self-adaptive testing in the field
2022-01-01 Silva, Samira; Bertolino, Antonia; Pelliccione, Patrizio
Significance of Continuous Compliance in Automotive
2022-01-01 Shahrokni, Ali; Pelliccione, Patrizio
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes
2022-01-01 Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael
Quality Metrics in Software Architecture
2023-01-01 Silva, Samira; Tuyishime, Adiel; Santilli, Tiziano; Pelliccione, Patrizio; Iovino, Ludovico
Standardisation in Digital Twin Architectures in Manufacturing
2023-01-01 Ferko, Enxhi; Bucaioni, Alessio; Pelliccione, Patrizio; Behnam, Moris
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Modelling and verifying contract-oriented systems in Maude | 1-gen-2014 | Bartoletti, M.; Murgia, M.; Scalas, A.; Zunino, R. | |
| Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes | 1-gen-2019 | Bocchi, L.; Murgia, M.; Vasconcelos, V. T.; Yoshida, N. | |
| Progress-preserving refinements of CTA | 1-gen-2018 | Bartoletti, M.; Bocchi, L.; Murgia, M. | |
| Renegotiation and recursion in bitcoin contracts | 1-gen-2020 | Bartoletti, M.; Murgia, M.; Zunino, R. | |
| A Contract-Oriented Middleware | 1-gen-2016 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, Alessandro Sebastian; Pompianu, Livio | |
| On urgency in asynchronous timed session types | 1-gen-2018 | Murgia, M. | |
| A note on compliance relations and fixed points.? | 1-gen-2019 | Murgia, M. | |
| Compliance and subtyping in timed session types | 1-gen-2015 | Bartoletti, M.; Cimoli, T.; Murgia, M.; Podda, A. S.; Pompianu, L. | |
| A Minimal Core Calculus for Solidity Contracts | 1-gen-2019 | Bartoletti, M.; Galletta, L.; Murgia, M. | |
| Sinkless Orientation Made Simple | 1-gen-2023 | Balliu, Alkida; Korhonen, Janne H.; Kuhn, Fabian; Lievonen, Henrik; Olivetti, Dennis; Pai, Shreyas; Paz, Ami; Rybicki, Joel; Schmid, Stefan; Studený, Jan; Suomela, Jukka; Uitto, Jara | |
| Distributed Maximal Matching and Maximal Independent Set on Hypergraphs | 1-gen-2023 | Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis | |
| Optimal Deterministic Massively Parallel Connectivity on Forests | 1-gen-2023 | Balliu, Alkida; Latypov, Rustam; Maus, Yannic; Olivetti, Dennis; Uitto, Jara | |
| Exponential Speedup over Locality in MPC with Optimal Memory | 1-gen-2022 | Balliu, Alkida; Brandt, Sebastian; Fischer, Manuela; Latypov, Rustam; Maus, Yannic; Olivetti, Dennis; Uitto, Jara | |
| Efficient Classification of Locally Checkable Problems in Regular Trees | 1-gen-2022 | Balliu, Alkida; Brandt, Sebastian; Chang, Yi-Jun; Olivetti, Dennis; Studený, Jan; Suomela, Jukka | |
| Preliminary results of a survey on the use of self-adaptation in industry | 1-gen-2022 | Weyns, Danny; Gerostathopoulos, Ilias; Abbas, Nadeem; Andersson, Jesper; Biffl, Stefan; Brada, Premek; Bures, Tomas; Di Salle, Amleto; Lago, Patricia; Musil, Angelika; Musil, Juergen; Pelliccione, Patrizio | |
| Self-adaptive testing in the field | 1-gen-2022 | Silva, Samira; Bertolino, Antonia; Pelliccione, Patrizio | |
| Significance of Continuous Compliance in Automotive | 1-gen-2022 | Shahrokni, Ali; Pelliccione, Patrizio | |
| Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes | 1-gen-2022 | Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael | |
| Quality Metrics in Software Architecture | 1-gen-2023 | Silva, Samira; Tuyishime, Adiel; Santilli, Tiziano; Pelliccione, Patrizio; Iovino, Ludovico | |
| Standardisation in Digital Twin Architectures in Manufacturing | 1-gen-2023 | Ferko, Enxhi; Bucaioni, Alessio; Pelliccione, Patrizio; Behnam, Moris |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...892
Data di pubblicazione
- 2020 - 2023150
- 2010 - 2019501
- 2000 - 2009195
- 1990 - 199941
- 1982 - 19895
Editore
- Springer74
- IEEE Computer Society30
- Institute of Electrical and Elect...21
- Springer Verlag17
- IEEE16
- Association for Computing Machine...15
- Springer-Verlag14
- CEUR-WS9
- ACM8
- Springer International Publishing8
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...29
- POS PROCEEDINGS OF SCIENCE13
- JOURNAL OF LOW TEMPERATURE PHYSICS10
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- ELECTRONIC PROCEEDINGS IN THEORET...4
- OPEN ACCESS SERIES IN INFORMATICS4
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...22
- LECTURE NOTES IN COMPUTER SCIENCE14
- LEIBNIZ INTERNATIONAL PROCEEDINGS...12
- AIP CONFERENCE PROCEEDINGS5
- ADVANCES IN NEURAL INFORMATION PR...3
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- ACM Symposium on Principles of Di...1
- CEUR WORKSHOP PROCEEDINGS1
Keyword
- Computer Science (all)24
- Software22
- Theoretical Computer Science16
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality5
- Risk5
- Safety5
- Computer aided diagnosis4
- Computer Networks and Communications4
Lingua
- eng535
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext736
- reserved92
- open61
- partially open3