Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Hassan Muhammad, Carlie S. Sigel, Gabriele Campanella, Thomas Börner, Linda M. Pak, Stefan Büttner, Jan N. M. IJzermans, Bas Groot Koerkamp, Michael Doukas, William R. Jarnagin, Amber L. Simpson, Thomas J. Fuchs |
Towards Unsupervised Cancer Subtyping: Predicting Prognosis Using A Histologic Visual Dictionary. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Hiroaki Inoue, Atsushi Igarashi |
A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Julia Belyakova |
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
A Sound Algorithm for Asynchronous Session Subtyping (extended version). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Jeremy G. Siek |
Transitivity of Subtyping for Intersection Types. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
16 | Xiaoyi Chen, Nicolas Garcelon, Antoine Neuraz, Katy Billot, Marc Lelarge, Thomas Bonald, Hugo Garcia, Yoann Martin, Vincent Benoit, Marc Vincent, Hassan Faour, Maxime Douillet, Stanislas Lyonnet, Sophie Saunier, Anita Burgun |
Phenotypic similarity for rare disease: Ciliopathy diagnoses and subtyping. |
J. Biomed. Informatics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Olga Lyudovyk, Yufeng Shen, Nicholas P. Tatonetti, Susan J. Hsiao, Mahesh M. Mansukhani, Chunhua Weng |
Pathway analysis of genomic pathology tests for prognostic cancer subtyping. |
J. Biomed. Informatics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hiroaki Inoue, Atsushi Igarashi |
A type system for first-class layers with inheritance, subtyping, and swapping. |
Sci. Comput. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rodolphe Lepigre, Christophe Raffalli |
Practical Subtyping for Curry-Style Languages. |
ACM Trans. Program. Lang. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Silvia Cascianelli, Francisco Cristovao, Arif Canakoglu, Mark J. Carman, Luca Nanni, Pietro Pinoli, Marco Masseroli |
Evaluating Deep Semi-supervised Learning for Whole-Transcriptome Breast Cancer Subtyping. |
CIBB |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Jie Yang 0041, Thomas Vetterli, Pallavi P. Balte, R. Graham Barr, Andrew F. Laine, Elsa D. Angelini |
Unsupervised Domain Adaption With Adversarial Learning (UDAA) for Emphysema Subtyping on Cardiac CT Scans: The Mesa Study. |
ISBI |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Gilbert 0002 |
Verifiable Certificates for Predicate Subtyping. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Aleksandr Misonizhnik, Dmitry Mordvinov |
On Satisfiability of Nominal Subtyping with Variance. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek |
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Julia Belyakova |
Decidable tag-based semantic subtyping for nominal types, tuples, and unions. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ronald D. Hagan, Michael A. Langston |
Molecular Subtyping in Human Disease Using the Paraclique Algorithm. |
DEXA Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hassan Muhammad, Carlie S. Sigel, Gabriele Campanella, Thomas Börner, Linda M. Pak, Stefan Büttner, Jan N. M. IJzermans, Bas Groot Koerkamp, Michael Doukas, William R. Jarnagin, Amber L. Simpson, Thomas J. Fuchs |
Unsupervised Subtyping of Cholangiocarcinoma Using a Deep Clustering Convolutional Autoencoder. |
MICCAI (1) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Zhiyuan Xue, Bowen Xin, Dingqian Wang, Xiuying Wang |
Radiomics-Enhanced Multi-task Neural Network for Non-invasive Glioma Subtyping and Segmentation. |
RNO-AI@MICCAI |
2019 |
DBLP DOI BibTeX RDF |
|
16 | María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001 |
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
A Sound Algorithm for Asynchronous Session Subtyping. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Tayfun Sönmez, M. Utku Ünver, Özgür Yilmaz |
How (not) to integrate blood subtyping technology to kidney exchange. |
J. Econ. Theory |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Muehlboeck, Ross Tate |
Empowering union and intersection types with integrated subtyping. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek |
Julia subtyping: a rational reconstruction. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Rashid Mehmood, Saeed El-Ashram, Rongfang Bie, Yunchuan Sun |
Effective cancer subtyping by employing density peaks clustering by using gene expression microarray. |
Pers. Ubiquitous Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Maliazurina Saad, Tae-Sun Choi |
Computer-assisted subtyping and prognosis for non-small cell lung cancer patients with unresectable tumor. |
Comput. Medical Imaging Graph. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Eric Feczko, N. M. Balba, Oscar Miranda-Dominguez, Michaela Cordova, S. L. Karalunas, Louis N. Irwin, D. V. Demeter, A. P. Hill, B. H. Langhorst, J. Grieser Painter, Jan P. H. van Santen, E. J. Fombonne, Joel T. Nigg, Damien A. Fair |
Subtyping cognitive profiles in Autism Spectrum Disorder using a Functional Random Forest algorithm. |
NeuroImage |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
On the boundary between decidability and undecidability of asynchronous session subtyping. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Pietro Coretto, Angela Serra, Roberto Tagliaferri |
Robust clustering of noisy high-dimensional gene expression data for patients subtyping. |
Bioinform. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Michael Glueck, Mahdi Pakdaman Naeini, Finale Doshi-Velez, Fanny Chevalier, Azam Khan, Daniel Wigdor, Michael Brudno |
PhenoLines: Phenotype Comparison Visualizations for Disease Subtyping via Topic Models. |
IEEE Trans. Vis. Comput. Graph. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca |
Semantic subtyping for non-strict languages. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Moez A. AbdelGawad |
Java Subtyping as an Infinite Self-Similar Partial Graph Product. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Olivier Laurent 0001 |
Intersection Subtyping with Constructors. |
DCM/ITRS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Julia Padberg |
Subtyping for Hierarchical, Reconfigurable Petri Nets. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Nikhil Galagali, Minnan Xu-Wilson |
Patient Subtyping with Disease Progression and Irregular Observation Trajectories. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
16 | Dariusz Biernacki, Piotr Polesiuk |
Logical relations for coherence of effect subtyping. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Tianyu Kang, Kourosh Zarringhalam, Marieke L. Kuijjer, Ping Chen 0001, John Quackenbush, Wei Ding 0003 |
Clustering on Sparse Data in Non-overlapping Feature Space with Applications to Cancer Subtyping. |
ICDM |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yuyan Bao, Gary T. Leavens |
A Methodology for Invariants, Framing, and Subtyping in JML. |
Principled Software Development |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jan Bessai, Jakob Rehof, Boris Düdder |
Fast Verified BCD Subtyping. |
Models, Mindsets, Meta |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira |
Consistent Subtyping for All. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers |
Explicit Effect Subtyping. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca |
Semantic Subtyping for Non-Strict Languages. |
TYPES |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers |
Formalization of a Polymorphic Subtyping Algorithm. |
ITP |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Po-Hsiang Chiu, Ning Shang, Chunhua Weng |
Sequencing EHR for Disease Subtyping. |
AMIA |
2018 |
DBLP BibTeX RDF |
|
16 | Suzan Arslanturk, Sorin Draghici |
Disease Subtyping using Somatic Variant Data. |
BCB |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Gilbert 0002 |
Extending higher-order logic with predicate subtyping: Application to PVS. (Extension de la logique d'ordre supérieur avec le sous-typage par prédicats). |
|
2018 |
RDF |
|
16 | Yanpeng Yang, Bruno C. d. S. Oliveira |
Unifying typing and subtyping. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | James C. Ross, Peter J. Castaldi, Michael H. Cho, Junxiang Chen, Yale Chang, Jennifer G. Dy, Edwin K. Silverman, George R. Washko, Raúl San José Estépar |
A Bayesian Nonparametric Model for Disease Subtyping: Application to Emphysema Phenotypes. |
IEEE Trans. Medical Imaging |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Aïcha BenTaieb, Hector Li-Chang, David G. Huntsman, Ghassan Hamarneh |
A structured latent model for ovarian carcinoma subtyping from histopathology slides. |
Medical Image Anal. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Moez A. AbdelGawad |
Towards a Java Subtyping Operad (extended version). |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Dariusz Biernacki, Piotr Polesiuk |
Logical relations for coherence of effect subtyping. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Artur Boronat |
Well-Behaved Model Transformations with Model Subtyping. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida |
On the Preciseness of Subtyping in Session Types. |
Log. Methods Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jay Ligatti, Jeremy Blackburn, Michael Nachtigal |
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. |
ACM Trans. Program. Lang. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
Undecidability of asynchronous session subtyping. |
Inf. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ornela Dardha, Daniele Gorla, Daniele Varacca |
Semantic Subtyping for Objects and Classes. |
Comput. J. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Diana Diaz, Michele Donato, Tin Nguyen 0001, Sorin Draghici |
MicroRNA-Augmented Pathways (mirAP) and Their Applications to Pathway Analysis and Disease Subtyping. |
PSB |
2017 |
DBLP BibTeX RDF |
|
16 | Artur Boronat |
Structural model subtyping with OCL constraints. |
SLE |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Stephen Dolan, Alan Mycroft |
Polymorphism, subtyping, and type inference in MLsub. |
POPL |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Julien Lange, Nobuko Yoshida |
On the Undecidability of Asynchronous Session Subtyping. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Inci M. Baytas, Cao Xiao, Xi Zhang, Fei Wang 0001, Anil K. Jain 0001, Jiayu Zhou |
Patient Subtyping via Time-Aware LSTM Networks. |
KDD |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Moez A. AbdelGawad |
Towards a Java Subtyping Operad. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Gary T. Leavens, David A. Naumann |
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping. |
SETSS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Luigi Liquori, Claude Stolze |
A Decidable Subtyping Logic for Intersection and Union Types. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Xi Zhang, Jian Liang, Cao Xiao, Yize Zhao, Fei Wang 0001 |
Subtyping Parkinson's Disease with Recurrent Neural Network Models. |
AMIA |
2017 |
DBLP BibTeX RDF |
|
16 | Sandro Stucki |
Higher-Order Subtyping with Type Intervals. |
|
2017 |
DOI RDF |
|
16 | Luca Padovani |
Fair subtyping for multi-party session types. |
Math. Struct. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Ioana Cristescu, Daniel Hirschkoff |
Termination in a π-calculus with subtyping. |
Math. Struct. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Rodolphe Lepigre, Christophe Raffalli |
Subtyping-Based Type-Checking for System F with Induction and Coinduction. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
16 | Peter J. Schüffler, Judy Sarungbam, Hassan Muhammad, Ed Reznik, Satish K. Tickoo, Thomas J. Fuchs |
Mitochondria-based Renal Cell Carcinoma Subtyping: Learning from Deep vs. Flat Feature Representations. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
Undecidability of Asynchronous Session Subtyping. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
16 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida |
On the Preciseness of Subtyping in Session Types. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
16 | Mehdi Bagherzadeh 0001, Robert Dyer 0001, Rex D. Fernando, José Sánchez, Hridesh Rajan |
Modular Reasoning in the Presence of Event Subtyping. |
T. Aspect-Oriented Software Development |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Andrea Corradi |
Semantic subtyping for imperative object-oriented languages. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Burook Misganaw, Mathukumalli Vidyasagar |
A robust platform-independent gene signature for single-sample breast cancer subtyping. |
ACC |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida |
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. |
Theory and Practice of Formal Methods |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Simon J. Gay |
Subtyping Supports Safe Session Substitution. |
A List of Successes That Can Change the World |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Georgiana E. Lungu, Zhaohui Luo |
On Subtyping in Type Theories with Canonical Objects. |
TYPES |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Timothy Jones 0002, David J. Pearce 0001 |
A Mechanical Soundness Proof for Subtyping Over Recursive Types. |
FTfJP@ECOOP |
2016 |
DBLP BibTeX RDF |
|
16 | Benoît Vaugon, Michel Mauny |
A Type Inference System Based on Saturation of Subtyping Constraints. |
TFP |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Peter J. Schüffler, Judy Sarungbam, Hassan Muhammad, Ed Reznik, Satish K. Tickoo, Thomas J. Fuchs |
Mitochondria-based Renal Cell Carcinoma Subtyping: Learning from Deep vs. Flat Feature Representations. |
MLHC |
2016 |
DBLP BibTeX RDF |
|
16 | Benoît Vaugon |
Sous-Typage par Saturation de Contraintes, Théorie et Implémentation. (Subtyping by Constraint Saturation, Theory and Implementation). |
|
2016 |
RDF |
|
16 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida |
Precise subtyping for synchronous multiparty sessions. |
PLACES |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Suchi Saria, Anna Goldenberg |
Subtyping: What It is and Its Role in Precision Medicine. |
IEEE Intell. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gary T. Leavens, David A. Naumann |
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. |
ACM Trans. Program. Lang. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nils Gesbert, Pierre Genevès, Nabil Layaïda |
A Logical Approach to Deciding Semantic Subtyping. |
ACM Trans. Program. Lang. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Dimitris Mostrous, Nobuko Yoshida |
Session typing and asynchronous subtyping for the higher-order π-calculus. |
Inf. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gary T. Leavens |
JML: Expressive Contracts, Specification Inheritance, and Behavioral Subtyping. |
PPPJ |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Dariusz Biernacki, Piotr Polesiuk |
Logical Relations for Coherence of Effect Subtyping. |
TLCA |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Hiroaki Inoue, Atsushi Igarashi |
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Mehdi Bagherzadeh 0001, Robert Dyer 0001, Rex D. Fernando, José Sánchez, Hridesh Rajan |
Modular reasoning in the presence of event subtyping. |
MODULARITY |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia 0001, Alessandro Sebastian Podda, Livio Pompianu |
Compliance and Subtyping in Timed Session Types. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Guisong Chang, Hongzeng Wang, Tie Zhang |
A novel alignment-free method for whole genome analysis: Application to HIV-1 subtyping and HEV genotyping. |
Inf. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Moez A. AbdelGawad |
Subtyping in Java with Generics and Wildcards is a Fractal. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Asankhaya Sharma |
Verified Subtyping with Traits and Mixins. |
FSFMA |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jiangwen Sun, Jinbo Bi, Henry R. Kranzler |
Multiview Comodeling to Improve Subtyping and Genetic Association of Complex Diseases. |
IEEE J. Biomed. Health Informatics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Henning Berg, Birger Møller-Pedersen |
Typing and Subtyping of Metamodels. |
MODELSWARD |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Assaf 0002 |
A Calculus of Constructions with Explicit Subtyping. |
TYPES |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Raphaël Cauderlier, Catherine Dubois |
Objects and Subtyping in the Lambda-Pi-Calculus Modulo. |
TYPES |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Andrea Corradi |
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|