CRIS Current Research Information System

ZANASI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.893
NA - Nord America 818
EU - Europa 450
Continente sconosciuto - Info sul continente non disponibili 163
SA - Sud America 121
AF - Africa 56
OC - Oceania 1
Totale 4.502
Salva come PNG Salva come JPEG
Nazione #
CN - Cina 1.124
US - Stati Uniti d'America 795
SG - Singapore 754
VN - Vietnam 346
KR - Corea 295
IT - Italia 163
HK - Hong Kong 123
BR - Brasile 91
IN - India 67
JP - Giappone 63
FR - Francia 51
DE - Germania 40
BD - Bangladesh 37
RU - Federazione Russa 34
ID - Indonesia 31
CH - Svizzera 26
SC - Seychelles 25
GB - Regno Unito 21
NL - Olanda 21
FI - Finlandia 19
AT - Austria 16
SE - Svezia 13
CA - Canada 12
ZA - Sudafrica 12
AR - Argentina 9
CI - Costa d'Avorio 9
IE - Irlanda 9
IQ - Iraq 8
PL - Polonia 8
ES - Italia 6
PK - Pakistan 6
TR - Turchia 6
EC - Ecuador 5
MX - Messico 5
UZ - Uzbekistan 5
VE - Venezuela 5
CO - Colombia 4
EE - Estonia 4
MY - Malesia 4
PH - Filippine 4
PY - Paraguay 4
SA - Arabia Saudita 4
BG - Bulgaria 3
KE - Kenya 3
MA - Marocco 3
PT - Portogallo 3
TH - Thailandia 3
UA - Ucraina 3
CL - Cile 2
DO - Repubblica Dominicana 2
GR - Grecia 2
JM - Giamaica 2
LB - Libano 2
NO - Norvegia 2
OM - Oman 2
SK - Slovacchia (Repubblica Slovacca) 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BO - Bolivia 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EG - Egitto 1
GT - Guatemala 1
HR - Croazia 1
IL - Israele 1
KW - Kuwait 1
MM - Myanmar 1
NG - Nigeria 1
NI - Nicaragua 1
PS - Palestinian Territory 1
SI - Slovenia 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
TW - Taiwan 1
Totale 4.339
Salva come PNG Salva come JPEG
Città #
Hefei 658
Singapore 608
Seoul 295
San Jose 231
Hong Kong 122
Ho Chi Minh City 100
Hanoi 93
Ashburn 85
Boardman 74
Tokyo 62
Bengaluru 55
Council Bluffs 44
Lauterbourg 32
Beijing 30
Bologna 27
Bern 26
Los Angeles 26
Jakarta 25
Santa Clara 22
Redondo Beach 20
Dallas 18
Tongling 18
Mülheim 17
Milan 16
New York 15
Buffalo 14
Biên Hòa 12
Haiphong 12
Guangzhou 11
Nuremberg 11
Helsinki 10
Abidjan 9
Chicago 9
Da Nang 9
Dublin 9
Atlanta 8
Lappeenranta 8
Phoenix 8
Rio de Janeiro 8
Rome 8
Johannesburg 7
Quận Bình Thạnh 7
San Francisco 7
Shanghai 7
Siena 7
Vienna 7
Warsaw 7
Bari 6
Bắc Giang 6
Can Tho 6
Paris 6
Shijiazhuang 6
São Paulo 6
Thái Nguyên 6
Xi'an 6
Yubileyny 6
Amsterdam 5
Baghdad 5
Lấp Vò 5
Quận Phú Nhuận 5
Seattle 5
Tashkent 5
The Dalles 5
Virginia Beach 5
Washington 5
Bắc Ninh 4
Changsha 4
Frankfurt am Main 4
Ha Long 4
Montreal 4
Naples 4
Orem 4
Parma 4
Perugia 4
Quận Một 4
Quận Sáu 4
Shenzhen 4
Tallinn 4
Thành Phố Bà Rịa 4
Wuhan 4
Xiamen 4
Zhengzhou 4
Brooklyn 3
Florence 3
Huế 3
Hải Dương 3
Jeddah 3
Jinan 3
London 3
Modena 3
Monterotondo 3
Nairobi 3
Oxford 3
Philadelphia 3
Quận Mười 3
Ankara 2
Bangkok 2
Barranquilla 2
Belo Horizonte 2
Betim 2
Totale 3.130
Salva come PNG Salva come JPEG
Nome #
The power of the weak 237
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure 169
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure 153
String Diagrams for Non-Strict Monoidal Categories 147
Bialgebraic foundations for the operational semantics of string diagrams 147
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra 146
Model theory of monadic predicate logic with the infinity quantifier 136
A Categorical Approach to Synthetic Chemistry 124
Categories of Differentiable Polynomial Circuits for Machine Learning 119
A coalgebraic perspective on probabilistic logic programming 116
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness 115
Rewriting for Monoidal Closed Categories 114
Causal inference via string diagram surgery 114
Functorial semantics as a unifying perspective on logic programming 112
A FINITE AXIOMATISATION OF FINITE-STATE AUTOMATA USING STRING DIAGRAMS 109
String Diagrams for Layered Explanations 109
Functorial String Diagrams for Reverse-Mode Automatic Differentiation 109
Kleene algebra with observations 106
Reverse derivative ascent: A categorical approach to learning boolean circuits 106
String Diagram Rewrite Theory III: Confluence with and without Frobenius 103
Hennessy-Milner Results for Probabilistic PDL 101
Categorical Foundations of Gradient-Based Learning 101
Bialgebraic semantics for string diagrams 100
Contextual Equivalence for Signal Flow Graphs 98
Rewriting in free hypegraph categories 98
Equivalence checking for weak bi-kleene algebra∗ 93
A formal semantics of influence in Bayesian reasoning 88
Brzozowski goes concurrent - A kleene theorem for pomset languages 78
A universal construction for (Co)Relations 78
Bialgebraic semantics for logic programming 75
The Cost of Compositionality A High-Performance Implementation of String Diagram Composition 74
A string diagrammatic axiomatisation of finite-state automata 71
An axiomatic approach to differentiation of polynomial circuits 71
Coalgebraic semantics for probabilistic logic programming 69
String diagram rewrite theory II: Rewriting with symmetric monoidal structure 44
CARTOGRAPHER: A tool for string diagrammatic reasoning 42
Universal constructions for (CO) relations: Categories, monoidal categories, and props 38
Causal Inference by String Diagram Surgery 35
Diagrammatic algebra: From linear to concurrent systems 35
The Calculus of Signal Flow Diagrams I: Linear relations on streams 29
The Logical Essentials of Bayesian Reasoning 29
Report on coalgebraic methods in computer science 2022 28
A Survey of Compositional Signal Flow Theory 27
Preface 27
Deconstructing Lawvere with distributive laws 27
Proceedings of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, , CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 24
A Predicate/State Transformer Semantics for Bayesian Learning 23
A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus 22
Interacting Hopf Algebras: the Theory of Linear Systems 22
Full Abstraction for Signal Flow Graphs 21
Weak MSO: Automata and expressiveness modulo bisimilarity 21
A categorical semantics of signal flow graphs 20
Graphical affine algebra 19
Confluence of graph rewriting with interfaces 18
Concurrent kleene algebra: Free model and completeness 18
A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus 17
Interacting bialgebras are Frobenius 17
Rewriting with frobenius 15
Saturated semantics for coalgebraic logic programming 15
Rewriting modulo symmetric monoidal structure 14
On series-parallel pomset languages: Rationality, context-freeness and automata 12
The Algebra of Partial Equivalence Relations 12
Interacting Hopf algebras 12
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure 11
Lawvere categories as composed PROPs 11
How to kill epsilons with a dagger: A coalgebraic take on systems with algebraic label structure 11
Totale 4.502
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.807
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 14.807
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/2023194 0 0 0 0 76 0 0 8 1 61 20 28
2023/2024198 0 1 13 17 21 53 15 12 6 31 13 16
2024/20251.050 19 83 62 78 103 75 40 8 4 7 216 355
2025/20262.971 453 727 393 296 154 80 179 181 183 169 110 46
2026/202789 89 0 0 0 0 0 0 0 0 0 0 0
Totale 4.502