Sfoglia
Flocks of Birds: A Quantitative Evaluation
2024-01-01 Incerto, Emilio; Trubiani, Catia
Is it Worth Migrating a Monolith to Microservices? An Experience Report on Performance, Availability and Energy Usage
2024-01-01 Berry, Vincent; Castelltort, Arnaud; Lange, Benoit; Teriihoania, Joan; Tibermacine, Chouki; Trubiani, Catia
Generalized Distance Polymatrix Games (short paper)
2024-01-01 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
2024-01-01 Grabmayer, C.
A coinductive version of Milner's proof system for regular expressions modulo bisimilarity
2021-01-01 Grabmayer, C.
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
2020-01-01 Grabmayer, C.; Fokkink, W.
Contextual Behavioural Metrics
2023-01-01 Dal Lago, Ugo; Murgia, Maurizio
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)
2022-01-01 Grabmayer, C.
TRAC: A Tool for Data-Aware Coordination
2024-01-01 Afonso, João; KONJOH SELABI, ELVIS GERARDIN; Murgia, Maurizio; Ravara, António; Tuosto, Emilio
Asynchronous Subtyping by Trace Relaxation
2024-01-01 Bocchi, Laura; King, Andy; Murgia, Maurizio
Making Temporal Betweenness Computation Faster and Restless
2024-01-01 Brunelli, Filippo; Crescenzi, Pierluigi; Viennot, Laurent
Exploring Technologies for Semantic Metadata Enhancement
2024-01-01 Azam, Sadia; Sanctis, Martina De; Salle, Amleto Di; Iovino, Ludovico
Continuous Conformance of Software Architectures
2024-01-01 Bucaioni, Alessio; Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo; Pelliccione, Patrizio
Robust low-rank training via approximate orthonormal constraints
2023-01-01 Savostianova, Dayana; Zangrando, Emanuele; Ceruti, Gianluca; Tudisco, Francesco
Compositional Verification of Stigmergic Collective Systems
2023-01-01 Di Stefano, Luca; Lang, Frédéric
The Ziré instrument onboard the NUSES space mission
2024-01-01 Panzarini, G.; Barbato, F. C. T.; De Mitri, I.; Di Giovanni, A.; Mazziotta, M. N.; Nicolaidis, R.; Nozzoli, F.; Pillera, R.; Savina, P.
Optical Music Recognition in Manuscripts from the Ricordi Archive
2024-01-01 Simonetta, Federico; Mondal, Rishav; Andrea Ludovico, Luca; Ntalampiras, Stavros
The Dense Stellar Systems Around Galactic Massive Black Holes
2013-01-01 Capuzzo-Dolcetta, R.; Arca-Sedda, M.; Spera, M.
Introducing Formal Methods to~First-Year Students in Three Intensive~Weeks
2021-01-01 Aceto, Luca; Ing('(o))lfsd('(o))ttir, Anna
On Bidirectional Runtime Enforcement
2021-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ing('(o))lfsd('(o))ttir, Anna
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Flocks of Birds: A Quantitative Evaluation | 1-gen-2024 | Incerto, Emilio; Trubiani, Catia | |
| Is it Worth Migrating a Monolith to Microservices? An Experience Report on Performance, Availability and Energy Usage | 1-gen-2024 | Berry, Vincent; Castelltort, Arnaud; Lange, Benoit; Teriihoania, Joan; Tibermacine, Chouki; Trubiani, Catia | |
| Generalized Distance Polymatrix Games (short paper) | 1-gen-2024 | Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo | |
| From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes | 1-gen-2024 | Grabmayer, C. | |
| A coinductive version of Milner's proof system for regular expressions modulo bisimilarity | 1-gen-2021 | Grabmayer, C. | |
| A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity | 1-gen-2020 | Grabmayer, C.; Fokkink, W. | |
| Contextual Behavioural Metrics | 1-gen-2023 | Dal Lago, Ugo; Murgia, Maurizio | |
| Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions) | 1-gen-2022 | Grabmayer, C. | |
| TRAC: A Tool for Data-Aware Coordination | 1-gen-2024 | Afonso, João; KONJOH SELABI, ELVIS GERARDIN; Murgia, Maurizio; Ravara, António; Tuosto, Emilio | |
| Asynchronous Subtyping by Trace Relaxation | 1-gen-2024 | Bocchi, Laura; King, Andy; Murgia, Maurizio | |
| Making Temporal Betweenness Computation Faster and Restless | 1-gen-2024 | Brunelli, Filippo; Crescenzi, Pierluigi; Viennot, Laurent | |
| Exploring Technologies for Semantic Metadata Enhancement | 1-gen-2024 | Azam, Sadia; Sanctis, Martina De; Salle, Amleto Di; Iovino, Ludovico | |
| Continuous Conformance of Software Architectures | 1-gen-2024 | Bucaioni, Alessio; Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo; Pelliccione, Patrizio | |
| Robust low-rank training via approximate orthonormal constraints | 1-gen-2023 | Savostianova, Dayana; Zangrando, Emanuele; Ceruti, Gianluca; Tudisco, Francesco | |
| Compositional Verification of Stigmergic Collective Systems | 1-gen-2023 | Di Stefano, Luca; Lang, Frédéric | |
| The Ziré instrument onboard the NUSES space mission | 1-gen-2024 | Panzarini, G.; Barbato, F. C. T.; De Mitri, I.; Di Giovanni, A.; Mazziotta, M. N.; Nicolaidis, R.; Nozzoli, F.; Pillera, R.; Savina, P. | |
| Optical Music Recognition in Manuscripts from the Ricordi Archive | 1-gen-2024 | Simonetta, Federico; Mondal, Rishav; Andrea Ludovico, Luca; Ntalampiras, Stavros | |
| The Dense Stellar Systems Around Galactic Massive Black Holes | 1-gen-2013 | Capuzzo-Dolcetta, R.; Arca-Sedda, M.; Spera, M. | |
| Introducing Formal Methods to~First-Year Students in Three Intensive~Weeks | 1-gen-2021 | Aceto, Luca; Ing('(o))lfsd('(o))ttir, Anna | |
| On Bidirectional Runtime Enforcement | 1-gen-2021 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ing('(o))lfsd('(o))ttir, Anna |
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 ...1116
Data di pubblicazione
- 2020 - 2024258
- 2010 - 2019599
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag14
- CEUR-WS12
- Springer International Publishing11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS13
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...8
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...30
- LEIBNIZ INTERNATIONAL PROCEEDINGS...19
- LECTURE NOTES IN COMPUTER SCIENCE17
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...4
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- FRONTIERS IN ARTIFICIAL INTELLIGE...2
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng663
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext950
- reserved97
- open66
- partially open3