CATALOGO DEI PRODOTTI DELLA RICERCA

POSENATO, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.618
EU - Europa 4.418
AS - Asia 3.070
SA - Sud America 365
Continente sconosciuto - Info sul continente non disponibili 289
AF - Africa 124
OC - Oceania 5
Totale 13.889
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.425
RU - Federazione Russa 1.351
SG - Singapore 1.240
GB - Regno Unito 1.070
CN - Cina 818
IT - Italia 626
VN - Vietnam 271
BR - Brasile 266
HK - Hong Kong 258
FR - Francia 244
SE - Svezia 238
DE - Germania 194
IE - Irlanda 166
FI - Finlandia 150
CA - Canada 117
AT - Austria 107
KR - Corea 85
IN - India 67
UA - Ucraina 55
ID - Indonesia 53
TR - Turchia 53
BD - Bangladesh 50
ES - Italia 48
JP - Giappone 42
NL - Olanda 39
AR - Argentina 34
PL - Polonia 24
MX - Messico 23
NG - Nigeria 21
BE - Belgio 19
GR - Grecia 19
ZA - Sudafrica 19
CO - Colombia 18
IQ - Iraq 18
CM - Camerun 17
CH - Svizzera 15
EC - Ecuador 14
LT - Lituania 14
TG - Togo 13
BJ - Benin 11
IR - Iran 11
TW - Taiwan 11
MY - Malesia 10
SV - El Salvador 10
UZ - Uzbekistan 10
VE - Venezuela 10
PH - Filippine 9
PK - Pakistan 9
RO - Romania 9
SA - Arabia Saudita 9
HN - Honduras 8
MA - Marocco 8
TN - Tunisia 8
CR - Costa Rica 7
CW - ???statistics.table.value.countryCode.CW??? 7
IL - Israele 7
NI - Nicaragua 7
SI - Slovenia 7
TH - Thailandia 7
CL - Cile 6
DZ - Algeria 6
GT - Guatemala 6
PY - Paraguay 6
SC - Seychelles 6
AU - Australia 5
BO - Bolivia 4
CZ - Repubblica Ceca 4
LV - Lettonia 4
PT - Portogallo 4
QA - Qatar 4
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
AM - Armenia 3
AZ - Azerbaigian 3
EU - Europa 3
JO - Giordania 3
NP - Nepal 3
PE - Perù 3
TT - Trinidad e Tobago 3
AO - Angola 2
CV - Capo Verde 2
EE - Estonia 2
GE - Georgia 2
HU - Ungheria 2
JM - Giamaica 2
OM - Oman 2
PA - Panama 2
PR - Porto Rico 2
AG - Antigua e Barbuda 1
AL - Albania 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BS - Bahamas 1
BW - Botswana 1
CD - Congo 1
CY - Cipro 1
DJ - Gibuti 1
DK - Danimarca 1
EG - Egitto 1
ET - Etiopia 1
Totale 13.589
Salva come PNG Salva come JPEG
Città #
Southend 868
Dallas 836
Ashburn 752
Singapore 696
San Jose 463
Moscow 454
Chandler 387
Jacksonville 317
Verona 239
Hong Kong 231
The Dalles 189
Woodbridge 177
Council Bluffs 171
Dublin 163
Ann Arbor 142
Beijing 140
Houston 135
Los Angeles 109
Ho Chi Minh City 72
Wilmington 70
Nanjing 69
Staranzano 69
Lancaster 65
Boardman 64
Lawrence 62
Princeton 62
Santa Clara 55
Shenyang 52
Hanoi 49
Jinan 47
New York 47
Helsinki 44
Vienna 44
Milan 43
Dong Ket 42
Jakarta 38
Hebei 34
Munich 34
Buffalo 33
Toronto 31
Klagenfurt 30
North Bergen 30
Sindelfingen 30
Orem 27
São Paulo 27
Tokyo 27
Cambridge 26
Columbus 26
Atlanta 25
Chicago 25
Tianjin 25
Nanchang 24
Phoenix 24
Redondo Beach 23
San Francisco 23
Montreal 22
Brooklyn 21
Hangzhou 20
London 20
Seattle 20
Abuja 19
Des Moines 19
Denver 18
Jiaxing 18
Lappeenranta 18
Warsaw 18
Brussels 17
Changsha 17
Zhengzhou 17
Guangzhou 16
Ningbo 16
Haikou 15
Chennai 14
Rome 14
Amsterdam 13
Lomé 12
Maspalomas 12
Ottawa 12
Strasbourg 12
Taizhou 12
Boston 11
Cotonou 11
Falkenstein 11
Paris 11
Reston 11
Vilnius 11
Dhaka 10
Frankfurt am Main 10
Haiphong 10
Johannesburg 10
Las Vegas 10
Osaka 10
Tashkent 10
Cleveland 9
Lanzhou 9
Lugo 9
McKinney 9
Redwood City 9
Ankara 8
Athens 8
Totale 8.596
Salva come PNG Salva come JPEG
Nome #
Recent Algorithmic Advances in Simple Temporal Networks with Uncertainty: from Faster Controllability Checking to Faster Execution 380
A Schema-based Approach to Modeling and Querying WWW Data 292
A Better Algorithm for Converting an STNU into Minimal Dispatchable Form 282
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 235
A Framework for the Internationalization of Data-Intensive Web Applications 232
Incorporating Decision Nodes into Conditional Simple Temporal Networks 228
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 219
A note on speeding up DC-checking for STNUs 215
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 211
Modelling Temporal, Data-Centric Medical Processes 209
Managing Decision Tasks and Events in Time-Aware Business Process Models 209
Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties 206
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation 206
Hyper Temporal Networks 204
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 201
Access Controlled Temporal Networks 201
Reducing Dynamic-Consistency (DC) Checking for Conditional Simple Temporal Networks (CSTNs) with Bounded Reaction Times to Standard DC Checking for CSTNs 201
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 199
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 198
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 197
Optimal Design of Consistent Simple Temporal Networks 196
Towards Temporal Controllabilities for Workflow Schemata 195
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty 192
Analysis of a Genetic Model with Finite Populations 192
Dynamic-Consistency Checking for Conditional Simple Temporal Networks: Strengthening the Theoretical Foundations and Presenting a Faster Algorithm 192
Conditional Simple Temporal Networks with Uncertainty and Resources 191
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements 187
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks 187
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU) 184
Canonical Form of Nested Diamond Structures 180
A Neural Algorithm for the Maximum Satisfiability Problem 180
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty 180
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 179
Conceptual Modeling of Flexible Temporal Workflows 179
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation 177
A Neural Circuit for the Maximum 2-Satisfiability Problem 177
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways 174
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking 172
Neuronal fiber--tracking via optimal mass transportation 171
Traps and Pitfalls of Topic-Biased PageRank 170
Controllability of Time-Aware Processes at Run Time 169
Controlling Time-Awareness in Modularized Processes (Extended Version) 169
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 169
An Upper Bound of the Maximum Cut Mean 166
An Algorithm for the Selection of High-Contrast Color Sets 166
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty 163
Dynamic controllability via Timed Game Automata 160
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract) 155
Controlling Time-Awareness in Modularized Processes 155
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks 150
Temporal representation and reasoning in data-intensive systems 149
Approximability of the Ground State Problem for Certain Ising Spin Glasses 147
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 145
Internationalizing Data-Intensive Web Applications 145
Managing time-awareness in modularized processes 143
On the Complexity of Temporal Controllabilities for Workflow Schemata 141
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 141
Fast Prototyping for Hardware Neural Networks 140
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes 140
A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses 139
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning 137
Controllability in Temporal Conceptual Workflow Schemata 136
The Dynamic Controllability of Conditional STNs with Uncertainty 134
Propagating Piecewise-Linear Weights in Temporal Networks 134
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks 132
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 131
Polynomial Time Approximation of Min-Energy in Hopfield Networks 129
Simple Temporal Networks with Partially Shrinkable Uncertainty (extended Version) 129
CSTNU Tool: A Java library for checking temporal networks 126
Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty 124
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form 121
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles 120
Introducing Agile Controllability in Temporal Business Processes 114
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty 112
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form 108
Flexible temporal constraint management in modularized processes 108
Dynamic Controllability of Parameterized CSTNUs 95
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) 93
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions 90
Simple Temporal Networks with Partially Shrinkable Uncertainty 89
Robust Execution of Probabilistic STNs 64
Faster Algorithm for Converting an STNU into Minimal Dispatchable Form 60
Modeling Oracles in Simple Temporal Networks with Uncertainty 48
Sviluppare l'agency docente nell'era dell'Intelligenza Artificiale Generativa: un modello istituzionale e multilivello di Faculty Development 34
Centralized and Distributed approaches for restoring the Weak Controllability of Multi-Agent Interdependent STNUs 33
Centralized and Distributed Approaches for Restoring the Weak Controllability of Multi-Agent Interdependent STNUs 29
Advanced Information Systems Engineering Workshops 27
Totale 13.889
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.138
article - articoli 10.277
book - libri 0
conference - conferenze 27.490
curatela - curatele 0
other - altro 5.185
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.186
Totale 88.276
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022428 0 0 0 0 76 48 23 31 33 24 31 162
2022/20231.118 91 129 125 200 53 253 26 73 115 8 28 17
2023/2024713 31 54 46 81 85 59 47 39 20 48 84 119
2024/20251.682 99 151 67 293 87 89 78 99 194 70 128 327
2025/20265.460 354 327 712 755 1.216 315 528 288 336 422 79 128
2026/20271.400 142 240 310 596 112 0 0 0 0 0 0 0
Totale 13.889