Mardare, Iulian Radu
 Distribuzione geografica
Continente #
NA - Nord America 157
AS - Asia 88
EU - Europa 35
AF - Africa 1
Totale 281
Nazione #
US - Stati Uniti d'America 157
SG - Singapore 52
CN - Cina 21
ID - Indonesia 14
DE - Germania 9
RU - Federazione Russa 9
GB - Regno Unito 5
UA - Ucraina 5
FI - Finlandia 3
IT - Italia 2
BE - Belgio 1
BG - Bulgaria 1
LA - Repubblica Popolare Democratica del Laos 1
MA - Marocco 1
Totale 281
Città #
Singapore 43
Santa Clara 35
Columbus 29
Ashburn 15
Jakarta 14
Fairfield 10
Moscow 9
Jacksonville 8
Houston 7
Council Bluffs 6
New York 6
Cambridge 5
Seattle 5
Woodbridge 5
San Mateo 3
Beijing 2
Helsinki 2
Kerken 2
Los Angeles 2
North Bergen 2
Toenisvorst 2
Wilmington 2
Ann Arbor 1
Arco 1
Brussels 1
Dallas 1
Dottingen 1
Kilburn 1
Kunming 1
Lawrence 1
Linyi 1
Norwalk 1
Princeton 1
Shenzhen 1
Sofia 1
Staten Island 1
Tianjin 1
Uhlingen-Birkendorf 1
Verona 1
Vientiane 1
Totale 232
Nome #
Decidable extensions of Hennessy-Milner Logic 71
Computing the accessibility relation for the Ambient Calculus 24
Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking 20
A Decidable Extension of Hennessy-Milner Logic with Spatial Operators 19
Dynamic-Epistemic Spatial Logic 18
Decision Problems for Spatial Logics Revisited 16
The principles of ambient calculus revisited 16
A Propositional Branching Temporal Logic for the Ambient Calculus 16
A Process Algebraical Approach to Modelling Compartmentalized Biological Systems 15
Colonies of Synchronizing Agents 15
Dynamic Epistemic Spatial Logic 14
Towards a Complete Axiomatization for Spatial Logic 14
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents 13
Dynamic-Epistemic Reasoning on Distributed Systems 13
Model Checking Dynamic-Epistemic Spatial Logic 11
Totale 295
Categoria #
all - tutte 1.897
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 1.897


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202016 0 0 0 0 0 1 4 3 3 2 1 2
2020/202111 0 2 0 2 1 0 1 1 1 1 1 1
2021/20227 0 2 0 0 0 1 0 1 1 0 0 2
2022/20233 2 0 0 0 0 0 0 0 0 0 1 0
2023/202477 0 0 0 9 26 14 5 0 1 2 3 17
2024/2025155 2 1 4 83 28 37 0 0 0 0 0 0
Totale 295