GADDUCCI, FABIO
 Distribuzione geografica
Continente #
AS - Asia 353
NA - Nord America 268
EU - Europa 230
SA - Sud America 11
AF - Africa 1
Totale 863
Nazione #
US - Stati Uniti d'America 264
CN - Cina 251
IT - Italia 135
FR - Francia 34
ID - Indonesia 34
DE - Germania 24
KR - Corea 19
VN - Vietnam 16
IN - India 11
TW - Taiwan 8
GB - Regno Unito 7
BR - Brasile 6
IE - Irlanda 6
KH - Cambogia 6
RU - Federazione Russa 6
SG - Singapore 5
CA - Canada 4
FI - Finlandia 4
BO - Bolivia 3
ES - Italia 3
NL - Olanda 3
BE - Belgio 2
CZ - Repubblica Ceca 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
CL - Cile 1
DK - Danimarca 1
EC - Ecuador 1
GR - Grecia 1
HK - Hong Kong 1
MA - Marocco 1
RS - Serbia 1
UA - Ucraina 1
Totale 863
Città #
Serra 90
Shenyang 44
Guangzhou 39
Changsha 32
Ashburn 21
Houston 21
Santa Cruz 18
Ann Arbor 16
Chongqing 15
Dong Ket 11
Harbin 11
Wilmington 11
Buffalo 10
Fairfield 10
Dallas 9
Beijing 7
Chengdu 7
Jinan 7
Taipei 7
Xian 7
Boardman 6
Dublin 6
Hangzhou 6
Seattle 6
Shanghai 6
Cambridge 5
Chicago 5
Kolkata 5
Lodi 5
Mountain View 5
Nanjing 5
Pisa 5
Baotou 4
Changchun 4
Des Moines 4
Fleming Island 4
Hefei 4
Kunming 4
Pavia 4
San Mateo 4
The Dalles 4
University Park 4
Woodbridge 4
Camerino 3
Dortmund 3
Fuzhou 3
Goiânia 3
Helsinki 3
La Paz 3
Las Vegas 3
Milpitas 3
New York 3
Paris 3
Redmond 3
Rome 3
Surat 3
Basking Ridge 2
Bengaluru 2
Berlin 2
Boulder 2
Bremen 2
Broomfield 2
Hebei 2
Longmont 2
Los Angeles 2
Nanning 2
Walton on Thames 2
Washington 2
Wuhan 2
Ürümqi 2
Angoulême 1
Anzio 1
Auburn 1
Bologna 1
Brescia 1
Bridgend 1
Brussels 1
Buscate 1
Casablanca 1
Cedar Knolls 1
Chaoyang 1
Clearwater 1
Council Bluffs 1
Dhaka 1
Dulles 1
Falls Church 1
Florence 1
Frankfurt am Main 1
Frederiksberg 1
Freiburg im Breisgau 1
Fremont 1
Genoa 1
Grosseto 1
Grottammare 1
Guiyang 1
Henderson 1
Herndon 1
Holmfirth 1
Hong Kong 1
Huelma 1
Totale 599
Nome #
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451), file e0d6c927-6aa5-fcf8-e053-d805fe0aa794 353
Data-Driven Choreographies à la Klaim, file e0d6c92d-74ad-fcf8-e053-d805fe0aa794 141
Adaptable Transition Systems, file e0d6c92c-730e-fcf8-e053-d805fe0aa794 64
A denotational view of replicated data types, file e0d6c929-66b1-fcf8-e053-d805fe0aa794 60
A categorical account of replicated data types, file e0d6c932-1cf0-fcf8-e053-d805fe0aa794 30
Awareness and control in adaptable transition systems, file e0d6c927-6965-fcf8-e053-d805fe0aa794 25
Residuation for bipolar preferences in soft constraints, file e0d6c930-97dd-fcf8-e053-d805fe0aa794 24
null, file e0d6c92d-b68d-fcf8-e053-d805fe0aa794 22
Adaptation is a game, file e0d6c928-19e6-fcf8-e053-d805fe0aa794 20
Event structures for Petri nets with persistence, file e0d6c92b-3762-fcf8-e053-d805fe0aa794 20
Modelling and analyzing adaptive self-assembly strategies with Maude, file e0d6c930-90e9-fcf8-e053-d805fe0aa794 12
Domains and event structures for fusions, file e0d6c929-6587-fcf8-e053-d805fe0aa794 7
Modelling and analyzing adaptive self-assembly strategies with Maude, file e0d6c926-474f-fcf8-e053-d805fe0aa794 6
Observational and behavioural equivalences for soft concurrent constraint programming, file e0d6c929-8c2e-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
null, file e0d6c928-1b73-fcf8-e053-d805fe0aa794 3
null, file e0d6c928-21dd-fcf8-e053-d805fe0aa794 3
Concurrency cannot be observed, asynchronously, file e0d6c928-221c-fcf8-e053-d805fe0aa794 3
Rewriting with Frobenius, file e0d6c92b-03cc-fcf8-e053-d805fe0aa794 3
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness, file d13c717e-c2ad-47da-a7c5-b87f3c98fa55 2
On barbs and labels in reactive systems, file e0d6c926-049a-fcf8-e053-d805fe0aa794 2
A Conceptual Framework for Adaptation, file e0d6c926-2698-fcf8-e053-d805fe0aa794 2
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude, file e0d6c926-357a-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
Residuation for bipolar preferences in soft constraints, file e0d6c928-1647-fcf8-e053-d805fe0aa794 2
Modular encoding of synchronous and asynchronous interactions using open Petri nets, file e0d6c928-18ad-fcf8-e053-d805fe0aa794 2
Denotational testing semantics in coinductive form, file e0d6c928-19af-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
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory, file e0d6c92d-cda7-fcf8-e053-d805fe0aa794 2
Polyadic soft constraints, file e0d6c92e-0a42-fcf8-e053-d805fe0aa794 2
Domains and event structures for fusions, file e0d6c930-6403-fcf8-e053-d805fe0aa794 2
Causality and replication in concurrent processes, file e0d6c926-28f7-fcf8-e053-d805fe0aa794 1
Normal forms for algebras of connections, file e0d6c926-3106-fcf8-e053-d805fe0aa794 1
Using old computers for teaching computer science, file e0d6c926-3eb7-fcf8-e053-d805fe0aa794 1
Soft constraints for lexicographic orders, file e0d6c926-3fe5-fcf8-e053-d805fe0aa794 1
Barbed semantics for open reactive systems, file e0d6c926-433c-fcf8-e053-d805fe0aa794 1
A white-box perspective on behavioural adaptation, file e0d6c926-433e-fcf8-e053-d805fe0aa794 1
Reconciling white-box and black-box perspectives on behavioural self-adaptation, file e0d6c926-433f-fcf8-e053-d805fe0aa794 1
Per un museo nazionale dell'informatica, file e0d6c926-45ad-fcf8-e053-d805fe0aa794 1
I documenti raccontano le storie delle CEP, file e0d6c926-464f-fcf8-e053-d805fe0aa794 1
A labelled semantics for Soft Concurrent Constraint Programming, file e0d6c927-6804-fcf8-e053-d805fe0aa794 1
Extending soft arc consistency algorithms to non-invertible semirings, file e0d6c928-14f8-fcf8-e053-d805fe0aa794 1
Graph transactions as processes, file e0d6c928-1565-fcf8-e053-d805fe0aa794 1
Term graph rewriting for the π-calculus, file e0d6c928-164a-fcf8-e053-d805fe0aa794 1
AGILE: Software architecture for mobility, file e0d6c928-1650-fcf8-e053-d805fe0aa794 1
Compositional specification of web services via behavioural equivalence of nets: A case study, file e0d6c928-166d-fcf8-e053-d805fe0aa794 1
A decentralized implementation of Mobile Ambients, file e0d6c928-1748-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
Graph processes with fusions: Concurrency by colimits, again, file e0d6c928-19a7-fcf8-e053-d805fe0aa794 1
A term-graph syntax for algebras over multisets, file e0d6c928-19ce-fcf8-e053-d805fe0aa794 1
Concurrent rewriting for graphs with equivalences, file e0d6c928-1a1f-fcf8-e053-d805fe0aa794 1
Parallel and sequential independence for borrowed contexts, file e0d6c928-1bee-fcf8-e053-d805fe0aa794 1
Specifying and verifying UML activity diagrams via graph transformations, file e0d6c928-1c03-fcf8-e053-d805fe0aa794 1
A soft approach to multi-objective optimization, file e0d6c928-1c33-fcf8-e053-d805fe0aa794 1
A behavioural congruence for web services, file e0d6c928-1c34-fcf8-e053-d805fe0aa794 1
Enhancing constraints manipulation in semiring-based formalisms, file e0d6c928-1c37-fcf8-e053-d805fe0aa794 1
Petri nets are dioids, file e0d6c928-1cc1-fcf8-e053-d805fe0aa794 1
Graphical encoding of a spatial logic for the π-calculus, file e0d6c928-1deb-fcf8-e053-d805fe0aa794 1
A graph syntax for processes and services, file e0d6c928-1e58-fcf8-e053-d805fe0aa794 1
Observing reductions in nominal calculi via a graphical encoding of processes, file e0d6c928-216f-fcf8-e053-d805fe0aa794 1
Ugo Montanari and friends, file e0d6c928-2261-fcf8-e053-d805fe0aa794 1
History and Philosophy of Computing: third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers, file e0d6c929-d4e4-fcf8-e053-d805fe0aa794 1
Encoding asynchronous interactions using open Petri nets, file e0d6c92a-7751-fcf8-e053-d805fe0aa794 1
On the semantics and implementation of replicated data types, file e0d6c92b-3d9e-fcf8-e053-d805fe0aa794 1
Giornate Fibonacci: 850° anniversario della nascita di Leonardo Pisano, detto il Fibonacci, Pisa, Università di Pisa, 20-23 novem- bre 2020, file e0d6c931-6613-fcf8-e053-d805fe0aa794 1
Graph Rewriting Components, file f15dcf32-c4a6-4428-8a6c-fc5c7f552677 1
Preface, file fb3a9011-aac2-4589-b2e2-0bae200a438d 1
Totale 871
Categoria #
all - tutte 1.662
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 1.662


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201918 0 0 0 0 0 0 0 0 10 4 1 3
2019/202044 3 5 2 26 2 2 0 2 2 0 0 0
2020/2021288 8 0 3 7 4 41 28 29 59 42 30 37
2021/2022237 43 48 29 20 18 9 7 7 5 7 26 18
2022/2023130 3 5 22 25 21 11 11 5 2 5 16 4
2023/202486 6 5 12 7 19 14 13 9 1 0 0 0
Totale 871