MICULAN, Marino
 Distribuzione geografica
Continente #
NA - Nord America 6.080
EU - Europa 2.033
AS - Asia 1.377
SA - Sud America 167
AF - Africa 28
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 3
Totale 9.696
Nazione #
US - Stati Uniti d'America 5.979
SG - Singapore 591
UA - Ucraina 486
CN - Cina 365
IT - Italia 363
DE - Germania 291
FI - Finlandia 172
RU - Federazione Russa 170
SE - Svezia 154
BR - Brasile 146
VN - Vietnam 113
IE - Irlanda 96
CA - Canada 94
TR - Turchia 87
GB - Regno Unito 77
KR - Corea 74
PL - Polonia 48
IN - India 43
AT - Austria 32
FR - Francia 32
IR - Iran 27
JP - Giappone 25
BE - Belgio 24
LT - Lituania 20
NL - Olanda 18
CZ - Repubblica Ceca 17
ES - Italia 14
EU - Europa 8
HK - Hong Kong 8
TW - Taiwan 8
TG - Togo 7
RO - Romania 6
UZ - Uzbekistan 6
AR - Argentina 5
BD - Bangladesh 5
BY - Bielorussia 5
CM - Camerun 5
IQ - Iraq 5
ZA - Sudafrica 5
DZ - Algeria 4
TH - Thailandia 4
VE - Venezuela 4
AU - Australia 3
CL - Cile 3
CO - Colombia 3
EC - Ecuador 3
MA - Marocco 3
MX - Messico 3
PH - Filippine 3
CH - Svizzera 2
HU - Ungheria 2
JM - Giamaica 2
JO - Giordania 2
MY - Malesia 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
CR - Costa Rica 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
GE - Georgia 1
GR - Grecia 1
HR - Croazia 1
ID - Indonesia 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LK - Sri Lanka 1
PE - Perù 1
PK - Pakistan 1
SN - Senegal 1
TM - Turkmenistan 1
TN - Tunisia 1
Totale 9.696
Città #
Woodbridge 717
Ann Arbor 617
Fairfield 578
Houston 542
Chandler 469
Jacksonville 328
Singapore 324
Ashburn 300
Wilmington 244
Seattle 228
Cambridge 204
Dearborn 200
Beijing 178
Udine 135
Boardman 133
Dong Ket 106
Dublin 96
Princeton 96
Izmir 83
Seoul 74
San Diego 47
Ottawa 41
Warsaw 41
Toronto 38
Ogden 33
Trieste 30
Des Moines 29
Helsinki 28
Redmond 28
Munich 26
Milan 25
Nuremberg 24
Zola Predosa 24
Frankfurt am Main 23
Columbus 22
Brussels 21
Norwalk 20
Leawood 19
San Mateo 19
Nanjing 18
Phoenix 18
Brno 17
Hefei 17
Vienna 17
Guangzhou 16
London 16
Monmouth Junction 15
Mountain View 14
São Paulo 14
Los Angeles 13
Santa Clara 13
New York 12
Fuzhou 11
Augusta 10
Ardabil 9
Fremont 9
Jinan 9
Kunming 9
Andover 8
Mumbai 8
Tokyo 8
Trento 8
Basiliano 7
Hirayama 7
Hong Kong 7
Hyderabad 7
Lappeenranta 7
Lomé 7
Nanchang 7
Recife 7
Venice 7
Amsterdam 6
Bologna 6
Karlsruhe 6
Xian 6
Basiano 5
Belo Horizonte 5
Chiba 5
Dallas 5
Horia 5
San Michele al Tagliamento 5
Shanghai 5
Tashkent 5
Wuhan 5
Zanjan 5
Bolzano 4
Dongguan 4
Ho Chi Minh City 4
Kolkata 4
Newark 4
North Bergen 4
Paris 4
Shenzhen 4
Sunnyvale 4
Villeurbanne 4
Wroclaw 4
Xi'an 4
Adelaide 3
Amstelveen 3
Atlanta 3
Totale 6.673
Nome #
DBtk: A Toolkit for Directed Bigraphs 187
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 164
A natural deduction approach to dynamic logic 158
Structural operational semantics for non-deterministic processes with quantitative aspects 155
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 154
Imperative Object-based Calculi in (Co)Inductive Type Theories 154
Structural operational semantics for continuous state stochastic transition systems 153
Structural operational semantics for continuous state probabilistic processes 152
A Framework for Typed HOAS and Semantics 147
About permutation algebras, (pre)sheaves and named sets 144
Reactive Systems over Directed Bigraphs 142
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems 140
Open transactions on shared memory 139
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 137
Modal logics for Brane Calculus 137
GSOS for non-deterministic processes with quantitative aspects 137
Consistency of the Theory of Contexts 136
The expressive power of structural operational semantics with explicit assumptions 135
pi-calculus in (Co)Inductive Type Theories 132
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 132
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 129
Undecidability of Model Checking in Brane Logic 128
Structural operational semantics for non-deterministic processes with quantitative aspects 126
A unifying model of variables and names 125
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine 125
An Algebra for Directed Bigraphs 124
Measurable Stochastics for Brane Calculus 123
Constructive logical characterizations of bisimilarity for reactive probabilistic systems 123
Behavioural equivalences for coalgebras with unobservable moves 122
A framework for protein and membrane interactions 119
A Unifying Approach to Recursive and Co-recursive Definitions 116
Measurable Stochastics for Brane Calculus 113
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice 110
A categorical model of the Fusion calculus 109
MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences) 108
Unobservable intrusion detection based on call traces in paravirtualized systems 108
Proceedings of FOSSACS 2001 107
Bigraphical models for protein and membrane interactions 107
PicNIc - Pi-calculus Non-Interference checker 105
Some characterization results for permutation algebras 103
Finding a Forest in a Tree - The matching problem for wide reactive systems 101
Weak bisimulations for labelled transition systems weighted over semirings 100
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 99
Towards distributed bigraphical reactive systems 99
Distributed execution of bigraphical reactive systems 99
Synthesis of distributed mobile programs using monadic types in Coq 97
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 94
A time-series classification approach to shallow web traffic de-anonymization 94
Loose Graph Simulations 93
Controlling resource access in Directed Bigraphs 92
Implementing Spi Calculus using Nominal techniques 92
TOSCA 2001 91
The Theory of Contexts for First Order and Higher Order Abstract Syntax 90
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 90
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 89
Directed Bigraphs 89
Deciding weak weighted bisimulation 89
Preface 89
On the bisimulation hierarchy of state-to-function transition systems 87
A Model of Countable Nondeterminism in Guarded Type Theory 86
Encoding Modal Logics in Logical Frameworks 84
Modal μ-types for processes 84
On the formalization of the modal mu-calculus in the calculus of inductive constructions 84
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts 83
Proceedings of COMETA 2003 83
Encoding logical theories of programs 83
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 79
Computing (optimal) embeddings of directed bigraphs 77
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions 74
Proceedings of the Workshop COMETA Computational Metamodels 73
A CSP implementation of the bigraph embedding problem 73
Theoretical Computer Science: Preface 71
Guest editors' foreword 71
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions 70
Graph Algebras for Bigraphs 66
Formal analysis of Facebook Connect Single Sign-On authentication protocol 64
MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government 64
Deriving Barbed Bisimulations for Bigraphical Reactive Systems 63
Special Issue on Methodologies, Technologies and Tools Enabling e-Government 63
An abstract distributed middleware for transactions over heterogeneous stores 60
Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System 58
Towards user recognition by shallow web traffic inspection 58
Special Issue of Theoretical Computer Science on FOSSACS 2001 57
Composable Partial Multiparty Session Types 55
Closure hyperdoctrines 52
Composable partial multiparty session types for open systems 51
Implementazione di Memoria Distribuita su cluster CompactPCI 50
Frecuencis lessicâls dal furlan scrit 50
A Calculus for Attribute-Based Memory Updates 50
Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery 46
Distributed Programming of Smart Systems with Event-Condition-Action Rules 45
AbU: A calculus for distributed event-driven programming with attribute-based interaction 45
Deciding hedged bisimilarity 44
Software transactional memory with interactions 44
Automated symbolic verification of Telegram’s MTProto 2.0 41
Towards a formal model for composable container systems 40
Computing Embeddings of Directed Bigraphs 40
ECC's Achilles'Heel: Unveiling Weak Keys in Standardized Curves 40
Modeling fresh names in the π-calculus using abstractions 39
Securing the art market with distributed public ledgers 37
Totale 9.536
Categoria #
all - tutte 37.816
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 37.816


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020138 0 0 0 0 0 0 0 0 0 0 0 138
2020/20211.192 13 138 21 150 17 144 52 118 146 54 188 151
2021/2022905 51 73 53 63 10 38 46 27 11 146 245 142
2022/20231.074 120 87 40 121 98 254 21 116 138 21 30 28
2023/2024454 41 30 13 17 85 34 8 14 54 66 38 54
2024/20251.926 76 140 118 122 65 222 151 122 246 196 423 45
Totale 9.958