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

Modeling of real-time signal timing for multi-intersection in urban traffic network., , , und . ICDIM, Seite 128-133. IEEE, (2009)Modeling of real-time signal timing for multi-intersection in urban traffic network., , , und . ICDIM, Seite 128-133. IEEE, (2009)Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation., und . PDPTA, Seite 256-264. CSREA Press, (1997)Formal Semantic Specification for a Set of UML Diagrams.. Software Engineering Research and Practice, Seite 883-889. CSREA Press, (2003)Bit-plane image coding algorithms based on compressed sensing., , , , und . ICDIP, Volume 8334 von SPIE Proceedings, Seite 833416. SPIE, (2012)A Hierarchical Method for Reasoning about Distributed Programming Languages., , , , und . TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 385-400. Springer, (1995)Enhancing Secure Coding Assistant System with Design by Contract and Programming Logic., , und . NCS, Volume 310 von Lecture Notes in Networks and Systems, Seite 124-140. Springer, (2021)3G Technology in the engineering disciplines of higher vocational education., , und . EMEIT, Seite 2148-2151. IEEE, (2011)Improving performance of intrusion detection system by applying a new machine learning strategy., , , und . CSTST, Seite 51-54. ACM, (2008)Formal Specification of Software Architecture Security Tactics., und . SEKE, Seite 172-175. Knowledge Systems Institute Graduate School, (2010)