IRIS
MICULAN, Marino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.598
AS - Asia 3.114
EU - Europa 2.234
SA - Sud America 541
AF - Africa 62
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 5
Totale 12.562
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.464
SG - Singapore 1.370
CN - Cina 723
UA - Ucraina 490
BR - Brasile 436
IT - Italia 421
DE - Germania 313
HK - Hong Kong 305
VN - Vietnam 261
RU - Federazione Russa 185
FI - Finlandia 176
SE - Svezia 157
IN - India 105
CA - Canada 104
IE - Irlanda 101
GB - Regno Unito 100
TR - Turchia 92
KR - Corea 79
FR - Francia 61
PL - Polonia 53
AR - Argentina 44
AT - Austria 37
JP - Giappone 37
NL - Olanda 28
IR - Iran 27
BE - Belgio 26
ES - Italia 24
LT - Lituania 22
BD - Bangladesh 21
IQ - Iraq 18
CZ - Repubblica Ceca 17
MX - Messico 17
ID - Indonesia 16
VE - Venezuela 16
ZA - Sudafrica 15
EC - Ecuador 14
CO - Colombia 11
TW - Taiwan 11
MA - Marocco 9
UZ - Uzbekistan 9
DZ - Algeria 8
EU - Europa 8
PY - Paraguay 7
TG - Togo 7
BY - Bielorussia 6
RO - Romania 6
CM - Camerun 5
AU - Australia 4
CL - Cile 4
EG - Egitto 4
PE - Perù 4
PH - Filippine 4
PK - Pakistan 4
TH - Thailandia 4
TN - Tunisia 4
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
CH - Svizzera 3
MY - Malesia 3
SA - Arabia Saudita 3
CG - Congo 2
DO - Repubblica Dominicana 2
GR - Grecia 2
GT - Guatemala 2
HU - Ungheria 2
JM - Giamaica 2
JO - Giordania 2
KE - Kenya 2
KW - Kuwait 2
KZ - Kazakistan 2
MU - Mauritius 2
NI - Nicaragua 2
OM - Oman 2
SN - Senegal 2
TT - Trinidad e Tobago 2
AM - Armenia 1
AZ - Azerbaigian 1
BF - Burkina Faso 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CR - Costa Rica 1
DK - Danimarca 1
EE - Estonia 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
KG - Kirghizistan 1
LK - Sri Lanka 1
MK - Macedonia 1
MN - Mongolia 1
NR - Nauru 1
PA - Panama 1
PS - Palestinian Territory 1
SY - Repubblica araba siriana 1
TM - Turkmenistan 1
Totale 12.562
Salva come PNG Salva come JPEG
Città #
Woodbridge 717
Ann Arbor 617
Fairfield 578
Houston 546
Singapore 507
Chandler 469
Ashburn 392
Beijing 346
Jacksonville 328
Hong Kong 301
Wilmington 244
Seattle 229
Cambridge 204
Dearborn 200
Udine 142
Boardman 135
Dong Ket 106
Dublin 100
Princeton 96
Hefei 90
Dallas 87
Izmir 84
Seoul 79
Los Angeles 74
Ho Chi Minh City 61
Mumbai 53
São Paulo 49
Buffalo 47
San Diego 47
Warsaw 46
Ottawa 41
Toronto 41
Trieste 38
Redondo Beach 37
Ogden 33
Milan 32
Munich 31
Frankfurt am Main 30
Hanoi 30
Des Moines 29
Helsinki 28
Redmond 28
Nuremberg 26
New York 24
Zola Predosa 24
Brussels 23
Columbus 23
Phoenix 22
London 21
Norwalk 20
Vienna 20
Leawood 19
San Mateo 19
Nanjing 18
Brno 17
Guangzhou 16
Rio de Janeiro 16
Tokyo 16
Monmouth Junction 15
Santa Clara 15
Mountain View 14
Amsterdam 11
Fuzhou 11
Augusta 10
Da Nang 10
Lappeenranta 10
Porto Alegre 10
Ardabil 9
Belo Horizonte 9
Fremont 9
Jinan 9
Kunming 9
Montreal 9
Venice 9
Andover 8
Baghdad 8
Bologna 8
Denver 8
Dhaka 8
Recife 8
Trento 8
Basiliano 7
Brooklyn 7
Chennai 7
Hirayama 7
Hyderabad 7
Lomé 7
Mexico City 7
Nanchang 7
San Francisco 7
Tashkent 7
Atlanta 6
Brasília 6
Florence 6
Karlsruhe 6
Orem 6
Suzhou 6
Thái Bình 6
Xian 6
Asunción 5
Totale 8.044
Salva come PNG Salva come JPEG
Nome #
DBtk: A Toolkit for Directed Bigraphs 221
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 205
A natural deduction approach to dynamic logic 200
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 198
A Framework for Typed HOAS and Semantics 179
Structural operational semantics for continuous state stochastic transition systems 176
Structural operational semantics for continuous state probabilistic processes 175
Imperative Object-based Calculi in (Co)Inductive Type Theories 174
Structural operational semantics for non-deterministic processes with quantitative aspects 171
About permutation algebras, (pre)sheaves and named sets 169
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 163
Reactive Systems over Directed Bigraphs 163
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems 161
Consistency of the Theory of Contexts 160
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 159
Modal logics for Brane Calculus 158
Open transactions on shared memory 157
GSOS for non-deterministic processes with quantitative aspects 156
Undecidability of Model Checking in Brane Logic 153
Measurable Stochastics for Brane Calculus 152
The expressive power of structural operational semantics with explicit assumptions 152
pi-calculus in (Co)Inductive Type Theories 149
A unifying model of variables and names 147
An Algebra for Directed Bigraphs 145
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 145
A framework for protein and membrane interactions 143
Behavioural equivalences for coalgebras with unobservable moves 143
Structural operational semantics for non-deterministic processes with quantitative aspects 142
A time-series classification approach to shallow web traffic de-anonymization 142
A Unifying Approach to Recursive and Co-recursive Definitions 140
Measurable Stochastics for Brane Calculus 137
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine 137
Constructive logical characterizations of bisimilarity for reactive probabilistic systems 137
Unobservable intrusion detection based on call traces in paravirtualized systems 136
A categorical model of the Fusion calculus 134
Weak bisimulations for labelled transition systems weighted over semirings 133
Finding a Forest in a Tree - The matching problem for wide reactive systems 131
Computing (optimal) embeddings of directed bigraphs 130
Proceedings of FOSSACS 2001 127
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice 127
Encoding Modal Logics in Logical Frameworks 124
Bigraphical models for protein and membrane interactions 123
Some characterization results for permutation algebras 122
PicNIc - Pi-calculus Non-Interference checker 120
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 119
MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences) 118
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 116
Synthesis of distributed mobile programs using monadic types in Coq 115
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 115
Loose Graph Simulations 115
TOSCA 2001 114
Implementing Spi Calculus using Nominal techniques 113
Towards distributed bigraphical reactive systems 113
The Theory of Contexts for First Order and Higher Order Abstract Syntax 112
Distributed execution of bigraphical reactive systems 112
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts 111
Controlling resource access in Directed Bigraphs 111
A Model of Countable Nondeterminism in Guarded Type Theory 110
Preface 110
Proceedings of COMETA 2003 109
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 109
Directed Bigraphs 108
Deciding weak weighted bisimulation 105
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 104
Encoding logical theories of programs 104
On the formalization of the modal mu-calculus in the calculus of inductive constructions 102
Modal μ-types for processes 101
A CSP implementation of the bigraph embedding problem 99
Proceedings of the Workshop COMETA Computational Metamodels 97
On the bisimulation hierarchy of state-to-function transition systems 97
Guest editors' foreword 96
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions 95
An abstract distributed middleware for transactions over heterogeneous stores 94
Closure hyperdoctrines 91
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions 90
Theoretical Computer Science: Preface 89
Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System 86
Distributed Programming of Smart Systems with Event-Condition-Action Rules 84
MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government 84
Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery 83
Deriving Barbed Bisimulations for Bigraphical Reactive Systems 83
Towards user recognition by shallow web traffic inspection 81
Graph Algebras for Bigraphs 80
Special Issue on Methodologies, Technologies and Tools Enabling e-Government 80
Formal analysis of Facebook Connect Single Sign-On authentication protocol 76
A Calculus for Attribute-Based Memory Updates 76
Composable Partial Multiparty Session Types 76
Composable partial multiparty session types for open systems 74
AbU: A calculus for distributed event-driven programming with attribute-based interaction 74
Software transactional memory with interactions 74
ECC's Achilles'Heel: Unveiling Weak Keys in Standardized Curves 73
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems 71
A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP 69
Implementazione di Memoria Distribuita su cluster CompactPCI 69
Special Issue of Theoretical Computer Science on FOSSACS 2001 69
Fuzzy Algebraic Theories 69
Deciding hedged bisimilarity 68
A simple criterion for M,N-adhesivity 65
Towards a formal model for composable container systems 65
Computing Embeddings of Directed Bigraphs 65
Totale 11.904
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.941
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 47.941
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021853 0 0 0 0 0 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/20252.553 76 140 118 122 65 222 151 122 246 196 423 672
2025/20262.260 268 440 498 456 540 58 0 0 0 0 0 0
Totale 12.845