CATALOGO DEI PRODOTTI DELLA RICERCA

POSENATO, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.531
NA - Nord America 2.098
AS - Asia 1.201
AF - Africa 33
SA - Sud America 6
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.877
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.064
GB - Regno Unito 1.007
CN - Cina 621
SG - Singapore 333
IT - Italia 263
SE - Svezia 230
FR - Francia 195
RU - Federazione Russa 191
IE - Irlanda 162
DE - Germania 127
FI - Finlandia 125
VN - Vietnam 83
AT - Austria 72
UA - Ucraina 44
ES - Italia 40
CA - Canada 34
ID - Indonesia 34
HK - Hong Kong 30
TR - Turchia 27
IN - India 22
NL - Olanda 18
BE - Belgio 17
CM - Camerun 17
TG - Togo 12
JP - Giappone 10
IR - Iran 9
CH - Svizzera 8
GR - Grecia 8
RO - Romania 7
SI - Slovenia 7
KR - Corea 6
TW - Taiwan 6
AU - Australia 5
BR - Brasile 4
BD - Bangladesh 3
CZ - Repubblica Ceca 3
EU - Europa 3
AM - Armenia 2
DZ - Algeria 2
GE - Georgia 2
JO - Giordania 2
MY - Malesia 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
BO - Bolivia 1
CY - Cipro 1
EE - Estonia 1
HU - Ungheria 1
IL - Israele 1
IQ - Iraq 1
KG - Kirghizistan 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
MA - Marocco 1
NG - Nigeria 1
PE - Perù 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
RS - Serbia 1
Totale 5.877
Salva come PNG Salva come JPEG
Città #
Southend 868
Chandler 386
Jacksonville 315
Singapore 273
Woodbridge 177
Dublin 160
Ashburn 159
Ann Arbor 142
Verona 137
Houston 121
Beijing 93
Nanjing 69
Wilmington 69
Lancaster 64
Lawrence 62
Princeton 62
Boardman 56
Shenyang 52
Jinan 47
Helsinki 43
Dong Ket 42
Vienna 41
Hebei 34
Jakarta 34
Sindelfingen 30
Nanchang 23
Tianjin 20
Hangzhou 19
Toronto 18
Brussels 17
Changsha 17
Jiaxing 17
Klagenfurt 17
Los Angeles 16
Ningbo 16
Zhengzhou 16
Haikou 15
Seattle 14
San Francisco 13
Santa Clara 13
Lomé 12
Maspalomas 12
Strasbourg 12
Taizhou 12
Guangzhou 11
Hong Kong 11
Milan 11
New York 11
Lanzhou 9
Lugo 9
Ottawa 9
Redwood City 9
Tokyo 9
Dallas 8
Moscow 8
Norwalk 8
Reston 8
Taiyuan 8
Amsterdam 7
Ho Chi Minh City 7
L’Aquila 7
Sabadell 7
St. Gallen 7
Washington 7
Bangalore 6
Fairfield 6
Fuzhou 6
Phoenix 6
Poughkeepsie 6
Shanghai 6
Tehran 6
Kunming 5
Maribor 5
Timisoara 5
Athens 4
Auburn Hills 4
Cambridge 4
Edinburgh 4
Paris 4
Seoul 4
Trento 4
Bellaire 3
Cadoneghe 3
Chicago 3
Delft 3
Dhaka 3
Dongguan 3
Draper 3
Lappeenranta 3
London 3
Melbourne 3
Muzzana del Turgnano 3
Nuremberg 3
Occhiobello 3
Prague 3
Qingdao 3
Québec 3
Taichung 3
Tappahannock 3
Acerra 2
Totale 4.147
Salva come PNG Salva come JPEG
Nome #
A Schema-based Approach to Modeling and Querying WWW Data 178
Optimal Design of Consistent Simple Temporal Networks 137
Towards Temporal Controllabilities for Workflow Schemata 133
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 132
Analysis of a Genetic Model with Finite Populations 130
Modelling Temporal, Data-Centric Medical Processes 127
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 119
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 118
Incorporating Decision Nodes into Conditional Simple Temporal Networks 117
An Upper Bound of the Maximum Cut Mean 115
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 114
Hyper Temporal Networks 113
A Framework for the Internationalization of Data-Intensive Web Applications 111
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation 110
Conceptual Modeling of Flexible Temporal Workflows 106
Dynamic-Consistency Checking for Conditional Simple Temporal Networks: Strengthening the Theoretical Foundations and Presenting a Faster Algorithm 104
An Algorithm for the Selection of High-Contrast Color Sets 103
Controlling Time-Awareness in Modularized Processes (Extended Version) 103
Managing Decision Tasks and Events in Time-Aware Business Process Models 102
Neuronal fiber--tracking via optimal mass transportation 97
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 96
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 95
Conditional Simple Temporal Networks with Uncertainty and Resources 95
Traps and Pitfalls of Topic-Biased PageRank 94
Controllability of Time-Aware Processes at Run Time 94
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 93
A Neural Circuit for the Maximum 2-Satisfiability Problem 93
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks 92
Reducing Dynamic-Consistency (DC) Checking for Conditional Simple Temporal Networks (CSTNs) with Bounded Reaction Times to Standard DC Checking for CSTNs 91
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways 90
Access Controlled Temporal Networks 89
Dynamic controllability via Timed Game Automata 89
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 88
Controllability in Temporal Conceptual Workflow Schemata 88
The Dynamic Controllability of Conditional STNs with Uncertainty 87
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract) 86
A Neural Algorithm for the Maximum Satisfiability Problem 84
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 83
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 83
Approximability of the Ground State Problem for Certain Ising Spin Glasses 82
Controlling Time-Awareness in Modularized Processes 82
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty 81
Polynomial Time Approximation of Min-Energy in Hopfield Networks 80
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation 80
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty 79
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking 78
Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties 77
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks 77
A note on speeding up DC-checking for STNUs 76
Internationalizing Data-Intensive Web Applications 75
Fast Prototyping for Hardware Neural Networks 71
On the Complexity of Temporal Controllabilities for Workflow Schemata 71
Managing time-awareness in modularized processes 70
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 68
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks 68
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements 64
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 63
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU) 62
Simple Temporal Networks with Partially Shrinkable Uncertainty (extended Version) 57
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes 56
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning 53
Temporal representation and reasoning in data-intensive systems 51
Propagating Piecewise-Linear Weights in Temporal Networks 50
CSTNU Tool: A Java library for checking temporal networks 46
Simple Temporal Networks with Partially Shrinkable Uncertainty 44
A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses 40
Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty 37
Dynamic Controllability of Parameterized CSTNUs 30
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty 28
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) 28
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form 26
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form 24
Flexible temporal constraint management in modularized processes 23
Introducing Agile Controllability in Temporal Business Processes 22
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions 22
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty 7
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles 4
Faster Algorithm for Converting an STNU into Minimal Dispatchable Form 3
Robust Execution of Probabilistic STNs 3
Totale 6.137
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.264
article - articoli 4.708
book - libri 0
conference - conferenze 13.675
curatela - curatele 0
other - altro 2.492
patent - brevetti 0
selected - selezionate 0
volume - volumi 389
Totale 42.528
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020334 0 0 0 0 0 0 50 28 52 73 50 81
2020/2021721 76 108 55 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/2025790 99 151 67 293 87 89 4 0 0 0 0 0
Totale 6.137