SIROVICH, Franco
 Distribuzione geografica
Continente #
EU - Europa 1.367
NA - Nord America 1.145
AS - Asia 328
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 2.850
Nazione #
US - Stati Uniti d'America 1.124
IT - Italia 281
IE - Irlanda 194
UA - Ucraina 190
FR - Francia 180
CN - Cina 172
DE - Germania 166
FI - Finlandia 111
GB - Regno Unito 94
SE - Svezia 67
KR - Corea 62
SG - Singapore 52
PL - Polonia 42
RU - Federazione Russa 27
CA - Canada 21
VN - Vietnam 18
IN - India 11
AU - Australia 7
JP - Giappone 6
BE - Belgio 4
CH - Svizzera 4
NL - Olanda 4
IR - Iran 3
AL - Albania 1
BR - Brasile 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EU - Europa 1
HK - Hong Kong 1
NZ - Nuova Zelanda 1
PH - Filippine 1
RS - Serbia 1
TR - Turchia 1
Totale 2.850
Città #
Chandler 185
Dublin 182
Jacksonville 140
Villeurbanne 133
Beijing 116
Medford 82
Dearborn 74
Princeton 54
Warsaw 40
Ann Arbor 35
Singapore 35
Milan 34
Wilmington 33
Ashburn 30
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
Redmond 9
Pisa 8
Florence 7
Carrara 6
Jinan 6
Kunming 6
Menlo Park 6
San Mateo 6
Genoa 5
Mountain View 5
Nanjing 5
Redwood City 5
Bologna 4
Brussels 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
Cecina 2
Civitavecchia 2
Conselve 2
Dallas 2
Delhi 2
Edmonton 2
Frankfurt am Main 2
Fuzhou 2
Guangzhou 2
Hangzhou 2
Hebei 2
Melbourne 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
Andover 1
Ankara 1
Bagni Di Lucca 1
Bangalore 1
Belgrade 1
Bristol 1
Casciana 1
Caserta 1
Castellammare Di Stabia 1
Central 1
Centro 1
Cesena 1
Changchun 1
Chengdu 1
Chicago 1
Totale 1.593
Nome #
Isomorfismo fra grafi: Un algoritmo efficiente per trovare tutti gli isomorfismi 191
A Non-Standard Theorem Prover 153
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione 88
A conceptual approach to document retrieval 79
Access control models and office structures 75
An Approach to quantitative analysis of dermatoglyphics by digital computer 73
Un algoritmo per la classificazione di impronte digitali 66
The THORN X.500 distributed directory environment 65
A Problem Reduction Model for Non-Independent Subproblems 64
Pattern Matching and Goal Directed Computation 64
Electronic forms with missing values 63
A Capability Based Access Control Model for Office Information Systems 63
Manuale di Riferimento del Linguaggio Intermedio LINT 61
A Distributed System For Banking Applications 61
Inducing Function Properties from Computation Traces 60
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements 59
Tecniche di Intelligenza artificiale nella Verifica ed Analisi di Programmi 59
Una base dati di moduli di programma orientata al progetto e allo sviluppo strutturato di programmi 58
The Obviously Required Name-server (THORN) - ESPRIT Project THORN General Specification Document 58
Some remarks on the equivalence between AND/OR graphs and context-free grammars. 57
An evaluation based theorem prover 55
Planning and Executing Office Procedures in Project ASPERA 54
TEL: A Proof-Theoretic Language for Efficient Symbolic Expression Manipulation 54
Apprendimento e risoluzione automatica di problemi 54
Semantic Learning and Procedural Learning 53
On Finding the Optimal Access Path to Resolve a Relational Data Base Query 52
null 50
Generalized AND/OR graphs and their relation to formal grammars. 49
Tentativo di analisi quantitativa dei dermatoglifi con elaboratore elettronico 49
Program development and documentation by step-wise transformations: An interctive tool 48
Pattern Matching and Call by Pattern 48
On solving the equivalence problem for a sub-class of primitive recursive functions 48
Generalized AND/OR Graphs 47
Un sistema per la produzione e la verifica di programmi strutturati 47
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics 46
Strutture di dati: livelli di astrazione e metodi di definizione come strumento di progetto dei programmi 44
Procedural Axiomatization in Program Verification 44
Automazione di ufficio per la gestione delle aziende 42
Some ideas on semantic memory in automatic learning of heuristics 41
A Daemon-based programming system for office procedures 41
Un linguaggio di tipo PLANNER per l'Intelligenza Artificiale 38
Structural Description of Fingerprint Images 37
Un Linguaggio Intermedio per un Sistema Interattivo di Sviluppo di Software per Livelli di Astrazione 36
Surmising properties from computations 36
Valutazione Simbolica e Unificazione 36
Progettazione ed implementazione del linguaggio LISPP per intelligenza artificiale 36
Sviluppo di programmi a livelli: astrazioni, specifiche ed esecuzione simbolica 36
The Obviously Required Name-server (THORN) - Technical Annex 35
Surmising is sometimes better than proving 35
An Integrated System to Support Program Design Development and Analysis 35
Un modello di controllo degli accessi ad archivi condivisi per sistemi informativi di ufficio 34
Parallel Processing and Computer Semantic Memory 31
Semantic Memory in Automatic Learning of Heuristics 30
Memory System of a Problem Solver Generator 27
A Flexible Environment for Program Development Based on a Symbolic Interpreter 21
Totale 2.986
Categoria #
all - tutte 8.083
article - articoli 0
book - libri 0
conference - conferenze 4.061
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 12.144


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020480 12 27 61 8 24 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/20254 4 0 0 0 0 0 0 0 0 0 0 0
Totale 2.986