Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Generalized Symbolic Trajectory Evaluation - Abstraction in Action.

J. Yang, und C. Seger. FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 70-87. Springer, (2002)

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.

Xiliu Yang University of Stuttgart

Yang Wang University of Stuttgart

Guangpu Yang University of Stuttgart

Dr. Xinxin Jing University of Stuttgart

Hsiu-Yu Yang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Adaptive Leak Detection and Location in Underground Buried Pipelines.Y. Wen, P. Li, J. Yang, und Z. Zhou. I. J. Information Acquisition, 1 (3): 269-277 (2004)An improved Bag-of-Words framework for remote sensing image retrieval in large-scale image databases.J. Yang, J. Liu, und Q. Dai. Int. J. Digital Earth, 8 (4): 273-292 (2015)Location-based instant satellite image service: concept and system design.J. Liu, J. Yang, F. Chen, Q. Dai, und J. Zhang. Int. J. Digital Earth, 8 (2): 89-99 (2015)A New Shuffled Frog Leaping Algorithm with Space Zoomed Factor and Gravity Attractor.D. Tang, und J. Yang. JDIM, 11 (5): 352-358 (2013)Holling type II predator-prey model with nonlinear pulse as state-dependent feedback control.J. Yang, und S. Tang. J. Computational Applied Mathematics, (2016)Approximate entropy-based leak detection using artificial neural network in water distribution pipelines.J. Yang, Y. Wen, und P. Li. ICARCV, Seite 1029-1034. IEEE, (2010)Study on the Cultivation of Core Competence Based on Tacit Knowledge.J. Wang, S. Zhao, und J. Yang. ICEB, Seite 987-989. Academic Publishers/World Publishing Corporation, (2004)A new generation modechart verifie.J. Yang, A. Mok, und D. Stuart. IEEE Real Time Technology and Applications Symposium, Seite 116-125. IEEE Computer Society, (1995)Molecular Computation: Solving 3-Vertex-Colourability Problem.J. Cui, Z. Yin, und J. Yang. ICIC (3), Volume 2 von Communications in Computer and Information Science, Seite 450-458. Springer, (2007)Spark-based rare association rule mining for big datasets.R. Liu, K. Yang, Y. Sun, T. Quan, und J. Yang. BigData, Seite 2734-2739. IEEE Computer Society, (2016)