Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by PAROSH AZIZ ABDULLA
Monotonic Abstraction for Programs With Multiply-Linked Structures
International Journal of Foundations of Computer Science
Computer Science
Related publications
Monotonic Abstraction-Refinement for CTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Programs With Dynamic 1-Selector-Linked Structures in Regular Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstraction of Linked Data’s World
Visión electrónica
Modeling of Ductile Fracture in Steel Structures for Monotonic and Cyclic Loading
DimSUM: Dimension and Scale Unifying Map for Visual Abstraction of DNA Origami Structures
Computer Graphics Forum
Computer Networks
Computer Graphics
Computer-Aided Design
Communications
Validation of Linked Simulation for Fire-Exposed Concrete Structures
Acta Polytechnica CTU Proceedings
Mating Structures for Genomic Selection Breeding Programs in Aquaculture
Genetics, Selection, Evolution
Evolution
Ecology
Genetics
Systematics
Animal Science
Medicine
Behavior
Zoology
Dynamically Cross-Linked Self-Assembled Thermoresponsive Microgels With Homogeneous Internal Structures
Automatic Abstraction for Congruences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science