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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/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/2027110 110 0 0 0 0 0 0 0 0 0 0 0
Totale 15.220