( en | de | ru )

 

Disambiguierung von "Subramaniam, Mahadevan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The transient combinator, higher-order strategies, and the distributed data problem.

, und . Sci. Comput. Program., (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mahadevan Lakshminarasimhan

Kalaivani Subramaniam

Jasmin Mahadevan

Erode Mahadevan

Roland Mahadevan

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Reasoning About Parallel Algorithms Using Powerlists., und . AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 416-430. Springer, (1995)DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients., , und . ICSH, Volume 9545 von Lecture Notes in Computer Science, Seite 340-349. Springer, (2015)Extending Decision Procedures with Induction Schemes., und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 324-345. Springer, (2000)Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report., und . ASIAN, Volume 2896 von Lecture Notes in Computer Science, Seite 125-145. Springer, (2003)Summarizing developer work history using time series segmentation: challenge report., , und . MSR, Seite 137-140. ACM, (2008)A methodology for early validation of cache coherence protocols based on relational databases., und . Concurr. Comput. Pract. Exp., 19 (3): 355-368 (2007)A Novel Approach for Embedding and Traversing Problems in Serious Games., , , und . SIGITE, Seite 229-235. ACM, (2020)Improving efficiency of quantum key distribution with probabilistic measurements., , und . Int. J. Secur. Networks, 11 (1/2): 37-47 (2016)The transient combinator, higher-order strategies, and the distributed data problem., und . Sci. Comput. Program., (2004)Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography., , , , und . iTextbooks@AIED, Volume 2674 von CEUR Workshop Proceedings, Seite 90-102. CEUR-WS.org, (2020)