IRIS
MICULAN, Marino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.663
EU - Europa 1.564
AS - Asia 561
AF - Africa 15
SA - Sud America 11
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 3
Totale 7.825
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.618
UA - Ucraina 483
CN - Cina 268
IT - Italia 265
DE - Germania 219
FI - Finlandia 169
SE - Svezia 151
VN - Vietnam 110
IE - Irlanda 94
TR - Turchia 85
CA - Canada 45
GB - Regno Unito 40
PL - Polonia 40
IN - India 27
IR - Iran 27
FR - Francia 20
RU - Federazione Russa 19
CZ - Repubblica Ceca 17
JP - Giappone 14
SG - Singapore 14
BE - Belgio 13
NL - Olanda 11
BR - Brasile 8
EU - Europa 8
TW - Taiwan 8
AT - Austria 7
TG - Togo 7
RO - Romania 6
CM - Camerun 5
AU - Australia 3
DZ - Algeria 3
ES - Italia 3
CH - Svizzera 2
CL - Cile 2
HK - Hong Kong 2
HU - Ungheria 2
JO - Giordania 2
TH - Thailandia 2
AR - Argentina 1
BY - Bielorussia 1
DK - Danimarca 1
HR - Croazia 1
MY - Malesia 1
PK - Pakistan 1
Totale 7.825
Salva come PNG Salva come JPEG
Città #
Woodbridge 717
Ann Arbor 617
Fairfield 578
Houston 542
Chandler 469
Jacksonville 328
Ashburn 274
Wilmington 244
Seattle 226
Cambridge 203
Dearborn 200
Beijing 122
Udine 110
Dong Ket 106
Princeton 96
Dublin 94
Izmir 83
San Diego 47
Warsaw 40
Ogden 33
Des Moines 29
Helsinki 28
Redmond 28
Ottawa 24
Zola Predosa 24
Boardman 23
Trieste 22
Norwalk 20
Leawood 19
San Mateo 19
Nanjing 18
Phoenix 18
Brno 17
Hefei 16
Monmouth Junction 15
Mountain View 14
Toronto 13
Brussels 12
Augusta 10
Fuzhou 10
Guangzhou 10
Ardabil 9
Fremont 9
Jinan 9
Kunming 9
Milan 9
Munich 9
Singapore 9
Andover 8
Mumbai 8
Basiliano 7
Hirayama 7
Lomé 7
Nanchang 7
Karlsruhe 6
Vienna 6
Xian 6
Horia 5
Nuremberg 5
Recife 5
Wuhan 5
Zanjan 5
Bologna 4
Dongguan 4
Ho Chi Minh City 4
Hyderabad 4
Lappeenranta 4
Los Angeles 4
New York 4
Sunnyvale 4
Tokyo 4
Trento 4
Villeurbanne 4
Adelaide 3
Amstelveen 3
Amsterdam 3
Chengdu 3
Dallas 3
Frankfurt am Main 3
Indiana 3
London 3
Padova 3
Redwood City 3
Rodgau 3
Sacramento 3
Saint Petersburg 3
San Jose 3
Santa Clara 3
Shanghai 3
Tappahannock 3
Tehran 3
Verona 3
Washington 3
Winnipeg 3
Amman 2
Baotou 2
Basiano 2
Bolzano 2
Bosco Chiesanuova 2
Budapest 2
Totale 5.787
Salva come PNG Salva come JPEG
Nome #
DBtk: A Toolkit for Directed Bigraphs 152
Structural operational semantics for continuous state probabilistic processes 143
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 142
Imperative Object-based Calculi in (Co)Inductive Type Theories 142
Structural operational semantics for non-deterministic processes with quantitative aspects 141
Structural operational semantics for continuous state stochastic transition systems 140
A natural deduction approach to dynamic logic 138
A Framework for Typed HOAS and Semantics 132
About permutation algebras, (pre)sheaves and named sets 129
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 127
Open transactions on shared memory 126
Modal logics for Brane Calculus 125
Reactive Systems over Directed Bigraphs 124
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems 124
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 123
Consistency of the Theory of Contexts 123
pi-calculus in (Co)Inductive Type Theories 122
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 120
The expressive power of structural operational semantics with explicit assumptions 120
GSOS for non-deterministic processes with quantitative aspects 120
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine 116
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 116
Constructive logical characterizations of bisimilarity for reactive probabilistic systems 115
Structural operational semantics for non-deterministic processes with quantitative aspects 113
Undecidability of Model Checking in Brane Logic 113
A unifying model of variables and names 106
Behavioural equivalences for coalgebras with unobservable moves 106
An Algebra for Directed Bigraphs 104
Measurable Stochastics for Brane Calculus 101
A framework for protein and membrane interactions 101
A Unifying Approach to Recursive and Co-recursive Definitions 99
Measurable Stochastics for Brane Calculus 99
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice 98
Unobservable intrusion detection based on call traces in paravirtualized systems 97
Proceedings of FOSSACS 2001 92
A categorical model of the Fusion calculus 92
Bigraphical models for protein and membrane interactions 92
MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences) 91
Some characterization results for permutation algebras 89
Finding a Forest in a Tree - The matching problem for wide reactive systems 88
PicNIc - Pi-calculus Non-Interference checker 87
Synthesis of distributed mobile programs using monadic types in Coq 86
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 85
Distributed execution of bigraphical reactive systems 85
Weak bisimulations for labelled transition systems weighted over semirings 83
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 83
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 82
Controlling resource access in Directed Bigraphs 80
Implementing Spi Calculus using Nominal techniques 80
TOSCA 2001 78
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 78
Towards distributed bigraphical reactive systems 78
Loose Graph Simulations 76
Directed Bigraphs 75
Deciding weak weighted bisimulation 75
The Theory of Contexts for First Order and Higher Order Abstract Syntax 73
Proceedings of COMETA 2003 73
Preface 73
On the bisimulation hierarchy of state-to-function transition systems 71
Modal μ-types for processes 71
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts 70
Encoding Modal Logics in Logical Frameworks 68
On the formalization of the modal mu-calculus in the calculus of inductive constructions 68
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 67
A Model of Countable Nondeterminism in Guarded Type Theory 67
Encoding logical theories of programs 66
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions 63
Proceedings of the Workshop COMETA Computational Metamodels 63
Theoretical Computer Science: Preface 62
A CSP implementation of the bigraph embedding problem 59
A time-series classification approach to shallow web traffic de-anonymization 57
Formal analysis of Facebook Connect Single Sign-On authentication protocol 56
Special Issue on Methodologies, Technologies and Tools Enabling e-Government 56
Graph Algebras for Bigraphs 54
MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government 52
Guest editors' foreword 49
Deriving Barbed Bisimulations for Bigraphical Reactive Systems 48
Towards user recognition by shallow web traffic inspection 48
Special Issue of Theoretical Computer Science on FOSSACS 2001 45
An abstract distributed middleware for transactions over heterogeneous stores 42
Implementazione di Memoria Distribuita su cluster CompactPCI 37
Composable Partial Multiparty Session Types 37
Deciding hedged bisimilarity 36
Frecuencis lessicâls dal furlan scrit 34
A Calculus for Attribute-Based Memory Updates 32
Composable partial multiparty session types for open systems 31
Automated symbolic verification of Telegram’s MTProto 2.0 31
Modeling fresh names in the π-calculus using abstractions 29
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions 28
Software transactional memory with interactions 28
Closure hyperdoctrines 28
Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System 26
Computing Embeddings of Directed Bigraphs 26
Securing the art market with distributed public ledgers 25
Towards a formal model for composable container systems 25
Computing (optimal) embeddings of directed bigraphs 24
Distributed Programming of Smart Systems with Event-Condition-Action Rules 23
On the Security and Safety of AbU Systems 23
LFMTP 2010 - Preface 22
AbU: A calculus for distributed event-driven programming with attribute-based interaction 19
Totale 7.937
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.933
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 25.933
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.930 115 84 62 261 138 306 253 224 124 166 59 138
2020/20211.192 13 138 21 150 17 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/202529 29 0 0 0 0 0 0 0 0 0 0 0
Totale 8.061