CRIS Current Research Information System

ORLANDELLI, EUGENIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.300
NA - Nord America 1.710
AS - Asia 1.562
Continente sconosciuto - Info sul continente non disponibili 149
SA - Sud America 92
AF - Africa 71
OC - Oceania 9
Totale 5.893
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.660
IT - Italia 1.094
SG - Singapore 570
CN - Cina 391
GB - Regno Unito 225
IE - Irlanda 220
VN - Vietnam 218
RU - Federazione Russa 179
DE - Germania 155
FR - Francia 105
HK - Hong Kong 70
IN - India 69
BD - Bangladesh 64
BR - Brasile 64
SE - Svezia 56
JP - Giappone 44
NL - Olanda 38
CH - Svizzera 33
UA - Ucraina 31
ZA - Sudafrica 31
KR - Corea 30
CA - Canada 26
BG - Bulgaria 24
ES - Italia 24
ID - Indonesia 22
TG - Togo 21
AT - Austria 18
MX - Messico 16
GR - Grecia 15
TH - Thailandia 15
FI - Finlandia 12
PH - Filippine 12
PL - Polonia 12
MY - Malesia 11
AU - Australia 9
SM - San Marino 9
HR - Croazia 8
PY - Paraguay 8
IL - Israele 7
AR - Argentina 6
BE - Belgio 6
EC - Ecuador 6
EE - Estonia 6
CZ - Repubblica Ceca 5
JO - Giordania 5
RO - Romania 5
TR - Turchia 5
CR - Costa Rica 4
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
CL - Cile 2
CO - Colombia 2
DZ - Algeria 2
HU - Ungheria 2
IR - Iran 2
KZ - Kazakistan 2
MA - Marocco 2
NG - Nigeria 2
NP - Nepal 2
PS - Palestinian Territory 2
TW - Taiwan 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AO - Angola 1
CU - Cuba 1
DK - Danimarca 1
EG - Egitto 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
JM - Giamaica 1
KE - Kenya 1
LI - Liechtenstein 1
LT - Lituania 1
MM - Myanmar 1
MN - Mongolia 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
VE - Venezuela 1
ZW - Zimbabwe 1
Totale 5.744
Salva come PNG Salva come JPEG
Città #
Singapore 339
Bologna 225
Dublin 215
Santa Clara 198
Southend 172
Chandler 153
Ashburn 143
San Jose 101
Milan 98
Hefei 91
Fairfield 90
Hong Kong 65
Ho Chi Minh City 57
Beijing 54
Hanoi 54
Boardman 49
Houston 46
Los Angeles 46
Princeton 45
Woodbridge 45
Wilmington 42
Tokyo 40
Florence 39
Seattle 38
Rome 37
Cambridge 34
Ann Arbor 31
Seoul 29
Lauterbourg 26
New York 26
Council Bluffs 25
Sofia 23
Jakarta 21
Lomé 21
Dallas 20
Verona 20
Westminster 19
Buffalo 18
Frankfurt am Main 17
Modena 17
Berlin 16
Portici 16
Zurich 16
Nanjing 15
Turin 14
Minerbio 13
Paris 13
Jacksonville 12
Medford 12
Shenyang 12
Bangkok 11
Guangzhou 11
Munich 11
Napoli 11
Ravenna 11
Saint Petersburg 11
Amsterdam 10
Barcelona 10
Rimini 10
Bengaluru 9
Brescia 9
Chicago 9
Haiphong 9
London 9
Montreal 9
Padova 9
Redondo Beach 9
Bern 8
Cesena 8
Des Moines 8
Dortmund 8
Jinan 8
Johannesburg 8
Melbourne 8
Parma 8
Perugia 8
Pisa 8
Reggio Emilia 8
Shanghai 8
São Paulo 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
Urbino 6
Vicenza 6
Vienna 6
Yubileyny 6
Zola Predosa 6
Brussels 5
Totale 3.364
Salva come PNG Salva come JPEG
Nome #
Corso di Logica modale proposizionale 345
Interpolation in Extensions of First-Order Logic 314
Proof systems for super-strict implication 313
A Syntactic Proof of the Decidability of First-Order Monadic Logic 313
Proof-theoretic pluralism 268
Quantified Modal Logics: One Approach to Rule (Almost) them All! 267
Super-Strict Implications 232
Glivenko sequent classes and constructive cut elimination in geometric logics 228
Interpolation in singular geometric theories 224
Proof Analysis in Deontic Logics 208
FOIL with constant domains revisited 205
Constructive Cut Elimination in Geometric Logic 192
sequent calculi for indexed epistemic logics 192
Labelled sequent calculi for indexed modal logics 190
Decidable term-modal logics 183
Proof theory for quantified monotone modal logics 181
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics 171
Interpolation Theorem for First-Order Theories 169
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate 169
Non-Normal Super-Strict Implications 169
Labelled calculi for quantified modal logics with definite descriptions 166
Free Quantified Epistemic Logics 165
Logica modale quantificata e designatori non rigidi 160
Labelled sequent calculi for logics of strict implication 141
Nested Sequents for Quantified Modal Logics 128
Double-line Harmony in a Sequent Setting 127
Logicality, Double-line Rules, and Harmony 111
Logicality, Double-Line Rules, and Modalities 97
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms 93
null 79
null 62
G3-Style Sequent Calculi and Craig Interpolation Property for Logics with Russellian Definite Descriptions 31
Totale 5.893
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.851
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 14.851
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022526 27 12 54 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/202796 96 0 0 0 0 0 0 0 0 0 0 0
Totale 5.893