CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021482 0 0 0 83 76 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/20261.442 354 327 715 46 0 0 0 0 0 0 0 0
Totale 8.471