( en | de | ru )

 

Disambiguation of "Narasamdya, Iman"

Author of the publication

copydeleteadd this publication to your clipboard
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.

, , and . KR, page 623-633. AAAI Press, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Konin Imanishi

Iman Alsharhan

Jussef Imanabadi

Lynda M Iman-Loch

Asghar Imandust

 

Other publications of authors with the same name

Verification of parametric system designs., , and . FMCAD, page 122-130. IEEE, (2012)Finding Basic Block and Variable Correspondence., and . SAS, volume 3672 of Lecture Notes in Computer Science, page 251-267. Springer, (2005)Software Model Checking with Explicit Scheduler and Symbolic Threads, , and . Logical Methods in Computer Science, (2012)Boosting Lazy Abstraction for SystemC with Partial Order Reduction., , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 341-356. Springer, (2011)Certification of Smart-Card Applications in Common Criteria., and . FASE, volume 5503 of Lecture Notes in Computer Science, page 309-324. Springer, (2009)Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System., , , , , , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 378-393. Springer, (2012)An Analytic Evaluation of SystemC Encodings in Promela., , , and . SPIN, volume 6823 of Lecture Notes in Computer Science, page 90-107. Springer, (2011)Establishing program equivalence in translation validation for optimizing compilers.. University of Manchester, UK, (2007)British Library, EThOS.Software Model Checking SystemC., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 32 (5): 774-787 (2013)Inter-program Properties., and . SAS, volume 5673 of Lecture Notes in Computer Science, page 343-359. Springer, (2009)