CRIS Current Research Information System

ORLANDELLI, EUGENIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.199
NA - Nord America 1.620
AS - Asia 1.498
SA - Sud America 89
AF - Africa 70
OC - Oceania 9
Totale 5.485
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.577
IT - Italia 1.002
SG - Singapore 565
CN - Cina 390
GB - Regno Unito 225
IE - Irlanda 220
VN - Vietnam 218
RU - Federazione Russa 179
DE - Germania 154
FR - Francia 104
IN - India 69
HK - Hong Kong 66
BR - Brasile 63
SE - Svezia 56
JP - Giappone 44
NL - Olanda 34
CH - Svizzera 33
UA - Ucraina 31
ZA - Sudafrica 31
KR - Corea 30
BG - Bulgaria 24
CA - Canada 22
ES - Italia 22
ID - Indonesia 22
TG - Togo 21
AT - Austria 18
GR - Grecia 15
MX - Messico 15
TH - Thailandia 15
FI - Finlandia 12
PH - Filippine 12
PL - Polonia 12
MY - Malesia 11
BD - Bangladesh 10
AU - Australia 9
SM - San Marino 9
HR - Croazia 8
PY - Paraguay 8
IL - Israele 7
BE - Belgio 6
EE - Estonia 6
AR - Argentina 5
CZ - Repubblica Ceca 5
EC - Ecuador 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
CI - Costa d'Avorio 3
NO - Norvegia 3
PE - Perù 3
SC - Seychelles 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
SK - Slovacchia (Repubblica Slovacca) 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
HN - Honduras 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.485
Salva come PNG Salva come JPEG
Città #
Singapore 334
Bologna 219
Dublin 215
Santa Clara 193
Southend 172
Chandler 153
Ashburn 139
Milan 94
Hefei 91
San Jose 91
Fairfield 90
Hong Kong 61
Ho Chi Minh City 57
Beijing 54
Hanoi 54
Boardman 49
Houston 46
Woodbridge 45
Princeton 44
Wilmington 42
Tokyo 40
Seattle 38
Florence 37
Los Angeles 37
Cambridge 34
Rome 34
Ann Arbor 31
Seoul 29
Lauterbourg 26
Sofia 23
Jakarta 21
Lomé 21
New York 21
Dallas 19
Westminster 19
Council Bluffs 18
Frankfurt am Main 17
Berlin 16
Modena 16
Portici 16
Zurich 16
Nanjing 15
Buffalo 14
Minerbio 13
Paris 13
Turin 13
Jacksonville 12
Medford 12
Shenyang 12
Bangkok 11
Guangzhou 11
Munich 11
Napoli 11
Ravenna 11
Saint Petersburg 11
Barcelona 10
Rimini 10
Bengaluru 9
Brescia 9
Haiphong 9
London 9
Padova 9
Redondo Beach 9
Verona 9
Amsterdam 8
Bern 8
Cesena 8
Chicago 8
Des Moines 8
Dortmund 8
Jinan 8
Johannesburg 8
Melbourne 8
Montreal 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
Changsha 6
Dearborn 6
Helsinki 6
Lappeenranta 6
Nanchang 6
Urbino 6
Vienna 6
Yubileyny 6
Zola Predosa 6
Brussels 5
Jolanda di Savoia 5
Leipzig 5
Totale 3.275
Salva come PNG Salva come JPEG
Nome #
Proof systems for super-strict implication 307
Interpolation in Extensions of First-Order Logic 303
Corso di Logica modale proposizionale 303
A Syntactic Proof of the Decidability of First-Order Monadic Logic 282
Quantified Modal Logics: One Approach to Rule (Almost) them All! 254
Proof-theoretic pluralism 252
Super-Strict Implications 225
Interpolation in singular geometric theories 212
Glivenko sequent classes and constructive cut elimination in geometric logics 209
Proof Analysis in Deontic Logics 205
FOIL with constant domains revisited 193
Constructive Cut Elimination in Geometric Logic 190
sequent calculi for indexed epistemic logics 189
Decidable term-modal logics 182
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics 171
Proof theory for quantified monotone modal logics 170
Labelled sequent calculi for indexed modal logics 170
Interpolation Theorem for First-Order Theories 169
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate 165
Labelled calculi for quantified modal logics with definite descriptions 163
Non-Normal Super-Strict Implications 162
Free Quantified Epistemic Logics 160
Logica modale quantificata e designatori non rigidi 156
Labelled sequent calculi for logics of strict implication 138
Nested Sequents for Quantified Modal Logics 127
Double-line Harmony in a Sequent Setting 126
Logicality, Double-line Rules, and Harmony 111
Logicality, Double-Line Rules, and Modalities 96
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms 92
null 79
null 62
G3-Style Sequent Calculi and Craig Interpolation Property for Logics with Russellian Definite Descriptions 10
Totale 5.633
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.932
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 13.932
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202154 0 0 0 0 0 0 0 0 0 0 23 31
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.761 82 156 178 178 219 140 222 96 290 163 37 0
Totale 5.633