CATALOGO DEI PRODOTTI DELLA RICERCA

POSENATO, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.327
NA - Nord America 2.005
AS - Asia 809
AF - Africa 21
OC - Oceania 5
SA - Sud America 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.174
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.976
GB - Regno Unito 1.003
CN - Cina 547
IT - Italia 253
SE - Svezia 230
FR - Francia 186
IE - Irlanda 161
DE - Germania 122
FI - Finlandia 118
SG - Singapore 87
VN - Vietnam 76
RU - Federazione Russa 63
AT - Austria 53
UA - Ucraina 44
ES - Italia 33
CA - Canada 29
TR - Turchia 26
IN - India 22
BE - Belgio 17
CM - Camerun 17
HK - Hong Kong 11
JP - Giappone 10
CH - Svizzera 8
GR - Grecia 7
IR - Iran 7
NL - Olanda 7
RO - Romania 7
SI - Slovenia 7
AU - Australia 5
KR - Corea 5
TW - Taiwan 4
BD - Bangladesh 3
BR - Brasile 3
CZ - Repubblica Ceca 3
EU - Europa 3
DZ - Algeria 2
GE - Georgia 2
MY - Malesia 2
UZ - Uzbekistan 2
AL - Albania 1
AM - Armenia 1
CY - Cipro 1
EE - Estonia 1
HU - Ungheria 1
IL - Israele 1
IQ - Iraq 1
KG - Kirghizistan 1
LU - Lussemburgo 1
MA - Marocco 1
NG - Nigeria 1
PE - Perù 1
RS - Serbia 1
Totale 5.174
Salva come PNG Salva come JPEG
Città #
Southend 868
Chandler 386
Jacksonville 315
Woodbridge 177
Dublin 159
Ann Arbor 142
Verona 136
Ashburn 127
Houston 121
Beijing 93
Nanjing 69
Wilmington 69
Lancaster 64
Lawrence 62
Princeton 62
Boardman 56
Singapore 53
Shenyang 52
Jinan 45
Dong Ket 42
Vienna 39
Helsinki 37
Hebei 34
Sindelfingen 30
Nanchang 23
Tianjin 20
Hangzhou 18
Brussels 17
Changsha 17
Jiaxing 17
Ningbo 16
Zhengzhou 16
Haikou 15
Toronto 14
San Francisco 13
Seattle 13
Strasbourg 12
Los Angeles 11
New York 11
Taizhou 11
Guangzhou 10
Milan 10
Lanzhou 9
Lugo 9
Ottawa 9
Redwood City 9
Tokyo 9
Norwalk 8
Reston 8
Taiyuan 8
L’Aquila 7
Sabadell 7
St. Gallen 7
Washington 7
Bangalore 6
Fairfield 6
Fuzhou 6
Maspalomas 6
Phoenix 6
Poughkeepsie 6
Tehran 6
Maribor 5
Timisoara 5
Athens 4
Auburn Hills 4
Cambridge 4
Klagenfurt 4
Kunming 4
Moscow 4
Paris 4
Seoul 4
Trento 4
Cadoneghe 3
Dhaka 3
Dongguan 3
Draper 3
London 3
Melbourne 3
Muzzana del Turgnano 3
Nuremberg 3
Occhiobello 3
Prague 3
Qingdao 3
Tappahannock 3
Acerra 2
Amsterdam 2
Atlanta 2
Augusta 2
Batumi 2
Birmingham 2
Bochum 2
Bristol 2
Catanzaro 2
Chennai 2
Dallas 2
Dearborn 2
Domžale 2
El Rosario 2
Falkenstein 2
Frankfurt am Main 2
Totale 3.755
Salva come PNG Salva come JPEG
Nome #
A Schema-based Approach to Modeling and Querying WWW Data 164
Optimal Design of Consistent Simple Temporal Networks 134
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 127
Towards Temporal Controllabilities for Workflow Schemata 123
Analysis of a Genetic Model with Finite Populations 122
Modelling Temporal, Data-Centric Medical Processes 116
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 111
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 109
Incorporating Decision Nodes into Conditional Simple Temporal Networks 109
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 108
Hyper Temporal Networks 107
An Upper Bound of the Maximum Cut Mean 106
A Framework for the Internationalization of Data-Intensive Web Applications 105
Controlling Time-Awareness in Modularized Processes (Extended Version) 100
Dynamic-Consistency Checking for Conditional Simple Temporal Networks: Strengthening the Theoretical Foundations and Presenting a Faster Algorithm 100
Conceptual Modeling of Flexible Temporal Workflows 99
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation 97
Managing Decision Tasks and Events in Time-Aware Business Process Models 96
An Algorithm for the Selection of High-Contrast Color Sets 95
Neuronal fiber--tracking via optimal mass transportation 92
Traps and Pitfalls of Topic-Biased PageRank 89
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks 88
Controllability of Time-Aware Processes at Run Time 88
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 87
Conditional Simple Temporal Networks with Uncertainty and Resources 86
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 85
Controllability in Temporal Conceptual Workflow Schemata 85
A Neural Circuit for the Maximum 2-Satisfiability Problem 84
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 83
The Dynamic Controllability of Conditional STNs with Uncertainty 83
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways 83
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 83
Access Controlled Temporal Networks 83
Reducing Dynamic-Consistency (DC) Checking for Conditional Simple Temporal Networks (CSTNs) with Bounded Reaction Times to Standard DC Checking for CSTNs 83
Approximability of the Ground State Problem for Certain Ising Spin Glasses 80
Dynamic controllability via Timed Game Automata 79
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 78
Controlling Time-Awareness in Modularized Processes 77
A Neural Algorithm for the Maximum Satisfiability Problem 76
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 76
Polynomial Time Approximation of Min-Energy in Hopfield Networks 75
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation 73
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty 73
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty 73
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking 72
Internationalizing Data-Intensive Web Applications 71
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks 69
A note on speeding up DC-checking for STNUs 67
Managing time-awareness in modularized processes 66
Fast Prototyping for Hardware Neural Networks 65
On the Complexity of Temporal Controllabilities for Workflow Schemata 65
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 61
Simple Temporal Networks with Partially Shrinkable Uncertainty (extended Version) 55
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 55
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks 54
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU) 50
Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties 46
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes 46
Propagating Piecewise-Linear Weights in Temporal Networks 43
Simple Temporal Networks with Partially Shrinkable Uncertainty 39
CSTNU Tool: A Java library for checking temporal networks 39
A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses 34
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning 33
Temporal representation and reasoning in data-intensive systems 31
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract) 27
Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty 23
Dynamic Controllability of Parameterized CSTNUs 22
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) 21
Introducing Agile Controllability in Temporal Business Processes 16
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions 16
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form 16
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements 15
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form 14
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty 12
Flexible temporal constraint management in modularized processes 11
Totale 5.424
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.868
article - articoli 3.774
book - libri 0
conference - conferenze 10.852
curatela - curatele 0
other - altro 2.000
patent - brevetti 0
selected - selezionate 0
volume - volumi 242
Totale 33.736
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020558 83 1 3 43 48 46 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/202577 77 0 0 0 0 0 0 0 0 0 0 0
Totale 5.424