CATALOGO DEI PRODOTTI DELLA RICERCA

POSENATO, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.863
EU - Europa 4.213
AS - Asia 3.044
SA - Sud America 347
Continente sconosciuto - Info sul continente non disponibili 279
AF - Africa 121
OC - Oceania 5
Totale 12.872
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.757
RU - Federazione Russa 1.344
SG - Singapore 1.236
GB - Regno Unito 1.060
CN - Cina 813
IT - Italia 469
VN - Vietnam 269
HK - Hong Kong 258
BR - Brasile 256
FR - Francia 241
SE - Svezia 237
DE - Germania 192
IE - Irlanda 166
FI - Finlandia 150
AT - Austria 102
KR - Corea 85
CA - Canada 64
IN - India 64
UA - Ucraina 55
ID - Indonesia 52
TR - Turchia 51
BD - Bangladesh 48
ES - Italia 48
JP - Giappone 42
NL - Olanda 33
AR - Argentina 32
MX - Messico 23
PL - Polonia 23
NG - Nigeria 21
BE - Belgio 19
GR - Grecia 19
ZA - Sudafrica 19
IQ - Iraq 18
CM - Camerun 17
CH - Svizzera 15
CO - Colombia 13
EC - Ecuador 13
TG - Togo 13
BJ - Benin 11
IR - Iran 11
TW - Taiwan 11
UZ - Uzbekistan 10
VE - Venezuela 10
MY - Malesia 9
PK - Pakistan 9
RO - Romania 9
MA - Marocco 8
SA - Arabia Saudita 8
TN - Tunisia 8
PH - Filippine 7
SI - Slovenia 7
TH - Thailandia 7
CL - Cile 6
DZ - Algeria 6
PY - Paraguay 6
AU - Australia 5
IL - Israele 5
BO - Bolivia 4
CZ - Repubblica Ceca 4
HN - Honduras 4
LV - Lettonia 4
PT - Portogallo 4
QA - Qatar 4
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
EU - Europa 3
JO - Giordania 3
LT - Lituania 3
NP - Nepal 3
PE - Perù 3
SC - Seychelles 3
AM - Armenia 2
AO - Angola 2
CR - Costa Rica 2
CV - Capo Verde 2
GE - Georgia 2
HU - Ungheria 2
NI - Nicaragua 2
OM - Oman 2
PA - Panama 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
EE - Estonia 1
EG - Egitto 1
ET - Etiopia 1
GA - Gabon 1
GT - Guatemala 1
JM - Giamaica 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
Totale 12.579
Salva come PNG Salva come JPEG
Città #
Southend 868
Dallas 796
Singapore 696
Ashburn 595
Moscow 454
San Jose 399
Chandler 387
Jacksonville 316
Verona 238
Hong Kong 231
The Dalles 189
Woodbridge 177
Council Bluffs 167
Dublin 163
Ann Arbor 142
Beijing 140
Houston 131
Los Angeles 98
Ho Chi Minh City 72
Nanjing 69
Wilmington 69
Lancaster 64
Boardman 62
Lawrence 62
Princeton 62
Shenyang 52
Hanoi 47
Jinan 47
Helsinki 44
Vienna 44
New York 43
Dong Ket 42
Santa Clara 41
Jakarta 38
Hebei 34
Munich 34
Buffalo 32
Sindelfingen 30
São Paulo 27
Tokyo 27
Toronto 27
Cambridge 26
Orem 26
Klagenfurt 25
Tianjin 25
Columbus 24
Nanchang 24
Redondo Beach 22
San Francisco 22
Milan 21
Atlanta 20
Brooklyn 20
Hangzhou 20
Abuja 19
Des Moines 19
London 19
Chicago 18
Jiaxing 18
Lappeenranta 18
Brussels 17
Changsha 17
Phoenix 17
Seattle 17
Warsaw 17
Zhengzhou 17
Guangzhou 16
Ningbo 16
Haikou 15
Amsterdam 13
Chennai 13
Denver 13
Lomé 12
Maspalomas 12
Strasbourg 12
Taizhou 12
Cotonou 11
Falkenstein 11
Paris 11
Boston 10
Dhaka 10
Haiphong 10
Johannesburg 10
Montreal 10
Osaka 10
Ottawa 10
Tashkent 10
Frankfurt am Main 9
Lanzhou 9
Lugo 9
Redwood City 9
Reston 9
Ankara 8
Athens 8
Bonavigo 8
Da Nang 8
Norwalk 8
Shanghai 8
Taiyuan 8
Fairfield 7
L’Aquila 7
Totale 8.106
Salva come PNG Salva come JPEG
Nome #
Recent Algorithmic Advances in Simple Temporal Networks with Uncertainty: from Faster Controllability Checking to Faster Execution 366
A Schema-based Approach to Modeling and Querying WWW Data 283
A Better Algorithm for Converting an STNU into Minimal Dispatchable Form 271
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 224
A Framework for the Internationalization of Data-Intensive Web Applications 219
Incorporating Decision Nodes into Conditional Simple Temporal Networks 212
Modelling Temporal, Data-Centric Medical Processes 202
Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties 200
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 200
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 200
A note on speeding up DC-checking for STNUs 199
Hyper Temporal Networks 195
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation 194
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 192
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 191
Access Controlled Temporal Networks 191
Managing Decision Tasks and Events in Time-Aware Business Process Models 191
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 188
Towards Temporal Controllabilities for Workflow Schemata 187
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 186
Optimal Design of Consistent Simple Temporal Networks 186
Dynamic-Consistency Checking for Conditional Simple Temporal Networks: Strengthening the Theoretical Foundations and Presenting a Faster Algorithm 184
Analysis of a Genetic Model with Finite Populations 180
Conditional Simple Temporal Networks with Uncertainty and Resources 180
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks 179
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements 178
Reducing Dynamic-Consistency (DC) Checking for Conditional Simple Temporal Networks (CSTNs) with Bounded Reaction Times to Standard DC Checking for CSTNs 177
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU) 174
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty 173
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 171
A Neural Circuit for the Maximum 2-Satisfiability Problem 170
A Neural Algorithm for the Maximum Satisfiability Problem 167
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways 166
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty 166
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation 165
Conceptual Modeling of Flexible Temporal Workflows 165
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking 163
An Upper Bound of the Maximum Cut Mean 161
Controllability of Time-Aware Processes at Run Time 161
Canonical Form of Nested Diamond Structures 159
Traps and Pitfalls of Topic-Biased PageRank 159
Neuronal fiber--tracking via optimal mass transportation 159
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 157
An Algorithm for the Selection of High-Contrast Color Sets 155
Controlling Time-Awareness in Modularized Processes (Extended Version) 154
Dynamic controllability via Timed Game Automata 151
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty 150
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract) 145
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks 143
Controlling Time-Awareness in Modularized Processes 142
Approximability of the Ground State Problem for Certain Ising Spin Glasses 139
Internationalizing Data-Intensive Web Applications 137
Managing time-awareness in modularized processes 136
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 134
On the Complexity of Temporal Controllabilities for Workflow Schemata 133
Temporal representation and reasoning in data-intensive systems 132
Fast Prototyping for Hardware Neural Networks 130
A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses 130
Controllability in Temporal Conceptual Workflow Schemata 128
The Dynamic Controllability of Conditional STNs with Uncertainty 126
Propagating Piecewise-Linear Weights in Temporal Networks 125
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes 123
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning 122
Polynomial Time Approximation of Min-Energy in Hopfield Networks 122
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 122
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks 122
CSTNU Tool: A Java library for checking temporal networks 119
Simple Temporal Networks with Partially Shrinkable Uncertainty (extended Version) 118
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 114
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form 111
Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty 110
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form 100
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles 100
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty 100
Flexible temporal constraint management in modularized processes 100
Introducing Agile Controllability in Temporal Business Processes 97
Dynamic Controllability of Parameterized CSTNUs 86
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions 82
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) 81
Simple Temporal Networks with Partially Shrinkable Uncertainty 80
Robust Execution of Probabilistic STNs 58
Faster Algorithm for Converting an STNU into Minimal Dispatchable Form 51
Modeling Oracles in Simple Temporal Networks with Uncertainty 39
Centralized and Distributed approaches for restoring the Weak Controllability of Multi-Agent Interdependent STNUs 23
Advanced Information Systems Engineering Workshops 11
Totale 12.872
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.853
article - articoli 9.531
book - libri 0
conference - conferenze 25.487
curatela - curatele 0
other - altro 4.811
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.024
Totale 81.706
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022476 0 0 24 24 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/2027383 142 240 1 0 0 0 0 0 0 0 0 0
Totale 12.872