PRADELLA, MATTEO
 Distribuzione geografica
Continente #
AS - Asia 833
NA - Nord America 241
SA - Sud America 180
EU - Europa 101
AF - Africa 7
Totale 1.362
Nazione #
SG - Singapore 400
US - Stati Uniti d'America 226
CN - Cina 149
BR - Brasile 147
HK - Hong Kong 104
VN - Vietnam 84
FR - Francia 50
KR - Corea 36
BD - Bangladesh 15
AR - Argentina 13
IN - India 12
IT - Italia 10
FI - Finlandia 8
GB - Regno Unito 8
EC - Ecuador 7
IL - Israele 6
NL - Olanda 6
CO - Colombia 5
ID - Indonesia 5
JP - Giappone 5
MX - Messico 4
CA - Canada 3
DE - Germania 3
PY - Paraguay 3
RU - Federazione Russa 3
SA - Arabia Saudita 3
TR - Turchia 3
AT - Austria 2
CL - Cile 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ES - Italia 2
IQ - Iraq 2
PK - Pakistan 2
PL - Polonia 2
RO - Romania 2
TT - Trinidad e Tobago 2
UA - Ucraina 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
BB - Barbados 1
CZ - Repubblica Ceca 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
IE - Irlanda 1
KE - Kenya 1
KG - Kirghizistan 1
MQ - Martinica 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
PH - Filippine 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
ZA - Sudafrica 1
Totale 1.362
Città #
Singapore 239
Hong Kong 104
Hefei 92
Lauterbourg 46
Seoul 36
Ho Chi Minh City 32
San Jose 32
Hanoi 27
Ashburn 25
Los Angeles 16
Beijing 11
New York 11
Buffalo 9
Dallas 9
Santa Clara 9
Helsinki 8
São Paulo 7
Curitiba 5
Rio de Janeiro 5
Bengaluru 4
Brasília 4
Chennai 4
Minamishinagawa 4
Orem 4
Amsterdam 3
Brooklyn 3
Bắc Ninh 3
Gravataí 3
Hải Dương 3
Porto Alegre 3
Quito 3
Belo Horizonte 2
Boston 2
Boydton 2
Cairo 2
Council Bluffs 2
Da Nang 2
Dammam 2
Fortaleza 2
Garanhuns 2
Goiânia 2
Guarulhos 2
Iguape 2
Itaquaquecetuba 2
Joinville 2
Mariano Moreno 2
Mexico City 2
Monte Grande 2
Mumbai 2
Nha Trang 2
Pesaro 2
Piracicaba 2
Rome 2
Santiago de Cali 2
São Bernardo do Campo 2
Tứ Kỳ 2
Volta Redonda 2
Afonso Cláudio 1
Alegrete 1
Alto Taquari 1
Ananindeua 1
Anápolis 1
Araruama 1
Araxá 1
Arraial do Cabo 1
Arujá 1
Assis 1
Asunción 1
Atlanta 1
Auburn 1
Austin 1
Azle 1
Baghdad 1
Ballwin 1
Banyuwangi 1
Barbacena 1
Barletta 1
Barnesville 1
Barracão 1
Basildon 1
Bay Saint Louis 1
Bayeux 1
Bedford 1
Bethalto 1
Bethesda 1
Betim 1
Birmingham 1
Bishkek 1
Biên Hòa 1
Blackwood 1
Blumenau 1
Bogotá 1
Bonito 1
Bosa 1
Brasília de Minas 1
Bratislava 1
Bridgetown 1
Bình Dương 1
Cabo Frio 1
Cajamar 1
Totale 859
Nome #
A Formal Approach for Designing CORBA based Applications 50
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 48
SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling 48
A unifying approach to picture grammars 45
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 43
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 38
Weighted Operator Precedence Languages 38
A SAT-Based Parser and Completer for Pictures Specified by Tiling 32
Tiling Systems versus Tile Rewriting Grammars 31
Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017 30
Synthesizing adapters for conversational web-services from their WSDL interface 30
Tile Rewriting Grammars 29
Picture recognizability with automata based on Wang tiles 29
A Metric Encoding for Bounded Model Checking (extended version) 26
Dense-Time MTL Verification Through Sampling 25
An Automatic Approach to Enable Replacement of Conversational Services 25
On parsing some classes of 2D languages 25
A Tile-based Approach for Self-assembling Service Compositions 24
Deterministic recognizability of picture languages by Wang automata 24
Associative Definition of Programming Languages, Computer Languages 24
A CKY Parser for Picture Grammars 24
Tile Rewriting Grammars and Picture Languages 24
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability 23
Bounded satisfiability checking of metric temporal logic specifications 23
Strategies to scan pictures with automata based on Wang tiles 23
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 23
A UML 2-compatible language and tool for formal modeling real-time system architectures 23
A UML-compatible formal language for system architecture description 22
Software procurement and methods for specification and validation in the railway transportation industry 22
Associative Language Descriptions versus Context-Free models 21
Practical Model Checking of LTL with Past 21
Context Oriented Programming in Highly Concurrent Systems 21
A UML-compatible formal language for system architecture description, SDL 21
Regional Languages and Tiling: a Unifying Approach to Picture Grammars 20
Analyzing Security-Enhanced Linux Policy Specifications 20
Snake-Deterministic Tiling Systems 20
Refining Real-Time System Specifications Through Bounded Model- and Satisfiability-Checking 20
Bounded Reachability for Temporal Logic over Constraint Systems 20
Deterministic recognizability of picture languages with Wang automata 20
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 19
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 19
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 19
Comments on An interval logic for Real-Time System specification 19
Picture Languages: From Wang Tiles to 2D Grammars 19
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 19
A Metric Encoding for Bounded Model Checking 19
Model checking temporal metric specifications with Trio2Promela 19
ArchiTRIO: a UML-compatible lan- guage for architectural description and its formal semantics 18
A unifying approach to picture grammars 18
Comments on Temporal Logics for Real-Time System Specification 18
Trio2Promela: a model checker for temporal metric specifications 18
Benchmarking Model- and Satisfiability-Checking on Bi-Infinite Time 17
Toward a theory of input-driven locally parsable languages 16
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 16
Model-checking TRIO specifications in SPIN 14
Totale 1.362
Categoria #
all - tutte 5.770
article - articoli 1.746
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 7.516


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20242 0 0 0 0 0 0 0 0 0 0 1 1
2024/2025521 3 3 58 40 6 1 27 5 2 124 93 159
2025/2026839 47 86 79 173 167 12 133 49 30 40 23 0
Totale 1.362