CINECA IRIS Institutional Research Information System

ROVERSI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.198
EU - Europa 2.081
AS - Asia 557
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
SA - Sud America 3
OC - Oceania 1
Totale 6.849
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.165
IT - Italia 475
SE - Svezia 356
CN - Cina 335
DK - Danimarca 310
DE - Germania 191
UA - Ucraina 177
IE - Irlanda 160
FR - Francia 109
FI - Finlandia 98
GB - Regno Unito 98
SG - Singapore 79
KR - Corea 68
VN - Vietnam 35
PL - Polonia 32
CA - Canada 26
AT - Austria 17
JP - Giappone 15
NL - Olanda 15
IN - India 13
BE - Belgio 12
RU - Federazione Russa 10
IR - Iran 7
MX - Messico 7
CZ - Repubblica Ceca 5
ES - Italia 5
EU - Europa 5
NO - Norvegia 3
PT - Portogallo 3
RO - Romania 3
BR - Brasile 2
MN - Mongolia 2
NG - Nigeria 2
SN - Senegal 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BG - Bulgaria 1
HK - Hong Kong 1
ID - Indonesia 1
RS - Serbia 1
VE - Venezuela 1
Totale 6.849
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.236
Chandler 245
Beijing 172
Dublin 160
Jacksonville 150
Houston 149
Wilmington 130
Dearborn 121
Torino 104
Fairfield 93
Turin 83
Guangzhou 75
Medford 60
Ashburn 54
New York 54
Nyköping 50
Princeton 50
Seattle 45
Woodbridge 42
San Mateo 37
Villeurbanne 37
Cambridge 35
Warsaw 32
Boardman 31
Dong Ket 27
Pisa 26
Milan 24
Fremont 20
Boston 19
Norwalk 19
Singapore 19
Vienna 17
Düsseldorf 15
Toronto 15
Helsinki 13
Nuremberg 13
Rome 13
Naples 12
Wayne 12
Brussels 11
Padova 10
Redwood City 10
Falls Church 8
Kunming 8
San Diego 8
Florence 7
Guadalupe Trujillo 7
Nürnberg 6
San Mauro Torinese 6
Chieri 5
Hefei 5
Jinan 5
Nanjing 5
Trieste 5
Amsterdam 4
Chengdu 4
Coimbatore 4
Karlsruhe 4
Lachine 4
Monmouth Junction 4
Nanchang 4
None 4
Ottawa 4
Phoenix 4
Seoul 4
Wuhan 4
Altavilla Vicentina 3
Bologna 3
Bures-sur-Yvette 3
Camerino 3
Cittadella 3
Des Moines 3
Gabiano 3
Groningen 3
Guimarães 3
Kharkiv 3
Lappeenranta 3
London 3
Los Angeles 3
Madrid 3
Mainz 3
Marzano 3
Minerbio 3
Redmond 3
Renton 3
Rochester 3
Svendborg 3
Verona 3
Abuja 2
Aix-en-Provence 2
Alpignano 2
Bad Muenstereifel 2
Brindisi 2
Brno 2
Brugherio 2
Cafasse 2
Cento 2
Cesena 2
Chongqing 2
Darmstadt 2
Totale 4.753
Salva come PNG Salva come JPEG
Nome #
A Class of Reversible Primitive Recursive Functions 353
Quantum programming made easy 353
A certified study of a reversible programming language 335
The fixed point problem for general and for linear SRL programs is undecidable 290
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions 288
Safe Recursion on Notation into a Light Logic by Levels 249
A modular database architecture enabled to comparative sequence analysis 224
The fixed point problem of a simple reversible language 222
A class of Recursive Permutations which is Primitive Recursive complete 214
BIOBITS: A Study on Candidatus Glomeribacter Gigasporarum with a Data Warehouse 184
Light combinators for finite fields arithmetic 172
A deep inference system with a self-dual binder which is complete for linear lambda calculus 172
The call by value Lambda-calculus: a semantic investigation 170
Categorical semantics of the call-by-value lambda calculus 143
Live! I-Learn @ Home 140
Lambda Calculus and Intuitionistic Linear Logic 139
CD_ROM live per il supporto online alla didattica: l'esperienza di Live! I-Learn @ Home 139
Typing a Core Binary-Field Arithmetic in a Light Logic 136
Higer-Order Linear Ramified Recurrence 134
A P-Time Completeness Proof for Light Logics 134
Intersection Logic 133
MR2071847 (2005e:03139) Terui, Kazushige Light affine set theory: a naive set theory of polynomial time. (English summary) Studia Logica 77 (2004), no. 1, 9--40. 131
A local criterion for polynomial-time stratified computations 130
Intersection Logic 126
Intersection types from a proof theoretic perspective 123
A Polymorphic Language which is Typable and Poly-step 118
MR2588403 (2011b:03087) Baillot, Patrick; Mazza, Damiano Linear logic by levels and bounded time complexity. Theoret. Comput. Sci. 411 (2010), no. 2, 470–503. (Reviewer: Luca Roversi), 03F52 (03D15) 118
Intuitionistic light affine logic 117
Taming Modal Impredicativity: Superlazy Reduction 115
Some Complexity and Expressiveness results on Multimodal andStratified Proof-nets 109
A Type-Free Resource-Aware Lambda-Calculus 109
A by-level analysis of Multiplicative Exponential Linear Logic 108
Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment 106
MR2029600 (2004k:68053) Oitavem, Isabel(P-LISB-CM) Characterizing NC with tier 0 pointers. (English summary) MLQ Math. Log. Q. 50 (2004), no. 1, 9--17. 106
MR2294201 (2007j:03080) Tortora de Falco, Lorenzo On the logical structure of calculus. (Italian) Rend. Mat. Appl. (7) 26 (2006), no. 3-4, 367–404. (Reviewer: Luca Roversi), 03F07 (03B70 03F03 03F05 03F52) 106
Theoretical Computer Science7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings(LNCS) 102
Communication, and concurrency with logic-based restriction inside a calculus of structures 100
MR2561968 (2011d:03062) Jones, Neil D.; Kristiansen, Lars A flow calculus of mwp-bounds for complexity analysis. ACM Trans. Comput. Log. 10 (2009), no. 4, Art. 28, 41 pp. (Reviewer: Luca Roversi), 03D15 (03B40) 98
Live! I-Learn @ Home, versione 2007 98
MR2075335 (2005f:03094) Murawski, A. S.(4-OX-C); Ong, C.-H. L.(4-OX-C)On an interpretation of safe recursion in light affine logic. (English summary) Theoret. Comput. Sci. 318 (2004), no. 1-2, 197--223. 97
Linear Lambda Calculus and Deep Inference 95
On the Expressivity of Total Reversible Programming Languages 94
MR1989176 (2004g:03037) Danos, Vincent(F-CNRS); Joinet, Jean-Baptiste(F-PARIS1) Linear logic and elementary time. (English summary) Special issue: ICC'99 (Trento). Inform. and Comput. 183 (2003), no. 1, 123--137. 93
MR2642827 (2011h:68021) Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Gödel's system T revisited. Theoret. Comput. Sci. 411 (2010), no. 11-13, 1484–1500. (Reviewer: Luca Roversi), 68N18 (03B15 03B40) 93
Light Affine Logic as a Programming Language: a First Contribution 91
A type-assignment of linear erasure and duplication 53
UN ASSETTO MOODLE PER L’ESAME ONLINE DI UN CORSO DI PROGRAMMAZIONE 48
Splitting Recursion Schemes into Reversible and Classical Interacting Threads 39
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean 29
"Termination of Rewriting on Reversible Boolean Circuits as a free 3-Category problem" Adriano Barile, Stefano Berardi and Luca Roversi ICTCS 2023 24th Italian Conference on Theoretical Computer Science 2023, Manuela Flore, Giuseppe Romana Editors CEUR Workshop Proceedings 20
Certifying expressive power and algorithms of reversible primitive permutations with Lean 11
Totale 7.107
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.591
article - articoli 0
book - libri 0
conference - conferenze 7.402
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 22.993
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.207 37 40 95 113 82 215 124 51 128 88 130 104
2020/20212.895 109 136 82 88 329 416 311 335 358 368 293 70
2021/2022720 14 33 20 109 45 15 104 38 25 35 168 114
2022/2023752 78 40 20 81 81 217 58 59 73 6 25 14
2023/2024478 45 69 18 31 45 91 14 10 29 29 58 39
2024/202545 45 0 0 0 0 0 0 0 0 0 0 0
Totale 7.107