statistiche ricercatore

SPOLETINI, PAOLA

Distribuzione geografica

Continente	#
NA - Nord America	6.336
EU - Europa	3.171
AS - Asia	2.194
SA - Sud America	255
AF - Africa	61
Continente sconosciuto - Info sul continente non disponibili	48
OC - Oceania	7
Totale	12.072

Salva come PNG Salva come JPEG

Nazione	#
US - Stati Uniti d'America	6.216
IT - Italia	1.429
SG - Singapore	733
CN - Cina	505
UA - Ucraina	489
SE - Svezia	326
VN - Vietnam	295
TR - Turchia	276
HK - Hong Kong	252
BR - Brasile	211
IE - Irlanda	202
FI - Finlandia	152
GB - Regno Unito	143
FR - Francia	129
DE - Germania	128
RU - Federazione Russa	86
MX - Messico	47
CA - Canada	44
NG - Nigeria	44
IN - India	32
BD - Bangladesh	25
BE - Belgio	20
AR - Argentina	15
JP - Giappone	14
NL - Olanda	13
PL - Polonia	13
IQ - Iraq	11
ZA - Sudafrica	10
CO - Colombia	9
EC - Ecuador	8
AT - Austria	7
CR - Costa Rica	7
ES - Italia	7
MY - Malesia	6
CH - Svizzera	5
SA - Arabia Saudita	5
AZ - Azerbaigian	4
JO - Giordania	4
NZ - Nuova Zelanda	4
PA - Panama	4
TT - Trinidad e Tobago	4
UZ - Uzbekistan	4
AU - Australia	3
BB - Barbados	3
JM - Giamaica	3
LT - Lituania	3
MD - Moldavia	3
NI - Nicaragua	3
NO - Norvegia	3
PE - Perù	3
RO - Romania	3
VE - Venezuela	3
AE - Emirati Arabi Uniti	2
CL - Cile	2
EG - Egitto	2
GE - Georgia	2
HU - Ungheria	2
IL - Israele	2
IR - Iran	2
KZ - Kazakistan	2
LV - Lettonia	2
MA - Marocco	2
NP - Nepal	2
OM - Oman	2
PH - Filippine	2
PK - Pakistan	2
SV - El Salvador	2
SY - Repubblica araba siriana	2
TW - Taiwan	2
UY - Uruguay	2
AM - Armenia	1
BG - Bulgaria	1
DK - Danimarca	1
EU - Europa	1
GR - Grecia	1
GT - Guatemala	1
HN - Honduras	1
ID - Indonesia	1
KE - Kenya	1
KH - Cambogia	1
KW - Kuwait	1
LC - Santa Lucia	1
MK - Macedonia	1
PT - Portogallo	1
PY - Paraguay	1
RS - Serbia	1
SN - Senegal	1
SR - Suriname	1
TG - Togo	1
TH - Thailandia	1
TJ - Tagikistan	1
Totale	12.025

Salva come PNG Salva come JPEG

Città	#
Milan	967
Fairfield	669
Ashburn	478
San Jose	476
Jacksonville	410
Woodbridge	407
Chandler	377
Singapore	358
Houston	268
Wilmington	264
Hong Kong	250
Seattle	236
Council Bluffs	222
Cambridge	212
Ann Arbor	202
Dublin	201
Beijing	187
Princeton	177
Nyköping	153
Izmir	146
The Dalles	122
Boardman	111
Dong Ket	102
Dearborn	94
Dallas	92
Lauterbourg	79
Rome	77
New York	75
Chicago	60
San Mateo	52
San Diego	51
Abuja	43
Los Angeles	41
Ho Chi Minh City	39
Santa Clara	38
Mexico City	35
Hanoi	29
Helsinki	28
Phoenix	28
London	25
Como	24
Ogden	24
Brussels	20
Orem	20
Frankfurt am Main	16
Naples	15
Atlanta	14
Chennai	14
Columbus	13
Falls Church	13
Guangzhou	13
Norwalk	13
Tokyo	13
Verona	13
Warsaw	13
São Paulo	12
Washington	12
Düsseldorf	11
Hefei	11
Shanghai	11
Stockholm	11
Brooklyn	10
Hangzhou	10
Manchester	9
Montreal	9
Nanjing	9
Toronto	9
Augusta	8
Kunming	8
Prescot	8
Belo Horizonte	7
Berlin	7
Da Nang	7
Edinburgh	7
Johannesburg	7
Philadelphia	7
San Francisco	7
San José	7
Boston	6
Brasília	6
Denver	6
Indiana	6
Nanchang	6
Turin	6
Amsterdam	5
Baghdad	5
Haiphong	5
Kuala Lumpur	5
Lappeenranta	5
Montréal	5
Rio de Janeiro	5
Shenzhen	5
Tianjin	5
Vienna	5
Zhengzhou	5
Amman	4
Baku	4
Buffalo	4
Changsha	4
Fayetteville	4
Totale	8.434

Salva come PNG Salva come JPEG

Nome	#
Fuzzy time in linear temporal logic	263
Modeling and analyzing context-aware composition of services	226
A framework for XML Data Streams History Checking and Monitoring	218
An automata-based monitoring technique for commitment-based multi-agent systems	215
Tomorrow and all our yesterdays: MTL satisfiability over the integers	210
On requirement verification for evolving Statecharts specifications	203
An efficient solution for model checking graph transformation Systems	199
A model checking approach to verify BPEL4WS workflows	197
Bounded variability of metric temporal logic	197
Keep it small, keep it real: efficient run-time verification of Web service compositions	194
A fuzzy extension of the XPath query language	186
Esercizi di Informatica Teorica - terza edizione	185
History checking of XML data streams	180
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures	179
LOVER: Light-weight Formal Verification of adaptivE systems at Run time	179
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability	179
Trio2Promela: a model checker for temporal metric specifications	178
Towards the exhaustive verification of real-time aspects in controller implementation	178
Model-Checking TRIO specifications in SPIN	176
Validation of web service compositions	174
Towards automated verification of layered graph transformation specifications	174
Managing non-functional uncertainty via model-driven adaptivity	169
Fuzzy Goals for Requirements-Driven Adaptation	167
Quantifying the discord: order discrepancies in message sequence charts	166
Model checking temporal metric specifications with Trio2Promela	165
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions	161
Evaluating the compatibility of conversational service interactions	161
Practical efficient modular verification and analysis	160
Introduzione alla programmazione in Matlab	160
On Requirements Verification for Model Refinements	160
Fuzzy querying of semistructured data	158
Context transformations for goal models	156
On Relaxing Metric Information in Linear Temporal Logic	154
A timed extension of WSCoL	153
A fuzzy extension for the XPath query language	153
A formal approach supporting the specification and verification of business conversation requirements.	152
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application	150
Internal and external bitstream relocation for partial dynamic reconfiguration	146
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems	143
Verification and analysis of autonomic systems for networked enterprises	140
Quantifying the discord: order discrepancies in message sequence charts	139
COVER: Change-based goal verifier and reasoner	139
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results	135
Relaxing metric information in linear temporal logic	134
Commitment monitoring in a multiagent system	133
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games	133
Dealing with incompleteness in automata-based model checking	133
From model checking to a temporal proof for partial models	132
Formal verification of production systems performance: a new approach to the detailed system design phase	131
On the use of Alloy to analyze graph transformation systems	129
Interview review: An empirical study on detecting ambiguities in requirements elicitation interviews	127
Common mistakes of student analysts in requirements elicitation interviews	126
Supporting verification-driven incremental distributed design of components	126
Ambiguity in Requirements Engineering: Towards a Unifying Framework	125
Ambiguity and tacit knowledge in requirements elicitation interviews	124
Practical Model Checking of LTL with Past	122
Integrating goal model analysis with iterative design	122
BuildingRules: A trigger-action–based system to manage complex commercial buildings	122
Formal analysis of Publish-Subscribe systems by probabilistic timed automata	120
Putting all together: using the ArtDeco approach in the winebusiness domain	120
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education	112
Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), ENTCS, Volume 229, Issue 3	111
Time Modalities over Many-valued Logics	108
Automating trade-off analysis of security requirements	108
Are requirements engineering courses covering what industry needs? a preliminary analysis of the United States situation	106
A verification-driven framework for iterative design of controllers	101
Mathematical logic for computer science	100
XQuery layers	98
Ambiguity as a Resource to Disclose Tacit Knowledge	96
Model checking	95
Ambiguity Cues in Requirements Elicitation Interviews	95
Service-Oriented Software . . . and Carlo’s Services	90
Teaching requirements elicitation interviews: an empirical study of learning from mistakes	88
Informatica teorica	87
Proceedings of the 2nd interaction and concurrency experience: structured interactions, EPTCS 12	82
Learning from mistakes: An empirical study of elicitation interviews performed by novices	82
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis	82
REFSQ 2018: Joint proceedings of workshops, doctoral symposium, live studies, and posters and tools track	79
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews	79
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process	77
Requirements Elicitation: A Look at the Future Through the Lenses of the Past	75
REFSQ 2019: Joint proceedings of workshops, industrial track, doctoral symposium, live studies, and posters and tools track	75
Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology	74
Learning requirements elicitation interviews with role-playing, self-assessment and peer-review	72
Empowering requirements elicitation for populations with special needs by using virtual reality	70
Requirements engineering (RE) for social good: RE cares [requirements]	70
On including the institutional review board process in undergraduate information technology curricula	63
Message from the PC and General Chairs of FormaliSE 2018	61
Totale	12.072

Salva come PNG Salva come JPEG

Categoria	#
all - tutte	52.818
article - articoli	0
book - libri	0
conference - conferenze	0
curatela - curatele	0
other - altro	0
patent - brevetti	0
selected - selezionate	0
volume - volumi	0
Totale	52.818

Salva come PNG Salva come JPEG

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	655	0	0	0	23	45	65	48	36	47	194	80	117
2022/2023	1.060	112	66	64	122	79	239	0	137	144	29	45	23
2023/2024	1.609	251	239	236	312	379	101	8	30	32	10	7	4
2024/2025	1.061	11	19	202	14	28	80	12	99	133	92	79	292
2025/2026	2.498	175	141	98	309	215	156	659	137	238	228	61	81
2026/2027	732	62	131	430	109	0	0	0	0	0	0	0	0
Totale													12.072