Dohmen, Taylor
12  results:
Search for persons X
?
2

The Octatope Abstract Domain for Verification of Neural Net..:

, In: Formal Methods; Lecture Notes in Computer Science,
Bak, Stanley ; Dohmen, Taylor ; Subramani, K.... - p. 454-472 , 2023
 
?
3

Regular Model Checking with Regular Relations:

, In: Fundamentals of Computation Theory; Lecture Notes in Computer Science,
 
?
7

Discounting the Past:

Dohmen, Taylor ; Trivedi, Ashutosh
http://arxiv.org/abs/2102.06985.  , 2021
 
?
9

DNA methylation-based classification of central nervous sys..:

Capper, David ; Jones, David T.W ; Sill, Martin...
Capper , D , Jones , D T W , Sill , M , Hovestadt , V , Schrimpf , D , Sturm , D , Koelsche , C , Sahm , F , Chavez , L , Reuss , D E , Kratz , A , Wefers , A K , Huang , K , Pajtler , K W , Schweizer , L , Stichel , D , Olar , A , Engel , N W , Lindenberg , K , Harter , P N , Braczynski , A K , Plate , K H , Dohmen , H , Garvalov , B K , Coras , R , Hölsken , A , Hewer , E , Bewerunge-Hudler , M , Schick , M , Fischer , R , Beschorner , R , Schittenhelm , J , Staszewski , O , Wani , K , Varlet , P , Pages , M , Temming , P , Lohmann , D , Selt , F , Witt , H , Milde , T , Witt , O , Aronica , E , Giangaspero , F , Rushing , E , Scheurlen , W , Geisenberger , C , Rodriguez , F J , Becker , A , Preusser , M , Haberler , C , Bjerkvig , R , Cryan , J , Farrell , M , Deckert , M , Hench , J , Frank , S , Serrano , J , Kannan , K , Tsirigos , A , Brück , W , Hofer , S , Brehmer , S , Seiz-Rosenhagen , M , Hänggi , D , Hans , V , Rozsnoki , S , Hansford , J R , Ko....  , 2018
 
?
10

DNA methylation-based classification of central nervous sys..:

Capper, David ; Jones, David T. W ; Sill, Martin...
Capper , D , Jones , D T W , Sill , M , Hovestadt , V , Schrimpf , D , Sturm , D , Koelsche , C , Sahm , F , Chavez , L , Reuss , D E , Kratz , A , Wefers , A K , Huang , K , Pajtler , K W , Schweizer , L , Stichel , D , Olar , A , Engel , N W , Lindenberg , K , Harter , P N , Braczynski , A K , Plate , K H , Dohmen , H , Garvalov , B K , Coras , R , Hölsken , A , Hewer , E , Bewerunge-Hudler , M , Schick , M , Fischer , R , Beschorner , R , Schittenhelm , J , Staszewski , O , Wani , K , Varlet , P , Pages , M , Temming , P , Lohmann , D , Selt , F , Witt , H , Milde , T , Witt , O , Aronica , E , Giangaspero , F , Rushing , E , Scheurlen , W , Geisenberger , C , Rodriguez , F J , Becker , A , Preusser , M , Haberler , C , Bjerkvig , R , Cryan , J , Farrell , M , Deckert , M , Hench , J R , Frank , S , Serrano , J , Kannan , K , Tsirigos , A , Brück , W , Hofer , S , Brehmer , S , Seiz-Rosenhagen , M , Hänggi , D , Hans , V , Rozsnoki , S , Hansford , J R , ....  , 2018
 
?
11

DNA methylation-based classification of central nervous sys..:

Brandner, SGP ; Jaunmuktane, Z ; Capper, D...
https://discovery.ucl.ac.uk/id/eprint/10043462/1/Brandner_DNA%20methylation-based%20classification%20of%20central%20nervous%20system%20tumours.pdf.  , 2018
 
?
 
1-12