CINECA IRIS Institutional Research Information System

CORRADINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.395
EU - Europa 3.778
AS - Asia 1.086
AF - Africa 176
SA - Sud America 21
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 8
Totale 17.473
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.820
CA - Canada 2.575
IT - Italia 1.280
SE - Svezia 710
CN - Cina 635
BG - Bulgaria 383
DE - Germania 312
UA - Ucraina 265
PL - Polonia 237
GB - Regno Unito 147
FI - Finlandia 144
TR - Turchia 135
VN - Vietnam 135
SG - Singapore 122
CH - Svizzera 108
SN - Senegal 104
FR - Francia 54
RU - Federazione Russa 52
CI - Costa d'Avorio 46
HK - Hong Kong 33
GR - Grecia 31
NG - Nigeria 17
BE - Belgio 16
BR - Brasile 13
IN - India 10
AU - Australia 8
BJ - Benin 8
EU - Europa 7
IE - Irlanda 7
NL - Olanda 7
PT - Portogallo 6
CO - Colombia 5
KR - Corea 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
LU - Lussemburgo 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.473
Salva come PNG Salva come JPEG
Città #
Montreal 2.301
Woodbridge 1.625
Ann Arbor 1.160
Fairfield 1.153
Houston 1.059
Ashburn 612
Chandler 562
Seattle 495
Milan 425
Wilmington 405
Cambridge 395
Sofia 382
Jacksonville 366
Serra 305
Ottawa 252
New York 225
Beijing 220
Boardman 188
Princeton 150
Lawrence 139
Nanjing 120
Izmir 111
Dakar 104
Bern 103
Des Moines 96
Dearborn 83
Medford 74
San Diego 70
Singapore 70
Dong Ket 66
Jüchen 65
Düsseldorf 62
Bremen 48
Nanchang 47
Abidjan 46
Florence 35
Rome 33
Boulder 32
Changsha 26
Hong Kong 26
Kunming 26
Ogden 22
Hefei 21
Kocaeli 21
Los Angeles 20
Shenyang 20
Redwood City 19
Jiaxing 18
London 18
Tianjin 18
Lagos 17
Hebei 16
Brussels 15
Orange 15
Phoenix 15
Hangzhou 14
Washington 14
Helsinki 13
Guangzhou 12
Karlsruhe 12
Pisa 12
Norwalk 11
Verona 11
Cotonou 8
Jinan 8
Pune 8
San Francisco 8
Auburn Hills 7
Indiana 7
Lucca 7
Santa Clara 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
San Jose 4
Seano 4
Terni 4
Zhengzhou 4
Zielona Góra 4
Barcelos 3
Buffalo 3
Chongqing 3
Totale 14.313
Salva come PNG Salva come JPEG
Nome #
Transition Systems with Algebraic Structure as Models of Computations 2.675
AGILE: Software architecture for mobility 185
A functorial semantics for multi-algebras and partial algebras, with applications to syntax 176
A 2-Categorical Presentation of Term Graph Rewriting 165
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 163
Concurrent Computing: from Petri Nets to Graph Grammars 161
AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS 161
A Framework for the Verification of Infinite-State Graph Transformation Systems 160
The Category of Typed Graph Grammars and its Adjunctions with Categories of Derivations 157
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets 157
Open Petri nets: Non-deterministic Processes and Compositionality 156
Graph transformation with dependencies for the specification of interactive systems 156
A lattice-theoretical perspective on adhesive categories 155
Functorial semantics for multi-algebras 152
Towards a Process Semantics in the Logic Programming Style 151
Graph Grammars and Logic Programming 151
A Temporal Graph Logic for Verification of Graph Transformation Systems 149
Hierarchical models for service-oriented systems 149
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 148
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine 147
Unfolding Graph Transformation Systems: Theory and Applications to Verification 146
Subobject transformation systems 146
History Preserving Bisimulation for Contextual Nets 146
Transition Systems with Algebraic Structure as Models of Computations 145
Abstract Graph Derivations in the Double Pushout Approach 144
McMillan's complete prefix for contextual nets 144
Concurrent Graph and Term Graph Rewriting 142
Adaptable Transition Systems 140
An Algebra of Graphs and Graph Rewriting 139
Logic Programming as Hypergraph Rewriting 139
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 139
AGREE – algebraic graph rewriting with controlled embedding 139
Integrating the Specification Techniques of Graph Transformation and Temporal Logic 138
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence 138
Declarative Specification of the Architecture of a Software Development Environment 137
An Event Structure Semantics for Graph Grammars with Parallel Productions 136
An institution for graph transformation 136
On gs-monoidal theories for graphs with nesting 134
Categorical rewriting of term-like structures 133
A Completeness result for equational deduction in coalgebraic specification 133
Processes for Adhesive Rewriting Systems 132
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 132
Term Graph Rewriting and Parallel Term Rewriting 131
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs 130
A compositional approach to structuring and refinement of typed graph grammars 128
Unfolding of Double-Pushout Graph Grammars is a Coreflection 128
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach 124
Domain and Event Structure Semantics for {P}etri Nets with Read and Inhibitor Arcs 124
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 124
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 124
Processes and unfoldings: concurrent computations in adhesive categories 124
A Conceptual Framework for Adaptation 120
Equivalence and independence in controlled graph-rewriting processes 120
Synchronized Composition of Graph Grammar Productions 119
On the Concurrent Semantics of Algebraic Graph Grammars 119
Bisimulation Equivalences for Graph Grammars 118
Concatenable Graph Processes: Relating Processes and Derivation Traces 116
An Operational Semantics of COMMUNITY Based on Graph Transformation Systems 116
Tile Transition Systems as Structured Coalgebras 116
Compositional Modeling of Reactive Systems Using Open Nets 116
On the definition of parallel independence in the algebraic approaches to graph transformation 116
Horizontal and Vertical Structuring of Typed Graph Transformation Systems 115
Sesqui-Pushout Rewriting 115
Graph transactions as processes 114
Relating Two Categorial Models of Term Rewriting 113
CPO Models for Infinite Term Rewriting 113
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 112
Compositional Semantics for Open Petri Nets based on Deterministic Processes 111
The Pullback-Pushout approach to algebraic graph transformation 111
Taxonomic Reasoning 110
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach 110
Verifying a Behavioural Logic for Graph Transformation Systems 109
Inequational Deduction as Term Graph Rewriting 109
Towards a Notion of Transaction in Graph Rewriting 108
Domains and event structures for fusions 108
Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming 107
A Categorial Model for Logic Programs: Indexed Monoidal Categories 107
A white-box perspective on behavioural adaptation 107
Unfolding grammars in adhesive categories 106
On the computation of McMillan's prefix for contextual nets and graph grammars 106
On term graphs as an adhesive category 105
null 105
Efficient unfolding of contextual Petri nets 103
Towards innovative software engineering environments 100
An Abstract Machine for Concurrent Modular Systems: CHARM 100
Reconciling white-box and black-box perspectives on behavioural self-adaptation 100
A Static Analysis Technique for Graph Transformation Systems 99
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches 98
An Algebraic Semantics of Logic Programs as Structured Transition Systems 97
Modelling and analyzing adaptive self-assembly strategies with Maude 97
A Coalgebraic presentation of structured transition systems 95
Unfolding Semantics of Graph Transformation 95
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories 94
Rational Term Rewriting 94
Parallelism in AGREE transformations 94
On the essence and initiality of conflicts 93
Specifying and verifying UML activity diagrams via graph transformations 93
Unfolding and Event Structure Semantics for Graph Grammars 92
Data-Driven Choreographies à la Klaim 92
Adaptation is a game 91
Totale 15.073
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.604
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 39.604
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.696 0 0 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.999 245 194 218 101 209 240 33 46 19 2.561 28 105
2024/2025202 25 168 9 0 0 0 0 0 0 0 0 0
Totale 17.643