( en | de | ru )

 

Disambiguierung von "Nitta, Naoya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios.

, , und . APSEC (1), Seite 517-522. IEEE Computer Society, (2013)978-1-4799-2143-0.

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.

Ryukyo Nitta

Naoya Koseki

Suteera Nittayananta

 

Weitere Publikationen von Autoren mit dem selben Namen

A Method for Early Detection of Mismatches between Framework Architecture and Execution Scenarios., , und . APSEC (1), Seite 517-522. IEEE Computer Society, (2013)978-1-4799-2143-0.Security verification of programs with stack inspection., , und . SACMAT, Seite 31-40. ACM, (2001)Cutting Java Expressions into Lines for Detecting their Evaluation at Runtime., , , und . ICGDA, Seite 37-46. ACM, (2019)Work in progress: Analysis of the relationship between teaching contents and motivation in programming education., , , und . FIE, Seite 1-2. IEEE Computer Society, (2012)Delta extraction: An abstraction technique to comprehend why two objects could be related., und . ICSME, Seite 61-70. IEEE Computer Society, (2015)A dynamic analysis technique to extract symptoms that suggest side effects in framework applications., , , und . SAC, Seite 1176-1178. ACM, (2014)A Feature Model of Framework Applications., , , und . SNPD, Seite 511-516. IEEE Computer Society, (2013)Improving Palmprint-Region Estimation for ID-Less Palmprint Recognition., , , , , , , , , und 1 andere Autor(en). BWCCA, Volume 570 von Lecture Notes in Networks and Systems, Seite 125-136. Springer, (2022)LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations., und . Inf. Media Technol., 1 (2): 712-729 (2006)An Extension of Pushdown System and Its Model Checking Method., und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 278-292. Springer, (2003)