CATALOGO DEI PRODOTTI DELLA RICERCA

POSENATO, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.374
EU - Europa 4.164
AS - Asia 2.983
SA - Sud America 342
AF - Africa 118
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 11.989
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.286
RU - Federazione Russa 1.344
SG - Singapore 1.225
GB - Regno Unito 1.060
CN - Cina 799
IT - Italia 438
VN - Vietnam 269
HK - Hong Kong 253
BR - Brasile 252
FR - Francia 239
SE - Svezia 236
DE - Germania 191
IE - Irlanda 166
FI - Finlandia 149
AT - Austria 99
KR - Corea 85
IN - India 59
CA - Canada 54
UA - Ucraina 54
ID - Indonesia 52
TR - Turchia 50
ES - Italia 48
JP - Giappone 41
AR - Argentina 31
BD - Bangladesh 30
NL - Olanda 30
MX - Messico 22
PL - Polonia 22
NG - Nigeria 21
ZA - Sudafrica 19
BE - Belgio 18
IQ - Iraq 18
CM - Camerun 17
CH - Svizzera 15
GR - Grecia 15
CO - Colombia 13
EC - Ecuador 13
TG - Togo 13
BJ - Benin 11
TW - Taiwan 11
UZ - Uzbekistan 10
VE - Venezuela 10
IR - Iran 9
PK - Pakistan 9
RO - Romania 9
MA - Marocco 8
MY - Malesia 8
SA - Arabia Saudita 8
TN - Tunisia 8
PH - Filippine 7
SI - Slovenia 7
CL - Cile 6
DZ - Algeria 6
PY - Paraguay 6
AU - Australia 5
IL - Israele 5
TH - Thailandia 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
EU - Europa 3
HN - Honduras 3
JO - Giordania 3
LT - Lituania 3
NP - Nepal 3
PE - Perù 3
AM - Armenia 2
AO - Angola 2
AZ - Azerbaigian 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
BW - Botswana 1
CD - Congo 1
CY - Cipro 1
DJ - Gibuti 1
EE - Estonia 1
EG - Egitto 1
ET - Etiopia 1
GA - Gabon 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
MN - Mongolia 1
Totale 11.979
Salva come PNG Salva come JPEG
Città #
Southend 868
Dallas 792
Singapore 694
Ashburn 546
Moscow 454
Chandler 386
San Jose 363
Jacksonville 315
Verona 238
Hong Kong 229
Woodbridge 177
Dublin 163
Ann Arbor 142
Beijing 138
The Dalles 129
Houston 126
Los Angeles 88
Ho Chi Minh City 72
Nanjing 69
Wilmington 69
Lancaster 64
Lawrence 62
Princeton 62
Boardman 59
Shenyang 52
Hanoi 47
Jinan 47
Helsinki 44
Vienna 44
Dong Ket 42
New York 40
Council Bluffs 39
Jakarta 38
Hebei 34
Munich 34
Buffalo 30
Sindelfingen 30
Santa Clara 29
São Paulo 27
Tokyo 26
Orem 25
Tianjin 25
Columbus 24
Nanchang 24
Toronto 23
Klagenfurt 22
Redondo Beach 22
San Francisco 22
Hangzhou 20
Abuja 19
London 19
Milan 19
Brooklyn 18
Des Moines 18
Jiaxing 18
Lappeenranta 18
Brussels 17
Changsha 17
Warsaw 17
Zhengzhou 17
Atlanta 16
Chicago 16
Guangzhou 16
Ningbo 16
Seattle 16
Haikou 15
Phoenix 15
Amsterdam 13
Denver 13
Lomé 12
Maspalomas 12
Strasbourg 12
Taizhou 12
Cotonou 11
Falkenstein 11
Paris 11
Cambridge 10
Haiphong 10
Johannesburg 10
Osaka 10
Ottawa 10
Tashkent 10
Boston 9
Dhaka 9
Frankfurt am Main 9
Lanzhou 9
Lugo 9
Redwood City 9
Reston 9
Ankara 8
Bonavigo 8
Chennai 8
Da Nang 8
Montreal 8
Norwalk 8
Taiyuan 8
Fairfield 7
L’Aquila 7
Manchester 7
Poplar 7
Totale 7.736
Salva come PNG Salva come JPEG
Nome #
Recent Algorithmic Advances in Simple Temporal Networks with Uncertainty: from Faster Controllability Checking to Faster Execution 350
A Schema-based Approach to Modeling and Querying WWW Data 282
A Better Algorithm for Converting an STNU into Minimal Dispatchable Form 264
A Framework for the Internationalization of Data-Intensive Web Applications 212
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 202
Incorporating Decision Nodes into Conditional Simple Temporal Networks 199
Modelling Temporal, Data-Centric Medical Processes 198
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 196
Hyper Temporal Networks 191
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 190
Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties 189
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 187
Access Controlled Temporal Networks 187
Managing Decision Tasks and Events in Time-Aware Business Process Models 187
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation 186
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 184
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 183
Optimal Design of Consistent Simple Temporal Networks 183
Towards Temporal Controllabilities for Workflow Schemata 180
Analysis of a Genetic Model with Finite Populations 179
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 178
A note on speeding up DC-checking for STNUs 178
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks 175
Conditional Simple Temporal Networks with Uncertainty and Resources 174
Dynamic-Consistency Checking for Conditional Simple Temporal Networks: Strengthening the Theoretical Foundations and Presenting a Faster Algorithm 172
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 169
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements 168
Reducing Dynamic-Consistency (DC) Checking for Conditional Simple Temporal Networks (CSTNs) with Bounded Reaction Times to Standard DC Checking for CSTNs 166
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU) 166
A Neural Algorithm for the Maximum Satisfiability Problem 165
A Neural Circuit for the Maximum 2-Satisfiability Problem 165
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty 163
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways 162
Conceptual Modeling of Flexible Temporal Workflows 161
An Upper Bound of the Maximum Cut Mean 160
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation 160
Neuronal fiber--tracking via optimal mass transportation 155
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking 155
Traps and Pitfalls of Topic-Biased PageRank 152
Controllability of Time-Aware Processes at Run Time 152
An Algorithm for the Selection of High-Contrast Color Sets 151
Controlling Time-Awareness in Modularized Processes (Extended Version) 149
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 149
Dynamic controllability via Timed Game Automata 147
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty 145
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty 144
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract) 141
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks 141
Canonical Form of Nested Diamond Structures 136
Internationalizing Data-Intensive Web Applications 136
Managing time-awareness in modularized processes 131
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 130
Controlling Time-Awareness in Modularized Processes 130
Approximability of the Ground State Problem for Certain Ising Spin Glasses 129
On the Complexity of Temporal Controllabilities for Workflow Schemata 129
Fast Prototyping for Hardware Neural Networks 127
A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses 125
The Dynamic Controllability of Conditional STNs with Uncertainty 124
Temporal representation and reasoning in data-intensive systems 124
Controllability in Temporal Conceptual Workflow Schemata 123
Propagating Piecewise-Linear Weights in Temporal Networks 119
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks 119
Polynomial Time Approximation of Min-Energy in Hopfield Networks 117
Simple Temporal Networks with Partially Shrinkable Uncertainty (extended Version) 115
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes 113
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning 112
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 112
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 111
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form 105
CSTNU Tool: A Java library for checking temporal networks 102
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles 99
Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty 96
Flexible temporal constraint management in modularized processes 95
Introducing Agile Controllability in Temporal Business Processes 93
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form 91
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty 83
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions 78
Dynamic Controllability of Parameterized CSTNUs 78
Simple Temporal Networks with Partially Shrinkable Uncertainty 78
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) 78
Robust Execution of Probabilistic STNs 57
Faster Algorithm for Converting an STNU into Minimal Dispatchable Form 50
Modeling Oracles in Simple Temporal Networks with Uncertainty 26
Totale 12.263
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.501
article - articoli 8.555
book - libri 0
conference - conferenze 22.857
curatela - curatele 0
other - altro 4.306
patent - brevetti 0
selected - selezionate 0
volume - volumi 783
Totale 73.002
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021160 0 0 0 0 0 0 0 0 0 9 63 88
2021/2022619 47 96 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.234 354 327 712 755 1.216 315 528 288 336 403 0 0
Totale 12.263