CNR Institutional Research Information System

ASIRELLI, PATRIZIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.238
NA - Nord America 1.372
SA - Sud America 377
EU - Europa 352
AF - Africa 50
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.393
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.322
SG - Singapore 943
CN - Cina 487
BR - Brasile 310
HK - Hong Kong 221
VN - Vietnam 207
FR - Francia 138
JP - Giappone 109
KR - Corea 83
IT - Italia 77
BD - Bangladesh 36
IN - India 36
DE - Germania 33
AR - Argentina 27
GB - Regno Unito 20
MX - Messico 18
EC - Ecuador 16
CA - Canada 15
IQ - Iraq 15
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
JM - Giamaica 3
KZ - Kazakistan 3
NP - Nepal 3
PE - Perù 3
PH - Filippine 3
RO - Romania 3
UY - Uruguay 3
CL - Cile 2
CR - Costa Rica 2
EE - Estonia 2
HN - Honduras 2
KG - Kirghizistan 2
KW - Kuwait 2
LB - Libano 2
OM - Oman 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
CY - Cipro 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GP - Guadalupe 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
IE - Irlanda 1
IR - Iran 1
JO - Giordania 1
KY - Cayman, isole 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
Totale 4.391
Salva come PNG Salva come JPEG
Città #
Singapore 570
Santa Clara 472
Hong Kong 220
Hefei 213
San Jose 200
Ashburn 117
Beijing 109
Lauterbourg 107
Los Angeles 95
Tokyo 91
Seoul 82
Ho Chi Minh City 67
Hanoi 44
New York 40
São Paulo 34
Pisa 16
Buffalo 15
Dallas 15
Minamishinagawa 12
Rio de Janeiro 12
Belo Horizonte 11
Bengaluru 10
Da Nang 10
Milan 9
Munich 9
Guangzhou 8
Mexico City 8
Miami 8
Phoenix 8
Pistoia 8
Atlanta 7
Chennai 7
Biên Hòa 6
Boardman 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
Baghdad 5
Brasília 5
Denver 5
Erbil 5
Helsinki 5
Hải Dương 5
Johannesburg 5
Naples 5
Thái Nguyên 5
Addis Ababa 4
Athens 4
Bari 4
Cuiabá 4
Kuala Lumpur 4
Manaus 4
Memphis 4
Montreal 4
Nairobi 4
Newark 4
Osaka 4
Philadelphia 4
Quận Bình Thạnh 4
Riyadh 4
Stockholm 4
Stuttgart 4
São José do Rio Preto 4
Amsterdam 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
Fort Lauderdale 3
Frankfurt am Main 3
Guarulhos 3
Halle 3
Istanbul 3
Jequié 3
Mumbai 3
Orem 3
Pirassununga 3
Poplar 3
Ribeirão Preto 3
Springfield 3
Surabaya 3
São José dos Campos 3
São José dos Pinhais 3
Tashkent 3
Thái Bình 3
Totale 2.918
Salva come PNG Salva come JPEG
Nome #
Automated Analysis of Legal Texts: logic, informatics, law 92
Recursive query optimization and partial evaluation 84
Recursive queries evaluation: a constraint based top-down/bottom-up method 82
Handling security policies: the example of an italian hospital 74
Medlan a language for semantic integration of heterogeneous knowledge bases 72
Improving integrity constraint checking in deductive databases 72
Functional specifications of Data Processing and Decision Support Services 66
A logic schema for a kernel configuration environment 64
The contraint operator in the medlan language 62
Algorithm representation use case 60
MUSCLE NoE - Report on the infrastructure and demonstrator for multimedia metadata management 58
View constraints: an interpretation of integrity constraints for security 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
Call for a common multimedia ontology framework requirements 53
Graphics by a logic database management system 52
Formal description of variability in product families 52
Integrating multimedia metadata management systems 51
4M: an Infrastructure for MultiMedia Metadata Management 50
Media Analysis and the Algorithm Ontology 48
MUSCLE NoE - DN2.6 - An intermediate release of the 4M infrastructure and a report explaining who is using it and how 46
MUSCLE NoE - DN2.4 - 4M Infrastructure: Final Revision 46
Algorithm representation use case 46
Programmazione logica, basi di dati logiche e grafica 45
A logical framework to deal with variability 43
Muscle NoE --- 4M Infrastructure: Final Revision 43
Ontology driven approach to image understanding 42
A deontic logical framework for modelling product families 42
Multimedia Semantics through Semantics, Computation and Learning - EU NoE FP6-507752 42
Graphedblog reference manual 40
Flexible environment for program development based on a symbolic interpreter 40
Un contributo informatico alla gestione della sicurezza negli ambienti sanitari 39
Deontic logics for modeling behavioural variability 39
A logic database to support configuration management in ADA 38
A declarative approach to the design and realization of graphic interfaces 38
Using MedLan to integrate geographical data 38
Applying restriction constraints to deductive databases 37
MultiMedia metadata management: a proposal for an infrastructure 37
Well-founded semantics for integrity constraints 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
A model-checking tool for families of services 36
IEI-CNUCE-CGD: final report 35
La programmazione logica in ambienti di sviluppo software: un data base di progetto logico 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
Types and modules in logic programming 34
Language constructs for controlling side effects: a proposal 34
Graphics by a logic data base management system 34
Costrutti e linguaggi di programmazione con controllo degli effetti laterali 34
An operator for composing deductive data bases with theories of constraints 34
The knowledge base approach in the Epsilon project 33
An operator for composing deductive databases with theories of constraints 33
Automated testing of safety requirements with the support of a deductive database 32
Toward a scalable multimedia metadata infrastructure using distributed computing and semantic web technologies 32
Graphics by a logic database management system 32
Proposta per un linguaggio di programmazione senza side effects dotato di tipi di dati astratti 32
Towards an integrated envinronment for the specification, design and testing of quality software 31
Supporting reuse and configuration: A port based SCM model 31
Deductive proof of software properties 31
Language extensions for semantic integration of deductive databases 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
Logic databases and graphics: a proposal for integration 30
MedLan: a Logic-based Mediator Language 30
A logic database for validating system models 29
Extended transition networks : a new approach to system development 29
MAGMA-LISP : reference manual 29
Graphedblog: reference manual 29
Role-based security policies management: a health care example 28
A logic database to support configuration management in ADA 28
Selective refutation of integrity constraints in deductive databases 28
Integrazione di ambienti grafici e database logici 28
Some ideas about an interactive system to support specifications development 28
An operator for composing deductive DB with theories of constraints 28
Firewall policies definition tools: an implementation idea 28
L'implementazione del nucleo di un sistema LISP orientato per la elaborazione di contesti semantici 28
A proposal for a graphic-oriented logic database system 28
Views by a constraint-selective refutation procedure in logic-based databases 27
Grafi and-or generalizzati come linguaggio di programmazione 27
Representation of constraints in extended transition network for system modelling 27
Semantica well-founded e vincoli di integrità 27
Gedblog user's guide 27
Integrity constraints, redundancy and consistency in logic Data Bases 27
A deductive tool applied to the definition and verification of firewall policies 26
Correctness and completeness of the SRP_IC refutation procedure 26
Correctness and completeness of the Srp-Ic refutation procedure 26
Manuale di riferimento del linguaggio intermedio LINT 26
Integrity constraints in logic databases 26
Semantic integration of deductive databases 25
Specification and verification of reactive systems using a deductive database 25
Security management for radiological information systems: a tool for defining, verifying and prototyping security policies 25
Horn clauses form of logic: algebraic static semantics of programs 25
KINE a Knowledge Integration Environment 25
Un linguaggio intermedio per un sistema interattivo di sviluppo di software per livelli di astrazione 24
Representation of constraints in an extended transition network 24
Base della conoscenza nell'analisi automatica della legislazione 23
Totale 3.871
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.595
article - articoli 1.386
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 694
Totale 17.675
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.704 118 274 215 417 463 150 513 116 163 180 45 50
2026/202756 56 0 0 0 0 0 0 0 0 0 0 0
Totale 4.393