( en | de | ru )

 

Disambiguierung von "Kulczycki, Gregory"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A specification-based approach to reasoning about pointers.

, , , und . ACM SIGSOFT Softw. Eng. Notes, (2006)

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.

Robert Gregory

Isa Gregory

Gregory Kroon

Xaver Gregory

Gregory Okereke

 

Weitere Publikationen von Autoren mit dem selben Namen

A Comparison of Methods for Automatic Term Extraction for Domain Analysis., , und . ICSR, Volume 8919 von Lecture Notes in Computer Science, Seite 269-281. Springer, (2015)A specification-based approach to reasoning about pointers., , , und . ACM SIGSOFT Softw. Eng. Notes, (2006)Simplifying reasoning about objects with Tako., und . SAVCBS@FSE, Seite 57-64. ACM, (2006)Panel: Engage in Reasoning with Tools., , , und . SIGCSE, Seite 160-161. ACM, (2016)Mining social tags to predict mashup patterns., , und . SMUC@CIKM, Seite 71-78. ACM, (2010)Formal Specification and Verification of Transactional Service Composition., , und . SERVICES, Seite 474-481. IEEE Computer Society, (2011)A Reusable Model for Data-Centric Web Services., , und . ICSR, Volume 5791 von Lecture Notes in Computer Science, Seite 288-297. Springer, (2009)Performance specification of software components., , , , und . SSR, Seite 3-10. ACM, (2001)Formal Specification., , , und . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Demystifying Data-Centric Web Services., , und . IEEE Internet Comput., 13 (5): 86-90 (2009)