IRIS
Pistore, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.996
EU - Europa 345
AS - Asia 94
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 2
SA - Sud America 1
Totale 2.442
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.992
UA - Ucraina 115
SE - Svezia 84
CN - Cina 53
FI - Finlandia 48
GB - Regno Unito 32
DE - Germania 20
IT - Italia 20
JO - Giordania 20
BG - Bulgaria 14
SG - Singapore 10
RU - Federazione Russa 5
EU - Europa 4
FR - Francia 4
CA - Canada 3
IL - Israele 3
AU - Australia 2
IR - Iran 2
SK - Slovacchia (Repubblica Slovacca) 2
BR - Brasile 1
ES - Italia 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.442
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
San Diego 15
Boardman 14
Helsinki 14
Sofia 14
Lawrence 11
Falls Church 8
Norwalk 6
Shanghai 6
Washington 6
Kunming 5
London 5
Milan 5
Andover 4
Hefei 4
Nanjing 4
Kilburn 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
Guangzhou 1
Haifa 1
Izmir 1
Laives 1
Lappeenranta 1
Laurel 1
Madrid 1
Mexico City 1
Montréal 1
Mountain View 1
Munich 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.912
Salva come PNG Salva come JPEG
Nome #
A model checking verification environment for mobile processes 111
A model-checking verification environment for mobile processes 90
Automated Synthesis of Composite BPEL4WS Web Services 89
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' 85
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language 84
Graph Rewriting for Agent Oriented Visual Modeling 78
History-Dependent Automata: An Introduction 78
Model checking early requirements specifications in tropos. 77
Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition 76
'Closed Interval Process Algebra' versus 'Interval Process Algebra' 74
Integrating BDD-based and SAT-based Symbolic Model Checking 72
NuSMV2: an open source tool for symbolic model checking 70
Specifying and analyzing early requirements: some experimental results 70
Specifying and analyzing early requirements in Tropos 69
On the semantics of durational actions 69
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 61
Weak, strong, and strong cyclic planning via symbolic model checking 60
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 54
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus 53
A Framework for Planning with Extended Goals under Partial Observability 48
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation 47
Planning with a language for extended goals 47
A Hierarchical Task-Network Planner based on Symbolic Model Checking 45
Planning for requests against Web Services 45
A Framework for Integrating Business Processes and Business Requirements 45
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility 40
The Tropos methodology: an overview 39
Planning as model checking for extended goals in non-deterministic Domains 36
A partition refinement algorithm for the pi-calculus 36
Adaptivity in Dynamic Service-based Systems 32
Dynamic Adaptation of Fragment-based and Context-aware Business Processes 31
Planning with Extended Goals and Partial Observability 28
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems 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 modeling and analysis of complex data-aware processes and their executions 13
Improving the Encoding of LTL Model Checking into SAT 12
Semantic-Based Process Analysis 11
Modeling and Monitoring Processes Exploiting Semantic Reasoning 9
Modeling and Monitoring Business Process Execution 9
NuSMV 2: An opensource tool for symbolic model checking 7
NuSMV2: an Open Source Tool for Symbolic Model Checking 3
XSRL: An XML web-services request language 3
Integrating BDD-based and SAT-based Symbolic Model Checking 2
Totale 2.478
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.115
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 145
Totale 10.260
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019234 0 0 0 0 0 0 0 0 0 45 108 81
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/2024215 9 21 23 12 33 77 18 7 8 7 0 0
Totale 2.478