( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Counterexample-Guided Abstraction Refinement for Symbolic Model Checking

, , , , и . Journal of the ACM, 50 (5): 752-794 (сентября 2003)

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.

Y Imamo lu

Lu Lu

Y Winter

Y LeConte

Y Mardiyati

 

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

Measurement of $e^+ e^- K^+ K^-$ cross section at $s = 2.00 - 3.08$ GeV, , , , , , , , , и 450 other автор(ы). (2018)cite arxiv:1811.08742Comment: 8 figures.Measurements of the absolute branching fractions for \$D\_s^+\rightarrowe^+\nu\_e\$ and \$D\_s^+\rightarrow\eta^\prime e^+\nu\_e\$, , , , , , , , , и 415 other автор(ы). (23.08.2016)Measurement of the \$D\_s^+ \ell^+\nu\_\ell\$ branching fractions and the decay constant \$f\_D\_s^+\$, , , , , , , , , и 408 other автор(ы). (24.08.2016)Search for a light pseudoscalar Higgs boson in the dimuon decay channel in pp collisions at √s = 7 TeV, , , , , , , , , и 2183 other автор(ы). Phys Rev Lett, 109 (12): 121801-121801 (сентября 2012)A mass threshold in the number density of passive galaxies at z$\sim$2, , , , , , , , , и 9 other автор(ы). (2014)cite arxiv:1409.7083Comment: Accepted for publication on Astronomy and Astrophysics.A haptic device for a web-based training system for interventional radiology procedures., , , и . CARS, том 1256 из International Congress Series, стр. 1351. Elsevier, (2003)FBW7 is associated with prognosis, inhibits malignancies and enhances temozolomide sensitivity in glioblastoma cells, , , , , , , , , и 1 other автор(ы). Cancer Sci, 109 (4): 1001-1011 (апреля 2018)V(m,t)'s for m=4,5,6, , , и . Journal of Statistical Planning and Inference, 86 (2): 515--525 (01.05.2000)DBMiner : A system for mining knowledge in large relational databases, , , , , , , , , и 2 other автор(ы). Proceedings of the 2nd international conference on Knowledge Discovery and Data mining (KDD'96), стр. 250--255. AAAI Press, (августа 1996)DBMiner : A system for data mining in relational databases and data warehouses, , , , , , , , , и 6 other автор(ы). Proceedings of the 1997 GASCON metting of minds (GASCON'97), стр. 249--260. (ноября 1997)ftp://ftp.fas.sfu.ca/pub/cs/han/kdd/cascon97.ps.