CINECA IRIS Institutional Research Information System

BONCHI, FILIPPO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.945
AS - Asia 3.207
EU - Europa 2.565
SA - Sud America 565
AF - Africa 269
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 13.556
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.734
IT - Italia 1.166
SG - Singapore 1.062
CN - Cina 892
HK - Hong Kong 527
BR - Brasile 474
SE - Svezia 329
VN - Vietnam 264
BG - Bulgaria 263
DE - Germania 177
CA - Canada 167
TR - Turchia 133
FR - Francia 130
RU - Federazione Russa 120
GB - Regno Unito 107
CI - Costa d'Avorio 102
NG - Nigeria 96
FI - Finlandia 69
IN - India 65
UA - Ucraina 59
JP - Giappone 56
KR - Corea 35
AR - Argentina 30
IQ - Iraq 27
BD - Bangladesh 22
NL - Olanda 22
BJ - Benin 20
MX - Messico 19
ID - Indonesia 18
PK - Pakistan 16
BE - Belgio 15
CH - Svizzera 15
RO - Romania 14
ZA - Sudafrica 14
EC - Ecuador 13
VE - Venezuela 12
CZ - Repubblica Ceca 11
CO - Colombia 10
MA - Marocco 10
MY - Malesia 10
SA - Arabia Saudita 10
ES - Italia 9
PH - Filippine 9
PL - Polonia 9
UZ - Uzbekistan 9
GR - Grecia 8
IL - Israele 8
UY - Uruguay 8
AT - Austria 6
JO - Giordania 6
SN - Senegal 6
CL - Cile 5
KE - Kenya 5
PE - Perù 5
PT - Portogallo 5
RS - Serbia 5
TN - Tunisia 5
AL - Albania 4
BO - Bolivia 4
DO - Repubblica Dominicana 4
EE - Estonia 4
EG - Egitto 4
HN - Honduras 4
IE - Irlanda 4
LT - Lituania 4
NI - Nicaragua 4
NP - Nepal 4
OM - Oman 4
PY - Paraguay 4
AE - Emirati Arabi Uniti 3
JM - Giamaica 3
KZ - Kazakistan 3
MN - Mongolia 3
PA - Panama 3
TH - Thailandia 3
AU - Australia 2
AZ - Azerbaigian 2
BB - Barbados 2
BH - Bahrain 2
BY - Bielorussia 2
DK - Danimarca 2
EU - Europa 2
GE - Georgia 2
LK - Sri Lanka 2
LV - Lettonia 2
MD - Moldavia 2
TT - Trinidad e Tobago 2
AF - Afghanistan, Repubblica islamica di 1
BN - Brunei Darussalam 1
BS - Bahamas 1
DZ - Algeria 1
GT - Guatemala 1
HU - Ungheria 1
IR - Iran 1
KH - Cambogia 1
KW - Kuwait 1
LB - Libano 1
MR - Mauritania 1
MU - Mauritius 1
NE - Niger 1
Totale 13.546
Salva come PNG Salva come JPEG
Città #
Woodbridge 738
Fairfield 725
Ashburn 677
Serra 617
Hong Kong 520
Singapore 509
Houston 480
Santa Clara 475
Ann Arbor 425
Seattle 334
San Jose 285
Sofia 263
Cambridge 258
Wilmington 233
Beijing 229
Shanghai 211
Chandler 202
New York 198
Dallas 179
Milan 158
Ottawa 134
Boardman 111
Princeton 106
Abidjan 102
Lawrence 98
Lagos 96
Los Angeles 96
Lauterbourg 92
Jacksonville 75
Hefei 72
Istanbul 65
Ho Chi Minh City 63
Nanjing 57
Dearborn 52
Dong Ket 47
Tokyo 47
Izmir 46
Des Moines 44
Buffalo 43
Bremen 40
Florence 40
Munich 39
Pisa 38
Hanoi 37
Seoul 35
San Diego 34
Medford 32
Redondo Beach 28
Washington 27
Rome 25
Council Bluffs 24
Helsinki 24
Hyderabad 22
Nanchang 22
São Paulo 22
Boulder 21
Cotonou 20
London 20
Belo Horizonte 19
The Dalles 19
Shenyang 17
Düsseldorf 16
Frankfurt am Main 16
Bern 14
Changsha 14
Rio de Janeiro 14
Brussels 13
Orem 13
Camden 12
Columbus 12
Genoa 12
Hebei 12
Jüchen 12
Paris 12
Fuzhou 11
Kocaeli 11
Curitiba 10
Tianjin 10
Turku 10
Falls Church 9
Livorno 9
Montreal 9
Tashkent 9
Baghdad 8
Grafing 8
Massa 8
Norwalk 8
Ogden 8
San Francisco 8
Stockholm 8
Toronto 8
Amsterdam 7
Atlanta 7
Campinas 7
Casablanca 7
Dhaka 7
Guarulhos 7
Jakarta 7
Kunming 7
Montevideo 7
Totale 10.154
Salva come PNG Salva come JPEG
Nome #
A lattice-theoretical perspective on adhesive categories 233
Synthesising CCS bisimulation using graph rewriting 221
Compositional specification of web services via behavioural equivalence of nets: A case study 204
Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding) 202
A category of explicit fusions 198
Concurrency cannot be observed, asynchronously 192
Symbolic Semantics Revisited 188
A behavioural congruence for web services 188
On barbs and labels in reactive systems 187
Process bisimulation via a graphical encoding 186
Saturated LTSs for adhesive rewriting systems 181
Coalgebraic Models for Reactive Systems 180
Parallel and sequential independence for borrowed contexts 179
A presheaf environment for the calculus of explicit fusions 178
RPO semantics for Mobile Ambients 176
Encoding asynchronous interactions using open Petri nets 175
Reactive systems, barbed semantics, and the Mobile Ambients 175
A net-based approach to Web services publication and replaceability 174
Concurrency can't be observed, asynchronously 171
Encoding synchronous interactions using labelled Petri nets 171
Behaviour-aware matching of cloud applications 171
Simulation-based matching of cloud applications 171
Sound up-to techniques and Complete abstract domains 171
SYMBOLIC AND ASYNCHRONOUS SEMANTICS VIA NORMALIZED COALGEBRAS 170
Polyadic soft constraints 159
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves 156
Asynchronous traces and open Petri nets 153
Saturated Semantics for Reactive Systems 151
A general theory of barbs, contexts and labels 150
Deconstructing the Calculus of Relations with Tape Diagrams 146
On the use of behavioural equivalences for web services' development 145
Exploiting Adjoints in Property Directed Reachability Analysis 142
Diagrammatic Algebra of First Order Logic 142
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure 140
Confluence of graph rewriting with interfaces 138
A categorical semantics of signal flow graphs 133
Diagrammatic algebra: from linear to concurrent systems 133
Modular encoding of synchronous and asynchronous interactions using open Petri nets 131
46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia 131
Preface to special issue: EXPRESS, ICE and SOS 2009 129
A general account of coinduction up-to 129
Enhanced coalgebraic bisimulation 126
Deconstructing Lawvere with distributive laws 125
Interacting Hopf algebras 125
Interacting bialgebras are Frobenius 123
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra 123
Coalgebraic Behavioral Metrics 122
Bialgebraic semantics for logic programming 121
Algebra-Coalgebra duality in brzozowski's minimization algorithm 121
Coinduction up-to in a fibrational setting 121
Weak CCP bisimilarity with strong procedures 120
Graphical affine algebra 118
The Calculus of Signal Flow Diagrams I: Linear relations on streams 117
Bisimilarity of Open Terms in Stream GSOS 117
Bialgebraic semantics for string diagrams 116
Checking NFA equivalence with bisimulations up to congruence 115
Quantitative Kleene coalgebras 115
A Survey of Compositional Signal Flow Theory 115
Full abstraction for signal flow graphs 114
Efficient computation of program equivalence for confluent concurrent constraint programming 113
Reducing weak to strong bisimilarity in CCP 113
Up-to techniques for weighted systems 112
Brzozowski's algorithm (Co)algebraically 111
A coalgebraic perspective on linear weighted automata 111
A coalgebraic view on decorated traces 110
Hacking nondeterminism with induction and coinduction 110
Deriving syntax and axioms for quantitative regular behaviours 110
Bialgebraic foundations for the operational semantics of string diagrams 109
Partition refinement for bisimilarity in CCP 108
Brzozowski's and up-to algorithms for must testing 108
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure 107
Deriving labels and bisimilarity for concurrent constraint programming 105
Efficient algorithms for program equivalence for confluent concurrent constraint programming 104
Saturated Semantics for Coalgebraic Logic Programming 104
Up-to techniques for behavioural metrics via fibrations 104
Algorithmic Drift: A simulation framework to study the effects of recommender systems on user preferences 103
Rewriting with Frobenius 101
A coalgebraic perspective on minimization and determinization 100
Final semantics for decorated traces 99
Behavioral metrics via functor lifting 99
Preface 98
null 95
On doctrines and cartesian bicategories 95
Refinement for signal flow graphs 90
null 89
Lax bialgebras and up- to techniques for weak bisimulations 89
Bisimilarity of open terms in stream GSOS 89
Generalizing determinization from automata to coalgebras 88
Diagrammatic Polyhedral Algebra 88
Graphical conjunctive queries 87
Lawvere categories as composed PROPs 86
The axiom of choice in cartesian bicategories 86
Convexity via Weak Distributive Laws 83
Generalizing the powerset construction, coalgebraically 83
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) 82
Contextual Equivalence for Signal Flow Graphs 80
Towards trace metrics via functor lifting 78
The power of convex algebras 78
Combining semilattices and semimodules 76
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines 75
Totale 12.960
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.917
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 40.917
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021148 0 0 0 0 0 0 0 0 0 0 0 148
2021/2022993 26 55 43 70 214 166 24 51 41 53 59 191
2022/2023938 129 82 67 81 158 96 8 56 178 6 68 9
2023/2024908 61 77 119 71 126 253 30 18 9 28 10 106
2024/20253.109 5 114 50 169 351 411 226 150 289 389 309 646
2025/20262.712 134 335 249 258 273 258 418 120 164 315 138 50
Totale 13.805