( en | de | ru )

 

Disambiguierung von "Abe, Tatsuya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mutational landscape and clonal architecture in grade II and III gliomas

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , und . Nat Genet, 47 (5): 458--468 (Mai 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.

Tatsuya Nakada

Tatsuya Hagino

Christoph Abé

Eva Abe

Ilse Abé

 

Weitere Publikationen von Autoren mit dem selben Namen

Polymorphic computation systems: Theory and practice of confluence with call-by-value., , und . Sci. Comput. Program., (2020)Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN., , und . J. Inf. Process., (2018)Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks., , , und . J. Inf. Process., 21 (2): 320-328 (2013)Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations., und . J. Inf. Process., (2017)Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models., , , und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 118-135. (2016)A type system for data independence of loop iterations in a directive-based PGAS language.. MPLR, Seite 50-62. ACM, (2019)A general model checking framework for various memory consistency models., und . Int. J. Softw. Tools Technol. Transf., 19 (5): 623-647 (2017)A Concurrent System of Multi-ported Processes with Causal Dependency.. APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 146-162. Springer, (2004)Model checking copy phases of concurrent copying garbage collection with various memory models., , und . Proc. ACM Program. Lang., 1 (OOPSLA): 53:1-53:26 (2017)A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction., und . CoRR, (2021)