( en | de | ru )

 

Disambiguierung von "Stata, Raymie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Checking Java Programs via Guarded Commands.

, , und . ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 110-111. Springer, (1999)

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 Stata, Raymie
Eine Person hinzufügen mit dem Namen Stata, Raymie
 

Weitere Publikationen von Autoren mit dem selben Namen

Graph structure in the Web: Experiments and models, , , , , , , und . Proceedings of the Ninth Conference on World Wide Web, Seite 309--320. Amsterdam, Netherlands, ACM Press, (Mai 2000)Graph structure in the Web., , , , , , , und . Comput. Networks, 33 (1-6): 309-320 (2000)Finding Buying Guides with a Web Carnivore., und . LA-WEB, Seite 84-92. IEEE Computer Society, (2003)Checking Java Programs via Guarded Commands., , und . ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 110-111. Springer, (1999)The Link Database: Fast Access to Graphs of the Web., , , und . DCC, Seite 122-131. IEEE Computer Society, (2002)A Type System for Java Bytecode Subroutines., und . POPL, Seite 149-160. ACM, (1998)Modular Reasoning in the Presence of Subclassing., und . OOPSLA, Seite 200-214. ACM, (1995)OOPSLA'95, Addendum to the Proceedings: OOPS Messenger 6(4) October 1995.PLDI 2002: Extended static checking for Java., , , , , und . ACM SIGPLAN Notices, 48 (4S): 22-33 (2013)How dynamic is the web?, , , , und . Proceedings of the Ninth Conference on World Wide Web, Amsterdam, Netherlands, ACM Press, (Mai 2000)Parallel programming in modern web search engines.. PPoPP, Seite 58. ACM, (2006)