Autor der Publikation

Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.

, und . GECCO, Seite 1119-1126. ACM, (2015)

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

Shadowless-illuminated variable-angle TIRF (siva-TIRF) microscopy for the observation of spatial-temporal dynamics in live cells., , , , , , und . Biomedical optics express, 5 (5): 1530--40 (Mai 2014)New Techniques of Remote Sensing in the University of Architecture and Planning., , und . IGARSS (2), Seite 642-645. IEEE, (2009)Understanding Continuance Usage of Social Networking Services: A Theoretical Model and Empirical Study of the Chinese Context., , und . ICIS, Association for Information Systems, (2011)Land Cover Spurious Change Detection Using a geo-eco Zoning Rule Base1., , , und . IGARSS, Seite 6507-6510. IEEE, (2019)Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming., und . SSS, Volume 8255 von Lecture Notes in Computer Science, Seite 370-372. Springer, (2013)Ontology constructing for Chinese medicine knowledge of Beng Lou., , , , und . Healthcom, Seite 1-6. IEEE, (2017)Research on different slicing methods of acquiring LAI from terrestrial laser scanner data., , , und . ICSDM, Seite 295-299. IEEE, (2011)A Study of Chinese Word Segmentation Based on the Characteristics of Chinese., , , , , und . GSCL, Volume 8105 von Lecture Notes in Computer Science, Seite 111-118. Springer, (2013)A Hybrid Watermarking Scheme for Video Authentication., , und . ICIP, Seite 2569-2572. IEEE, (2006)A multi-objective optimization framework for on-line ridesharing systems., , , und . CoRR, (2020)