Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Abdorrahim Bahrami

Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq

2018English

Related publications

Verifying Properties of Neural Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Verifying a Local Generic Solver in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq

2020English

Modelling Dynamic Bottlenecks in Production Networks

International Journal of Computer Integrated Manufacturing
Electronic EngineeringIndustrialMechanical EngineeringManufacturing EngineeringComputer Science ApplicationsElectricalAerospace Engineering
2011English

Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

2009English

Erratum To: Functional Model of Biological Neural Networks

Cognitive Neurodynamics
Cognitive Neuroscience
2010English

Modelling Prosodic Structure Using Artificial Neural Networks

2019English

Modelling Sequences and Temporal Networks With Dynamic Community Structures

Nature Communications
AstronomyGeneticsMolecular BiologyBiochemistryChemistryPhysics
2017English

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Computer Journal
Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy