CNR Institutional Research Information System

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