IRIS
MICULAN, Marino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.288
AS - Asia 3.858
EU - Europa 2.529
SA - Sud America 660
AF - Africa 98
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 8
Totale 14.452
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.115
SG - Singapore 1.704
CN - Cina 843
BR - Brasile 499
IT - Italia 495
UA - Ucraina 495
VN - Vietnam 333
DE - Germania 330
HK - Hong Kong 326
FI - Finlandia 194
RU - Federazione Russa 191
FR - Francia 175
SE - Svezia 159
IN - India 138
CA - Canada 128
GB - Regno Unito 118
IE - Irlanda 105
TR - Turchia 102
KR - Corea 80
AR - Argentina 61
PL - Polonia 56
BD - Bangladesh 55
JP - Giappone 46
IQ - Iraq 39
NL - Olanda 39
AT - Austria 38
BE - Belgio 28
ES - Italia 28
IR - Iran 27
ZA - Sudafrica 23
ID - Indonesia 22
LT - Lituania 22
CO - Colombia 21
MX - Messico 21
VE - Venezuela 21
CZ - Repubblica Ceca 20
EC - Ecuador 20
CL - Cile 17
DZ - Algeria 17
MY - Malesia 15
PK - Pakistan 15
PH - Filippine 14
UZ - Uzbekistan 14
SA - Arabia Saudita 12
MA - Marocco 11
TW - Taiwan 11
PY - Paraguay 9
AU - Australia 8
EU - Europa 8
AE - Emirati Arabi Uniti 7
DK - Danimarca 7
RO - Romania 7
TG - Togo 7
TH - Thailandia 7
TN - Tunisia 7
BY - Bielorussia 6
JM - Giamaica 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
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
HN - Honduras 3
IL - Israele 3
KG - Kirghizistan 3
KZ - Kazakistan 3
PS - Palestinian Territory 3
AM - Armenia 2
BO - Bolivia 2
GT - Guatemala 2
HU - Ungheria 2
MU - Mauritius 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
TT - Trinidad e Tobago 2
AL - Albania 1
AO - Angola 1
AZ - Azerbaigian 1
BB - Barbados 1
BF - Burkina Faso 1
BG - Bulgaria 1
BH - Bahrain 1
BN - Brunei Darussalam 1
GA - Gabon 1
HR - Croazia 1
HT - Haiti 1
Totale 14.442
Salva come PNG Salva come JPEG
Città #
Woodbridge 718
Singapore 679
Ann Arbor 617
Fairfield 578
Houston 551
Chandler 469
Ashburn 458
Beijing 359
Jacksonville 329
Hong Kong 320
San Jose 248
Wilmington 245
Seattle 231
Cambridge 204
Dearborn 200
Udine 144
Boardman 135
Dong Ket 106
Dublin 103
Lauterbourg 99
Princeton 96
Dallas 90
Hefei 90
Los Angeles 88
Izmir 84
Ho Chi Minh City 82
Seoul 80
The Dalles 63
São Paulo 56
Mumbai 55
Council Bluffs 54
Buffalo 50
Toronto 50
Hanoi 48
Warsaw 48
San Diego 47
Helsinki 46
Frankfurt am Main 43
Ottawa 42
Trieste 38
Redondo Beach 37
Milan 33
Munich 33
Ogden 33
New York 32
Des Moines 30
Santa Clara 30
Redmond 28
Nuremberg 26
Brussels 25
London 25
Columbus 24
Tokyo 24
Zola Predosa 24
Phoenix 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
Chennai 12
Fuzhou 12
Porto Alegre 12
Tashkent 11
Venice 11
Augusta 10
Belo Horizonte 10
Bologna 10
Chicago 10
Denver 10
Dhaka 10
Lappeenranta 10
Mexico City 10
Ardabil 9
Fremont 9
Jinan 9
Kunming 9
Montreal 9
Paris 9
Shanghai 9
Andover 8
Atlanta 8
Bogotá 8
Florence 8
Guayaquil 8
Recife 8
Salvador 8
San Francisco 8
Trento 8
Winnipeg 8
Basiliano 7
Totale 9.005
Salva come PNG Salva come JPEG
Nome #
DBtk: A Toolkit for Directed Bigraphs 244
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 235
A natural deduction approach to dynamic logic 221
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 210
A Framework for Typed HOAS and Semantics 200
Structural operational semantics for continuous state stochastic transition systems 191
Reactive Systems over Directed Bigraphs 188
Structural operational semantics for non-deterministic processes with quantitative aspects 188
Structural operational semantics for continuous state probabilistic processes 186
Imperative Object-based Calculi in (Co)Inductive Type Theories 185
About permutation algebras, (pre)sheaves and named sets 182
Modal logics for Brane Calculus 178
Consistency of the Theory of Contexts 177
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 171
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems 170
GSOS for non-deterministic processes with quantitative aspects 168
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 166
Open transactions on shared memory 166
The expressive power of structural operational semantics with explicit assumptions 166
A time-series classification approach to shallow web traffic de-anonymization 166
A unifying model of variables and names 165
Structural operational semantics for non-deterministic processes with quantitative aspects 163
pi-calculus in (Co)Inductive Type Theory 162
Measurable Stochastics for Brane Calculus 161
Undecidability of Model Checking in Brane Logic 160
An Algebra for Directed Bigraphs 159
A Unifying Approach to Recursive and Co-recursive Definitions 158
Computing (optimal) embeddings of directed bigraphs 157
Encoding Modal Logics in Logical Frameworks 157
Unobservable intrusion detection based on call traces in paravirtualized systems 157
A framework for protein and membrane interactions 156
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 156
Behavioural equivalences for coalgebras with unobservable moves 150
A categorical model of the Fusion calculus 149
Weak bisimulations for labelled transition systems weighted over semirings 148
Measurable Stochastics for Brane Calculus 146
Constructive logical characterizations of bisimilarity for reactive probabilistic systems 146
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine 142
Finding a Forest in a Tree - The matching problem for wide reactive systems 142
Proceedings of FOSSACS 2001 135
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice 134
Encoding logical theories of programs 134
Bigraphical models for protein and membrane interactions 134
Controlling resource access in Directed Bigraphs 133
PicNIc - Pi-calculus Non-Interference checker 131
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 131
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 130
Synthesis of distributed mobile programs using monadic types in Coq 130
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions 129
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts 128
Towards distributed bigraphical reactive systems 127
Preface 127
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 126
A CSP implementation of the bigraph embedding problem 126
Some characterization results for permutation algebras 126
Loose Graph Simulations 126
MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences) 125
TOSCA 2001 124
The Theory of Contexts for First Order and Higher Order Abstract Syntax 123
Directed Bigraphs 122
Distributed execution of bigraphical reactive systems 122
Implementing Spi Calculus using Nominal techniques 118
A Model of Countable Nondeterminism in Guarded Type Theory 118
Proceedings of COMETA 2003 116
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 116
An abstract distributed middleware for transactions over heterogeneous stores 116
Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System 115
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 114
On the bisimulation hierarchy of state-to-function transition systems 114
Deciding weak weighted bisimulation 114
On the formalization of the modal mu-calculus in the calculus of inductive constructions 113
Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery 111
Modal μ-types for processes 109
Guest editors' foreword 108
Proceedings of the Workshop COMETA Computational Metamodels 106
Distributed Programming of Smart Systems with Event-Condition-Action Rules 105
Graph Algebras for Bigraphs 105
Theoretical Computer Science: Preface 105
Closure hyperdoctrines 105
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions 100
Formal analysis of Facebook Connect Single Sign-On authentication protocol 98
ECC's Achilles'Heel: Unveiling Weak Keys in Standardized Curves 98
Composable partial multiparty session types for open systems 96
AbU: A calculus for distributed event-driven programming with attribute-based interaction 95
Real-Time Anomaly Detection in Docker Containers: A Continuous Learning Approach Using SF-SOINN 93
Special Issue on Methodologies, Technologies and Tools Enabling e-Government 92
Towards user recognition by shallow web traffic inspection 92
MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government 91
Deriving Barbed Bisimulations for Bigraphical Reactive Systems 90
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems 89
A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP 89
Software transactional memory with interactions 89
Composable Partial Multiparty Session Types 87
A Calculus for Attribute-Based Memory Updates 85
OWSM: Empowering Rego for Stateful Access Control 84
Fuzzy Algebraic Theories 84
A simple criterion for M,N-adhesivity 83
Implementazione di Memoria Distribuita su cluster CompactPCI 83
Computing Embeddings of Directed Bigraphs 83
A Calculus for Subjective Communication 83
Totale 13.407
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.632
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 52.632
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021339 0 0 0 0 0 0 0 0 0 0 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/20264.156 268 440 498 456 540 353 562 194 251 424 170 0
Totale 14.741