IRIS Institutional Research Information System

Giunchiglia, Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.719
EU - Europa 2.634
AS - Asia 1.074
AF - Africa 73
OC - Oceania 57
Continente sconosciuto - Info sul continente non disponibili 31
SA - Sud America 31
Totale 8.619
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.641
DE - Germania 585
SE - Svezia 475
UA - Ucraina 441
IT - Italia 279
FI - Finlandia 267
CN - Cina 243
HK - Hong Kong 196
IN - India 164
GB - Regno Unito 146
VN - Vietnam 134
IE - Irlanda 126
RU - Federazione Russa 95
FR - Francia 71
CA - Canada 67
AU - Australia 55
KR - Corea 48
SG - Singapore 45
NL - Olanda 40
EU - Europa 31
ZA - Sudafrica 29
ID - Indonesia 28
IR - Iran 27
AE - Emirati Arabi Uniti 26
JP - Giappone 26
IL - Israele 20
BE - Belgio 18
EG - Egitto 16
RO - Romania 16
LB - Libano 15
TW - Taiwan 15
PE - Perù 13
TH - Thailandia 13
PH - Filippine 12
PK - Pakistan 12
TR - Turchia 12
ES - Italia 11
AT - Austria 9
BR - Brasile 9
PL - Polonia 9
MX - Messico 8
CZ - Repubblica Ceca 7
PT - Portogallo 7
DZ - Algeria 6
MY - Malesia 6
UG - Uganda 6
HR - Croazia 5
JO - Giordania 5
LK - Sri Lanka 5
SA - Arabia Saudita 5
AR - Argentina 4
DK - Danimarca 4
LT - Lituania 4
BD - Bangladesh 3
CO - Colombia 3
CY - Cipro 3
GH - Ghana 3
GR - Grecia 3
HU - Ungheria 3
MA - Marocco 3
NO - Norvegia 3
SK - Slovacchia (Repubblica Slovacca) 3
AL - Albania 2
CL - Cile 2
CM - Camerun 2
IQ - Iraq 2
NZ - Nuova Zelanda 2
OM - Oman 2
RS - Serbia 2
TZ - Tanzania 2
BH - Bahrain 1
BW - Botswana 1
CH - Svizzera 1
CR - Costa Rica 1
GE - Georgia 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LY - Libia 1
MN - Mongolia 1
PR - Porto Rico 1
QA - Qatar 1
RW - Ruanda 1
SC - Seychelles 1
SD - Sudan 1
SI - Slovenia 1
SM - San Marino 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 8.619
Salva come PNG Salva come JPEG
Città #
Chandler 932
Jacksonville 915
Wilmington 265
Boardman 228
Ashburn 226
Hong Kong 192
Helsinki 137
Dong Ket 129
Kronberg 126
Dublin 122
Dearborn 121
Woodbridge 108
Redwood City 89
Ann Arbor 83
Seattle 80
Fuzhou 68
Beijing 61
Houston 47
San Mateo 41
Melbourne 39
Toronto 38
Brooklyn 37
Augusta 35
Shanghai 35
Milan 32
Singapore 32
Phoenix 30
Pune 30
Los Angeles 26
Mountain View 26
Trento 21
Tokyo 20
New York 18
Leawood 17
Brussels 16
Beirut 15
Monmouth Junction 15
Norwalk 15
Pretoria 15
Guangzhou 14
Cairo 12
Hanover 12
Seoul 12
Tappahannock 11
Arequipa 10
Chicago 10
Falls Church 10
Nanjing 10
Rome 10
Utrecht 10
Auburn Hills 9
Cape Town 9
Des Moines 9
Fairfield 9
Falkenstein 9
Jakarta 9
Manchester 8
Taipei 8
Verona 8
Ankara 7
Ardabil 7
Bengaluru 7
Berlin 7
Redmond 7
Shenzhen 7
Hefei 6
Kampala 6
London 6
Madrid 6
Ottawa 6
Bangkok 5
Fremont 5
Incheon 5
Inglewood 5
Munich 5
Paris 5
San Jose 5
Surabaya 5
Abu Dhabi 4
Al Ain 4
Annaba 4
Bologna 4
Brno 4
Dresden 4
Dubai 4
Durban 4
Florence 4
Ho Chi Minh City 4
Nuremberg 4
Padova 4
Pozza di Fassa 4
Sacramento 4
Stoke-on-trent 4
Toulouse 4
Vilnius 4
Zanjan 4
Bad Kreuznach 3
Bandung 3
Bangalore 3
Catania 3
Totale 4.877
Salva come PNG Salva come JPEG
Nome #
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective 1.113
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità 198
Towards an Agent Oriented approach to Software Engineering 152
Verso una scienza epistemologica del senso comune. Il progetto scientifico di John McCarthy 116
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 92
A Many Sorted Natural Deduction 87
Calculating Criticalities 86
Data Management for Peer-to-Peer Computing: A Vision 85
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 81
A Model Based Decision Procedure for Common Sense Temporal Reasoning 81
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 78
Planning with Failure 77
C-OWL: Contextualizing Ontologies 75
A System for Multi-Level Reasoning 75
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 75
Local Relational Model: a logical formalization of database coordination 74
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 74
A New Method for Testing Decision Procedures in Modal and Terminological Logics 74
A Context-Based Framework for Mental Representation 73
A Knowledge Level Software Engineering Methodology for Agent Oriented Software 72
A Foundation for Metareasoning Part I: The Proof Theory 70
A Foundation for Metareasoning. Part II: The model theory 70
A General Purpose Reasoner for Abstraction 70
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE 70
Agent-Oriented Software Development: A Case Study 69
Dealing with Expected and Unexpected Obstacles 69
Tactics: extending the notion of plan 69
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 68
Theorem Proving in Technology Transfer: the user`s point of view 67
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 67
Abstraction in Planning via Model Checking 67
A Local Models Semantics for Propositional Attitudes 66
Certification of Translators via Off-line and On-line Proof Logging and Checking 66
A semantics for abstraction 66
A Metatheory of a Mechanized Object Theory 66
A SAT-based Decision Procedure for ALC 65
Designinig Coordination among Human and Software Agents 64
ABSFOL: A Proof Checker with Abstraction 64
MRG: un sistema di ragionamento distribuito per applicazioni complesse 64
Automating meta-theory creation and system extension 64
Modeling early requirements in Tropos: a transformation based approach 64
Non-Omniscient Belief as Context-Based Resoning 63
From Tableau-based to SAT-based procedures - preliminary report 63
Tropos: An Agent-Oriented Software Development Methodology 62
A Metatheory of a Mechnized Object Theory 62
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 62
Computing Abstraction Hierarchies by Numerical Simulation 62
Formal Verification of a Railway Interlocking System Using Model Checking 62
A System for Multi-Level Mathematical Reasoning 62
Biblioteca elettronica e biblioteca virtuale 61
The Tropos Software Development Methodology: Processes, Models and Diagrams 60
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 60
Program Tactics and Logic Tactics 60
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 60
Understanding scene descriptions by integrating different sources of knowledge 60
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 60
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 60
Proving Theorems by Using Abstraction Interactively 60
Implicit Culture and Multi-agent Systems 60
A Logic of Belief and a Model Checking Algorithm for Security Protocols 59
The Tropos Modeling Language. A User Guide 59
A Large Scale Taxonomy Mapping Evaluation 59
Context-Based Formal Specification of Multi-Agent Systems 59
Model Checking Syllabi and Student Careers 58
Program Tactics and Logic Tactics 58
Plan formation and execution in a uniform architecture of declarative metatheories 58
The Local Relational Model: Model and Proof Theory 58
Knowledge Level Software Engineering 58
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 57
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 57
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 57
NuSMV: a new symbolic model checker 56
Reflective reasoning with and between a declarative metatheory and the implementation code 56
Theories of Abstraction 56
La deduzione automatica 56
Planning as Model Checking 55
AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000 55
Bidirectional Reasoning 55
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem 54
ML systems: A Proof Theory for Contexts 54
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 54
Fast Prototyping per la gestione dei piani di protezione civile 54
Planning via Model Checking: A Decision Procedure for AR 53
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility 53
A Logic Level Specification of the NQTHM Simplification Process 53
Multilanguage First Order Theories of Propositional Attitudes 53
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 52
Specification and Integration of Theorem Provers and Computer Algebra Systems 52
The Control Component of Open Mechanized Reasoning Systems 52
MRG: sistema di ragionamento 52
Ideal and Real Belief about Belief: Some Intuitions 52
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem 51
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 51
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 51
Model Checking Security Protocols Using a Logic of Belief 50
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems 50
Primo nucleo di servizi di base per l'informatizzazione della Protezione Civile della Provincia Autonoma di Trento 50
An Epistemological Science of Commonsense 50
Agents as Reasoners, Observers or Believers 50
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 49
Totale 7.568
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.277
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 44.277
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.528 166 141 18 30 203 120 196 33 165 160 174 122
2020/20211.685 171 19 198 126 152 60 182 30 22 352 125 248
2021/2022740 35 39 19 113 55 20 21 120 50 44 64 160
2022/20232.110 48 118 53 379 139 325 28 180 489 169 107 75
2023/20241.416 154 75 194 125 62 138 80 169 38 243 25 113
2024/202518 18 0 0 0 0 0 0 0 0 0 0 0
Totale 8.737