CINECA IRIS Institutional Research Information System

CORRADINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.200
EU - Europa 3.759
AS - Asia 956
AF - Africa 168
SA - Sud America 21
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 8
Totale 17.121
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.626
CA - Canada 2.574
IT - Italia 1.274
SE - Svezia 710
CN - Cina 623
BG - Bulgaria 383
DE - Germania 309
UA - Ucraina 265
PL - Polonia 237
GB - Regno Unito 147
FI - Finlandia 141
TR - Turchia 135
VN - Vietnam 135
CH - Svizzera 108
SN - Senegal 104
FR - Francia 52
RU - Federazione Russa 49
CI - Costa d'Avorio 46
HK - Hong Kong 33
GR - Grecia 31
NG - Nigeria 17
BE - Belgio 16
BR - Brasile 13
IN - India 9
AU - Australia 8
EU - Europa 7
IE - Irlanda 7
NL - Olanda 7
PT - Portogallo 6
CO - Colombia 5
KR - Corea 5
SG - Singapore 5
PK - Pakistan 4
RO - Romania 4
AR - Argentina 3
ES - Italia 3
AT - Austria 2
CZ - Repubblica Ceca 2
IL - Israele 2
IR - Iran 2
JP - Giappone 2
A1 - Anonimo 1
DK - Danimarca 1
EE - Estonia 1
GH - Ghana 1
HR - Croazia 1
HU - Ungheria 1
IS - Islanda 1
LA - Repubblica Popolare Democratica del Laos 1
NZ - Nuova Zelanda 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 17.121
Salva come PNG Salva come JPEG
Città #
Montreal 2.300
Woodbridge 1.625
Ann Arbor 1.160
Fairfield 1.153
Houston 1.059
Ashburn 610
Chandler 562
Seattle 495
Milan 425
Wilmington 405
Cambridge 395
Sofia 382
Jacksonville 366
Serra 305
Ottawa 252
New York 224
Beijing 220
Princeton 150
Lawrence 139
Nanjing 120
Izmir 111
Dakar 104
Bern 103
Des Moines 96
Dearborn 83
Medford 74
San Diego 70
Dong Ket 66
Jüchen 65
Düsseldorf 62
Bremen 48
Boardman 47
Nanchang 47
Abidjan 46
Florence 35
Boulder 32
Rome 28
Changsha 26
Hong Kong 26
Kunming 26
Kocaeli 21
Shenyang 20
Hefei 19
Redwood City 19
Jiaxing 18
London 18
Tianjin 18
Lagos 17
Hebei 16
Brussels 15
Orange 15
Hangzhou 14
Washington 14
Phoenix 13
Karlsruhe 12
Los Angeles 12
Ogden 12
Pisa 12
Guangzhou 11
Helsinki 11
Norwalk 11
Verona 11
Jinan 8
Pune 8
San Francisco 8
Auburn Hills 7
Indiana 7
Lucca 7
Shanghai 7
Tappahannock 7
Toronto 7
Cecina 6
Sacile 6
Costa Mesa 5
Dublin 5
Falls Church 5
Fremont 5
Lanzhou 5
Livorno 5
North York 5
Palermo 5
Paris 5
Taizhou 5
Westminster 5
Changchun 4
Islamabad 4
Lubbock 4
Marseille 4
Rodgau 4
Seano 4
Terni 4
Zhengzhou 4
Zielona Góra 4
Barcelos 3
Buffalo 3
Chongqing 3
Eindhoven 3
Frankfurt am Main 3
Grosseto 3
Istanbul 3
Totale 14.061
Salva come PNG Salva come JPEG
Nome #
Transition Systems with Algebraic Structure as Models of Computations 2.673
AGILE: Software architecture for mobility 181
A functorial semantics for multi-algebras and partial algebras, with applications to syntax 173
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 162
A 2-Categorical Presentation of Term Graph Rewriting 160
Concurrent Computing: from Petri Nets to Graph Grammars 159
AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS 157
A Framework for the Verification of Infinite-State Graph Transformation Systems 156
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations 155
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 154
A lattice-theoretical perspective on adhesive categories 153
Open Petri nets: Non-deterministic Processes and Compositionality 152
Graph transformation with dependencies for the specification of interactive systems 152
Functorial semantics for multi-algebras 149
Towards a Process Semantics in the Logic Programming Style 148
A Temporal Graph Logic for Verification of Graph Transformation Systems 147
Hierarchical models for service-oriented systems 147
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 146
Graph Grammars and Logic Programming 145
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine 145
Unfolding Graph Transformation Systems: Theory and Applications to Verification 144
History Preserving Bisimulation for Contextual Nets 143
Transition Systems with Algebraic Structure as Models of Computations 142
McMillan's complete prefix for contextual nets 142
Abstract Graph Derivations in the Double Pushout Approach 141
Subobject transformation systems 141
Concurrent Graph and Term Graph Rewriting 140
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 138
An Algebra of Graphs and Graph Rewriting 137
AGREE – algebraic graph rewriting with controlled embedding 137
Adaptable Transition Systems 136
Logic Programming as Hypergraph Rewriting 135
Integrating the Specification Techniques of Graph Transformation and Temporal Logic 135
An institution for graph transformation 135
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 135
Declarative Specification of the Architecture of a Software Development Environment 135
An Event Structure Semantics for Graph Grammars with Parallel Productions 134
On gs-monoidal theories for graphs with nesting 132
Categorical rewriting of term-like structures 131
A Completeness result for equational deduction in coalgebraic specification 131
Processes for Adhesive Rewriting Systems 129
Term Graph Rewriting and Parallel Term Rewriting 129
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 129
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 128
A compositional approach to structuring and refinement of typed graph grammars 126
Unfolding of Double-Pushout Graph Grammars is a Coreflection 126
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach 123
Domain and Event Structure Semantics for {P}etri Nets with Read and Inhibitor Arcs 123
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 123
Processes and unfoldings: concurrent computations in adhesive categories 123
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 122
A Conceptual Framework for Adaptation 118
Synchronized Composition of Graph Grammar Productions 117
On the Concurrent Semantics of Algebraic Graph Grammars 117
Equivalence and independence in controlled graph-rewriting processes 117
Bisimulation Equivalences for Graph Grammars 116
Concatenable Graph Processes: Relating Processes and Derivation Traces 114
An Operational Semantics of COMMUNITY Based on Graph Transformation Systems 114
Tile Transition Systems as Structured Coalgebras 114
Compositional Modeling of Reactive Systems Using Open Nets 114
On the definition of parallel independence in the algebraic approaches to graph transformation 114
Horizontal and Vertical Structuring of Typed Graph Transformation Systems 113
Sesqui-Pushout Rewriting 113
Relating Two Categorial Models of Term Rewriting 111
Graph transactions as processes 111
CPO Models for Infinite Term Rewriting 110
Taxonomic Reasoning 109
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 109
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach 108
Compositional Semantics for Open Petri Nets based on Deterministic Processes 108
Verifying a Behavioural Logic for Graph Transformation Systems 107
Inequational Deduction as Term Graph Rewriting 107
Towards a Notion of Transaction in Graph Rewriting 106
Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming 105
A Categorial Model for Logic Programs: Indexed Monoidal Categories 105
null 105
A white-box perspective on behavioural adaptation 105
The Pullback-Pushout approach to algebraic graph transformation 105
On the computation of McMillan's prefix for contextual nets and graph grammars 104
Domains and event structures for fusions 104
Unfolding grammars in adhesive categories 102
On term graphs as an adhesive category 102
Efficient unfolding of contextual Petri nets 101
Towards innovative software engineering environments 99
An Abstract Machine for Concurrent Modular Systems: CHARM 99
A Static Analysis Technique for Graph Transformation Systems 98
Reconciling white-box and black-box perspectives on behavioural self-adaptation 98
An Algebraic Semantics of Logic Programs as Structured Transition Systems 95
Modelling and analyzing adaptive self-assembly strategies with Maude 95
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 94
A Coalgebraic presentation of structured transition systems 93
Unfolding Semantics of Graph Transformation 93
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories 92
Rational Term Rewriting 92
Parallelism in AGREE transformations 92
Specifying and verifying UML activity diagrams via graph transformations 92
Unfolding and Event Structure Semantics for Graph Grammars 90
On the essence and initiality of conflicts 90
Transformation Systems with Incremental Negative Application Conditions 89
Data-Driven Choreographies à la Klaim 89
Totale 14.834
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.345
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 35.345
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.072 0 0 0 0 0 0 0 0 0 336 407 329
2019/20203.309 353 260 330 200 321 335 372 282 364 196 233 63
2020/20211.494 167 64 128 79 121 81 90 214 117 151 104 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.849 245 194 218 101 209 240 33 46 19 2.544 0 0
Totale 17.291