CNR Institutional Research Information System

BOLOGNESI, TOMMASO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.000
NA - Nord America 1.050
SA - Sud America 391
EU - Europa 299
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.773
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.023
SG - Singapore 868
CN - Cina 443
BR - Brasile 325
VN - Vietnam 196
HK - Hong Kong 193
FR - Francia 112
JP - Giappone 87
KR - Corea 81
IT - Italia 67
IN - India 33
DE - Germania 30
AR - Argentina 25
AT - Austria 21
BD - Bangladesh 20
NL - Olanda 20
EC - Ecuador 14
GB - Regno Unito 13
ID - Indonesia 13
IL - Israele 12
IQ - Iraq 12
FI - Finlandia 11
ZA - Sudafrica 10
CA - Canada 9
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
MA - Marocco 4
PK - Pakistan 4
VE - Venezuela 4
NP - Nepal 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
ET - Etiopia 2
GR - Grecia 2
JM - Giamaica 2
KZ - Kazakistan 2
MY - Malesia 2
NI - Nicaragua 2
PE - Perù 2
PL - Polonia 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
CR - Costa Rica 1
CU - Cuba 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GE - Georgia 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
OM - Oman 1
PA - Panama 1
PH - Filippine 1
PS - Palestinian Territory 1
RO - Romania 1
RW - Ruanda 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.773
Salva come PNG Salva come JPEG
Città #
Santa Clara 638
Singapore 538
Hefei 201
Hong Kong 191
San Jose 105
Lauterbourg 99
Seoul 81
Tokyo 74
Ho Chi Minh City 65
Beijing 55
Hanoi 49
Ashburn 44
São Paulo 29
Los Angeles 27
New York 20
Nuremberg 19
Pisa 18
Helsinki 11
Minamishinagawa 11
Belo Horizonte 9
Dallas 9
Haiphong 9
Rio de Janeiro 9
Vienna 8
Baghdad 7
Bengaluru 7
Buffalo 7
Dhaka 7
Guarulhos 7
Milan 7
Cesena 6
Porto Alegre 6
Quito 6
Amsterdam 5
Curitiba 5
Ha Long 5
Jakarta 5
Orem 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
Recife 4
Atlanta 3
Bagé 3
Biên Hòa 3
Bolzano 3
Canoas 3
Capão da Canoa 3
Chicago 3
Frankfurt am Main 3
Goiânia 3
Guayaquil 3
London 3
Maceió 3
Monte Quemado 3
Montevideo 3
Montreal 3
Nam Định 3
Natal 3
New Delhi 3
Philadelphia 3
Phoenix 3
Qingdao 3
Quận Năm 3
Rome 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
Anápolis 2
Astana 2
Bologna 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
Casablanca 2
Caxias do Sul 2
Charlotte 2
City of London 2
Dakar 2
Erechim 2
Houston 2
Hoàng Mai 2
Imperatriz 2
Istanbul 2
Totale 2.584
Salva come PNG Salva come JPEG
Nome #
Simple indicators for Lorentzian causets (v2) 82
Expressive flexibility of a constraint-oriented notation 77
Planar trinet dynamics with two rewrite rules 71
Algorithmic causal sets for a computational spacetime 63
Formalizing uncertainty in service request/offer description and matching 61
Incremental development of a tool for equivalence verification 56
Squiggles: a tool for the analysis of LOTOS specifications 56
Integrated information in process-algebraic compositions 55
Third LotoSphere Workshop and Seminar 54
From Timed Petri Nets to Timed LOTOS 52
Spacetime computing: towards algorithmic causal sets with special-relativistic properties 50
Teilhard de Chardin e Wolfram: modelli di universo computazionale ed emergenza del foglietto interno delle cose 50
Causal sets from simple models of computation 50
Let's consider two spherical chickens 50
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
L'algoritmo dell'universo 45
Exploring nominal cellular automata 43
Reality is Ultimately Digital and its Program is still Undebugged 43
LOTOS-like composition of boolean nets and causal set construction 41
A consistent causality based view on a timed process algebra including urgent interactions 40
Causal sets from simple models of computation 40
Single-step and asymptotic mutual information in bipartite boolean nets 40
Stochastic and algorithmic causal sets for de sitter spacetime 40
Simple indicators for Lorentzian causets 39
Planar trivalent network computation 38
Tre esperienze di psico-acustica musicale 38
Do particles evolve? 38
A consistent causality-based view on a timed process algebra 37
Behavioral complexity indicators for process algebra: the NKS approach 37
Nominal cellular automata 37
Building discrete spacetimes by simple deterministic computations 37
TAU2-TAUMUS: il sistema di computer music in tempo reale realizzato a Pisa: descrizione ed esperienze 36
Introduction to the ISO Specification Language LOTOS 36
Equivalence verification: theory, algorithms, and a tool 36
Computer Music in tempo reale: l'esperienza di Pisa 35
Toward constraint-object-oriented development 35
Computer music in tempo reale: l'esperienza di Pisa 35
A tutorial on LOTOS 34
Verification of equivalences between finite transition systems Theory and applications 34
Simple indicators for Lorentzian causets 34
Humanity is much more than the sum of humans 34
Algorithmic causets 33
LOTOSphere: Software Development with LOTOS 33
On unifyng shared variable and handshaking cooperation in processalgebraic specification 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
Transparent LOTOS 31
From timed Petri Nets to timed LOTOS 30
Constraint-oriented style for object-oriented formal specification 30
Concurrent Histories 30
Rapid prototyping of verifiers for observation and testing equivalences 30
G-LOTOS: a graphical language for concurrent systems 30
Correctness preserving transformations for the early phases of software development 30
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes 30
Extensional equivalences for transition systems 30
On the soundness of graphical representations of interconnected processes in LOTOS 29
Process algebra under the light of Wolfram's NKS 29
Correctness Preserving Transformation 28
On the analysis of time-dependent protocols by network-flow algorithms 28
Computer music 28
An aerial view on LOTOS 28
Introduction to the ISO specification language LOTOS 28
XXL - CNR/RSTL 28
Introduction to a catalogue of LOTOS correctness preserving transformations 28
A timed full LOTOS with time/action tree semantics 28
Formal methods for distributed system development 27
A conceptual framework for state-based and event-based formal behavioural specification languages 27
The Fourth Colloquium on Musical Informatics 27
Composizione Automatica dalla Musica 1/F alla Musica Autosimile 27
Composizione automatica: esperimenti di musica autosimile 27
The weakness of some timed models for concurrent systems 26
Abstract state processes 26
GLOW 3.0 - A Graphical LOTOS Browser 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
On a state-based constraint-oriented notation for specifying reactive systems 25
On state-oriented vs. event-oriented thinking in formal behavioural specifications 25
A pseudo-random network mobile automaton with linear growth 25
Techniques for the formal definition of the G-LOTOS syntax 25
Catalogue of LOTOS Correctness Preserving Transformations 25
LOTOS-like Process Algebras with Urgent or Timed Interactions 24
A Tool for the Analysis of LOTOS Specifications 24
Composing event constraints in state-based specification 24
Process algebra under the light of Wolfram's NKS 24
A graphical composition theorem for networks of LOTOS processes 23
Composing event constraints in state-based specification 23
Graphical Composition Theorems for Parallel and Hiding Operators 23
A proposal for a graphic syntax for LOTOS 23
Special Section on St.Eve workshop - Introduction 23
INVITED PAPER: "The Electric Power of LOTOS 23
Constraint-oriented specification style and notation 22
Expressive flexibility in constraint-oriented specification: LOTOS and Co-notation 22
Planar trivalent network computation 22
Towards a graphic syntax for LOTOS 22
Totale 3.485
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.446
article - articoli 3.980
book - libri 187
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.668
Totale 19.281
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.165 116 217 242 333 353 77 411 125 123 133 35 0
Totale 3.773