CNR Institutional Research Information System

BOLOGNESI, TOMMASO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.003
NA - Nord America 1.150
SA - Sud America 393
EU - Europa 313
AF - Africa 32
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.893
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.116
SG - Singapore 869
CN - Cina 444
BR - Brasile 326
VN - Vietnam 196
HK - Hong Kong 193
FR - Francia 112
JP - Giappone 87
KR - Corea 81
IT - Italia 80
IN - India 33
DE - Germania 30
AR - Argentina 26
AT - Austria 21
BD - Bangladesh 21
NL - Olanda 20
EC - Ecuador 14
GB - Regno Unito 13
ID - Indonesia 13
IL - Israele 12
IQ - Iraq 12
CA - Canada 11
FI - Finlandia 11
ZA - Sudafrica 10
MX - Messico 9
CL - Cile 6
CO - Colombia 6
ES - Italia 6
UZ - Uzbekistan 6
EG - Egitto 5
PY - Paraguay 5
RU - Federazione Russa 5
SA - Arabia Saudita 5
TR - Turchia 5
JM - Giamaica 4
MA - Marocco 4
PK - Pakistan 4
VE - Venezuela 4
NP - Nepal 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
CR - Costa Rica 2
ET - Etiopia 2
GR - Grecia 2
KZ - Kazakistan 2
MY - Malesia 2
NI - Nicaragua 2
PE - Perù 2
PL - Polonia 2
RO - Romania 2
SN - Senegal 2
TW - Taiwan 2
UA - Ucraina 2
AL - Albania 1
AO - Angola 1
AU - Australia 1
BB - Barbados 1
BE - Belgio 1
BH - Bahrain 1
BO - Bolivia 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CU - Cuba 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GE - Georgia 1
GT - Guatemala 1
KE - Kenya 1
KG - Kirghizistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LV - Lettonia 1
MD - Moldavia 1
MN - Mongolia 1
MQ - Martinica 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
PS - Palestinian Territory 1
RW - Ruanda 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TG - Togo 1
TH - Thailandia 1
TN - Tunisia 1
TZ - Tanzania 1
XK - ???statistics.table.value.countryCode.XK??? 1
YE - Yemen 1
Totale 3.893
Salva come PNG Salva come JPEG
Città #
Santa Clara 639
Singapore 539
Hefei 201
Hong Kong 191
San Jose 105
Lauterbourg 99
Seoul 81
Tokyo 74
Ho Chi Minh City 65
Ashburn 58
Beijing 56
Hanoi 49
Los Angeles 29
São Paulo 29
New York 21
Nuremberg 19
Pisa 18
Helsinki 11
Minamishinagawa 11
Dallas 10
Belo Horizonte 9
Haiphong 9
Milan 9
Rio de Janeiro 9
Rome 9
Vienna 8
Baghdad 7
Bengaluru 7
Buffalo 7
Dhaka 7
Guarulhos 7
Cesena 6
Orem 6
Porto Alegre 6
Quito 6
Amsterdam 5
Chicago 5
Curitiba 5
Ha Long 5
Jakarta 5
Salvador 5
Tashkent 5
Asunción 4
Cairo 4
Campo Grande 4
Cape Town 4
Chennai 4
Council Bluffs 4
Da Nang 4
Florianópolis 4
Fortaleza 4
Johannesburg 4
Philadelphia 4
Phoenix 4
Recife 4
Atlanta 3
Bagé 3
Biên Hòa 3
Boardman 3
Bolzano 3
Canoas 3
Capão da Canoa 3
Frankfurt am Main 3
Goiânia 3
Guayaquil 3
Kingston 3
London 3
Maceió 3
Miami 3
Monte Quemado 3
Montevideo 3
Montreal 3
Nam Định 3
Natal 3
New Delhi 3
Newark 3
Qingdao 3
Quận Năm 3
Santiago 3
São Bernardo do Campo 3
São Gonçalo 3
Thái Bình 3
Thái Nguyên 3
Addis Ababa 2
Albuquerque 2
Anápolis 2
Astana 2
Bologna 2
Brooklyn 2
Bình Dương 2
Bảo Lộc 2
Bến Lức 2
Bến Tre 2
Campos dos Goytacazes 2
Caracas 2
Caraguatatuba 2
Cary 2
Casablanca 2
Caxias do Sul 2
Charlotte 2
Totale 2.622
Salva come PNG Salva come JPEG
Nome #
Simple indicators for Lorentzian causets (v2) 84
Expressive flexibility of a constraint-oriented notation 78
Planar trinet dynamics with two rewrite rules 73
Algorithmic causal sets for a computational spacetime 63
Formalizing uncertainty in service request/offer description and matching 61
Integrated information in process-algebraic compositions 58
Incremental development of a tool for equivalence verification 56
Third LotoSphere Workshop and Seminar 56
Squiggles: a tool for the analysis of LOTOS specifications 56
L'algoritmo dell'universo 54
Causal sets from simple models of computation 53
From Timed Petri Nets to Timed LOTOS 52
Spacetime computing: towards algorithmic causal sets with special-relativistic properties 52
Teilhard de Chardin e Wolfram: modelli di universo computazionale ed emergenza del foglietto interno delle cose 52
Let's consider two spherical chickens 51
On the Analysis of Time-dependent Protocols by Network-flow Algorithms 49
A layer on top of Prolog for composing behavioural constraints 48
Deriving graphical representations of process networks from algebraic expressions 45
A consistent causality based view on a timed process algebra including urgent interactions 44
Exploring nominal cellular automata 44
Reality is Ultimately Digital and its Program is still Undebugged 44
Stochastic and algorithmic causal sets for de sitter spacetime 44
LOTOS-like composition of boolean nets and causal set construction 43
Causal sets from simple models of computation 42
Single-step and asymptotic mutual information in bipartite boolean nets 42
Simple indicators for Lorentzian causets 41
Nominal cellular automata 41
Behavioral complexity indicators for process algebra: the NKS approach 40
Building discrete spacetimes by simple deterministic computations 40
Planar trivalent network computation 39
Tre esperienze di psico-acustica musicale 39
Simple indicators for Lorentzian causets 39
A consistent causality-based view on a timed process algebra 38
Toward constraint-object-oriented development 38
Humanity is much more than the sum of humans 38
Do particles evolve? 38
TAU2-TAUMUS: il sistema di computer music in tempo reale realizzato a Pisa: descrizione ed esperienze 37
Computer Music in tempo reale: l'esperienza di Pisa 37
Introduction to the ISO Specification Language LOTOS 36
Verification of equivalences between finite transition systems Theory and applications 36
Equivalence verification: theory, algorithms, and a tool 36
Computer music in tempo reale: l'esperienza di Pisa 36
LOTOSphere: Software Development with LOTOS 35
A tutorial on LOTOS 34
Algorithmic causets 34
On unifyng shared variable and handshaking cooperation in processalgebraic specification 33
From timed Petri Nets to timed LOTOS 32
Concurrent Histories 32
G-LOTOS: a graphical language for concurrent systems 32
Correctness preserving transformations for the early phases of software development 32
Transparent LOTOS 32
A graphical composition theorem for LOTOS 32
Introductory paper - Special section on St.Eve workshop 31
Constraint-oriented specification style for time-dependent behavious 31
Constraint-oriented style for object-oriented formal specification 30
On the soundness of graphical representations of interconnected processes in LOTOS 30
Rapid prototyping of verifiers for observation and testing equivalences 30
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes 30
Extensional equivalences for transition systems 30
Process algebra under the light of Wolfram's NKS 29
The Fourth Colloquium on Musical Informatics 29
A timed full LOTOS with time/action tree semantics 29
Correctness Preserving Transformation 28
On the analysis of time-dependent protocols by network-flow algorithms 28
The weakness of some timed models for concurrent systems 28
Computer music 28
A conceptual framework for state-based and event-based formal behavioural specification languages 28
An aerial view on LOTOS 28
A pseudo-random network mobile automaton with linear growth 28
Introduction to the ISO specification language LOTOS 28
Composizione Automatica dalla Musica 1/F alla Musica Autosimile 28
XXL - CNR/RSTL 28
Introduction to a catalogue of LOTOS correctness preserving transformations 28
Formal methods for distributed system development 27
Abstract state processes 27
Composizione automatica: esperimenti di musica autosimile 27
On a state-based constraint-oriented notation for specifying reactive systems 26
GLOW 3.0 - A Graphical LOTOS Browser 26
Composing event constraints in state-based specification 26
Verification of testing equivalence between finite transition systems 26
Representation of SADT Models in LOTOS 26
A formal definition of a subset of G-LOTOS 26
Predicates for state changes vs. processes for event patterns 26
A pseudo-random network mobile automaton with linear growth 25
LOTOS-like Process Algebras with Urgent or Timed Interactions 25
On state-oriented vs. event-oriented thinking in formal behavioural specifications 25
Techniques for the formal definition of the G-LOTOS syntax 25
Graphical Composition Theorems for Parallel and Hiding Operators 25
Catalogue of LOTOS Correctness Preserving Transformations 25
Constraint-oriented specification style and notation 24
A graphical composition theorem for networks of LOTOS processes 24
A Tool for the Analysis of LOTOS Specifications 24
A proposal for a graphic syntax for LOTOS 24
Special Section on St.Eve workshop - Introduction 24
Process algebra under the light of Wolfram's NKS 24
Expressive flexibility in constraint-oriented specification: LOTOS and Co-notation 23
Composing event constraints in state-based specification 23
INVITED PAPER: "The Electric Power of LOTOS 23
Planar trivalent network computation 22
Towards a graphic syntax for LOTOS 22
Totale 3.598
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.754
article - articoli 4.350
book - libri 205
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.835
Totale 21.144
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/20251.608 2 11 97 65 536 108 9 42 20 20 364 334
2025/20262.205 116 217 242 333 353 77 411 125 123 133 40 35
2026/202780 80 0 0 0 0 0 0 0 0 0 0 0
Totale 3.893