Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

An Object-Oriented Framework for Loop Parallelization., , und . ISHPC, Volume 1336 von Lecture Notes in Computer Science, Seite 351-360. Springer, (1997)Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods., , und . FMSEE&T@FM, Volume 1385 von CEUR Workshop Proceedings, Seite 51-58. CEUR-WS.org, (2015)A Parallelizing Compiler by Object Oriented Design., , und . COMPSAC, Seite 232-239. IEEE Computer Society, (1997)Visualizing centrality of process area networks in CMMI-DEV., , , und . ICSSP, Seite 173-174. ACM, (2015)Generating supportive hypotheses in introducing formal methods using a software processes improvement model., , , und . FormaliSE, Seite 24-30. ACM, (2014)Towards Verifying VDM Using SPIN., , , und . FTSCS, Volume 596 von Communications in Computer and Information Science, Seite 241-256. Springer, (2015)Large Scale Business-academia Collaboration in Master Education Course., , , , , , , , , und 1 andere Autor(en). CSEDU (2), Seite 159-166. INSTICC Press, (2009)978-989-8111-82-1.Requirements Development of Energy Management System for a Unit in Smart Campus., , , und . IIAI-AAI, Seite 405-410. IEEE Computer Society, (2014)An Object-Oriented Framework for Loop Parallelization., , und . J. Supercomput., 13 (1): 57-69 (1999)Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud., , und . ICSOFT (1), Seite 264-268. INSTICC Press, (2009)