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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.05257, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Hiroaki Inoue, Atsushi Igarashi |
A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.01453, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Julia Belyakova |
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.08255, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
A Sound Algorithm for Asynchronous Session Subtyping (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.00421, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Jeremy G. Siek |
Transitivity of Subtyping for Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.09709, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 100, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 98, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hiroaki Inoue, Atsushi Igarashi |
A type system for first-class layers with inheritance, subtyping, and swapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 179, pp. 54-86, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rodolphe Lepigre, Christophe Raffalli |
Practical Subtyping for Curry-Style Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 41(1), pp. 5:1-5:58, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBB ![In: Computational Intelligence Methods for Bioinformatics and Biostatistics - 16th International Meeting, CIBB 2019, Bergamo, Italy, September 4-6, 2019, Revised Selected Papers, pp. 232-244, 2019, Springer, 978-3-030-63060-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: 16th IEEE International Symposium on Biomedical Imaging, ISBI 2019, Venice, Italy, April 8-11, 2019, pp. 289-293, 2019, IEEE, 978-1-5386-3641-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Gilbert 0002 |
Verifiable Certificates for Predicate Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 440-466, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Aleksandr Misonizhnik, Dmitry Mordvinov |
On Satisfiability of Nominal Subtyping with Variance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom., pp. 7:1-7:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-111-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek |
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom., pp. 24:1-24:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-111-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Julia Belyakova |
Decidable tag-based semantic subtyping for nominal types, tuples, and unions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 3:1-3:11, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ronald D. Hagan, Michael A. Langston |
Molecular Subtyping in Human Disease Using the Paraclique Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: Database and Expert Systems Applications - DEXA 2019 International Workshops BIOKDD, IWCFS, MLKgraphs and TIR, Linz, Austria, August 26-29, 2019, Proceedings, pp. 54-58, 2019, Springer, 978-3-030-27683-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 - 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part I, pp. 604-612, 2019, Springer, 978-3-030-32238-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RNO-AI@MICCAI ![In: Radiomics and Radiogenomics in Neuro-oncology - First International Workshop, RNO-AI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, Proceedings, pp. 81-90, 2019, Springer, 978-3-030-40123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 171-181, 2019, Springer, 978-3-030-19569-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
A Sound Algorithm for Asynchronous Session Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., pp. 38:1-38:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-121-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 176, pp. 193-231, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Fabian Muehlboeck, Ross Tate |
Empowering union and intersection types with integrated subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(OOPSLA), pp. 112:1-112:29, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek |
Julia subtyping: a rational reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(OOPSLA), pp. 113:1-113:27, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 22(3), pp. 615-619, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Medical Imaging Graph. ![In: Comput. Medical Imaging Graph. 67, pp. 1-8, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 172, pp. 674-688, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
On the boundary between decidability and undecidability of asynchronous session subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 722, pp. 19-51, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Pietro Coretto, Angela Serra, Roberto Tagliaferri |
Robust clustering of noisy high-dimensional gene expression data for patients subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 34(23), pp. 4064-4072, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 24(1), pp. 371-381, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca |
Semantic subtyping for non-strict languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.05555, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Moez A. AbdelGawad |
Java Subtyping as an Infinite Self-Similar Partial Graph Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.06893, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Olivier Laurent 0001 |
Intersection Subtyping with Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 73-84, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Julia Padberg |
Subtyping for Hierarchical, Reconfigurable Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.04698, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Nikhil Galagali, Minnan Xu-Wilson |
Patient Subtyping with Disease Progression and Irregular Observation Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.09043, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Dariusz Biernacki, Piotr Polesiuk |
Logical relations for coherence of effect subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(1), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: IEEE International Conference on Data Mining, ICDM 2018, Singapore, November 17-20, 2018, pp. 1079-1084, 2018, IEEE Computer Society, 978-1-5386-9159-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yuyan Bao, Gary T. Leavens |
A Methodology for Invariants, Framing, and Subtyping in JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principled Software Development ![In: Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, pp. 19-39, 2018, Springer, 978-3-319-98046-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jan Bessai, Jakob Rehof, Boris Düdder |
Fast Verified BCD Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Mindsets, Meta ![In: Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 356-371, 2018, Springer, 978-3-030-22347-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira |
Consistent Subtyping for All. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 3-30, 2018, Springer, 978-3-319-89883-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers |
Explicit Effect Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 327-354, 2018, Springer, 978-3-319-89883-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca |
Semantic Subtyping for Non-Strict Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal., pp. 4:1-4:24, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-106-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers |
Formalization of a Polymorphic Subtyping Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, pp. 604-622, 2018, Springer, 978-3-319-94820-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Po-Hsiang Chiu, Ning Shang, Chunhua Weng |
Sequencing EHR for Disease Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2018, American Medical Informatics Association Annual Symposium, San Francisco, CA, November 3-7, 2018, 2018, AMIA. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Suzan Arslanturk, Sorin Draghici |
Disease Subtyping using Somatic Variant Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCB ![In: Proceedings of the 2018 ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics, BCB 2018, Washington, DC, USA, August 29 - September 01, 2018, pp. 277-282, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
16 | Yanpeng Yang, Bruno C. d. S. Oliveira |
Unifying typing and subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(OOPSLA), pp. 47:1-47:26, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 36(1), pp. 343-354, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 39, pp. 194-205, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Moez A. AbdelGawad |
Towards a Java Subtyping Operad (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.00274, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Dariusz Biernacki, Piotr Polesiuk |
Logical relations for coherence of effect subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.09469, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.00659, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Artur Boronat |
Well-Behaved Model Transformations with Model Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.08113, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida |
On the Preciseness of Subtyping in Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(2), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jay Ligatti, Jeremy Blackburn, Michael Nachtigal |
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 39(1), pp. 4:1-4:36, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
Undecidability of asynchronous session subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 256, pp. 300-320, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ornela Dardha, Daniele Gorla, Daniele Varacca |
Semantic Subtyping for Objects and Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 60(5), pp. 636-656, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSB ![In: Biocomputing 2017: Proceedings of the Pacific Symposium, Kohala Coast, Hawaii, USA, January 3-7, 2017, pp. 390-401, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Artur Boronat |
Structural model subtyping with OCL constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017, pp. 194-205, 2017, ACM, 978-1-4503-5525-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Stephen Dolan, Alan Mycroft |
Polymorphism, subtyping, and type inference in MLsub. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 60-72, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Julien Lange, Nobuko Yoshida |
On the Undecidability of Asynchronous Session Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 441-457, 2017, 978-3-662-54457-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13 - 17, 2017, pp. 65-74, 2017, ACM, 978-1-4503-4887-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Moez A. AbdelGawad |
Towards a Java Subtyping Operad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 3:1-3:6, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETSS ![In: Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, pp. 39-88, 2017, Springer, 978-3-030-02927-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Luigi Liquori, Claude Stolze |
A Decidable Subtyping Logic for Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTCS ![In: Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings, pp. 74-90, 2017, Springer, 978-3-319-68952-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2017, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 4-8, 2017, 2017, AMIA. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Sandro Stucki |
Higher-Order Subtyping with Type Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
16 | Luca Padovani |
Fair subtyping for multi-party session types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 26(3), pp. 424-464, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Ioana Cristescu, Daniel Hirschkoff |
Termination in a π-calculus with subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 26(8), pp. 1395-1432, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Rodolphe Lepigre, Christophe Raffalli |
Subtyping-Based Type-Checking for System F with Induction and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.01990, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.00842, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
Undecidability of Asynchronous Session Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.05026, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida |
On the Preciseness of Subtyping in Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.00328, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Modularity and Composition I, pp. 167-223, 2016, 978-3-319-46968-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Andrea Corradi |
Semantic subtyping for imperative object-oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016, pp. 568-587, 2016, ACM, 978-1-4503-4444-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Burook Misganaw, Mathukumalli Vidyasagar |
A robust platform-independent gene signature for single-sample breast cancer subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016, pp. 1301-1304, 2016, IEEE, 978-1-4673-8682-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Formal Methods ![In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 155-172, 2016, Springer, 978-3-319-30733-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Simon J. Gay |
Subtyping Supports Safe Session Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 95-108, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Georgiana E. Lungu, Zhaohui Luo |
On Subtyping in Type Theories with Canonical Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia, pp. 13:1-13:31, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-065-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Timothy Jones 0002, David J. Pearce 0001 |
A Mechanical Soundness Proof for Subtyping Over Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016, pp. 1, 2016, ACM, 978-1-4503-4439-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Benoît Vaugon, Michel Mauny |
A Type Inference System Based on Saturation of Subtyping Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, pp. 94-112, 2016, Springer, 978-3-030-14804-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLHC ![In: Proceedings of the 1st Machine Learning in Health Care, MLHC 2016, Los Angeles, CA, USA, August 19-20, 2016, pp. 191-208, 2016, JMLR.org. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
16 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida |
Precise subtyping for synchronous multiparty sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES ![In: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., pp. 29-43, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Suchi Saria, Anna Goldenberg |
Subtyping: What It is and Its Role in Precision Medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 30(4), pp. 70-75, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gary T. Leavens, David A. Naumann |
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 37(4), pp. 13:1-13:88, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Nils Gesbert, Pierre Genevès, Nabil Layaïda |
A Logical Approach to Deciding Semantic Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 38(1), pp. 3:1-3:31, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Dimitris Mostrous, Nobuko Yoshida |
Session typing and asynchronous subtyping for the higher-order π-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 241, pp. 227-263, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gary T. Leavens |
JML: Expressive Contracts, Specification Inheritance, and Behavioral Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ 2015, Melbourne, FL, USA, September 8-11, 2015, pp. 1, 2015, ACM, 978-1-4503-3712-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Dariusz Biernacki, Piotr Polesiuk |
Logical Relations for Coherence of Effect Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 107-122, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Hiroaki Inoue, Atsushi Igarashi |
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 445-462, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODULARITY ![In: Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015, pp. 117-132, 2015, ACM, 978-1-4503-3249-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, pp. 161-177, 2015, Springer, 978-3-319-19194-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 279, pp. 776-784, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Moez A. AbdelGawad |
Subtyping in Java with Generics and Wildcards is a Fractal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.5166, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Asankhaya Sharma |
Verified Subtyping with Traits and Mixins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014., pp. 45-51, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jiangwen Sun, Jinbo Bi, Henry R. Kranzler |
Multiview Comodeling to Improve Subtyping and Genetic Association of Complex Diseases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Biomed. Health Informatics ![In: IEEE J. Biomed. Health Informatics 18(2), pp. 548-554, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Henning Berg, Birger Møller-Pedersen |
Typing and Subtyping of Metamodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, pp. 111-118, 2014, SciTePress, 978-989-758-007-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ali Assaf 0002 |
A Calculus of Constructions with Explicit Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France, pp. 27-46, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-88-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Raphaël Cauderlier, Catherine Dubois |
Objects and Subtyping in the Lambda-Pi-Calculus Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France, pp. 47-71, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-88-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Davide Ancona, Andrea Corradi |
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings, pp. 282-307, 2014, Springer, 978-3-662-44201-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|