SIROVICH, Franco
 Distribuzione geografica
Continente #
NA - Nord America 1.613
EU - Europa 1.414
AS - Asia 379
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 3.416
Nazione #
US - Stati Uniti d'America 1.592
IT - Italia 315
IE - Irlanda 194
UA - Ucraina 190
FR - Francia 180
CN - Cina 172
DE - Germania 166
FI - Finlandia 111
SG - Singapore 96
GB - Regno Unito 94
SE - Svezia 68
KR - Corea 62
PL - Polonia 42
RU - Federazione Russa 28
CA - Canada 21
VN - Vietnam 18
IN - India 11
NL - Olanda 11
AU - Australia 7
JP - Giappone 6
BE - Belgio 5
CH - Svizzera 5
HK - Hong Kong 3
IR - Iran 3
TW - Taiwan 2
AL - Albania 1
AT - Austria 1
AZ - Azerbaigian 1
BR - Brasile 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EU - Europa 1
GE - Georgia 1
HU - Ungheria 1
IL - Israele 1
NZ - Nuova Zelanda 1
PH - Filippine 1
RS - Serbia 1
TR - Turchia 1
Totale 3.416
Città #
Santa Clara 337
Chandler 185
Dublin 182
Jacksonville 140
Villeurbanne 133
Beijing 116
Medford 82
Dearborn 74
Singapore 74
Princeton 54
Columbus 50
Warsaw 40
Ashburn 39
Ann Arbor 35
Milan 35
Wilmington 33
Nyköping 29
Rome 25
Houston 20
Toronto 19
Dong Ket 16
Saint Petersburg 15
Verona 14
Lucca 13
Düsseldorf 12
Falls Church 11
Hefei 11
Boardman 10
Fairfield 10
Norwalk 10
Pisa 10
Florence 9
Redmond 9
Carrara 6
Jinan 6
Kunming 6
Menlo Park 6
San Mateo 6
Brussels 5
Genoa 5
Mountain View 5
Nanjing 5
Redwood City 5
Bologna 4
Fremont 4
Kochi 4
Nanchang 4
Sydney 4
Tokyo 4
Torino 4
Baotou 3
Ferrara 3
Hamburg 3
Hintereben 3
Lausanne 3
Pune 3
Salerno 3
San Pietro 3
Santa Cristina Val Gardena 3
Woodbridge 3
Boydton 2
Cagliari 2
Carpi 2
Cecina 2
Chicago 2
Civitavecchia 2
Conselve 2
Dallas 2
Delhi 2
Edmonton 2
Frankfurt am Main 2
Fuzhou 2
Guangzhou 2
Hangzhou 2
Hebei 2
Hong Kong 2
Livorno 2
Melbourne 2
Montesilvano Marina 2
Napoli 2
Nürnberg 2
Padova 2
San Donà Di Piave 2
Serra 2
Sesto San Giovanni 2
Settimo Milanese 2
Shenyang 2
Travagliato 2
Valeggio sul Mincio 2
Varallo 2
Velletri 2
Villacidro 2
Ambrolauri 1
Andover 1
Ankara 1
Bagni Di Lucca 1
Baku 1
Bangalore 1
Belgrade 1
Bristol 1
Totale 2.037
Nome #
Isomorfismo fra grafi: Un algoritmo efficiente per trovare tutti gli isomorfismi 245
A Non-Standard Theorem Prover 164
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione 99
A conceptual approach to document retrieval 88
Access control models and office structures 83
An Approach to quantitative analysis of dermatoglyphics by digital computer 82
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements 74
Electronic forms with missing values 74
The THORN X.500 distributed directory environment 74
Un algoritmo per la classificazione di impronte digitali 74
A Problem Reduction Model for Non-Independent Subproblems 74
Inducing Function Properties from Computation Traces 73
Pattern Matching and Goal Directed Computation 72
A Capability Based Access Control Model for Office Information Systems 71
Manuale di Riferimento del Linguaggio Intermedio LINT 70
A Distributed System For Banking Applications 70
Program development and documentation by step-wise transformations: An interctive tool 69
Tecniche di Intelligenza artificiale nella Verifica ed Analisi di Programmi 67
Una base dati di moduli di programma orientata al progetto e allo sviluppo strutturato di programmi 66
The Obviously Required Name-server (THORN) - ESPRIT Project THORN General Specification Document 66
An evaluation based theorem prover 65
Some remarks on the equivalence between AND/OR graphs and context-free grammars. 65
Planning and Executing Office Procedures in Project ASPERA 63
Apprendimento e risoluzione automatica di problemi 63
TEL: A Proof-Theoretic Language for Efficient Symbolic Expression Manipulation 62
On Finding the Optimal Access Path to Resolve a Relational Data Base Query 62
Semantic Learning and Procedural Learning 62
Generalized AND/OR Graphs 61
Generalized AND/OR graphs and their relation to formal grammars. 59
Pattern Matching and Call by Pattern 58
On solving the equivalence problem for a sub-class of primitive recursive functions 58
Tentativo di analisi quantitativa dei dermatoglifi con elaboratore elettronico 57
Un sistema per la produzione e la verifica di programmi strutturati 57
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics 56
Strutture di dati: livelli di astrazione e metodi di definizione come strumento di progetto dei programmi 54
Automazione di ufficio per la gestione delle aziende 53
Procedural Axiomatization in Program Verification 53
Some ideas on semantic memory in automatic learning of heuristics 51
A Daemon-based programming system for office procedures 51
null 50
Sviluppo di programmi a livelli: astrazioni, specifiche ed esecuzione simbolica 48
Un linguaggio di tipo PLANNER per l'Intelligenza Artificiale 46
Progettazione ed implementazione del linguaggio LISPP per intelligenza artificiale 46
Valutazione Simbolica e Unificazione 45
Structural Description of Fingerprint Images 45
Un Linguaggio Intermedio per un Sistema Interattivo di Sviluppo di Software per Livelli di Astrazione 44
The Obviously Required Name-server (THORN) - Technical Annex 44
Surmising properties from computations 44
Surmising is sometimes better than proving 44
An Integrated System to Support Program Design Development and Analysis 44
Un modello di controllo degli accessi ad archivi condivisi per sistemi informativi di ufficio 43
Parallel Processing and Computer Semantic Memory 40
Semantic Memory in Automatic Learning of Heuristics 39
Memory System of a Problem Solver Generator 36
A Flexible Environment for Program Development Based on a Symbolic Interpreter 29
Totale 3.552
Categoria #
all - tutte 9.637
article - articoli 0
book - libri 0
conference - conferenze 4.829
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 14.466


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020348 0 0 0 0 0 86 75 13 90 24 32 28
2020/2021309 54 7 61 4 15 8 33 0 66 26 12 23
2021/2022353 5 17 2 7 26 18 37 21 7 7 84 122
2022/2023602 56 26 22 57 56 182 73 26 54 10 24 16
2023/2024204 28 37 10 11 13 8 7 13 1 9 21 46
2024/2025570 6 19 9 68 400 68 0 0 0 0 0 0
Totale 3.552