( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Bounded Incremental Test Generation Algorithm for Finite State Machines.

, , , и . TestCom/FATES, том 4581 из Lecture Notes in Computer Science, стр. 244-259. Springer, (2007)

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.

Mahadevan Lakshminarasimhan

Kalaivani Subramaniam

Jasmin Mahadevan

Erode Mahadevan

Roland Mahadevan

 

Другие публикации лиц с тем же именем

A Novel Approach for Embedding and Traversing Problems in Serious Games., , , и . SIGITE, стр. 229-235. ACM, (2020)Summarizing developer work history using time series segmentation: challenge report., , и . MSR, стр. 137-140. ACM, (2008)Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report., и . ASIAN, том 2896 из Lecture Notes in Computer Science, стр. 125-145. Springer, (2003)Extending Decision Procedures with Induction Schemes., и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 324-345. Springer, (2000)Automated Reasoning About Parallel Algorithms Using Powerlists., и . AMAST, том 936 из Lecture Notes in Computer Science, стр. 416-430. Springer, (1995)DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients., , и . ICSH, том 9545 из Lecture Notes in Computer Science, стр. 340-349. Springer, (2015)A methodology for early validation of cache coherence protocols based on relational databases., и . Concurr. Comput. Pract. Exp., 19 (3): 355-368 (2007)Improving efficiency of quantum key distribution with probabilistic measurements., , и . Int. J. Secur. Networks, 11 (1/2): 37-47 (2016)The transient combinator, higher-order strategies, and the distributed data problem., и . Sci. Comput. Program., (2004)Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images., , , , , , и . BIBE, стр. 767-772. IEEE, (2020)