IRIS
Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.138
EU - Europa 368
AS - Asia 255
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 2
OC - Oceania 2
SA - Sud America 2
Totale 2.771
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.129
SG - Singapore 153
UA - Ucraina 115
SE - Svezia 84
CN - Cina 65
FI - Finlandia 50
GB - Regno Unito 33
DE - Germania 25
IT - Italia 21
JO - Giordania 20
BG - Bulgaria 15
RU - Federazione Russa 10
CA - Canada 8
FR - Francia 5
EU - Europa 4
ID - Indonesia 4
IL - Israele 4
AU - Australia 2
BE - Belgio 2
BW - Botswana 2
IR - Iran 2
NL - Olanda 2
SK - Slovacchia (Repubblica Slovacca) 2
AL - Albania 1
BR - Brasile 1
CO - Colombia 1
ES - Italia 1
HK - Hong Kong 1
KG - Kirghizistan 1
KH - Cambogia 1
KR - Corea 1
LK - Sri Lanka 1
LT - Lituania 1
MX - Messico 1
MY - Malesia 1
NO - Norvegia 1
TR - Turchia 1
Totale 2.771
Salva come PNG Salva come JPEG
Città #
Fairfield 252
Jacksonville 245
Chandler 238
Ashburn 176
Woodbridge 130
Seattle 124
Singapore 122
Cambridge 95
Wilmington 95
Houston 91
Columbus 87
Princeton 70
San Mateo 58
Ann Arbor 49
New York 32
Fremont 27
Dearborn 26
Beijing 24
Boardman 17
San Diego 15
Sofia 15
Helsinki 14
Lawrence 11
Falls Church 8
Santa Clara 8
Los Angeles 7
London 6
Norwalk 6
Shanghai 6
Washington 6
Kunming 5
Milan 5
Moscow 5
Munich 5
Toronto 5
Andover 4
Hefei 4
Jakarta 4
Nanjing 4
Kilburn 3
Lappeenranta 3
Paris 3
Amsterdam 2
Ardabil 2
Bratislava 2
Brussels 2
Council Bluffs 2
Dallas 2
Düsseldorf 2
Gaborone 2
Hounslow 2
New Bedfont 2
Trento 2
Turin 2
Augusta 1
Baotou 1
Berlin 1
Bishkek 1
Bochum 1
Bogotá 1
Bonndorf 1
Changsha 1
Chengdu 1
Colombo 1
Dalmine 1
Frankfurt am Main 1
Guangzhou 1
Haifa 1
Izmir 1
Jining 1
Laives 1
Laurel 1
Madrid 1
Mexico City 1
Montreal 1
Montréal 1
Mountain View 1
Nanchang 1
Ningbo 1
Oslo 1
Ottawa 1
Palo Alto 1
Perth 1
Phnom Penh 1
Prescot 1
Prestwick 1
Radcliffe 1
Redmond 1
Rome 1
Scuola 1
Seoul 1
Shenyang 1
Strasbourg 1
São Paulo 1
Tel Aviv 1
Tirana 1
Verona 1
Wuhan 1
Totale 2.178
Salva come PNG Salva come JPEG
Nome #
A model checking verification environment for mobile processes 118
Automated Synthesis of Composite BPEL4WS Web Services 97
A model-checking verification environment for mobile processes 95
A request language for web services based on planning and constraint satisfaction 95
A Parametric Communication Model for the Verification of BPEL4WS Compositions 92
`Closed interval process algebra' versus `interval process algebra' 91
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language 90
History-Dependent Automata: An Introduction 84
Model checking early requirements specifications in tropos. 83
Graph Rewriting for Agent Oriented Visual Modeling 83
Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition 81
Integrating BDD-based and SAT-based Symbolic Model Checking 79
NuSMV2: an open source tool for symbolic model checking 78
Specifying and analyzing early requirements in Tropos 77
'Closed Interval Process Algebra' versus 'Interval Process Algebra' 76
Specifying and analyzing early requirements: some experimental results 74
On the semantics of durational actions 73
The Planning Spectrum - One, Two, Three, Infinity 72
Improving the Encoding of LTL Model Checking into SAT 72
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation 69
Verifying mobile processes in the HAL environment 67
Weak, strong, and strong cyclic planning via symbolic model checking 66
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus 59
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 59
A Framework for Integrating Business Processes and Business Requirements 58
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation 57
A Framework for Planning with Extended Goals under Partial Observability 54
Planning for requests against Web Services 51
Planning with a language for extended goals 51
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 50
A Hierarchical Task-Network Planner based on Symbolic Model Checking 48
Planning as model checking for extended goals in non-deterministic Domains 48
The Tropos methodology: an overview 45
Adaptivity in Dynamic Service-based Systems 45
A partition refinement algorithm for the pi-calculus 44
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 39
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 37
Planning with Extended Goals and Partial Observability 32
CAptLang: a language for context-aware and adaptable business processes 32
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems 31
Design for Adaptation of Service-Based Applications: Main Issues and Requirements 26
Semantic-Based Process Analysis 19
Semantic modeling and analysis of complex data-aware processes and their executions 19
Improving the Encoding of LTL Model Checking into SAT 18
Modeling and Monitoring Processes Exploiting Semantic Reasoning 17
Modeling and Monitoring Business Process Execution 15
NuSMV2: an Open Source Tool for Symbolic Model Checking 11
NuSMV 2: An opensource tool for symbolic model checking 11
XSRL: An XML web-services request language 10
Integrating BDD-based and SAT-based Symbolic Model Checking 9
Totale 2.807
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.115
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 193
Totale 13.308
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020452 0 0 0 0 81 52 89 56 74 25 28 47
2020/2021413 13 59 13 54 33 56 40 18 39 19 54 15
2021/2022354 5 47 0 5 42 17 14 55 22 15 69 63
2022/2023473 55 42 0 75 50 76 3 41 83 8 33 7
2023/2024261 9 21 23 12 33 77 18 7 8 15 8 30
2024/2025283 1 6 37 196 43 0 0 0 0 0 0 0
Totale 2.807