( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mutational landscape and clonal architecture in grade II and III gliomas

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , и . Nat Genet, 47 (5): 458--468 (мая 2015)

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.

Tatsuya Nakada

Tatsuya Hagino

Christoph Abé

Eva Abe

Tatsuya Banno

 

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

Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks., , , и . J. Inf. Process., 21 (2): 320-328 (2013)Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations., и . J. Inf. Process., (2017)Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN., , и . J. Inf. Process., (2018)Polymorphic computation systems: Theory and practice of confluence with call-by-value., , и . Sci. Comput. Program., (2020)Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models., , , и . SETTA, том 9984 из Lecture Notes in Computer Science, стр. 118-135. (2016)A Concurrent System of Multi-ported Processes with Causal Dependency.. APLAS, том 3302 из Lecture Notes in Computer Science, стр. 146-162. Springer, (2004)A type system for data independence of loop iterations in a directive-based PGAS language.. MPLR, стр. 50-62. ACM, (2019)Model checking copy phases of concurrent copying garbage collection with various memory models., , и . Proc. ACM Program. Lang., 1 (OOPSLA): 53:1-53:26 (2017)A general model checking framework for various memory consistency models., и . Int. J. Softw. Tools Technol. Transf., 19 (5): 623-647 (2017)A typed lambda-calculus with first-class configurations., и . J. Log. Comput., 33 (7): 1527-1565 (октября 2023)