CNR Institutional Research Information System

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