CINECA IRIS Institutional Research Information System

MARTELLI, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.767
EU - Europa 4.651
AS - Asia 825
AF - Africa 17
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 15
SA - Sud America 5
Totale 11.295
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.648
DK - Danimarca 1.773
SE - Svezia 568
CN - Cina 516
UA - Ucraina 397
IE - Irlanda 395
DE - Germania 289
FI - Finlandia 268
GB - Regno Unito 265
FR - Francia 257
KR - Corea 219
IT - Italia 218
CA - Canada 119
PL - Polonia 76
NL - Olanda 47
VN - Vietnam 47
RU - Federazione Russa 45
AT - Austria 15
EU - Europa 15
MU - Mauritius 14
AU - Australia 13
IN - India 12
JP - Giappone 11
GR - Grecia 9
BE - Belgio 8
CZ - Repubblica Ceca 6
ES - Italia 5
HK - Hong Kong 5
BR - Brasile 4
RO - Romania 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
DZ - Algeria 2
LT - Lituania 2
NZ - Nuova Zelanda 2
SG - Singapore 2
TR - Turchia 2
AR - Argentina 1
BD - Bangladesh 1
IL - Israele 1
IQ - Iraq 1
LU - Lussemburgo 1
MY - Malesia 1
NO - Norvegia 1
OM - Oman 1
PT - Portogallo 1
SC - Seychelles 1
TW - Taiwan 1
Totale 11.295
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.382
Wilmington 450
Chandler 401
Beijing 397
Dublin 394
Jacksonville 313
Houston 186
Princeton 185
Medford 162
Ashburn 147
Dearborn 145
Villeurbanne 144
Woodbridge 92
Nyköping 89
Fairfield 80
Warsaw 76
Toronto 63
Boardman 53
Milan 52
Boston 39
Dong Ket 39
Fremont 39
Padova 37
Ottawa 33
Verona 31
Falls Church 28
Torino 25
Redwood City 23
Seattle 22
Norwalk 21
Guangzhou 18
Lachine 18
New York 16
Helsinki 15
San Mateo 14
Vienna 14
Alba 13
Düsseldorf 13
Cambridge 12
Hefei 12
Pisa 12
Tianjin 12
Washington 11
Landshut 9
Asagayakita 8
Brussels 8
Kunming 8
Los Angeles 8
Nanjing 8
Nanchang 7
Rome 7
Nuremberg 6
Philadelphia 6
Auburn Hills 5
Des Moines 5
Fuzhou 5
Jinan 5
Kharkiv 5
London 5
Redmond 5
Hong Kong 4
Lyon 4
Mountain View 4
Prague 4
Pune 4
Stockholm 4
Tappahannock 4
Yalta 4
Zhengzhou 4
Chicago 3
Edinburgh 3
Linköping 3
Athens 2
Ballabio 2
Cedar Knolls 2
Chongqing 2
Civitavecchia 2
Dalian 2
Favara 2
Frankfurt 2
Frankfurt am Main 2
Groningen 2
Halle 2
Jiaxing 2
Karlsruhe 2
Mignanego 2
Montreal 2
Moscow 2
Munich 2
Ningbo 2
Old Bridge 2
Phoenix 2
San Diego 2
Shenzhen 2
Sofia 2
Sydney 2
Taiyuan 2
Tokyo 2
University Park 2
Vilnius 2
Totale 6.539
Salva come PNG Salva come JPEG
Nome #
Verifying Protocol Conformance for Logic-Based Communicating Agents 272
Verification of protocol conformance and agent interoperability 233
Interaction Protocols and Capabilities: a preliminary report 229
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 228
Reasoning About Agents' Interaction Protocols Inside DCaseLP 227
Verification of protocol conformance and agent interoperability 225
Personalization, verification and conformance for logic-base communicating agents 224
Conformance and Interoperability in Open Environments 221
DYnamics in LOGic 219
Modeling, verifying and reasoning about web services 218
Verifying protocol conformance for logic-based communicating agents 218
Reasoning about logic-based agent interaction protocols 217
The Need of Capability Requirements Inside Choreographies and Interaction Protocols 217
Verifying the conformance of web services to global interaction protocols: a first step 217
Preserving player's goals: a choreography-driven matchmaking approach 216
A priori conformance verification for guaranteeing interoperability in open environments 215
Service selection by choreography-driven matching 215
Interaction Protocols and Capabilities: a preliminary report 212
The REWERSE View on Policies 212
Programming Rational Agents in a Modal Action Logic 209
Reasoning about Conversation Protocols in a Logic-based Agent Language 209
Verifying the compliance of personalized curricula to curricula models in the semantic web 207
Reasoning about agents' interaction protocols inside DCaseLP 207
Service selection by choreography-driven matching 203
Reasoning about interaction protocols for customizing web service selection and composition 203
A Modal Programming Language for Representing Complex Actions 202
Reasoning about interaction protocols for web service composition 201
Reasoning on choreographies and capability requirements 199
Reasoning about communicating agents in the semantic web 199
Goal Preservation by Choreography-Driven Matchmaking 194
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach 193
Goal preservation by choreography-driven matchmaking 184
Reasoning about self and others: communicating agents in a modal action logic 183
Intention-guided Web Sites: A New Perspective on Adaptation 183
Reasoning about interaction for personalizing web service fruition 174
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 145
Verifying Business Process Compliance by Reasoning about Actions 135
Verifying Compliance of Business Processes with Temporal Answer Sets 111
Business process compliance verification: an annotation based approach with commitments 93
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione 88
Reasoning about actions with Temporal Answer Sets 84
A formal framework for handling audiovisual materials 80
Verifying Business Process Compliance by Reasoning about Actions 80
Business process verification with constraint temporal answer set programming 79
Specialization of Interaction Protocols in a Temporal Action Logic 78
A Language for Handling Hypothetical Updates and Inconsistency 78
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic 74
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking 70
A Multimodal Logic to define Modules in Logic Programming 70
Dealing with Concurrent Actions in Modal Action Logics 69
Temporal deontic action logic for the verification of compliance to norms in ASP 67
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning 66
Translating a Modal Language with Embedded Implications into Horn Clause Logic 66
A Modal Reconstruction of Blocks and Modules in Logic Programming 66
An Abductive Proof Procedure for Conditional Logic Programming 65
Conditional Reasoning in Logic Programming 65
Workshop “Dagli Oggetti agli Agenti, Sistemi Complessi e Agenti Razionali, WOA 2004" 64
A semantics for Eshghi and Kowalski’s abductive procedure 62
Verifying Agent Conformance with Protocols: an Automata Based Approach 61
A Framework for Modal Logic Programming 61
Web Service Composition in a Temporal Action Logic 60
Verifying communicating agents by model checking in a temporal action logic 60
A Modal Framework for Structured Logic Programs 60
Sulla elaborazione di immagini mediante la trasformata di Fourier bidimensionale 59
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results 59
A Modal Extention of Logic Programming 57
From Dynamic Programming to Search Algorithms with Functional Costs 57
Additive AND-OR Graphs 56
Automated reasoning 54
Extending Horn Clause Logic with Implication Goals 53
Conditional Logic Programming 53
Specifying and verifying systems of communicating agents in a temporal action logic 51
The Seventies 51
Truth Maintenance Systems and Belief Revision 51
Achieving Completeness in Bounded Model Checking of Action Theories in ASP 51
An algorithm for unification in equational theories 51
null 50
A structured approach to static semantics correctness 50
Edge detection using heuristic search methods 49
A constructive approach to static verification of program properties 49
Structuring logic programs: a modal approach 49
On the complexity of admissible search algorithms 48
Specifying and verifying interaction protocols in a temporal action logic 47
Reasoning about actions in a multiagent domain 47
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph 46
Verifying properties of action theories by bounded model checking 45
Reasoning About Web Services in a Temporal Action Logic 43
Reasoning About Actions in Dynamic Linear Time Temporal Logic 43
Strutture di dati: livelli di astrazione e metodi di definizione come strumento di progetto dei programmi 43
Generalized Stable Models, Truth Maintenance and Conflict Resolution 43
Communication Trough Message Passing or Shared Memory: a Formal Comparison 43
Ramification and Causality in a Modal Action Logic 42
Verifying the Conformance of Agents with Multiparty Protocols 42
On Thickness and Cascade Decomposition of Permutation Connections 42
Optimal Smoothing in Picture Processing: An Application to Fingerprints 41
On cumulative default logics 40
null 40
Verification of action theories in ASP: a complete Bounded Model Checking approach 40
An Abductive Characterization of the TMS 39
Structured prolog: A language for structured logic programming 39
Totale 11.305
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.641
article - articoli 0
book - libri 0
conference - conferenze 15.397
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 40.038
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201996 0 0 0 0 0 0 0 0 0 0 83 13
2019/20203.609 46 73 346 405 299 437 407 213 346 324 397 316
2020/20213.364 382 245 275 265 270 292 332 262 357 343 256 85
2021/2022937 4 9 36 97 51 42 105 61 24 31 186 291
2022/20231.440 196 38 27 159 160 398 161 65 148 6 56 26
2023/2024414 64 107 28 19 34 68 23 20 1 10 40 0
Totale 12.196