PRADELLA, MATTEO
 Distribuzione geografica
Continente #
NA - Nord America 5.420
EU - Europa 1.443
AS - Asia 275
AF - Africa 16
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 4
Totale 7.167
Nazione #
US - Stati Uniti d'America 5.316
IT - Italia 408
UA - Ucraina 202
DE - Germania 167
AT - Austria 160
FI - Finlandia 124
SE - Svezia 109
VN - Vietnam 103
CA - Canada 101
GB - Regno Unito 88
SG - Singapore 75
IE - Irlanda 74
CN - Cina 51
ES - Italia 36
NL - Olanda 27
FR - Francia 16
JO - Giordania 16
BE - Belgio 12
CI - Costa d'Avorio 12
IN - India 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
ID - Indonesia 2
MA - Marocco 2
MU - Mauritius 2
NZ - Nuova Zelanda 2
DK - Danimarca 1
IL - Israele 1
PK - Pakistan 1
RO - Romania 1
Totale 7.167
Città #
Fairfield 906
Woodbridge 663
Ashburn 451
Houston 426
Ann Arbor 394
Wilmington 380
Seattle 376
Cambridge 359
Chandler 349
Vienna 155
Jacksonville 129
Dearborn 97
Milan 91
Ottawa 87
Dublin 73
Lawrence 73
Helsinki 55
Medford 55
Dong Ket 54
San Diego 52
Málaga 34
Singapore 34
Beijing 31
Des Moines 30
Amsterdam 21
Washington 20
Princeton 18
Turin 17
Amman 16
Phoenix 14
Rome 13
Abidjan 12
Karlsruhe 12
London 12
Warsaw 12
Boardman 11
Brussels 11
New York 11
Redwood City 10
Seongnam 8
Auburn Hills 7
Biassono 7
Norwalk 7
Gavirate 6
Indiana 6
Los Angeles 6
Shanghai 6
Verona 6
Dallas 5
Fremont 5
Miami 5
Tokyo 5
Toronto 5
Austin 4
Cologno Monzese 4
Gunzenhausen 4
Ludwigshafen 4
Portland 4
Berlin 3
Bogotá 3
Gumpoldskirchen 3
Kunming 3
Lusia 3
Mountain View 3
Segrate 3
Viterbo 3
Zurich 3
Auckland 2
Bari 2
Bergamo 2
Brignano Gera D'adda 2
Brindisi 2
Cantù 2
Cernobbio 2
Chennai 2
Chicago 2
Columbia 2
Concordia Sagittaria 2
Falkenstein 2
Ghedi 2
Groningen 2
Guastalla 2
Hefei 2
Hounslow 2
Kleinmachnow 2
Mcallen 2
Montemaggiore al Metauro 2
Montréal 2
Monza 2
Nanjing 2
Padova 2
Pordenone 2
San Lazzaro di Savena 2
Soledad de Graciano Sanchez 2
Sydney 2
Udine 2
Vanzaghello 2
Venezia 2
Voghera 2
Werl 2
Totale 5.761
Nome #
Constraint LTL Satisfiability Checking without Automata 158
Toward a theory of input-driven locally parsable languages 141
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 137
A CKY parser for picture grammars 134
ContextErlang: A language for distributed context-aware self-adaptive applications 129
A UML 2-compatible language and tool for formal modeling real-time system architectures 128
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 128
Tile rewriting grammars and picture languages 124
Model Checking Temporal Metric Specifications with Trio2Promela 123
A Formal Approach for Designing CORBA based Applications 122
Associative definition of programming languages 121
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 121
Comments on temporal logics for real-time system specification 119
A Finite-Domain Semantics for Testing Temporal Logic Specifications 119
Precedence Automata and Languages 118
Software procurement and methods for specification and validation in the railway transportation industry 116
Bounded Reachability for Temporal Logic over Constraint Systems 116
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 116
A formal description of a practical agent for e-commerce 114
An evaluation of the adaptation capabilities in programming languages 114
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 114
Picture Languages: From Wang Tiles to 2DGrammars 113
Picture languages: Tiling systems versus tile rewriting grammars 111
A Tile-based Approach for Self-assembling Service Compositions 110
A unifying approach to picture grammars 110
Parallel parsing made practical 110
Regional Languages and Tiling: A Unifying Approach to Picture Grammars 107
Model-checking TRIO specifications in SPIN 102
Comments on “An Interval Logic for Real-Time System Specification” 101
Strategies to scan pictures with automata based on Wang tiles 100
Snake-Deterministic Tiling Systems 100
Towards more expressive 2D deterministic automata 100
A UML-compatible formal language for system architecture description 100
Efficient analysis of event processing applications 99
Picture recognizability with automata based on Wang tiles 99
Analyzing Security-Enhanced Linux Policy Specifications 98
Context-oriented programming: A software engineering perspective 96
Trio2Promela: A Model Checker for Temporal Metric Specifications 96
Generalizing input-driven languages: Theoretical and practical benefits 95
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 93
A formal approach for designing CORBA-based applications 92
An Automatic Approach to Enable Replacement of Conversational Services 88
An Analysis of Language-Level Support for Self-Adaptive Software 87
Temporal Logic and Model Checking for Operator Precedence Languages 86
Context Oriented Programming in Highly Concurrent Systems 86
Tile Rewriting Grammars 85
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 85
Programming Languages shouldn't be "too Natural" 85
First-Order Logic Definability of Free Languages 85
Parallel parsing of operator precedence grammars 83
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 81
A SAT-based parser and completer for pictures specified by tiling 80
A Metric Encoding for Bounded Model Checking 80
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 80
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 80
Higher-order operator precedence languages 79
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 76
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 71
Beyond operator-precedence grammars and languages 70
Locally Chain-Parsable Languages 69
Operator precedence ω-languages 68
The PAPAGENO Parallel-Parser Generator 68
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 67
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 66
Linear temporal logics for structured context-free languages 64
Deterministic recognizability of picture languages with Wang automata 63
Synthesizing adapters for conversational web-services from their WSDL interface 62
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 61
Weighted Operator Precedence Languages 61
An Evolutionary Approach to the Design of Supervision and Control Systems 60
Operator precedence temporal logic and model checking 59
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 55
ContextErlang: introducing context-oriented programming in the actor model 54
Practical Model Checking of LTL with Past 52
Modeling Security-Enchanced Linux Policy Specifications for Analysis 47
Word- and Tree-based Temporal Logics for Operator Precedence Languages 34
Model-Checking Structured Context-Free Languages 30
Free Grammars and Languages 25
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 24
Verification of Programs with Exceptions Through Operator Precedence Automata 22
Static Analysis of Infrastructure as Code: A Survey 18
Weighted operator precedence languages 16
A Model Checker for Operator Precedence Languages 15
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 5
Totale 7.276
Categoria #
all - tutte 20.718
article - articoli 7.173
book - libri 0
conference - conferenze 13.545
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 41.436


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019319 0 0 0 0 0 0 0 0 0 0 0 319
2019/20202.021 164 128 49 164 253 246 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/2024489 43 87 22 53 48 54 38 28 2 34 5 75
Totale 7.276