( en | de | ru )

 

Disambiguierung von "Krishnamurthi, Shriram"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Problematic and Persistent Post-Secondary Program Performance Preconceptions.

, , , und . Koli Calling, Seite 1:1-1:6. ACM, (2022)

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.

Keine Personen gefunden für den Autorennamen Krishnamurthi, Shriram
Eine Person hinzufügen mit dem Namen Krishnamurthi, Shriram
 

Weitere Publikationen von Autoren mit dem selben Namen

Web Verification: Perspective and Challenges.. WWV, DSIC-II/03/05, Seite 3-8. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)The behavior of gradual types: a user study., , , und . DLS, Seite 1-12. ACM, (2018)Static Differential Program Analysis for Software-Defined Networks., , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 395-413. Springer, (2015)Compiling Stateful Network Properties for Runtime Verification., , , , und . CoRR, (2016)ADsafety: Type-Based Verification of JavaScript Sandboxing., , , und . CoRR, (2015)Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs., und . ICSE, Seite 277-287. ACM, (2002)A programmable programming language., , , , , , und . Commun. ACM, 61 (3): 62-71 (2018)Educational Pearl: Automata via macros.. J. Funct. Program., 16 (3): 253-267 (2006)Prototyping Formal Methods Tools: A Protocol Analysis Case Study., , , , und . Protocols, Strands, and Logic, Volume 13066 von Lecture Notes in Computer Science, Seite 394-413. Springer, (2021)Developing Behavioral Concepts of Higher-Order Functions., und . ICER, Seite 306-318. ACM, (2021)