BONCHI, FILIPPO
 Distribuzione geografica
Continente #
NA - Nord America 259
EU - Europa 101
AS - Asia 22
AF - Africa 4
SA - Sud America 1
Totale 387
Nazione #
US - Stati Uniti d'America 249
IT - Italia 46
FR - Francia 19
CA - Canada 10
DE - Germania 9
VN - Vietnam 9
CN - Cina 6
RU - Federazione Russa 6
CZ - Repubblica Ceca 5
GB - Regno Unito 4
IN - India 4
ZA - Sudafrica 4
FI - Finlandia 3
IE - Irlanda 3
UA - Ucraina 3
NL - Olanda 2
BE - Belgio 1
BR - Brasile 1
ID - Indonesia 1
KR - Corea 1
SG - Singapore 1
Totale 387
Città #
Serra 35
Fairfield 28
Santa Cruz 24
Houston 18
Ann Arbor 14
Seattle 13
Buffalo 11
Ashburn 10
Woodbridge 8
Cambridge 6
Chicago 6
Dong Ket 5
Shanghai 5
Columbus 4
Muizenberg 4
New York 4
Ottawa 4
Wilmington 4
Bengaluru 3
Council Bluffs 3
Dallas 3
Dublin 3
Hanoi 3
Henderson 3
Las Vegas 3
Los Angeles 3
Paris 3
Portland 3
Rome 3
Cesenatico 2
Des Moines 2
Emeryville 2
Helsinki 2
Lake Forest 2
Mountain View 2
Phoenix 2
Pisa 2
Redmond 2
Rotterdam 2
San Diego 2
San Francisco 2
Toronto 2
Beijing 1
Bergkamen 1
Bogor 1
Boulder 1
Bristol 1
Brussels 1
Büdelsdorf 1
Clearwater 1
Crugers 1
Fleming Island 1
Frankfurt am Main 1
Karlsruhe 1
Lviv 1
Mammelzen 1
Marche 1
Milpitas 1
Montreal 1
Nashua 1
Norwalk 1
Novara 1
Oxford 1
Provo 1
Recife 1
Riva 1
Saint Louis 1
Saint Petersburg 1
Saint-pern 1
Schwelm 1
Scottsdale 1
Tüßling 1
Urbana 1
Yellow Springs 1
Totale 294
Nome #
Simulation-based matching of cloud applications, file e0d6c92d-1fb8-fcf8-e053-d805fe0aa794 114
Coalgebraic Behavioral Metrics, file e0d6c92c-2c03-fcf8-e053-d805fe0aa794 105
Bialgebraic semantics for logic programming, file e0d6c92c-28e8-fcf8-e053-d805fe0aa794 90
Generalizing determinization from automata to coalgebras, file e0d6c92c-28e1-fcf8-e053-d805fe0aa794 43
The theory of traces for systems with nondeterminism and probability, file e0d6c930-c31a-fcf8-e053-d805fe0aa794 4
RPO semantics for Mobile Ambients, file e0d6c926-18ad-fcf8-e053-d805fe0aa794 3
A general theory of barbs, contexts and labels, file e0d6c926-447d-fcf8-e053-d805fe0aa794 3
Concurrency cannot be observed, asynchronously, file e0d6c928-221c-fcf8-e053-d805fe0aa794 3
Quantitative Kleene coalgebras, file e0d6c92a-ccb8-fcf8-e053-d805fe0aa794 3
Rewriting with Frobenius, file e0d6c92b-03cc-fcf8-e053-d805fe0aa794 3
A general account of coinduction up-to, file e0d6c930-984a-fcf8-e053-d805fe0aa794 3
Enhanced coalgebraic bisimulation, file e0d6c930-c31d-fcf8-e053-d805fe0aa794 3
On barbs and labels in reactive systems, file e0d6c926-049a-fcf8-e053-d805fe0aa794 2
Encoding synchronous interactions using labelled Petri nets, file e0d6c926-447c-fcf8-e053-d805fe0aa794 2
Asynchronous traces and open Petri nets, file e0d6c927-68fa-fcf8-e053-d805fe0aa794 2
Modular encoding of synchronous and asynchronous interactions using open Petri nets, file e0d6c928-18ad-fcf8-e053-d805fe0aa794 2
null, file e0d6c928-1b54-fcf8-e053-d805fe0aa794 2
Confluence of graph rewriting with interfaces, file e0d6c929-2928-fcf8-e053-d805fe0aa794 2
Polyadic soft constraints, file e0d6c92e-0a42-fcf8-e053-d805fe0aa794 2
The Calculus of Signal Flow Diagrams I: Linear relations on streams, file e0d6c930-95fe-fcf8-e053-d805fe0aa794 2
Distribution bisimilarity via the power of convex algebras, file e0d6c932-42b5-fcf8-e053-d805fe0aa794 2
Compositional specification of web services via behavioural equivalence of nets: A case study, file e0d6c928-166d-fcf8-e053-d805fe0aa794 1
Process bisimulation via a graphical encoding, file e0d6c928-174b-fcf8-e053-d805fe0aa794 1
A category of explicit fusions, file e0d6c928-1847-fcf8-e053-d805fe0aa794 1
Parallel and sequential independence for borrowed contexts, file e0d6c928-1bee-fcf8-e053-d805fe0aa794 1
A behavioural congruence for web services, file e0d6c928-1c34-fcf8-e053-d805fe0aa794 1
Encoding asynchronous interactions using open Petri nets, file e0d6c92a-7751-fcf8-e053-d805fe0aa794 1
Presenting convex sets of probability distributions by convex semilattices and unique bases, file e0d6c932-29bb-fcf8-e053-d805fe0aa794 1
Totale 402
Categoria #
all - tutte 981
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 981


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202078 0 11 0 16 16 4 6 6 7 5 4 3
2020/202164 5 1 5 6 2 4 7 3 10 7 7 7
2021/2022126 6 4 3 21 23 6 11 6 3 2 30 11
2022/202381 5 5 27 10 7 10 6 5 0 3 3 0
2023/202437 7 0 6 2 9 5 1 3 0 2 2 0
Totale 402