Samin Ishtiaq
Pakistan Council of Scientific & Industrial Research(PK)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Scientific Computing and Data Management, Distributed and Parallel Computing Systems
Most-Cited Works
- → BI as an assertion language for mutable data structures(2011)496 cited
- → SLAyer: Memory Safety for Systems-Level Code(2011)107 cited
- → The semantics of power and ARM multiprocessor machine code(2009)104 cited
- → T2: Temporal Property Verification(2016)62 cited
- → (2017)42 cited
- → Bma: Visual Tool for Modeling and Analyzing Biological Networks(2012)40 cited
- → Reasoning about the ARM weakly consistent memory model(2008)34 cited
- → A relevant analysis of natural deduction(1998)30 cited