Interview with Nico Kiasashvili, Georgian Translator of "Ulysses"Tall et al. · Project MUSE1980PDF368 KB
Interview with Nico Kiasashvili, Georgian Translator of "Ulysses"Tall et al. · Project MUSE1990PDF1.1 MB
Leading-edge Ada Verification Technologies: Highly Automated Ada Contract Checking Using Bakar KiasanBelt · ACM SIGAda Ada Letters2012PDF351 KB
Mineralogy and Geochemistry of the Coals from the Karmozd and Kiasar Coal Mines, Mazandaran Province, IranMoore · International Journal of Coal Geology2012PDF2.6 MB
Influence of Light Intensity on Leaf Photosynthetic Traits and Alkaloid Content of Kiasahan (Tetracera scandensL.)Setiawati · IOP Conference Series Earth and Environmental Science2018PDF1.2 MB
Makna Implisit Bahasa Kiasan Melayu: Mempertalikan Komunikasi, Kognisi dan Semantik (The Implicit Meaning in Malay Figurative Language: Synergising Communication, Cognition and Semantics)Mansor et al. · Penerbit Universiti Kebangsaan Malaysia (UKM Press)2016PDF438 KB
Isolation and Identification of Halophilic and Halotolerant Bacteria from Badab-e Surt Travertine Spring, Kiasar-Iran, and Investigation of Calcite Biomineralization InductionKhansha · Geomicrobiology Journal2017PDF1.5 MB
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open SystemsDeng2006PDF214 KB
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented SystemsDeng2007PDF442 KB
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic ExecutionDeng2006PDF223 KB