CRIS Current Research Information System

ORLANDELLI, EUGENIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.371
NA - Nord America 1.873
AS - Asia 1.576
Continente sconosciuto - Info sul continente non disponibili 149
SA - Sud America 100
AF - Africa 73
OC - Oceania 10
Totale 6.152
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.805
IT - Italia 1.153
SG - Singapore 573
CN - Cina 394
GB - Regno Unito 229
IE - Irlanda 221
VN - Vietnam 219
RU - Federazione Russa 179
DE - Germania 155
FR - Francia 105
HK - Hong Kong 71
IN - India 70
BD - Bangladesh 67
BR - Brasile 65
SE - Svezia 56
JP - Giappone 44
NL - Olanda 41
CH - Svizzera 33
ZA - Sudafrica 32
CA - Canada 31
UA - Ucraina 31
KR - Corea 30
ES - Italia 25
BG - Bulgaria 24
ID - Indonesia 23
TG - Togo 21
AT - Austria 18
MX - Messico 18
GR - Grecia 15
TH - Thailandia 15
FI - Finlandia 12
PH - Filippine 12
PL - Polonia 12
MY - Malesia 11
AU - Australia 10
EC - Ecuador 9
SM - San Marino 9
HR - Croazia 8
PY - Paraguay 8
IL - Israele 7
AR - Argentina 6
BE - Belgio 6
CZ - Repubblica Ceca 6
EE - Estonia 6
CO - Colombia 5
CR - Costa Rica 5
JO - Giordania 5
RO - Romania 5
TR - Turchia 5
IQ - Iraq 4
MD - Moldavia 4
PK - Pakistan 4
PT - Portogallo 4
SA - Arabia Saudita 4
SC - Seychelles 4
CI - Costa d'Avorio 3
NO - Norvegia 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
TT - Trinidad e Tobago 3
AL - Albania 2
CL - Cile 2
DZ - Algeria 2
HN - Honduras 2
HU - Ungheria 2
IR - Iran 2
KZ - Kazakistan 2
MA - Marocco 2
NG - Nigeria 2
NI - Nicaragua 2
NP - Nepal 2
PR - Porto Rico 2
PS - Palestinian Territory 2
TW - Taiwan 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
BB - Barbados 1
CG - Congo 1
CU - Cuba 1
DK - Danimarca 1
EG - Egitto 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
HT - Haiti 1
JM - Giamaica 1
KE - Kenya 1
LB - Libano 1
LI - Liechtenstein 1
LT - Lituania 1
MM - Myanmar 1
MN - Mongolia 1
RS - Serbia 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
ZW - Zimbabwe 1
Totale 6.003
Salva come PNG Salva come JPEG
Città #
Singapore 342
Bologna 230
Dublin 215
Santa Clara 203
Southend 172
Chandler 153
Ashburn 150
San Jose 135
Milan 106
Hefei 91
Fairfield 90
Hong Kong 66
Ho Chi Minh City 57
Beijing 56
Hanoi 55
Boardman 54
Los Angeles 52
Houston 47
Princeton 45
Woodbridge 45
Wilmington 42
Florence 41
Seattle 40
Tokyo 40
Rome 38
Cambridge 34
New York 33
Ann Arbor 31
Seoul 29
Council Bluffs 28
Lauterbourg 26
Modena 26
Dallas 23
Sofia 23
Jakarta 21
Lomé 21
Verona 20
Westminster 19
Buffalo 18
Frankfurt am Main 17
Berlin 16
Portici 16
Zurich 16
Nanjing 15
Turin 14
Minerbio 13
Paris 13
Jacksonville 12
Medford 12
Phoenix 12
Shenyang 12
Bangkok 11
Guangzhou 11
Munich 11
Napoli 11
Ravenna 11
Saint Petersburg 11
Amsterdam 10
Barcelona 10
Chicago 10
London 10
Montreal 10
Rimini 10
Bengaluru 9
Brescia 9
Haiphong 9
Johannesburg 9
Padova 9
Redondo Beach 9
Shanghai 9
Bern 8
Cesena 8
Des Moines 8
Dortmund 8
Jinan 8
Massarosa 8
Melbourne 8
Parma 8
Perugia 8
Pisa 8
Reggio Emilia 8
São Paulo 8
Urbino 8
Brooklyn 7
Gothenburg 7
Kuala Selangor 7
San Francisco 7
Tianjin 7
Bari 6
Bergamo 6
Castello d'Argile 6
Catania 6
Changsha 6
Dearborn 6
Helsinki 6
Lappeenranta 6
Nanchang 6
Vicenza 6
Vienna 6
Yubileyny 6
Totale 3.485
Salva come PNG Salva come JPEG
Nome #
Corso di Logica modale proposizionale 378
Proof systems for super-strict implication 326
A Syntactic Proof of the Decidability of First-Order Monadic Logic 321
Interpolation in Extensions of First-Order Logic 320
Proof-theoretic pluralism 279
Quantified Modal Logics: One Approach to Rule (Almost) them All! 274
Glivenko sequent classes and constructive cut elimination in geometric logics 246
Super-Strict Implications 241
Interpolation in singular geometric theories 234
Proof Analysis in Deontic Logics 213
FOIL with constant domains revisited 211
Constructive Cut Elimination in Geometric Logic 202
Proof theory for quantified monotone modal logics 200
Labelled sequent calculi for indexed modal logics 200
sequent calculi for indexed epistemic logics 195
Decidable term-modal logics 187
Interpolation Theorem for First-Order Theories 177
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics 175
Non-Normal Super-Strict Implications 175
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate 174
Labelled calculi for quantified modal logics with definite descriptions 169
Free Quantified Epistemic Logics 168
Logica modale quantificata e designatori non rigidi 168
Labelled sequent calculi for logics of strict implication 146
Double-line Harmony in a Sequent Setting 139
Nested Sequents for Quantified Modal Logics 135
Logicality, Double-line Rules, and Harmony 116
Logicality, Double-Line Rules, and Modalities 104
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms 98
null 79
null 62
G3-Style Sequent Calculi and Craig Interpolation Property for Logics with Russellian Definite Descriptions 40
Totale 6.152
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.689
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 15.689
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022433 0 0 0 31 63 30 15 39 20 41 120 74
2022/2023625 63 84 23 59 61 39 10 41 88 18 64 75
2023/2024557 9 45 33 16 38 114 125 45 16 42 35 39
2024/20251.280 93 182 81 126 302 40 81 38 64 52 47 174
2025/20261.925 82 156 178 178 219 140 222 96 290 163 102 99
2026/2027355 100 56 181 18 0 0 0 0 0 0 0 0
Totale 6.152