IRIS
MICULAN, Marino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.654
EU - Europa 1.505
AS - Asia 513
AF - Africa 15
SA - Sud America 11
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 3
Totale 7.709
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.609
UA - Ucraina 483
CN - Cina 258
IT - Italia 256
DE - Germania 205
FI - Finlandia 159
SE - Svezia 151
VN - Vietnam 106
IE - Irlanda 93
TR - Turchia 85
CA - Canada 45
PL - Polonia 40
GB - Regno Unito 39
IR - Iran 24
IN - India 22
RU - Federazione Russa 18
FR - Francia 16
BE - Belgio 13
NL - Olanda 9
BR - Brasile 8
EU - Europa 8
TG - Togo 7
TW - Taiwan 7
AT - Austria 6
RO - Romania 6
CM - Camerun 5
JP - Giappone 4
AU - Australia 3
DZ - Algeria 3
ES - Italia 3
SG - Singapore 3
CH - Svizzera 2
CL - Cile 2
HU - Ungheria 2
TH - Thailandia 2
AR - Argentina 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
HK - Hong Kong 1
HR - Croazia 1
MY - Malesia 1
Totale 7.709
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 108
Dong Ket 106
Princeton 96
Dublin 93
Izmir 83
San Diego 47
Warsaw 40
Ogden 33
Des Moines 29
Redmond 28
Ottawa 24
Zola Predosa 24
Trieste 22
Norwalk 20
Boardman 19
Helsinki 19
Leawood 19
San Mateo 19
Nanjing 18
Phoenix 18
Hefei 16
Monmouth Junction 15
Mountain View 14
Toronto 13
Brussels 12
Augusta 10
Fuzhou 10
Guangzhou 10
Ardabil 9
Fremont 9
Kunming 9
Andover 8
Mumbai 8
Basiliano 7
Jinan 7
Lomé 7
Milan 7
Nanchang 7
Karlsruhe 6
Vienna 6
Xian 6
Horia 5
Recife 5
Wuhan 5
Zanjan 5
Bologna 4
Los Angeles 4
New York 4
Sunnyvale 4
Villeurbanne 4
Adelaide 3
Amstelveen 3
Amsterdam 3
Chengdu 3
Dallas 3
Indiana 3
Lappeenranta 3
London 3
Nuremberg 3
Padova 3
Redwood City 3
Rodgau 3
Sacramento 3
Saint Petersburg 3
San Jose 3
Santa Clara 3
Shanghai 3
Tappahannock 3
Tokyo 3
Trento 3
Verona 3
Washington 3
Winnipeg 3
Baotou 2
Basiano 2
Bolzano 2
Bosco Chiesanuova 2
Budapest 2
Buffalo 2
Catania 2
Cesena 2
Changsha 2
Chongqing 2
Constantine 2
Flix 2
Florence 2
Frankfurt am Main 2
Grafing 2
Totale 5.720
Salva come PNG Salva come JPEG
Nome #
DBtk: A Toolkit for Directed Bigraphs 150
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 142
Structural operational semantics for continuous state probabilistic processes 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 135
A Framework for Typed HOAS and Semantics 132
About permutation algebras, (pre)sheaves and named sets 129
Open transactions on shared memory 126
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 125
Modal logics for Brane Calculus 125
Reactive Systems over Directed Bigraphs 124
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems 124
Consistency of the Theory of Contexts 123
pi-calculus in (Co)Inductive Type Theories 122
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 122
GSOS for non-deterministic processes with quantitative aspects 120
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 119
The expressive power of structural operational semantics with explicit assumptions 117
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
Behavioural equivalences for coalgebras with unobservable moves 106
A unifying model of variables and names 104
An Algebra for Directed Bigraphs 104
Measurable Stochastics for Brane Calculus 101
A framework for protein and membrane interactions 100
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
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
A categorical model of the Fusion calculus 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
Distributed execution of bigraphical reactive systems 85
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 84
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 83
Weak bisimulations for labelled transition systems weighted over semirings 82
Implementing Spi Calculus using Nominal techniques 80
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems 80
Controlling resource access in Directed Bigraphs 79
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
Proceedings of COMETA 2003 72
The Theory of Contexts for First Order and Higher Order Abstract Syntax 71
Preface 71
Modal μ-types for processes 70
On the bisimulation hierarchy of state-to-function transition systems 69
Encoding Modal Logics in Logical Frameworks 68
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts 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 64
Theoretical Computer Science: Preface 62
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions 61
Proceedings of the Workshop COMETA Computational Metamodels 61
A CSP implementation of the bigraph embedding problem 59
Special Issue on Methodologies, Technologies and Tools Enabling e-Government 56
A time-series classification approach to shallow web traffic de-anonymization 55
Formal analysis of Facebook Connect Single Sign-On authentication protocol 52
Graph Algebras for Bigraphs 52
MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government 52
Guest editors' foreword 49
Towards user recognition by shallow web traffic inspection 48
Deriving Barbed Bisimulations for Bigraphical Reactive Systems 46
Special Issue of Theoretical Computer Science on FOSSACS 2001 45
An abstract distributed middleware for transactions over heterogeneous stores 38
Composable Partial Multiparty Session Types 37
Deciding hedged bisimilarity 36
Implementazione di Memoria Distribuita su cluster CompactPCI 35
Frecuencis lessicâls dal furlan scrit 34
A Calculus for Attribute-Based Memory Updates 32
Automated symbolic verification of Telegram’s MTProto 2.0 31
Composable partial multiparty session types for open systems 30
Modeling fresh names in the π-calculus using abstractions 29
Software transactional memory with interactions 28
Computing Embeddings of Directed Bigraphs 26
Closure hyperdoctrines 26
Towards a formal model for composable container systems 25
Securing the art market with distributed public ledgers 24
Computing (optimal) embeddings of directed bigraphs 23
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions 22
Distributed Programming of Smart Systems with Event-Condition-Action Rules 22
LFMTP 2010 - Preface 22
On the Security and Safety of AbU Systems 22
AbU: A calculus for distributed event-driven programming with attribute-based interaction 18
Fuzzy Algebraic Theories 17
Totale 7.860
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.575
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 23.575
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019457 0 0 0 0 0 0 0 0 0 0 293 164
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/2024364 41 30 13 17 85 34 8 14 54 66 2 0
Totale 7.942