Login / Signup
Francesco Bellamoli
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Security Properties
Predicate Calculus
Formal Model
Top Venues
Nat. Comput.
</>
Publications
</>
Francesco Bellamoli
,
Giuditta Franco
,
Lila Kari
,
Silvia Lampis
,
Timothy Ng
,
Zihao Wang
Conjugate word blending: formal model and experimental implementation by XPCR.
Nat. Comput.
20 (4) (2021)