Autor der Publikation

A Unifying Approach to Validating Specification-Oriented XML Constraints.

, , , , , , und . HASE, Seite 33-40. IEEE Computer Society, (2011)

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

Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language., , und . Australian Software Engineering Conference, Seite 297-306. IEEE Computer Society, (2009)A Unifying Approach to Validating Specification-Oriented XML Constraints., , , , , , und . HASE, Seite 33-40. IEEE Computer Society, (2011)A mathematical analysis of improved EigenAnt algorithm., , , und . J. Exp. Theor. Artif. Intell., 31 (2): 291-309 (2019)Formal Modeling and Security Analysis for OpenFlow-Based Networks., , , und . ICECCS, Seite 201-204. IEEE Computer Society, (2018)Isolation Modeling and Analysis Based on Mobility., , , , , , und . ACM Trans. Softw. Eng. Methodol., 28 (2): 10:1-10:31 (2019)SPARDL: A Requirement Modeling Language for Periodic Control System., , , , , , und . ISoLA (1), Volume 6415 von Lecture Notes in Computer Science, Seite 594-608. Springer, (2010)Promoting Models., , , und . UTP, Volume 6445 von Lecture Notes in Computer Science, Seite 234-252. Springer, (2010)Deep Learning for Web Services Classification., , , und . ICWS, Seite 440-442. IEEE, (2019)Semantic theories of programs with nested interrupts., , , , , und . Frontiers of Computer Science, 9 (3): 331-345 (2015)Towards a Probabilistic Calculus for Mobile Ad Hoc Networks., , , und . TASE, Seite 195-198. IEEE Computer Society, (2011)