Pubblicazioni

Gathering on a circle with limited visibility by anonymous oblivious robots

2025 - THEORETICAL COMPUTER SCIENCE
Di Luna, G. A.; Uehara, R.; Viglietta, G.; Yamauchi, Y.

L(3,2,1)-labeling of certain planar graphs

2024 - THEORETICAL COMPUTER SCIENCE
Calamoneri, Tiziana

Instance-optimal information-based voting

2024 - THEORETICAL COMPUTER SCIENCE
Chierichetti, Flavio

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps

2023 - THEORETICAL COMPUTER SCIENCE
Bonomi, S.; Del Pozzo, A.; Potop-Butucaru, M.; Tixeuil, S.

Relativized depth

2023 - THEORETICAL COMPUTER SCIENCE
Bienvenu, Laurent; Delle Rose, Valentino; Merkle, Wolfgang

Doubly adaptive zero-knowledge proofs

2023 - THEORETICAL COMPUTER SCIENCE
Botta, V.; Visconti, I.

Behavioural Logics for Configuration Structures

2022 - THEORETICAL COMPUTER SCIENCE
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano

Tight bounds to localize failure nodes on trees, grids and through embeddings under boolean network tomography

2022 - THEORETICAL COMPUTER SCIENCE
Galesi, N.; Ranjbar, F.

On additive approximate submodularity

2022 - THEORETICAL COMPUTER SCIENCE
Chierichetti, Flavio; Dasgupta, Anirban; Kumar, Ravi

Immunization against complete subversion without random oracles

2021 - THEORETICAL COMPUTER SCIENCE
Ateniese, G.; Francati, D.; Magri, B.; Venturi, D.

A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting

2021 - THEORETICAL COMPUTER SCIENCE
Bottoni, P.; Labella, A.

Transactions and contracts based on reaction systems

2021 - THEORETICAL COMPUTER SCIENCE
Bottoni, P; Labella, A

A compiler for multi-key homomorphic signatures for Turing machines

2021 - THEORETICAL COMPUTER SCIENCE
Dolatnezhad Samarin, S.; Fiore, D.; Venturi, D.; Amini, M.

Maximum Nash welfare and other stories about EFX

2021 - THEORETICAL COMPUTER SCIENCE
Amanatidis, G.; Birmpas, G.; Filos-Ratsikas, A.; Hollender, A.; Voudouris, A. A.

Gathering in dynamic rings

2020 - THEORETICAL COMPUTER SCIENCE
Di Luna, G; Flocchini, P; Pagli, L; Prencipe, G; Santoro, N; Viglietta, G

Computing a metric basis of a 2-connected bipartite distance-hereditary graph

2020 - THEORETICAL COMPUTER SCIENCE
Moscarini, M.

Coding by minimal linear grammars

2020 - THEORETICAL COMPUTER SCIENCE
Carpi, A.; D'Alessandro, F.

Subversion-resilient signatures: Definitions, constructions and applications

2020 - THEORETICAL COMPUTER SCIENCE
Ateniese, G.; Magri, B.; Venturi, D.

Visualizing co-phylogenetic reconciliations

2020 - THEORETICAL COMPUTER SCIENCE
Calamoneri, T.; Di Donato, V.; Mariottini, D.; Patrignani, M.

Relationships Between Bounded Languages, Counter Machines, Finite-Index Grammars, Ambiguity, and Commutative Equivalence

2020 - THEORETICAL COMPUTER SCIENCE
D'Alessandro, Flavio; Carpi, Arturo; Ibarra, Oscar; Mcquillan, Ian

String factorisations with maximum or minimum dimension

2020 - THEORETICAL COMPUTER SCIENCE
Monti, A.; Sinaimeri, B.

On Bounded Linear Codes and the Commutative Equivalence

2020 - THEORETICAL COMPUTER SCIENCE
Carpi, Arturo; D'Alessandro, Flavio

Hierarchical Cost-Parity Games

2020 - THEORETICAL COMPUTER SCIENCE
Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana

Step-by-step community detection in volume-regular graphs

2020 - THEORETICAL COMPUTER SCIENCE
Becchetti, L.; Cruciani, E.; Pasquale, F.; Rizzo, S.

Cryptographic reverse firewalls for interactive proof systems

2020 - THEORETICAL COMPUTER SCIENCE
Ganesh, Chaya; Magri, Bernardo; Venturi, Daniele

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma