CINECA IRIS Institutional Research Information System

MARTELLI, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.508
EU - Europa 4.677
AS - Asia 1.111
AF - Africa 17
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 15
SA - Sud America 5
Totale 12.349
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.389
DK - Danimarca 1.773
SE - Svezia 568
CN - Cina 527
UA - Ucraina 397
IE - Irlanda 395
DE - Germania 293
FI - Finlandia 270
SG - Singapore 266
GB - Regno Unito 265
FR - Francia 259
IT - Italia 219
KR - Corea 219
CA - Canada 119
PL - Polonia 76
NL - Olanda 51
RU - Federazione Russa 50
VN - Vietnam 47
AT - Austria 17
EU - Europa 15
AU - Australia 14
MU - Mauritius 14
IN - India 12
BE - Belgio 11
HK - Hong Kong 11
JP - Giappone 11
GR - Grecia 9
ES - Italia 8
CZ - Repubblica Ceca 6
BR - Brasile 4
ID - Indonesia 4
RO - Romania 3
TR - Turchia 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
DZ - Algeria 2
LT - Lituania 2
NZ - Nuova Zelanda 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 12.349
Salva come PNG Salva come JPEG
Città #
Ann Arbor 2.382
Santa Clara 469
Wilmington 450
Chandler 401
Beijing 399
Dublin 394
Jacksonville 313
Singapore 205
Houston 186
Princeton 185
Medford 162
Ashburn 153
Dearborn 145
Villeurbanne 144
Columbus 116
Woodbridge 92
Nyköping 89
Fairfield 80
Warsaw 76
Toronto 63
Boardman 56
Milan 53
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
Helsinki 17
New York 16
San Mateo 14
Vienna 14
Alba 13
Düsseldorf 13
Cambridge 12
Hefei 12
Pisa 12
Tianjin 12
Brussels 11
Washington 11
Hong Kong 10
Landshut 9
Los Angeles 9
Asagayakita 8
Kunming 8
Nanjing 8
Fuzhou 7
Nanchang 7
Nuremberg 7
Rome 7
Philadelphia 6
Auburn Hills 5
Des Moines 5
Jinan 5
Kharkiv 5
London 5
Redmond 5
Jakarta 4
Lyon 4
Madrid 4
Mountain View 4
Prague 4
Pune 4
Stockholm 4
Tappahannock 4
Yalta 4
Zhengzhou 4
Chicago 3
Edinburgh 3
Jiaxing 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
IJmuiden 2
Karlsruhe 2
Mignanego 2
Montreal 2
Moscow 2
Munich 2
Ningbo 2
Old Bridge 2
Phoenix 2
San Diego 2
Shanghai 2
Totale 7.355
Salva come PNG Salva come JPEG
Nome #
Verifying Protocol Conformance for Logic-Based Communicating Agents 281
Verification of protocol conformance and agent interoperability 240
Interaction Protocols and Capabilities: a preliminary report 238
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 238
Reasoning About Agents' Interaction Protocols Inside DCaseLP 234
Personalization, verification and conformance for logic-base communicating agents 233
Verification of protocol conformance and agent interoperability 233
Conformance and Interoperability in Open Environments 231
DYnamics in LOGic 231
Modeling, verifying and reasoning about web services 230
Verifying protocol conformance for logic-based communicating agents 227
A priori conformance verification for guaranteeing interoperability in open environments 227
Reasoning about logic-based agent interaction protocols 225
The Need of Capability Requirements Inside Choreographies and Interaction Protocols 224
Preserving player's goals: a choreography-driven matchmaking approach 224
Verifying the conformance of web services to global interaction protocols: a first step 223
Service selection by choreography-driven matching 222
The REWERSE View on Policies 221
Interaction Protocols and Capabilities: a preliminary report 220
Reasoning about agents' interaction protocols inside DCaseLP 217
Programming Rational Agents in a Modal Action Logic 216
Reasoning about Conversation Protocols in a Logic-based Agent Language 216
Verifying the compliance of personalized curricula to curricula models in the semantic web 214
A Modal Programming Language for Representing Complex Actions 214
Reasoning about interaction protocols for customizing web service selection and composition 214
Service selection by choreography-driven matching 213
Reasoning about interaction protocols for web service composition 208
Reasoning on choreographies and capability requirements 208
Reasoning about communicating agents in the semantic web 208
Goal Preservation by Choreography-Driven Matchmaking 202
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach 201
Goal preservation by choreography-driven matchmaking 194
Reasoning about self and others: communicating agents in a modal action logic 192
Intention-guided Web Sites: A New Perspective on Adaptation 191
Reasoning about interaction for personalizing web service fruition 182
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 164
Verifying Business Process Compliance by Reasoning about Actions 145
Verifying Compliance of Business Processes with Temporal Answer Sets 123
Business process compliance verification: an annotation based approach with commitments 101
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione 99
A formal framework for handling audiovisual materials 94
Verifying Business Process Compliance by Reasoning about Actions 92
Reasoning about actions with Temporal Answer Sets 92
Business process verification with constraint temporal answer set programming 91
A Language for Handling Hypothetical Updates and Inconsistency 89
Specialization of Interaction Protocols in a Temporal Action Logic 87
Dealing with Concurrent Actions in Modal Action Logics 86
A Multimodal Logic to define Modules in Logic Programming 85
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic 82
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking 80
Temporal deontic action logic for the verification of compliance to norms in ASP 79
An Abductive Proof Procedure for Conditional Logic Programming 76
Conditional Reasoning in Logic Programming 76
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning 75
Translating a Modal Language with Embedded Implications into Horn Clause Logic 75
A Modal Reconstruction of Blocks and Modules in Logic Programming 75
Workshop “Dagli Oggetti agli Agenti, Sistemi Complessi e Agenti Razionali, WOA 2004" 72
A Framework for Modal Logic Programming 72
A Modal Framework for Structured Logic Programs 70
A semantics for Eshghi and Kowalski’s abductive procedure 70
Verifying Agent Conformance with Protocols: an Automata Based Approach 69
Web Service Composition in a Temporal Action Logic 68
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results 68
Verifying communicating agents by model checking in a temporal action logic 67
Sulla elaborazione di immagini mediante la trasformata di Fourier bidimensionale 66
A Modal Extention of Logic Programming 66
From Dynamic Programming to Search Algorithms with Functional Costs 65
Additive AND-OR Graphs 65
Conditional Logic Programming 63
Automated reasoning 60
Achieving Completeness in Bounded Model Checking of Action Theories in ASP 60
The Seventies 59
Extending Horn Clause Logic with Implication Goals 59
An algorithm for unification in equational theories 59
A structured approach to static semantics correctness 59
Specifying and verifying systems of communicating agents in a temporal action logic 58
Truth Maintenance Systems and Belief Revision 58
Edge detection using heuristic search methods 57
On the complexity of admissible search algorithms 57
A constructive approach to static verification of program properties 57
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph 56
Structuring logic programs: a modal approach 56
Reasoning about actions in a multiagent domain 55
Specifying and verifying interaction protocols in a temporal action logic 54
Strutture di dati: livelli di astrazione e metodi di definizione come strumento di progetto dei programmi 54
Verifying properties of action theories by bounded model checking 53
Generalized Stable Models, Truth Maintenance and Conflict Resolution 52
Communication Trough Message Passing or Shared Memory: a Formal Comparison 52
Reasoning About Web Services in a Temporal Action Logic 50
Reasoning About Actions in Dynamic Linear Time Temporal Logic 50
null 50
Optimal Smoothing in Picture Processing: An Application to Fingerprints 50
On Thickness and Cascade Decomposition of Permutation Connections 50
Verification of action theories in ASP: a complete Bounded Model Checking approach 50
On cumulative default logics 49
Ramification and Causality in a Modal Action Logic 49
Verifying the Conformance of Agents with Multiparty Protocols 49
An Abductive Characterization of the TMS 49
Hypothetical updates, priority and inconsistency in a logic programming language 49
Structured prolog: A language for structured logic programming 49
Totale 12.208
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.943
article - articoli 0
book - libri 0
conference - conferenze 18.728
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 48.671
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.440 0 0 0 0 0 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/2024530 64 107 28 19 34 68 23 20 1 10 68 88
2024/2025938 3 43 22 174 643 53 0 0 0 0 0 0
Totale 13.250