CINECA IRIS Institutional Research Information System

CORRADINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.397
EU - Europa 6.386
AS - Asia 5.755
SA - Sud America 882
AF - Africa 323
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 11
Totale 28.768
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.674
CA - Canada 2.618
FI - Finlandia 2.027
CN - Cina 1.686
SG - Singapore 1.628
IT - Italia 1.436
HK - Hong Kong 873
SE - Svezia 715
BR - Brasile 713
VN - Vietnam 488
DE - Germania 395
BG - Bulgaria 384
UA - Ucraina 277
KR - Corea 252
PL - Polonia 246
GB - Regno Unito 237
TR - Turchia 232
FR - Francia 211
RU - Federazione Russa 177
IN - India 123
SN - Senegal 110
CH - Svizzera 108
JP - Giappone 108
BD - Bangladesh 66
IQ - Iraq 55
CI - Costa d'Avorio 47
PK - Pakistan 41
AR - Argentina 38
MX - Messico 38
ZA - Sudafrica 36
SA - Arabia Saudita 35
VE - Venezuela 32
GR - Grecia 31
UZ - Uzbekistan 31
CO - Colombia 23
MA - Marocco 23
NG - Nigeria 23
EC - Ecuador 20
IE - Irlanda 20
KE - Kenya 20
ES - Italia 19
NP - Nepal 18
BE - Belgio 17
PH - Filippine 16
PY - Paraguay 14
AT - Austria 13
AU - Australia 13
TN - Tunisia 13
EG - Egitto 12
NL - Olanda 12
JM - Giamaica 11
PT - Portogallo 11
UY - Uruguay 11
AE - Emirati Arabi Uniti 10
CL - Cile 10
IL - Israele 10
TT - Trinidad e Tobago 10
AL - Albania 9
AZ - Azerbaigian 8
BJ - Benin 8
BO - Bolivia 8
CR - Costa Rica 8
DZ - Algeria 8
ID - Indonesia 8
JO - Giordania 8
EU - Europa 7
HN - Honduras 7
PE - Perù 7
BB - Barbados 6
ET - Etiopia 6
KZ - Kazakistan 6
QA - Qatar 6
RO - Romania 6
GY - Guiana 5
LB - Libano 5
MY - Malesia 5
AO - Angola 4
CZ - Repubblica Ceca 4
EE - Estonia 4
KW - Kuwait 4
NI - Nicaragua 4
OM - Oman 4
RS - Serbia 4
AM - Armenia 3
BA - Bosnia-Erzegovina 3
BS - Bahamas 3
BY - Bielorussia 3
DO - Repubblica Dominicana 3
GT - Guatemala 3
HU - Ungheria 3
IR - Iran 3
LA - Repubblica Popolare Democratica del Laos 3
PA - Panama 3
TH - Thailandia 3
BH - Bahrain 2
BM - Bermuda 2
DK - Danimarca 2
GD - Grenada 2
GE - Georgia 2
GH - Ghana 2
Totale 28.721
Salva come PNG Salva come JPEG
Città #
Montreal 2.310
Helsinki 1.886
Woodbridge 1.626
Ashburn 1.206
Ann Arbor 1.160
Fairfield 1.153
Houston 1.063
Singapore 953
Hong Kong 852
Santa Clara 608
Chandler 562
San Jose 534
Seattle 497
Milan 455
Wilmington 405
Cambridge 395
Sofia 382
Jacksonville 368
Beijing 357
Dallas 319
Hefei 312
Serra 308
Shanghai 297
Ottawa 253
Seoul 248
New York 240
Boardman 188
Los Angeles 156
Princeton 150
Lawrence 140
Nanjing 121
Ho Chi Minh City 119
Lauterbourg 118
Izmir 115
Dakar 109
Bern 103
Tokyo 99
Des Moines 98
Hanoi 84
Dearborn 83
Medford 74
Istanbul 72
San Diego 70
Dong Ket 66
Düsseldorf 65
Jüchen 65
The Dalles 58
Rome 56
Council Bluffs 55
Bremen 49
Buffalo 48
Abidjan 47
Nanchang 47
São Paulo 46
Redondo Beach 41
Columbus 37
Florence 37
Boulder 32
Munich 31
Tashkent 29
Changsha 27
Kunming 26
Dhaka 22
Ogden 22
Kocaeli 21
Lagos 21
Da Nang 20
London 20
Phoenix 20
Rio de Janeiro 20
Shenyang 20
Guangzhou 19
Jiaxing 19
Redwood City 19
Pisa 18
Tianjin 18
Chicago 17
Frankfurt am Main 17
Dublin 16
Hebei 16
Jeddah 16
Nairobi 16
Nuremberg 16
Belo Horizonte 15
Brussels 15
Hangzhou 15
Orange 15
Paris 15
Washington 15
Brasília 13
Johannesburg 13
Pune 13
Verona 13
Baghdad 12
Karlsruhe 12
Toronto 12
Cape Town 11
Montevideo 11
Norwalk 11
Riyadh 11
Totale 22.125
Salva come PNG Salva come JPEG
Nome #
Transition Systems with Algebraic Structure as Models of Computations 4.614
AGILE: Software architecture for mobility 279
AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS 264
Graph Grammars and Logic Programming 247
A functorial semantics for multi-algebras and partial algebras, with applications to syntax 242
Towards a Process Semantics in the Logic Programming Style 241
AGREE – algebraic graph rewriting with controlled embedding 241
Concurrent Computing: from Petri Nets to Graph Grammars 235
Functorial semantics for multi-algebras 235
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 235
A Framework for the Verification of Infinite-State Graph Transformation Systems 234
A lattice-theoretical perspective on adhesive categories 233
Equivalence and independence in controlled graph-rewriting processes 231
A 2-Categorical Presentation of Term Graph Rewriting 227
Abstract Graph Derivations in the Double Pushout Approach 221
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations 220
An Algebra of Graphs and Graph Rewriting 218
Logic Programming as Hypergraph Rewriting 217
A Temporal Graph Logic for Verification of Graph Transformation Systems 217
Transition Systems with Algebraic Structure as Models of Computations 216
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine 212
Integrating the Specification Techniques of Graph Transformation and Temporal Logic 210
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 209
Unfolding of Double-Pushout Graph Grammars is a Coreflection 208
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 207
Subobject transformation systems 207
Open Petri nets: Non-deterministic Processes and Compositionality 205
Graph transformation with dependencies for the specification of interactive systems 205
Concurrent Graph and Term Graph Rewriting 204
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 204
The PBPO graph transformation approach 201
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 200
McMillan's complete prefix for contextual nets 199
An Event Structure Semantics for Graph Grammars with Parallel Productions 198
Unfolding Graph Transformation Systems: Theory and Applications to Verification 198
History Preserving Bisimulation for Contextual Nets 198
Tile Transition Systems as Structured Coalgebras 197
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 196
A compositional approach to structuring and refinement of typed graph grammars 195
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach 195
Synchronized Composition of Graph Grammar Productions 195
Processes for Adhesive Rewriting Systems 194
Domains and event structures for fusions 194
Data-Driven Choreographies à la Klaim 194
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 193
On gs-monoidal theories for graphs with nesting 192
Hierarchical models for service-oriented systems 192
Declarative Specification of the Architecture of a Software Development Environment 192
Categorical rewriting of term-like structures 192
On the definition of parallel independence in the algebraic approaches to graph transformation 192
CPO Models for Infinite Term Rewriting 190
Adaptable Transition Systems 190
Processes and unfoldings: concurrent computations in adhesive categories 190
A Categorial Model for Logic Programs: Indexed Monoidal Categories 189
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach 187
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 187
On the essence and initiality of conflicts 186
Concatenable Graph Processes: Relating Processes and Derivation Traces 184
On the Concurrent Semantics of Algebraic Graph Grammars 184
Bisimulation Equivalences for Graph Grammars 182
Horizontal and Vertical Structuring of Typed Graph Transformation Systems 181
Term Graph Rewriting and Parallel Term Rewriting 181
On term graphs as an adhesive category 181
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 179
A Completeness result for equational deduction in coalgebraic specification 179
An Operational Semantics of COMMUNITY Based on Graph Transformation Systems 178
Sesqui-Pushout Rewriting 178
Domain and Event Structure Semantics for {P}etri Nets with Read and Inhibitor Arcs 177
An institution for graph transformation 177
Parallelism in AGREE transformations 176
Compositional Semantics for Open Petri Nets based on Deterministic Processes 175
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 175
The Pullback-Pushout approach to algebraic graph transformation 175
Taxonomic Reasoning 174
Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming 173
Graph transactions as processes 173
Unfolding graph grammars with negative application conditions 173
Verifying a Behavioural Logic for Graph Transformation Systems 172
Event structures for Petri nets with persistence 171
Estimating costs of multi-component enterprise applications 171
An Algebraic Semantics of Logic Programs as Structured Transition Systems 170
Relating Two Categorial Models of Term Rewriting 170
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 170
On the computation of McMillan's prefix for contextual nets and graph grammars 169
A Coalgebraic presentation of structured transition systems 168
Inequational Deduction as Term Graph Rewriting 168
Towards a Notion of Transaction in Graph Rewriting 166
A Conceptual Framework for Adaptation 166
Unfolding grammars in adhesive categories 164
Compositional Modeling of Reactive Systems Using Open Nets 164
An Abstract Machine for Concurrent Modular Systems: CHARM 164
A white-box perspective on behavioural adaptation 163
Analysis of permutation equivalence in M-adhesive transformation systems with negative application conditions 161
Efficient unfolding of contextual Petri nets 161
Left-Linear Rewriting in Adhesive Categories 160
Rewriting Abstract Structures: Materialization Explained Categorically 160
Modelling and analyzing adaptive self-assembly strategies with Maude 159
A Static Analysis Technique for Graph Transformation Systems 157
Unfolding Semantics of Graph Transformation 157
Reconciling white-box and black-box perspectives on behavioural self-adaptation 154
Totale 23.704
Salva come PNG Salva come JPEG
Categoria #
all - tutte 66.788
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 66.788
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021178 0 0 0 0 0 0 0 0 0 0 0 178
2021/20221.705 57 142 74 181 307 235 44 122 58 30 115 340
2022/20231.725 216 128 100 190 223 258 13 128 346 10 96 17
2023/20243.999 245 194 218 101 209 240 33 46 19 2.561 28 105
2024/20254.989 25 168 40 191 414 404 369 294 417 524 500 1.643
2025/20266.526 345 628 481 398 208 424 837 246 2.068 503 248 140
Totale 28.956