Sign in
Arian Baloochestani
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Fisher Kernel
Latent Dirichlet Allocation
Formal Verification
Generative Model
Top Venues
DAIS
BRAINS
BIOINFORMATICS
</>
Publications
</>
Arian Baloochestani
,
Leander Jehl
Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis.
BRAINS
(2023)
Arian Baloochestani
,
Leander Jehl
,
Hein Meling
Rebop: Reputation-Based Incentives in Committee-Based Blockchains.
DAIS
(2022)
Saeed Khalilian
,
Zahra Moti
,
Arian Baloochestani
,
Yeganeh Hallaj
,
Alireza Chavosh
,
Zahra Hemmatian
VAEResTL: A Novel Generative Model for Designing Complementarity Determining Region of Antibody for SARS-CoV-2.
BIOINFORMATICS
(2022)