Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Reza Sefidgar
Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/Hol
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
From LCF to Isabelle/Hol
Formal Aspects of Computing
Theoretical Computer Science
Software
Refinement to Imperative/Hol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Verified Compiler From Isabelle/Hol to CakeML
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Bounds for Real Linear Programs in Isabelle/Hol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Feature Link Propagation Across Variability Representations With Isabelle/Hol
Classifying Network Protocols: A ‘Two-Way’ Flow Approach
IET Communications
Electronic Engineering
Computer Science Applications
Electrical
Inappropriate ICD Shocks as a Consequence of a Refinement in SVT Discrimination Algorithms
Journal of Innovations in Cardiac Rhythm Management
An Approach for Modeling and Formalizing SOA Design Patterns
A Phylogenetic Approach to Genetic Map Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
