PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Krishnamurthi, Shriram"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Static Debugging: Browsing the Web of Program Invariants.

, , , , und . PLDI, Seite 23-32. ACM, (1996)

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

Teaching programming languages in a post-linnaean age.. SIGPLAN Notices, 43 (11): 81-83 (2008)SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations., , , , , , , , , und 8 andere Autor(en). SIGPLAN Notices, 43 (11): 6-29 (2008)Verifying Interactive Web Programs., und . ASE, Seite 164-173. IEEE Computer Society, (2004)Artifact evaluation for software conferences.. ACM SIGSOFT Software Engineering Notes, 38 (3): 7-10 (2013)Foundations of incremental aspect model-checking., und . ACM Trans. Softw. Eng. Methodol., 16 (2): 7 (2007)Simon: scriptable interactive monitoring for SDNs., , , , und . SOSR, Seite 19:1-19:7. ACM, (2015)Modeling Web Interactions., , , und . ESOP, Volume 2618 von Lecture Notes in Computer Science, Seite 238-252. Springer, (2003)Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages., , und . FLOPS, Volume 3945 von Lecture Notes in Computer Science, Seite 259-276. Springer, (2006)Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems., , und . SIGCSE, Seite 8-13. ACM, (2018)Tierless Programming and Reasoning for Networks.. PLAS@ECOOP, Seite 42. ACM, (2015)