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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022854 0 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/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/2027447 199 248 0 0 0 0 0 0 0 0 0 0
Totale 15.557