CINECA IRIS Institutional Research Information System

MARTELLI, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.774
EU - Europa 4.657
AS - Asia 930
AF - Africa 17
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 15
SA - Sud America 5
Totale 11.414
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.655
DK - Danimarca 1.773
SE - Svezia 568
CN - Cina 516
UA - Ucraina 397
IE - Irlanda 395
DE - Germania 290
FI - Finlandia 269
GB - Regno Unito 265
FR - Francia 259
KR - Corea 219
IT - Italia 218
CA - Canada 119
SG - Singapore 107
PL - Polonia 76
NL - Olanda 47
RU - Federazione Russa 47
VN - Vietnam 47
AT - Austria 15
EU - Europa 15
AU - Australia 14
MU - Mauritius 14
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
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.414
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 149
Dearborn 145
Villeurbanne 144
Woodbridge 92
Nyköping 89
Fairfield 80
Warsaw 76
Singapore 63
Toronto 63
Boardman 56
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
Helsinki 16
New York 16
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
Totale 6.606
Salva come PNG Salva come JPEG
Nome #
Verifying Protocol Conformance for Logic-Based Communicating Agents 273
Verification of protocol conformance and agent interoperability 234
Interaction Protocols and Capabilities: a preliminary report 230
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 228
Reasoning About Agents' Interaction Protocols Inside DCaseLP 228
Personalization, verification and conformance for logic-base communicating agents 225
Verification of protocol conformance and agent interoperability 225
Conformance and Interoperability in Open Environments 222
DYnamics in LOGic 220
Modeling, verifying and reasoning about web services 219
Verifying protocol conformance for logic-based communicating agents 219
Reasoning about logic-based agent interaction protocols 218
The Need of Capability Requirements Inside Choreographies and Interaction Protocols 218
Preserving player's goals: a choreography-driven matchmaking approach 217
Verifying the conformance of web services to global interaction protocols: a first step 217
A priori conformance verification for guaranteeing interoperability in open environments 216
Service selection by choreography-driven matching 215
The REWERSE View on Policies 214
Interaction Protocols and Capabilities: a preliminary report 213
Programming Rational Agents in a Modal Action Logic 210
Reasoning about Conversation Protocols in a Logic-based Agent Language 210
Reasoning about agents' interaction protocols inside DCaseLP 208
Verifying the compliance of personalized curricula to curricula models in the semantic web 207
Service selection by choreography-driven matching 205
Reasoning about interaction protocols for customizing web service selection and composition 204
A Modal Programming Language for Representing Complex Actions 203
Reasoning about interaction protocols for web service composition 201
Reasoning on choreographies and capability requirements 200
Reasoning about communicating agents in the semantic web 200
Goal Preservation by Choreography-Driven Matchmaking 195
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach 194
Goal preservation by choreography-driven matchmaking 185
Intention-guided Web Sites: A New Perspective on Adaptation 185
Reasoning about self and others: communicating agents in a modal action logic 184
Reasoning about interaction for personalizing web service fruition 175
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 112
Business process compliance verification: an annotation based approach with commitments 94
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione 88
Reasoning about actions with Temporal Answer Sets 85
A formal framework for handling audiovisual materials 84
Verifying Business Process Compliance by Reasoning about Actions 81
Specialization of Interaction Protocols in a Temporal Action Logic 80
Business process verification with constraint temporal answer set programming 80
A Language for Handling Hypothetical Updates and Inconsistency 79
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic 75
A Multimodal Logic to define Modules in Logic Programming 71
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking 70
Dealing with Concurrent Actions in Modal Action Logics 70
Translating a Modal Language with Embedded Implications into Horn Clause Logic 68
Temporal deontic action logic for the verification of compliance to norms in ASP 68
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning 67
A Modal Reconstruction of Blocks and Modules in Logic Programming 67
An Abductive Proof Procedure for Conditional Logic Programming 66
Workshop “Dagli Oggetti agli Agenti, Sistemi Complessi e Agenti Razionali, WOA 2004" 65
Conditional Reasoning in Logic Programming 65
Verifying Agent Conformance with Protocols: an Automata Based Approach 62
A semantics for Eshghi and Kowalski’s abductive procedure 62
A Framework for Modal Logic Programming 62
Web Service Composition in a Temporal Action Logic 61
Verifying communicating agents by model checking in a temporal action logic 61
A Modal Framework for Structured Logic Programs 61
Sulla elaborazione di immagini mediante la trasformata di Fourier bidimensionale 60
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results 60
From Dynamic Programming to Search Algorithms with Functional Costs 58
A Modal Extention of Logic Programming 57
Additive AND-OR Graphs 57
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 52
The Seventies 52
Truth Maintenance Systems and Belief Revision 52
Achieving Completeness in Bounded Model Checking of Action Theories in ASP 51
An algorithm for unification in equational theories 51
A structured approach to static semantics correctness 51
null 50
A constructive approach to static verification of program properties 50
Edge detection using heuristic search methods 49
On the complexity of admissible search algorithms 49
Structuring logic programs: a modal approach 49
Specifying and verifying interaction protocols in a temporal action logic 48
Reasoning about actions in a multiagent domain 48
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph 47
Verifying properties of action theories by bounded model checking 46
Generalized Stable Models, Truth Maintenance and Conflict Resolution 45
Reasoning About Web Services in a Temporal Action Logic 44
Reasoning About Actions in Dynamic Linear Time Temporal Logic 44
Strutture di dati: livelli di astrazione e metodi di definizione come strumento di progetto dei programmi 44
Communication Trough Message Passing or Shared Memory: a Formal Comparison 44
Ramification and Causality in a Modal Action Logic 43
Verifying the Conformance of Agents with Multiparty Protocols 43
Optimal Smoothing in Picture Processing: An Application to Fingerprints 43
On Thickness and Cascade Decomposition of Permutation Connections 43
On cumulative default logics 41
Verification of action theories in ASP: a complete Bounded Model Checking approach 41
An Abductive Characterization of the TMS 40
null 40
Structured prolog: A language for structured logic programming 40
Totale 11.393
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.312
article - articoli 0
book - libri 0
conference - conferenze 16.464
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 42.776
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024530 64 107 28 19 34 68 23 20 1 10 68 88
2024/20253 3 0 0 0 0 0 0 0 0 0 0 0
Totale 12.315