CNR Institutional Research Information System

ASIRELLI, PATRIZIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.225
NA - Nord America 1.294
SA - Sud America 377
EU - Europa 337
AF - Africa 50
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.287
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.248
SG - Singapore 942
CN - Cina 487
BR - Brasile 310
HK - Hong Kong 221
VN - Vietnam 207
FR - Francia 137
JP - Giappone 109
KR - Corea 83
IT - Italia 67
IN - India 36
DE - Germania 30
AR - Argentina 27
BD - Bangladesh 26
GB - Regno Unito 20
MX - Messico 18
EC - Ecuador 16
IQ - Iraq 15
CA - Canada 14
TR - Turchia 14
FI - Finlandia 13
NL - Olanda 13
ZA - Sudafrica 13
IL - Israele 12
ID - Indonesia 9
SA - Arabia Saudita 9
AZ - Azerbaigian 8
PK - Pakistan 7
UA - Ucraina 7
MA - Marocco 6
AE - Emirati Arabi Uniti 5
EG - Egitto 5
ES - Italia 5
GR - Grecia 5
KE - Kenya 5
PL - Polonia 5
RU - Federazione Russa 5
TH - Thailandia 5
TN - Tunisia 5
VE - Venezuela 5
AT - Austria 4
ET - Etiopia 4
LT - Lituania 4
MY - Malesia 4
PY - Paraguay 4
SE - Svezia 4
UZ - Uzbekistan 4
AU - Australia 3
BG - Bulgaria 3
BO - Bolivia 3
CO - Colombia 3
CZ - Repubblica Ceca 3
DZ - Algeria 3
KZ - Kazakistan 3
PE - Perù 3
PH - Filippine 3
UY - Uruguay 3
CL - Cile 2
EE - Estonia 2
HN - Honduras 2
JM - Giamaica 2
KG - Kirghizistan 2
KW - Kuwait 2
NP - Nepal 2
OM - Oman 2
RO - Romania 2
TG - Togo 2
TT - Trinidad e Tobago 2
AL - Albania 1
BB - Barbados 1
BF - Burkina Faso 1
BH - Bahrain 1
BW - Botswana 1
BY - Bielorussia 1
CG - Congo 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
IE - Irlanda 1
IR - Iran 1
JO - Giordania 1
KY - Cayman, isole 1
LB - Libano 1
ML - Mali 1
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
RE - Reunion 1
RS - Serbia 1
SN - Senegal 1
SV - El Salvador 1
TJ - Tagikistan 1
TW - Taiwan 1
Totale 4.286
Salva come PNG Salva come JPEG
Città #
Singapore 569
Santa Clara 471
Hong Kong 220
Hefei 213
San Jose 200
Beijing 109
Lauterbourg 107
Los Angeles 95
Ashburn 94
Tokyo 91
Seoul 82
Ho Chi Minh City 67
Hanoi 44
New York 37
São Paulo 34
Pisa 16
Dallas 15
Buffalo 13
Minamishinagawa 12
Rio de Janeiro 12
Belo Horizonte 11
Bengaluru 10
Da Nang 10
Munich 9
Guangzhou 8
Mexico City 8
Phoenix 8
Pistoia 8
Chennai 7
Biên Hòa 6
Boston 6
Campinas 6
Chicago 6
Dhaka 6
Goiânia 6
Guayaquil 6
Haiphong 6
Houston 6
London 6
Nuremberg 6
Quito 6
Seattle 6
Turku 6
Atlanta 5
Baghdad 5
Brasília 5
Denver 5
Erbil 5
Helsinki 5
Hải Dương 5
Johannesburg 5
Milan 5
Thái Nguyên 5
Addis Ababa 4
Athens 4
Bari 4
Cuiabá 4
Kuala Lumpur 4
Manaus 4
Miami 4
Montreal 4
Nairobi 4
Naples 4
Newark 4
Osaka 4
Quận Bình Thạnh 4
Riyadh 4
Stockholm 4
Stuttgart 4
São José do Rio Preto 4
Amsterdam 3
Boardman 3
Brooklyn 3
Bình Dương 3
Bảo Lộc 3
Cairo 3
Cape Town 3
Casablanca 3
Changsha 3
Chongqing 3
Elk Grove Village 3
Frankfurt am Main 3
Guarulhos 3
Halle 3
Istanbul 3
Jequié 3
Mumbai 3
Orem 3
Philadelphia 3
Pirassununga 3
Poplar 3
Ribeirão Preto 3
Surabaya 3
São José dos Campos 3
São José dos Pinhais 3
Tashkent 3
Thái Bình 3
Toronto 3
Turin 3
Vienna 3
Totale 2.872
Salva come PNG Salva come JPEG
Nome #
Automated Analysis of Legal Texts: logic, informatics, law 92
Recursive queries evaluation: a constraint based top-down/bottom-up method 82
Recursive query optimization and partial evaluation 81
Handling security policies: the example of an italian hospital 73
Improving integrity constraint checking in deductive databases 72
Medlan a language for semantic integration of heterogeneous knowledge bases 71
Functional specifications of Data Processing and Decision Support Services 65
A logic schema for a kernel configuration environment 64
The contraint operator in the medlan language 61
Algorithm representation use case 59
View constraints: an interpretation of integrity constraints for security 57
MUSCLE NoE - Report on the infrastructure and demonstrator for multimedia metadata management 57
An infrastructure for multimedia metadata management 56
A logical framework to deal with variability 56
A light weight name service and its use within a collaborative editor 54
Graphics by a logic database management system 52
Formal description of variability in product families 52
4M: an Infrastructure for MultiMedia Metadata Management 49
Integrating multimedia metadata management systems 48
Media Analysis and the Algorithm Ontology 47
MUSCLE NoE - DN2.4 - 4M Infrastructure: Final Revision 46
Algorithm representation use case 46
MUSCLE NoE - DN2.6 - An intermediate release of the 4M infrastructure and a report explaining who is using it and how 44
A logical framework to deal with variability 43
Ontology driven approach to image understanding 42
A deontic logical framework for modelling product families 42
Programmazione logica, basi di dati logiche e grafica 42
Muscle NoE --- 4M Infrastructure: Final Revision 42
Multimedia Semantics through Semantics, Computation and Learning - EU NoE FP6-507752 41
Deontic logics for modeling behavioural variability 39
Flexible environment for program development based on a symbolic interpreter 38
Using MedLan to integrate geographical data 38
Applying restriction constraints to deductive databases 37
Graphedblog reference manual 37
MultiMedia metadata management: a proposal for an infrastructure 37
A logic database to support configuration management in ADA 37
A declarative approach to the design and realization of graphic interfaces 37
Call for a common multimedia ontology framework requirements 37
Un contributo informatico alla gestione della sicurezza negli ambienti sanitari 36
The knowledge base approach in the epsilon project 36
MUSCLE NoE - 2.1 Showcase: Generating and integrating MPEG-7 compliant metadata from images and videos for spatio-temporal, semantic, and feature query processing 36
IEI-CNUCE-CGD: final report 35
SRP-IC: a selective refutation procedure for integrity constraints checking 35
Mantaining design knowledge in system development 35
A compositional framework to derive product line behavioural descriptions 35
A model-checking tool for families of services 35
Types and modules in logic programming 34
Language constructs for controlling side effects: a proposal 34
An operator for composing deductive data bases with theories of constraints 34
Well-founded semantics for integrity constraints 33
Graphics by a logic data base management system 33
An operator for composing deductive databases with theories of constraints 33
Costrutti e linguaggi di programmazione con controllo degli effetti laterali 33
Graphics by a logic database management system 32
Toward a scalable multimedia metadata infrastructure using distributed computing and semantic web technologies 31
La programmazione logica in ambienti di sviluppo software: un data base di progetto logico 31
Deductive proof of software properties 31
The Constraint Operator of MedLan: its efficient implementation and use 31
A logic approach to configuration in ADA 31
Supporting software components production 30
The knowledge base approach in the Epsilon project 30
Supporting reuse and configuration: A port based SCM model 30
Logic databases and graphics: a proposal for integration 30
MedLan: a Logic-based Mediator Language 30
Proposta per un linguaggio di programmazione senza side effects dotato di tipi di dati astratti 30
Automated testing of safety requirements with the support of a deductive database 29
Towards an integrated envinronment for the specification, design and testing of quality software 29
Extended transition networks : a new approach to system development 29
Language extensions for semantic integration of deductive databases 29
MAGMA-LISP : reference manual 29
A logic database for validating system models 28
Role-based security policies management: a health care example 28
A logic database to support configuration management in ADA 28
Integrazione di ambienti grafici e database logici 28
An operator for composing deductive DB with theories of constraints 28
Graphedblog: reference manual 28
Firewall policies definition tools: an implementation idea 28
Views by a constraint-selective refutation procedure in logic-based databases 27
Selective refutation of integrity constraints in deductive databases 27
Some ideas about an interactive system to support specifications development 27
Gedblog user's guide 27
Integrity constraints, redundancy and consistency in logic Data Bases 27
L'implementazione del nucleo di un sistema LISP orientato per la elaborazione di contesti semantici 27
A deductive tool applied to the definition and verification of firewall policies 26
Correctness and completeness of the Srp-Ic refutation procedure 26
Integrity constraints in logic databases 26
A proposal for a graphic-oriented logic database system 26
Semantic integration of deductive databases 25
Grafi and-or generalizzati come linguaggio di programmazione 25
Specification and verification of reactive systems using a deductive database 25
Representation of constraints in extended transition network for system modelling 25
Semantica well-founded e vincoli di integrità 25
Correctness and completeness of the SRP_IC refutation procedure 25
Manuale di riferimento del linguaggio intermedio LINT 25
KINE a Knowledge Integration Environment 25
Un linguaggio intermedio per un sistema interattivo di sviluppo di software per livelli di astrazione 24
Security management for radiological information systems: a tool for defining, verifying and prototyping security policies 24
Representation of constraints in an extended transition network 24
Base della conoscenza nell'analisi automatica della legislazione 23
A flexible environment for program development based on a symbolic interpreter 23
Totale 3.782
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.283
article - articoli 1.286
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 620
Totale 16.189
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202413 0 0 0 0 0 0 0 0 4 0 6 3
2024/20251.620 6 13 142 55 361 112 3 50 34 12 451 381
2025/20262.654 118 274 215 417 463 150 513 116 163 180 45 0
Totale 4.287