Amir Kafshdar Goharshady
- Termination Analysis of Probabilistic Programs through\n Positivstellensatz's
2016/04/25 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Hongfei Fu +3 · 7 citations
Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Logic, programming, and type systems
- Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible\n to Buy and Sell Physical Goods Securely on the Blockchain
2021/10/19 by Amir Kafshdar Goharshady, Goharshady, Amir Kafshdar · 1 voice · 1 citation
Computer Science · Decision Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Cryptography and Data Security #cs.CR #cs.DM #cs.GT
- Cost Analysis of Nondeterministic Probabilistic Programs
2019/02/12 by Peixin Wang, Wang, Peixin, Hongfei Fu +9 · 3 citations
Computer Science · #Formal Methods in Verification #Distributed systems and fault tolerance #Real-Time Systems Scheduling
- Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
2024/03/08 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Amir Kafshdar Goharshady +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- PolyQEnt: A Polynomial Quantified Entailment Solver
2024/08/07 by Krishnendu Chatterjee, Amir Kafshdar Goharshady, Chatterjee, Krishnendu +10 · 4 citations
Mathematics · Biochemistry, Genetics and Molecular Biology · Computer Science · #Mathematics and Applications #DNA and Biological Computing #Advanced Graph Theory Research
- Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
2015/10/26 by Krishnendu Chatterjee, Amir Kafshdar Goharshady, Chatterjee, Krishnendu +5 · 1 citation
Computer Science · #Formal Methods in Verification #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques