PRADELLA, MATTEO
 Distribuzione geografica
Continente #
NA - Nord America 5.824
EU - Europa 1.524
AS - Asia 456
AF - Africa 18
OC - Oceania 5
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 4
Totale 7.836
Nazione #
US - Stati Uniti d'America 5.716
IT - Italia 441
UA - Ucraina 202
DE - Germania 181
SG - Singapore 169
AT - Austria 166
FI - Finlandia 131
SE - Svezia 111
CA - Canada 105
VN - Vietnam 103
CN - Cina 101
GB - Regno Unito 90
IE - Irlanda 74
ES - Italia 36
NL - Olanda 36
ID - Indonesia 31
FR - Francia 18
JO - Giordania 16
BE - Belgio 13
IN - India 13
CI - Costa d'Avorio 12
PL - Polonia 12
KR - Corea 8
CH - Svizzera 6
JP - Giappone 6
CO - Colombia 4
EU - Europa 4
AU - Australia 3
MX - Messico 3
PH - Filippine 3
AE - Emirati Arabi Uniti 2
CZ - Repubblica Ceca 2
HK - Hong Kong 2
MA - Marocco 2
MU - Mauritius 2
NZ - Nuova Zelanda 2
RU - Federazione Russa 2
BJ - Benin 1
BR - Brasile 1
DK - Danimarca 1
IL - Israele 1
LV - Lettonia 1
PK - Pakistan 1
RO - Romania 1
ZA - Sudafrica 1
Totale 7.836
Città #
Fairfield 906
Woodbridge 663
Ashburn 452
Houston 426
Ann Arbor 394
Wilmington 380
Seattle 377
Cambridge 359
Chandler 349
Santa Clara 276
Vienna 158
Jacksonville 129
Milan 112
Singapore 108
Boardman 99
Dearborn 97
Ottawa 87
Dublin 73
Lawrence 73
Helsinki 60
Medford 55
Dong Ket 54
San Diego 52
Málaga 34
Beijing 33
Amsterdam 30
Des Moines 30
Jakarta 29
Washington 20
Princeton 18
Turin 17
Amman 16
Shanghai 15
Phoenix 14
London 13
Rome 13
Abidjan 12
Brussels 12
Karlsruhe 12
New York 12
Warsaw 12
Redwood City 10
Seongnam 8
Auburn Hills 7
Biassono 7
Norwalk 7
Dallas 6
Frankfurt am Main 6
Gavirate 6
Indiana 6
Los Angeles 6
Miami 6
Toronto 6
Verona 6
Fremont 5
Tokyo 5
Austin 4
Cologno Monzese 4
Gunzenhausen 4
Ludwigshafen 4
Portland 4
Quanzhou 4
Berlin 3
Bogotá 3
Gumpoldskirchen 3
Kunming 3
Lappeenranta 3
Lusia 3
Manila 3
Mountain View 3
Nuremberg 3
Palma Campania 3
Segrate 3
Viterbo 3
Zurich 3
Auckland 2
Bari 2
Bergamo 2
Brignano Gera D'adda 2
Brindisi 2
Cantù 2
Cernobbio 2
Chengdu 2
Chennai 2
Chicago 2
Columbia 2
Concordia Sagittaria 2
Falkenstein 2
Fuzhou 2
Ghedi 2
Groningen 2
Guangzhou 2
Guastalla 2
Hefei 2
Hong Kong 2
Hounslow 2
Kleinmachnow 2
Mcallen 2
Montemaggiore al Metauro 2
Montreal 2
Totale 6.291
Nome #
Constraint LTL Satisfiability Checking without Automata 167
Toward a theory of input-driven locally parsable languages 145
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 142
Parallel parsing made practical 141
A CKY parser for picture grammars 141
A UML 2-compatible language and tool for formal modeling real-time system architectures 136
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 136
ContextErlang: A language for distributed context-aware self-adaptive applications 133
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 131
Model Checking Temporal Metric Specifications with Trio2Promela 129
A Formal Approach for Designing CORBA based Applications 129
Associative definition of programming languages 127
Tile rewriting grammars and picture languages 127
Comments on temporal logics for real-time system specification 126
A Finite-Domain Semantics for Testing Temporal Logic Specifications 125
Software procurement and methods for specification and validation in the railway transportation industry 124
Bounded Reachability for Temporal Logic over Constraint Systems 123
Precedence Automata and Languages 123
A formal description of a practical agent for e-commerce 121
An evaluation of the adaptation capabilities in programming languages 121
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 121
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 120
A unifying approach to picture grammars 119
Picture Languages: From Wang Tiles to 2DGrammars 118
A Tile-based Approach for Self-assembling Service Compositions 118
Picture languages: Tiling systems versus tile rewriting grammars 116
Regional Languages and Tiling: A Unifying Approach to Picture Grammars 112
Strategies to scan pictures with automata based on Wang tiles 109
Towards more expressive 2D deterministic automata 107
Comments on “An Interval Logic for Real-Time System Specification” 107
Model-checking TRIO specifications in SPIN 106
Efficient analysis of event processing applications 106
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 105
Picture recognizability with automata based on Wang tiles 105
A UML-compatible formal language for system architecture description 105
Analyzing Security-Enhanced Linux Policy Specifications 104
Snake-Deterministic Tiling Systems 103
Context-oriented programming: A software engineering perspective 101
Trio2Promela: A Model Checker for Temporal Metric Specifications 101
Generalizing input-driven languages: Theoretical and practical benefits 101
A formal approach for designing CORBA-based applications 100
An Automatic Approach to Enable Replacement of Conversational Services 99
First-Order Logic Definability of Free Languages 98
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 96
Temporal Logic and Model Checking for Operator Precedence Languages 96
Context Oriented Programming in Highly Concurrent Systems 95
An Analysis of Language-Level Support for Self-Adaptive Software 91
Programming Languages shouldn't be "too Natural" 91
Tile Rewriting Grammars 89
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 87
Parallel parsing of operator precedence grammars 86
A SAT-based parser and completer for pictures specified by tiling 85
A Metric Encoding for Bounded Model Checking 85
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 85
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 85
Higher-order operator precedence languages 83
Operator precedence temporal logic and model checking 82
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 81
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 81
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 80
Beyond operator-precedence grammars and languages 78
Linear temporal logics for structured context-free languages 78
Locally Chain-Parsable Languages 76
Operator precedence ω-languages 75
The PAPAGENO Parallel-Parser Generator 73
Synthesizing adapters for conversational web-services from their WSDL interface 70
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 69
Deterministic recognizability of picture languages with Wang automata 69
Weighted Operator Precedence Languages 66
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 65
An Evolutionary Approach to the Design of Supervision and Control Systems 65
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 64
Practical Model Checking of LTL with Past 57
ContextErlang: introducing context-oriented programming in the actor model 57
Modeling Security-Enchanced Linux Policy Specifications for Analysis 51
Model-Checking Structured Context-Free Languages 42
Word- and Tree-based Temporal Logics for Operator Precedence Languages 41
A Model Checker for Operator Precedence Languages 40
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 40
Verification of Programs with Exceptions Through Operator Precedence Automata 39
Free Grammars and Languages 29
Static Analysis of Infrastructure as Code: A Survey 29
Weighted operator precedence languages 21
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 19
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 11
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 11
Review on Verified Functional Programming in Agda 7
Totale 7.948
Categoria #
all - tutte 25.390
article - articoli 8.832
book - libri 0
conference - conferenze 16.558
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 50.780


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.017 0 0 0 0 0 0 250 194 241 94 165 73
2020/20211.019 109 63 85 51 86 42 93 96 71 130 63 130
2021/2022776 38 131 88 67 50 27 43 41 34 45 91 121
2022/2023788 111 62 15 89 77 112 2 58 118 68 59 17
2023/2024494 43 87 22 53 48 54 38 28 2 34 5 80
2024/2025667 12 18 55 57 306 204 15 0 0 0 0 0
Totale 7.948