( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Checking Integral Real-Time Automata for Extended Linear Duration Invariants.

, , и . FTSCS, том 476 из Communications in Computer and Information Science, стр. 62-75. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Song Han

Song-I Han

Song Song

Song Song

Song-Hak Song-Schreff

 

Другие публикации лиц с тем же именем

Query-biased Near Duplicate Web Document Detecting: Effective, Efficient and Customizable., , , , и . DMIN, стр. 654-659. CSREA Press, (2008)Microscopic resource assignment model and Lagrangian relaxation based algorithm for train operation scheduling in railway station., , , и . ITSC, стр. 1328-1333. IEEE, (2013)Nanoarchitectonics for Heterogeneous Integrated Nanosystems., , , , , и . Proc. IEEE, 96 (2): 212-229 (2008)Joint resource allocation in underwater acoustic communication networks: A game-based hierarchical adversarial multiplayer multiarmed bandit algorithm., , , , , и . Inf. Sci., (2018)Secure Over-The-Air Firmware Updates for Sensor Networks., , , , , , и . MASS Workshops, стр. 97-100. IEEE, (2019)Maintaining data temporal consistency in distributed real-time systems., , , и . Real Time Syst., 48 (4): 387-429 (2012)A Fast Algorithm for Source-Wise Round-Trip Spanners., , и . CoRR, (2020)Efficient Sparse-Winograd Convolutional Neural Networks., , , и . ICLR (Workshop), OpenReview.net, (2017)Design of a network-based mobile gait rehabilitation system., , , , , и . ROBIO, стр. 1773-1778. IEEE, (2012)Improved Dynamic Graph Learning through Fault-Tolerant Sparsification., , , , и . ICML, том 97 из Proceedings of Machine Learning Research, стр. 7624-7633. PMLR, (2019)