CRIS Current Research Information System

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