CRIS Current Research Information System

ZANASI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.853
NA - Nord America 728
EU - Europa 393
SA - Sud America 121
AF - Africa 56
OC - Oceania 1
Totale 4.152
Salva come PNG Salva come JPEG
Nazione #
CN - Cina 1.118
SG - Singapore 748
US - Stati Uniti d'America 708
VN - Vietnam 346
KR - Corea 295
HK - Hong Kong 120
IT - Italia 113
BR - Brasile 91
IN - India 66
JP - Giappone 63
FR - Francia 49
DE - Germania 40
RU - Federazione Russa 34
ID - Indonesia 31
CH - Svizzera 26
SC - Seychelles 25
NL - Olanda 20
FI - Finlandia 19
GB - Regno Unito 18
AT - Austria 16
BD - Bangladesh 16
SE - Svezia 13
ZA - Sudafrica 12
CA - Canada 11
AR - Argentina 9
CI - Costa d'Avorio 9
IE - Irlanda 9
IQ - Iraq 8
PL - Polonia 8
PK - Pakistan 6
TR - Turchia 6
EC - Ecuador 5
ES - Italia 5
UZ - Uzbekistan 5
VE - Venezuela 5
CO - Colombia 4
EE - Estonia 4
MX - Messico 4
MY - Malesia 4
PY - Paraguay 4
SA - Arabia Saudita 4
BG - Bulgaria 3
KE - Kenya 3
MA - Marocco 3
PH - Filippine 3
PT - Portogallo 3
TH - Thailandia 3
UA - Ucraina 3
CL - Cile 2
DO - Repubblica Dominicana 2
GR - Grecia 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
JM - Giamaica 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
Totale 4.152
Salva come PNG Salva come JPEG
Città #
Hefei 658
Singapore 602
Seoul 295
San Jose 221
Hong Kong 119
Ho Chi Minh City 100
Hanoi 93
Boardman 72
Ashburn 66
Tokyo 62
Bengaluru 55
Council Bluffs 32
Lauterbourg 32
Beijing 28
Bern 26
Bologna 25
Jakarta 25
Los Angeles 24
Redondo Beach 20
Santa Clara 18
Tongling 18
Dallas 17
Mülheim 17
Buffalo 13
Biên Hòa 12
Haiphong 12
New York 12
Nuremberg 11
Guangzhou 10
Helsinki 10
Abidjan 9
Da Nang 9
Dublin 9
Chicago 8
Lappeenranta 8
Phoenix 8
Rio de Janeiro 8
Johannesburg 7
Quận Bình Thạnh 7
San Francisco 7
Shanghai 7
Siena 7
Vienna 7
Warsaw 7
Atlanta 6
Bắc Giang 6
Can Tho 6
Shijiazhuang 6
São Paulo 6
Thái Nguyên 6
Xi'an 6
Yubileyny 6
Amsterdam 5
Baghdad 5
Bari 5
Lấp Vò 5
Milan 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
Orem 4
Paris 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
Huế 3
Hải Dương 3
Jeddah 3
Jinan 3
London 3
Modena 3
Monterotondo 3
Nairobi 3
Philadelphia 3
Quận Mười 3
Rome 3
Ankara 2
Bangkok 2
Barranquilla 2
Belo Horizonte 2
Betim 2
Bình Dương 2
Bến Tre 2
Caraguatatuba 2
Cesena 2
Totale 3.034
Salva come PNG Salva come JPEG
Nome #
The power of the weak 234
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure 169
String Diagrams for Non-Strict Monoidal Categories 145
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra 141
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure 141
Bialgebraic foundations for the operational semantics of string diagrams 134
Model theory of monadic predicate logic with the infinity quantifier 128
A Categorical Approach to Synthetic Chemistry 118
A coalgebraic perspective on probabilistic logic programming 116
Categories of Differentiable Polynomial Circuits for Machine Learning 115
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness 113
Rewriting for Monoidal Closed Categories 112
Functorial semantics as a unifying perspective on logic programming 110
String Diagrams for Layered Explanations 109
Functorial String Diagrams for Reverse-Mode Automatic Differentiation 109
Causal inference via string diagram surgery 108
Kleene algebra with observations 105
A FINITE AXIOMATISATION OF FINITE-STATE AUTOMATA USING STRING DIAGRAMS 104
Reverse derivative ascent: A categorical approach to learning boolean circuits 102
Hennessy-Milner Results for Probabilistic PDL 98
Rewriting in free hypegraph categories 98
Contextual Equivalence for Signal Flow Graphs 96
Bialgebraic semantics for string diagrams 96
String Diagram Rewrite Theory III: Confluence with and without Frobenius 96
Categorical Foundations of Gradient-Based Learning 94
Equivalence checking for weak bi-kleene algebra∗ 90
A formal semantics of influence in Bayesian reasoning 86
Brzozowski goes concurrent - A kleene theorem for pomset languages 78
A universal construction for (Co)Relations 77
Bialgebraic semantics for logic programming 73
The Cost of Compositionality A High-Performance Implementation of String Diagram Composition 72
A string diagrammatic axiomatisation of finite-state automata 71
An axiomatic approach to differentiation of polynomial circuits 70
Coalgebraic semantics for probabilistic logic programming 66
CARTOGRAPHER: A tool for string diagrammatic reasoning 40
String diagram rewrite theory II: Rewriting with symmetric monoidal structure 39
Universal constructions for (CO) relations: Categories, monoidal categories, and props 37
Causal Inference by String Diagram Surgery 34
Report on coalgebraic methods in computer science 2022 27
Preface 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 23
A Survey of Compositional Signal Flow Theory 23
Deconstructing Lawvere with distributive laws 23
A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus 22
A Predicate/State Transformer Semantics for Bayesian Learning 22
Weak MSO: Automata and expressiveness modulo bisimilarity 21
Interacting Hopf Algebras: the Theory of Linear Systems 20
Full Abstraction for Signal Flow Graphs 19
Graphical affine algebra 19
A categorical semantics of signal flow graphs 19
The Logical Essentials of Bayesian Reasoning 19
Diagrammatic algebra: From linear to concurrent systems 17
Confluence of graph rewriting with interfaces 17
A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus 17
Interacting bialgebras are Frobenius 17
Concurrent kleene algebra: Free model and completeness 17
Saturated semantics for coalgebraic logic programming 15
Rewriting with frobenius 14
Rewriting modulo symmetric monoidal structure 13
The Calculus of Signal Flow Diagrams I: Linear relations on streams 12
The Algebra of Partial Equivalence Relations 12
Interacting Hopf algebras 12
On series-parallel pomset languages: Rationality, context-freeness and automata 11
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.315
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.425
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 13.425
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.873 453 727 393 296 154 80 179 181 183 169 58 0
Totale 4.315