Login / Signup
Abdorrahim Bahrami
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Early Days
Medical Informatics
Logic Programs
Formal Methods
Top Venues
CoRR
Frontiers Comput. Sci.
</>
Publications
</>
Elisabetta De Maria
,
Abdorrahim Bahrami
,
Thibaud L'Yvonnet
,
Amy P. Felty
,
Daniel Gaffé
,
Annie Ressouche
,
Franck Grammont
On the use of formal methods to model and verify neuronal archetypes.
Frontiers Comput. Sci.
16 (3) (2022)
Abdorrahim Bahrami
,
Elisabetta De Maria
,
Joëlle Despeyroux
,
Amy P. Felty
,
Pietro Lió
,
Carlos Olarte
Computational Logic for Biomedicine and Neurosciences.
CoRR
(2020)