IRIS
MICULAN, Marino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.399
AS - Asia 3.933
EU - Europa 2.852
SA - Sud America 680
Continente sconosciuto - Info sul continente non disponibili 312
AF - Africa 98
OC - Oceania 12
Totale 16.286
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.155
SG - Singapore 1.714
CN - Cina 851
IT - Italia 776
BR - Brasile 509
UA - Ucraina 497
VN - Vietnam 334
DE - Germania 331
HK - Hong Kong 331
FI - Finlandia 194
RU - Federazione Russa 192
FR - Francia 182
SE - Svezia 159
CA - Canada 158
IN - India 139
GB - Regno Unito 131
IE - Irlanda 109
TR - Turchia 103
BD - Bangladesh 95
KR - Corea 80
AR - Argentina 62
PL - Polonia 57
JP - Giappone 47
NL - Olanda 41
AT - Austria 39
IQ - Iraq 39
ES - Italia 30
BE - Belgio 28
IR - Iran 28
MX - Messico 25
CO - Colombia 24
ID - Indonesia 24
VE - Venezuela 24
ZA - Sudafrica 23
CZ - Repubblica Ceca 22
LT - Lituania 22
EC - Ecuador 20
CL - Cile 19
JM - Giamaica 18
DZ - Algeria 17
PK - Pakistan 17
MY - Malesia 16
PH - Filippine 14
UZ - Uzbekistan 14
SA - Arabia Saudita 12
MA - Marocco 11
TW - Taiwan 11
PY - Paraguay 10
AU - Australia 9
CR - Costa Rica 8
DK - Danimarca 8
EU - Europa 8
AE - Emirati Arabi Uniti 7
RO - Romania 7
TG - Togo 7
TH - Thailandia 7
TN - Tunisia 7
TT - Trinidad e Tobago 7
BY - Bielorussia 6
EE - Estonia 6
HN - Honduras 6
JO - Giordania 6
PE - Perù 6
CM - Camerun 5
EG - Egitto 5
NI - Nicaragua 5
OM - Oman 5
SY - Repubblica araba siriana 5
CG - Congo 4
ET - Etiopia 4
GT - Guatemala 4
KE - Kenya 4
KW - Kuwait 4
NP - Nepal 4
SN - Senegal 4
UY - Uruguay 4
CH - Svizzera 3
DO - Repubblica Dominicana 3
GE - Georgia 3
GR - Grecia 3
IL - Israele 3
KG - Kirghizistan 3
KZ - Kazakistan 3
PS - Palestinian Territory 3
AL - Albania 2
AM - Armenia 2
BO - Bolivia 2
GD - Grenada 2
HU - Ungheria 2
MU - Mauritius 2
NZ - Nuova Zelanda 2
SV - El Salvador 2
AO - Angola 1
AZ - Azerbaigian 1
BB - Barbados 1
BF - Burkina Faso 1
BG - Bulgaria 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BS - Bahamas 1
Totale 15.964
Salva come PNG Salva come JPEG
Città #
Woodbridge 718
Singapore 684
Ann Arbor 617
Fairfield 578
Houston 555
Ashburn 543
Chandler 469
San Jose 404
Beijing 365
Jacksonville 331
Hong Kong 325
Council Bluffs 264
Wilmington 246
Seattle 232
Cambridge 204
Dearborn 200
Boardman 150
Udine 149
Staranzano 108
Dong Ket 106
Los Angeles 105
Dublin 103
Lauterbourg 99
Dallas 98
Princeton 96
Hefei 90
Izmir 84
Ho Chi Minh City 83
Seoul 80
Santa Clara 71
The Dalles 64
Milan 63
São Paulo 59
Buffalo 56
Mumbai 56
Toronto 56
Hanoi 48
Warsaw 48
San Diego 47
Helsinki 46
Frankfurt am Main 43
Ottawa 42
Trieste 38
New York 37
Phoenix 37
Redondo Beach 37
Ogden 34
Munich 33
Des Moines 30
London 30
Chicago 28
Redmond 28
Nuremberg 26
Brussels 25
Columbus 25
Tokyo 25
Zola Predosa 24
Baghdad 21
Norwalk 21
Rio de Janeiro 20
Vienna 20
Leawood 19
San Mateo 19
Amsterdam 18
Nanjing 18
Orem 18
Rome 18
Brno 17
Guangzhou 17
Atlanta 15
Elk Grove Village 15
Monmouth Junction 15
Venice 15
Da Nang 14
Mountain View 14
Philadelphia 13
Wentzville 13
Bologna 12
Chennai 12
Fuzhou 12
Kingston 12
Mexico City 12
Porto Alegre 12
Denver 11
Montreal 11
Tashkent 11
Augusta 10
Belo Horizonte 10
Dhaka 10
Florence 10
Lappeenranta 10
Las Vegas 10
Ardabil 9
Brooklyn 9
Charlotte 9
Fremont 9
Jinan 9
Kunming 9
Paris 9
San Francisco 9
Totale 9.819
Salva come PNG Salva come JPEG
Nome #
DBtk: A Toolkit for Directed Bigraphs 263
A natural deduction approach to dynamic logic 251
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 251
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 224
Reactive Systems over Directed Bigraphs 208
A Framework for Typed HOAS and Semantics 208
Modal logics for Brane Calculus 203
Encoding Modal Logics in Logical Frameworks 201
Structural operational semantics for continuous state stochastic transition systems 197
Structural operational semantics for non-deterministic processes with quantitative aspects 196
Imperative Object-based Calculi in (Co)Inductive Type Theories 196
Structural operational semantics for continuous state probabilistic processes 194
About permutation algebras, (pre)sheaves and named sets 194
Consistency of the Theory of Contexts 191
A time-series classification approach to shallow web traffic de-anonymization 189
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 183
The expressive power of structural operational semantics with explicit assumptions 181
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems 180
Computing (optimal) embeddings of directed bigraphs 178
GSOS for non-deterministic processes with quantitative aspects 178
A Unifying Approach to Recursive and Co-recursive Definitions 177
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 176
pi-calculus in (Co)Inductive Type Theory 174
A unifying model of variables and names 174
Structural operational semantics for non-deterministic processes with quantitative aspects 173
Open transactions on shared memory 172
Behavioural equivalences for coalgebras with unobservable moves 168
Undecidability of Model Checking in Brane Logic 167
An Algebra for Directed Bigraphs 166
Measurable Stochastics for Brane Calculus 166
Unobservable intrusion detection based on call traces in paravirtualized systems 165
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 165
A framework for protein and membrane interactions 164
A categorical model of the Fusion calculus 160
Measurable Stochastics for Brane Calculus 157
Weak bisimulations for labelled transition systems weighted over semirings 157
Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System 155
Encoding logical theories of programs 154
Constructive logical characterizations of bisimilarity for reactive probabilistic systems 150
Finding a Forest in a Tree - The matching problem for wide reactive systems 149
PicNIc - Pi-calculus Non-Interference checker 148
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine 146
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts 145
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions 144
Proceedings of FOSSACS 2001 142
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 142
Controlling resource access in Directed Bigraphs 142
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice 140
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 140
A CSP implementation of the bigraph embedding problem 139
Preface 139
MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences) 137
Synthesis of distributed mobile programs using monadic types in Coq 137
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 137
Loose Graph Simulations 137
Bigraphical models for protein and membrane interactions 136
Composable partial multiparty session types for open systems 135
The Theory of Contexts for First Order and Higher Order Abstract Syntax 135
Deciding weak weighted bisimulation 135
Towards distributed bigraphical reactive systems 134
Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery 133
TOSCA 2001 131
A Model of Countable Nondeterminism in Guarded Type Theory 131
Distributed execution of bigraphical reactive systems 131
Directed Bigraphs 129
Implementing Spi Calculus using Nominal techniques 129
Some characterization results for permutation algebras 129
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 127
An abstract distributed middleware for transactions over heterogeneous stores 127
On the bisimulation hierarchy of state-to-function transition systems 124
OWSM: Empowering Rego for Stateful Access Control 123
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 123
Proceedings of COMETA 2003 121
On the formalization of the modal mu-calculus in the calculus of inductive constructions 121
Distributed Programming of Smart Systems with Event-Condition-Action Rules 120
Modal μ-types for processes 120
Graph Algebras for Bigraphs 117
Closure hyperdoctrines 115
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions 114
Real-Time Anomaly Detection in Docker Containers: A Continuous Learning Approach Using SF-SOINN 113
Theoretical Computer Science: Preface 113
Proceedings of the Workshop COMETA Computational Metamodels 112
Guest editors' foreword 112
Formal analysis of Facebook Connect Single Sign-On authentication protocol 111
AbU: A calculus for distributed event-driven programming with attribute-based interaction 106
Automated verification of Telegram’s MTProto 2.0 in the symbolic model 106
ECC's Achilles'Heel: Unveiling Weak Keys in Standardized Curves 105
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems 104
Composable Partial Multiparty Session Types 104
A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP 103
Software transactional memory with interactions 103
A Calculus for Subjective Communication 103
MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government 98
ON THE AXIOMS OF M, N-ADHESIVE CATEGORIES 97
Special Issue on Methodologies, Technologies and Tools Enabling e-Government 97
Towards user recognition by shallow web traffic inspection 97
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 94
Implementazione di Memoria Distribuita su cluster CompactPCI 94
Deriving Barbed Bisimulations for Bigraphical Reactive Systems 94
A simple criterion for M,N-adhesivity 93
Totale 14.669
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.930
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 58.930
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022728 0 0 0 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/20252.553 76 140 118 122 65 222 151 122 246 196 423 672
2025/20264.525 268 440 498 456 540 353 562 194 251 424 339 200
2026/20271.176 199 297 512 168 0 0 0 0 0 0 0 0
Totale 16.286