CATALOGO DEI PRODOTTI DELLA RICERCA

POSENATO, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.554
EU - Europa 4.183
AS - Asia 3.005
SA - Sud America 344
AF - Africa 118
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 12.212
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.456
RU - Federazione Russa 1.344
SG - Singapore 1.229
GB - Regno Unito 1.060
CN - Cina 808
IT - Italia 448
VN - Vietnam 269
BR - Brasile 254
HK - Hong Kong 254
FR - Francia 241
SE - Svezia 237
DE - Germania 191
IE - Irlanda 166
FI - Finlandia 149
AT - Austria 102
KR - Corea 85
CA - Canada 59
IN - India 59
UA - Ucraina 54
ID - Indonesia 52
TR - Turchia 50
ES - Italia 48
JP - Giappone 42
BD - Bangladesh 36
AR - Argentina 31
NL - Olanda 31
MX - Messico 23
PL - Polonia 23
NG - Nigeria 21
BE - Belgio 19
ZA - Sudafrica 19
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
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
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
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
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
Totale 12.198
Salva come PNG Salva come JPEG
Città #
Southend 868
Dallas 796
Singapore 694
Ashburn 570
Moscow 454
Chandler 386
San Jose 381
Jacksonville 316
Verona 238
Hong Kong 230
Woodbridge 177
Dublin 163
Ann Arbor 142
Beijing 139
The Dalles 129
Houston 127
Council Bluffs 110
Los Angeles 90
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
Jakarta 38
Hebei 34
Munich 34
Buffalo 31
Santa Clara 30
Sindelfingen 30
São Paulo 27
Tokyo 27
Orem 26
Klagenfurt 25
Tianjin 25
Toronto 25
Columbus 24
Nanchang 24
Redondo Beach 22
San Francisco 22
Hangzhou 20
Abuja 19
Atlanta 19
Brooklyn 19
Des Moines 19
London 19
Milan 19
Jiaxing 18
Lappeenranta 18
Brussels 17
Changsha 17
Chicago 17
Warsaw 17
Zhengzhou 17
Guangzhou 16
Ningbo 16
Phoenix 16
Seattle 16
Haikou 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
Montreal 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
Norwalk 8
Taiyuan 8
Fairfield 7
L’Aquila 7
Manchester 7
Poplar 7
Totale 7.883
Salva come PNG Salva come JPEG
Nome #
Recent Algorithmic Advances in Simple Temporal Networks with Uncertainty: from Faster Controllability Checking to Faster Execution 356
A Schema-based Approach to Modeling and Querying WWW Data 282
A Better Algorithm for Converting an STNU into Minimal Dispatchable Form 265
A Framework for the Internationalization of Data-Intensive Web Applications 215
Incorporating Decision Nodes into Conditional Simple Temporal Networks 210
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 203
Modelling Temporal, Data-Centric Medical Processes 200
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 196
Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties 193
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 192
Hyper Temporal Networks 191
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 190
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation 190
A note on speeding up DC-checking for STNUs 189
Managing Decision Tasks and Events in Time-Aware Business Process Models 188
Access Controlled Temporal Networks 187
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 185
Optimal Design of Consistent Simple Temporal Networks 185
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 183
Towards Temporal Controllabilities for Workflow Schemata 183
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 181
Analysis of a Genetic Model with Finite Populations 179
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks 178
Conditional Simple Temporal Networks with Uncertainty and Resources 176
Dynamic-Consistency Checking for Conditional Simple Temporal Networks: Strengthening the Theoretical Foundations and Presenting a Faster Algorithm 175
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements 174
Reducing Dynamic-Consistency (DC) Checking for Conditional Simple Temporal Networks (CSTNs) with Bounded Reaction Times to Standard DC Checking for CSTNs 173
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 170
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU) 169
A Neural Circuit for the Maximum 2-Satisfiability Problem 167
A Neural Algorithm for the Maximum Satisfiability Problem 165
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways 165
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty 164
Conceptual Modeling of Flexible Temporal Workflows 163
An Upper Bound of the Maximum Cut Mean 161
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation 161
Neuronal fiber--tracking via optimal mass transportation 156
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty 155
Controllability of Time-Aware Processes at Run Time 155
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking 155
Traps and Pitfalls of Topic-Biased PageRank 153
An Algorithm for the Selection of High-Contrast Color Sets 153
Controlling Time-Awareness in Modularized Processes (Extended Version) 153
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 152
Dynamic controllability via Timed Game Automata 149
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty 146
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract) 143
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks 141
Canonical Form of Nested Diamond Structures 140
Controlling Time-Awareness in Modularized Processes 140
Internationalizing Data-Intensive Web Applications 136
Managing time-awareness in modularized processes 134
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 132
Approximability of the Ground State Problem for Certain Ising Spin Glasses 132
On the Complexity of Temporal Controllabilities for Workflow Schemata 131
A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses 129
Fast Prototyping for Hardware Neural Networks 127
The Dynamic Controllability of Conditional STNs with Uncertainty 126
Temporal representation and reasoning in data-intensive systems 126
Controllability in Temporal Conceptual Workflow Schemata 125
Propagating Piecewise-Linear Weights in Temporal Networks 124
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks 120
Polynomial Time Approximation of Min-Energy in Hopfield Networks 118
Simple Temporal Networks with Partially Shrinkable Uncertainty (extended Version) 117
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 116
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes 116
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning 115
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 112
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form 108
Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty 105
CSTNU Tool: A Java library for checking temporal networks 104
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles 100
Introducing Agile Controllability in Temporal Business Processes 96
Flexible temporal constraint management in modularized processes 96
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form 92
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty 90
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions 81
Dynamic Controllability of Parameterized CSTNUs 80
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) 79
Simple Temporal Networks with Partially Shrinkable Uncertainty 78
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 29
Advanced Information Systems Engineering Workshops 5
Centralized and Distributed approaches for restoring the Weak Controllability of Multi-Agent Interdependent STNUs 5
Totale 12.488
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.762
article - articoli 9.045
book - libri 0
conference - conferenze 24.250
curatela - curatele 0
other - altro 4.563
patent - brevetti 0
selected - selezionate 0
volume - volumi 904
Totale 77.524
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202188 0 0 0 0 0 0 0 0 0 0 0 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.459 354 327 712 755 1.216 315 528 288 336 422 79 127
Totale 12.488