PRADELLA, MATTEO
 Distribuzione geografica
Continente #
NA - Nord America 5.416
EU - Europa 1.436
AS - Asia 207
AF - Africa 16
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 4
Totale 7.088
Nazione #
US - Stati Uniti d'America 5.312
IT - Italia 403
UA - Ucraina 202
DE - Germania 167
AT - Austria 160
FI - Finlandia 123
SE - Svezia 109
VN - Vietnam 103
CA - Canada 101
GB - Regno Unito 88
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
SG - Singapore 7
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
Totale 7.088
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 89
Ottawa 87
Dublin 73
Lawrence 73
Medford 55
Dong Ket 54
Helsinki 54
San Diego 52
Málaga 34
Beijing 31
Des Moines 30
Amsterdam 21
Washington 19
Princeton 18
Turin 17
Amman 16
Phoenix 14
Rome 13
Abidjan 12
Karlsruhe 12
London 12
Warsaw 12
Brussels 11
New York 11
Boardman 10
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
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
Aarhus 1
Aken 1
Totale 5.722
Nome #
Constraint LTL Satisfiability Checking without Automata 157
Toward a theory of input-driven locally parsable languages 141
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 136
A CKY parser for picture grammars 133
A UML 2-compatible language and tool for formal modeling real-time system architectures 128
ContextErlang: A language for distributed context-aware self-adaptive applications 128
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 127
Tile rewriting grammars and picture languages 123
Model Checking Temporal Metric Specifications with Trio2Promela 122
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 120
Comments on temporal logics for real-time system specification 119
Precedence Automata and Languages 118
A Finite-Domain Semantics for Testing Temporal Logic Specifications 118
Software procurement and methods for specification and validation in the railway transportation industry 115
Bounded Reachability for Temporal Logic over Constraint Systems 115
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 115
A formal description of a practical agent for e-commerce 113
An evaluation of the adaptation capabilities in programming languages 113
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 113
Picture Languages: From Wang Tiles to 2DGrammars 112
Picture languages: Tiling systems versus tile rewriting grammars 110
A unifying approach to picture grammars 110
A Tile-based Approach for Self-assembling Service Compositions 109
Parallel parsing made practical 109
Regional Languages and Tiling: A Unifying Approach to Picture Grammars 106
Model-checking TRIO specifications in SPIN 101
Snake-Deterministic Tiling Systems 100
Towards more expressive 2D deterministic automata 100
Comments on “An Interval Logic for Real-Time System Specification” 100
Strategies to scan pictures with automata based on Wang tiles 99
A UML-compatible formal language for system architecture description 99
Analyzing Security-Enhanced Linux Policy Specifications 98
Efficient analysis of event processing applications 98
Picture recognizability with automata based on Wang tiles 98
Context-oriented programming: A software engineering perspective 95
Trio2Promela: A Model Checker for Temporal Metric Specifications 95
Generalizing input-driven languages: Theoretical and practical benefits 94
A formal approach for designing CORBA-based applications 91
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 90
An Automatic Approach to Enable Replacement of Conversational Services 87
An Analysis of Language-Level Support for Self-Adaptive Software 86
Temporal Logic and Model Checking for Operator Precedence Languages 85
Context Oriented Programming in Highly Concurrent Systems 85
Tile Rewriting Grammars 84
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 84
Programming Languages shouldn't be "too Natural" 84
First-Order Logic Definability of Free Languages 84
Parallel parsing of operator precedence grammars 82
A SAT-based parser and completer for pictures specified by tiling 80
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 80
A Metric Encoding for Bounded Model Checking 79
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 79
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 79
Higher-order operator precedence languages 78
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 75
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 70
Beyond operator-precedence grammars and languages 69
Locally Chain-Parsable Languages 68
Operator precedence ω-languages 67
The PAPAGENO Parallel-Parser Generator 67
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 65
Deterministic recognizability of picture languages with Wang automata 63
Linear temporal logics for structured context-free languages 63
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 61
Synthesizing adapters for conversational web-services from their WSDL interface 61
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 61
An Evolutionary Approach to the Design of Supervision and Control Systems 60
Weighted Operator Precedence Languages 60
Operator precedence temporal logic and model checking 58
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 55
ContextErlang: introducing context-oriented programming in the actor model 53
Practical Model Checking of LTL with Past 51
Modeling Security-Enchanced Linux Policy Specifications for Analysis 46
Word- and Tree-based Temporal Logics for Operator Precedence Languages 33
Model-Checking Structured Context-Free Languages 29
Free Grammars and Languages 24
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 23
Verification of Programs with Exceptions Through Operator Precedence Automata 20
Static Analysis of Infrastructure as Code: A Survey 17
Weighted operator precedence languages 15
A Model Checker for Operator Precedence Languages 12
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 4
Totale 7.197
Categoria #
all - tutte 19.810
article - articoli 6.851
book - libri 0
conference - conferenze 12.959
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 39.620


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019677 0 0 0 0 0 0 0 0 0 0 358 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/2024410 43 87 22 53 48 54 38 28 2 34 1 0
Totale 7.197