CATALOGO DEI PRODOTTI DELLA RICERCA

POSENATO, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.975
NA - Nord America 3.583
AS - Asia 2.359
SA - Sud America 287
AF - Africa 76
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 10.288
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.506
RU - Federazione Russa 1.341
GB - Regno Unito 1.044
SG - Singapore 855
CN - Cina 775
IT - Italia 337
HK - Hong Kong 247
SE - Svezia 236
FR - Francia 223
BR - Brasile 221
VN - Vietnam 186
DE - Germania 179
IE - Irlanda 163
FI - Finlandia 144
AT - Austria 90
KR - Corea 54
CA - Canada 50
UA - Ucraina 49
ID - Indonesia 46
ES - Italia 43
IN - India 43
TR - Turchia 41
NL - Olanda 28
JP - Giappone 27
AR - Argentina 24
MX - Messico 20
BD - Bangladesh 19
PL - Polonia 18
BE - Belgio 17
CM - Camerun 17
GR - Grecia 15
ZA - Sudafrica 14
CH - Svizzera 13
TG - Togo 12
BJ - Benin 11
EC - Ecuador 9
IR - Iran 9
RO - Romania 9
TW - Taiwan 9
CO - Colombia 8
IQ - Iraq 7
SI - Slovenia 7
PY - Paraguay 6
UZ - Uzbekistan 6
AU - Australia 5
CL - Cile 5
IL - Israele 5
VE - Venezuela 5
BO - Bolivia 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
LV - Lettonia 4
MA - Marocco 4
TN - Tunisia 4
AE - Emirati Arabi Uniti 3
EU - Europa 3
JO - Giordania 3
LT - Lituania 3
MY - Malesia 3
PK - Pakistan 3
SA - Arabia Saudita 3
UY - Uruguay 3
AM - Armenia 2
CR - Costa Rica 2
CV - Capo Verde 2
GE - Georgia 2
HN - Honduras 2
PE - Perù 2
PT - Portogallo 2
AG - Antigua e Barbuda 1
AL - Albania 1
AO - Angola 1
AZ - Azerbaigian 1
BW - Botswana 1
CD - Congo 1
CY - Cipro 1
DJ - Gibuti 1
EE - Estonia 1
GA - Gabon 1
HU - Ungheria 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
MR - Mauritania 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
QA - Qatar 1
RS - Serbia 1
SD - Sudan 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 10.288
Salva come PNG Salva come JPEG
Città #
Southend 868
Dallas 790
Moscow 454
Singapore 432
Chandler 386
Jacksonville 315
Ashburn 306
Hong Kong 225
Woodbridge 177
Dublin 161
Verona 150
Ann Arbor 142
Beijing 137
Houston 124
Los Angeles 84
Nanjing 69
Wilmington 69
Lancaster 64
Lawrence 62
Princeton 62
Boardman 59
Shenyang 52
The Dalles 52
Jinan 47
Ho Chi Minh City 44
Vienna 44
Helsinki 43
Dong Ket 42
Jakarta 37
Hebei 34
Munich 33
New York 33
Hanoi 31
Buffalo 30
Council Bluffs 30
Sindelfingen 30
São Paulo 25
Tianjin 25
Columbus 24
Nanchang 24
Toronto 23
Redondo Beach 22
San Francisco 21
Hangzhou 20
Santa Clara 20
Milan 19
Tokyo 19
Jiaxing 18
Brooklyn 17
Brussels 17
Changsha 17
Klagenfurt 17
Zhengzhou 17
Des Moines 16
Guangzhou 16
Ningbo 16
Haikou 15
Seattle 15
Lappeenranta 14
London 14
Phoenix 14
Atlanta 13
Chicago 13
Warsaw 13
Lomé 12
Maspalomas 12
Strasbourg 12
Taizhou 12
Amsterdam 11
Cotonou 11
Orem 11
Falkenstein 10
Paris 10
Boston 9
Cambridge 9
Denver 9
Lanzhou 9
Lugo 9
Ottawa 9
Redwood City 9
Reston 9
Chennai 8
Norwalk 8
Taiyuan 8
Ankara 7
Dhaka 7
Fairfield 7
Johannesburg 7
L’Aquila 7
Rio de Janeiro 7
Sabadell 7
Shanghai 7
St. Gallen 7
Stockholm 7
Turku 7
Washington 7
Agía Paraskeví 6
Bangalore 6
Fuzhou 6
Haiphong 6
Totale 6.527
Salva come PNG Salva come JPEG
Nome #
Recent Algorithmic Advances in Simple Temporal Networks with Uncertainty: from Faster Controllability Checking to Faster Execution 335
A Schema-based Approach to Modeling and Querying WWW Data 255
A Better Algorithm for Converting an STNU into Minimal Dispatchable Form 245
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 186
A Framework for the Internationalization of Data-Intensive Web Applications 181
Modelling Temporal, Data-Centric Medical Processes 178
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 176
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 173
Incorporating Decision Nodes into Conditional Simple Temporal Networks 173
Towards Temporal Controllabilities for Workflow Schemata 172
Optimal Design of Consistent Simple Temporal Networks 172
Hyper Temporal Networks 167
Access Controlled Temporal Networks 167
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 165
Analysis of a Genetic Model with Finite Populations 161
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation 161
Managing Decision Tasks and Events in Time-Aware Business Process Models 161
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks 160
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 160
Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties 159
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 157
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 157
Conditional Simple Temporal Networks with Uncertainty and Resources 154
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 150
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation 149
A Neural Circuit for the Maximum 2-Satisfiability Problem 149
An Upper Bound of the Maximum Cut Mean 148
A Neural Algorithm for the Maximum Satisfiability Problem 145
Conceptual Modeling of Flexible Temporal Workflows 145
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements 144
Dynamic-Consistency Checking for Conditional Simple Temporal Networks: Strengthening the Theoretical Foundations and Presenting a Faster Algorithm 144
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU) 144
Neuronal fiber--tracking via optimal mass transportation 141
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways 140
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty 140
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking 136
A note on speeding up DC-checking for STNUs 136
An Algorithm for the Selection of High-Contrast Color Sets 134
Reducing Dynamic-Consistency (DC) Checking for Conditional Simple Temporal Networks (CSTNs) with Bounded Reaction Times to Standard DC Checking for CSTNs 134
Controlling Time-Awareness in Modularized Processes (Extended Version) 130
Traps and Pitfalls of Topic-Biased PageRank 127
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks 127
Dynamic controllability via Timed Game Automata 126
Controllability of Time-Aware Processes at Run Time 125
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 125
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract) 122
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty 120
A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses 118
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 117
Controllability in Temporal Conceptual Workflow Schemata 116
Internationalizing Data-Intensive Web Applications 112
Managing time-awareness in modularized processes 112
Controlling Time-Awareness in Modularized Processes 112
Approximability of the Ground State Problem for Certain Ising Spin Glasses 110
The Dynamic Controllability of Conditional STNs with Uncertainty 108
Canonical Form of Nested Diamond Structures 107
Polynomial Time Approximation of Min-Energy in Hopfield Networks 106
On the Complexity of Temporal Controllabilities for Workflow Schemata 105
Fast Prototyping for Hardware Neural Networks 102
Simple Temporal Networks with Partially Shrinkable Uncertainty (extended Version) 101
Propagating Piecewise-Linear Weights in Temporal Networks 101
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 98
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks 98
Temporal representation and reasoning in data-intensive systems 98
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty 96
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes 96
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning 94
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 94
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form 89
Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty 81
CSTNU Tool: A Java library for checking temporal networks 77
Introducing Agile Controllability in Temporal Business Processes 73
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles 67
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty 67
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form 66
Flexible temporal constraint management in modularized processes 66
Simple Temporal Networks with Partially Shrinkable Uncertainty 64
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) 61
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions 58
Dynamic Controllability of Parameterized CSTNUs 54
Faster Algorithm for Converting an STNU into Minimal Dispatchable Form 37
Robust Execution of Probabilistic STNs 37
Modeling Oracles in Simple Temporal Networks with Uncertainty 8
Totale 10.562
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.419
article - articoli 7.836
book - libri 0
conference - conferenze 20.986
curatela - curatele 0
other - altro 3.903
patent - brevetti 0
selected - selezionate 0
volume - volumi 694
Totale 66.838
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021323 0 0 0 0 0 65 14 31 53 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/20263.533 354 327 712 755 1.216 169 0 0 0 0 0 0
Totale 10.562