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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020610 38 19 45 56 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
Totale 2.524