|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1365 occurrences of 650 keywords
|
|
|
Results
Found 1361 publication records. Showing 1361 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Ankita Shukla, Tiratha Raj Singh |
Structure based inference of functional single nucleotide polymorphism and its role in TGFβ1 allied colorectal cancer (CRC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bioinform. Res. Appl. ![In: Int. J. Bioinform. Res. Appl. 17(1), pp. 80-99, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Chamil Rathnayake |
Uptake, polymorphism, and the construction of networked events on Twitter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telematics Informatics ![In: Telematics Informatics 57, pp. 101518, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Adam Jaffe |
Characterizing Bipartite Graphs Which Admit a k-NU Polymorphism via Absolute Retracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 37(6), pp. 2459-2466, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | M. Clarence Protin, Gilda Ferreira |
Typability and Type Inference in Atomic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.13675, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Paolo Pistone, Luca Tranchini |
What's Decidable about (Atomic) Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.00748, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Preeti Jha, Aruna Tiwari, Neha Bharill, Milind B. Ratnaparkhe, Mukkamalla Mounika, Neha Nagendra |
Apache Spark based kernelized fuzzy clustering framework for single nucleotide polymorphism sequence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 92, pp. 107454, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Manish Datt |
Interplay of substrate polymorphism and conformational plasticity of Plasmodium tyrosyl-tRNA synthetase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 95, pp. 107582, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Haritha Mallina, Ramprasad Elumalai, Solomon F. D. Paul, C. George Priya Doss, Udhayakumar S, Gnanasambandan Ramanathan |
Computational validation of ABCB1 gene polymorphism and its effect on tacrolimus dose concentration/levels in renal transplant individuals of South India. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 139, pp. 104971, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | John Kenneth Truss, Edith Vargas-García |
Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Contributions Discret. Math. ![In: Contributions Discret. Math. 16(2), pp. 1-22, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Dylan Weil, Alexa Fort, Rhiannon Wold Gonzalez, Irina Vlasova-St. Louis |
Predicting the functional consequences of non-synonymous rs121918573 single-nucleotide polymorphism within the plant homeobox finger domain of human recombination activation gene 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Data Min. Bioinform. ![In: Int. J. Data Min. Bioinform. 26(3/4), pp. 166-187, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | M. Clarence Protin |
Type inhabitation of atomic polymorphism is undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(2), pp. 416-425, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Gizem Caylak, Öznur Tastan, A. Ercüment Çiçek |
A Tool for Detecting Complementary Single Nucleotide Polymorphism Pairs in Genome-Wide Association Studies for Epistasis Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 28(4), pp. 378-380, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jun Zhong, Ping Zhang, Jie Wu, Qiao Liu, Jingjing Yang, Jingyun Fu |
Analysis of Risk Factors for Hyperglycemia and GHR Gene Polymorphism in Growth Hormone secreting Pituitary Adenoma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: BIBE 2021: The Fifth International Conference on Biological Information and Biomedical Engineering, Hangzhou, China, July 20-22, 2021, pp. 38:1-38:6, 2021, ACM, 978-1-4503-8929-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Pistone, Luca Tranchini |
What's Decidable About (Atomic) Polymorphism? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)., pp. 27:1-27:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-191-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Antranig Basman |
Markup-driven polymorphism: A little journey (Work in Progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPIG ![In: Proceedings of the 32nd Annual Workshop of the Psychology of Programming Interest Group, PPIG 2021, Online, June 21-25, 2021, 2021, Psychology of Programming Interest Group. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Mengchi Zhang, Ahmad Alawneh, Timothy G. Rogers |
Characterizing Massively Parallel Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2021, Stony Brook, NY, USA, March 28-30, 2021, pp. 205-216, 2021, IEEE, 978-1-7281-8643-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Tanzila Islam, Chyon Hae Kim, Hiroyoshi Iwata, Hiroyuki Shimono, Akio Kimura, Hein Zaw, Chitra Raghavan, Hei Leung, Rakesh Kumar Singh |
A Deep Learning Method to Impute Missing Values and Compress Genome-ide Polymorphism Data in Rice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOINFORMATICS ![In: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2021, Volume 3: BIOINFORMATICS, Online Streaming, February 11-13, 2021., pp. 101-109, 2021, SCITEPRESS, 978-989-758-490-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Yafeng Li, Yiyao Liu, Tianfu Wang 0001, Baiying Lei |
Alzheimer's Disease Prediction via the Association of Single Nucleotide Polymorphism with Brain Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 15th Chinese Conference, CCBR 2021, Shanghai, China, September 10-12, 2021, Proceedings, pp. 102-111, 2021, Springer, 978-3-030-86607-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Nathan Mills, Allen Wang, Nasser Giacaman |
Visual Analogy for Understanding Polymorphism Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACE ![In: ACE '21: 23rd Australasian Computing Education Conference, Auckland, New Zealand (and virtually), 2-5February, 2021, pp. 48-57, 2021, ACM, 978-1-4503-8976-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed Samir, Fairuz Soufy, Omar Ehab, Sara Hassan, Lobna Shaheen, Ashraf AbdelRaouf, Nourhan Elsamanodie, Omar Eldemerdash, Rawan AL-Kady, Lamiaa N. Hammad, Mohamed H. Shahin |
A new approach for detection Alzheimer's Disease with machine learning using Whole Genomic and Single Nucleotide Polymorphism-Chip data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCWC ![In: 11th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2021, Las Vegas, NV, USA, January 27-30, 2021, pp. 1535-1540, 2021, IEEE, 978-1-6654-1490-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann |
Effects as capabilities: effect handlers and lightweight effect polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 126:1-126:30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Juan Enrique Sánchez Lasheras, Carmen González-Donquiles, Paulino José García Nieto, José Juan Jiménez Moleon, Dolores Salas-Trejo, Sergio Luis Suárez Gómez, Antonio J. Molina de la Torre, Joaquín González-Nuevo, Laura Bonavera, Jorge Carballido-Landeira, Francisco Javier de Cos Juez |
A methodology for detecting relevant single nucleotide polymorphism in prostate cancer with multivariate adaptive regression splines and backpropagation artificial neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 32(5), pp. 1231-1238, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Can Alkan |
Automatic characterization of copy number polymorphism using high throughput sequencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turkish J. Electr. Eng. Comput. Sci. ![In: Turkish J. Electr. Eng. Comput. Sci. 28(1), pp. 253-261, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Ka-Chun Wong, Shankai Yan, Qiuzhen Lin, Xiangtao Li, Chengbin Peng |
Deleterious Non-Synonymous Single Nucleotide Polymorphism Predictions on Human Transcription Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 17(1), pp. 327-333, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | José Espírito Santo, Gilda Ferreira |
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 108(3), pp. 477-507, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.00396, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Yong Li, Xue-Yu Chen, Wei-Min Gu, Hai-Ming Qian, Yuan Tian, Jie Tang, Ting Cheng |
A meta-analysis of tumor necrosis factor (TNF) gene polymorphism and susceptibility to influenza A (H1N1). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 89, pp. 107385, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Manish Manish, Andrew M. Lynn, Smriti Mishra |
Cytochrome P450 2C9 polymorphism: Effect of amino acid substitutions on protein flexibility in the presence of tamoxifen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 84, pp. 107166, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Benno van den Berg |
Univalent polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(6), pp. 102793, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Agata Gryta, Magdalena Frac |
Methodological Aspects of Multiplex Terminal Restriction Fragment Length Polymorphism-Technique to Describe the Genetic Diversity of Soil Bacteria, Archaea and Fungi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(11), pp. 3292, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Hanna Märkle, Aurélien Tellier |
Inference of coevolutionary dynamics and parameters from host and parasite polymorphism data of repeated experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 16(3), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Marwa M. Abd El Hamid, Nehal M. Ali, Mohamed N. Saad, Mai S. Mabrouk, Olfat G. Shaker |
Multiple sclerosis: an associated single-nucleotide polymorphism study on Egyptian population. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Netw. Model. Anal. Health Informatics Bioinform. ![In: Netw. Model. Anal. Health Informatics Bioinform. 9(1), pp. 48, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Endre Tóth, Tamás Waldhauser |
Polymorphism-homogeneity and universal algebraic geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOS ![In: Proceedings of the First International Conference `Algebras, graphs and ordered sets`, ALGOS 2020, Online (originally planned in Nancy, France), August 26-28, 2020., pp. 77-86, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
16 | Silvia Sebastián, Juan Caballero |
Towards Attribution in Mobile Markets: Identifying Developer Account Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020, pp. 771-785, 2020, ACM, 978-1-4503-7089-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves |
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, pp. 125-144, 2020, Springer, 978-3-030-64436-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Arpitha P. Bharathi, Monaldo Mastrolilli |
Ideal Membership Problem and a Majority Polymorphism over the Ternary Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 13:1-13:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Joshua B. Gross, Gabriel S. Oliviera, Kevin Coogan |
Toward a Model of Polymorphism Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 51st ACM Technical Symposium on Computer Science Education, SIGCSE 2020, Portland, OR, USA, March 11-14, 2020, pp. 1371, 2020, ACM, 978-1-4503-6793-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
FreezeML: complete and easy type inference for first-class polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pp. 423-437, 2020, ACM, 978-1-4503-7613-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Elvira Bondareva, Olga Parfenteva, Valentine D. Son'kin |
Influence of the -3826A/G Polymorphism UCP1 (rs1800592) and Physical Activity on Obesity-related Traits in Russian Females with Different Level of Physical Activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
icSPORTS ![In: Proceedings of the 8th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2020, Budapest, Hungary, November 5-6, 2020., pp. 156-160, 2020, SCITEPRESS, 978-989-758-481-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Srilakshmi Srinivasan, Jyotsna Batra |
Single Nucleotide Polymorphism Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Bioinformatics and Computational Biology (3) ![In: Encyclopedia of Bioinformatics and Computational Biology - Volume 3, pp. 432-440, 2019, Elsevier, 978-0-12-811432-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Jana Dunfield, Neelakantan R. Krishnaswami |
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 9:1-9:28, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Changchuan Yin, Stephen S.-T. Yau |
Whole genome single nucleotide polymorphism genotyping of Staphylococcus aureus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Inf. Syst. ![In: Commun. Inf. Syst. 19(1), pp. 57-80, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Aleksandr Igorevich Zhernakov, Alexey Mikhailovich Afonin, Natalia Dmitrievna Gavriliuk, Olga Mikhailovna Moiseeva, Vladimir Aleksandrovich Zhukov |
s-dePooler: determination of polymorphism carriers from overlapping DNA pools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 20(1), pp. 45:1-45:6, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Akio Miyao, Jianyu Song Kiyomiya, Keiko Iida, Koji Doi, Hiroshi Yasue |
Polymorphic edge detection (PED): two efficient methods of polymorphism detection from next-generation sequencing data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 20(1), pp. 362:1-362:12, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Julika Zimmermann, Nadja Deris, Christian Montag, Martin Reuter 0003, Andrea Felten, Benjamin Becker, Bernd Weber 0001, Sebastian A. Markett |
Corrigendum to "A common polymorphism on the oxytocin receptor gene (rs2268498) and resting-state functional connectivity of amygdala subregions - A genetic imaging study" [NeuroImage 179 (2018) 1-10]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 194, pp. 303-304, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso |
Typed path polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 781, pp. 111-130, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Zhen Wah Tan, Wei-Ven Tee, Enrico Guarnera, Lauren Booth, Igor N. Berezovsky |
AlloMAPS: allosteric mutation analysis and polymorphism of signaling database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 47(Database-Issue), pp. D265-D270, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Lê Thành Dung Nguyên, Paolo Pistone, Thomas Seiller, Lorenzo Tortora de Falco |
Finite semantics of polymorphism, complexity and the power of type fixpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.00196, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Paolo Pistone, Luca Tranchini, Mattia Petrolo |
The naturality of natural deduction (II). Some remarks on atomic polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.11353, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Justin Slepak, Olin Shivers, Panagiotis Manolios |
The Semantics of Rank Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.00509, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Paolo Pistone, Luca Tranchini |
Polymorphism and the free bicartesian closed category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.03481, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
16 | Mozhdeh Zamani, Mahboobeh Eslami, Navid Nezafat, Seyed Vahid Hosseini, Younes Ghasemi |
Evaluating the effect of BDNF Val66Met polymorphism on complex formation with HAP1 and Sortilin1 via structural modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 78, pp. 282-289, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Opeyemi S. Soremekun, Mahmoud E. S. Soliman |
From genomic variation to protein aberration: Mutational analysis of single nucleotide polymorphism present in ULBP6 gene and implication in immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 111, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ruchi Lohia, Reza Salari, Grace Brannigan |
Sequence specificity despite intrinsic disorder: How a disease-associated Val/Met polymorphism rearranges tertiary interactions in a long disordered protein. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 15(10), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Lochbihler |
Effect Polymorphism in Higher-Order Logic (Proof Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 439-462, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Gilda Ferreira, Vasco T. Vasconcelos |
The computational content of atomic polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 27(5), pp. 625-638, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hamid Eghbal-Zadeh, Lukas Fischer 0001, Niko Popitsch, Florian Kromp, Sabine Taschner-Mandl, Teresa Gerber, Eva Bozsaky, Peter F. Ambros, Inge M. Ambros, Gerhard Widmer, Bernhard Alois Moser |
DeepSNP: An End-to-End Deep Neural Network with Attention-Based Localization for Breakpoint Detection in Single-Nucleotide Polymorphism Array Genomic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 26(6), pp. 572-596, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Shin-ya Nishizaki |
ML Polymorphism of Linear Lambda Calculus with First-class Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSCA ![In: Proceedings of the 8th International Conference on Software and Computer Applications, ICSCA '19, Penang, Malaysia, February 19-21, 2019, pp. 189-193, 2019, ACM, 978-1-4503-6573-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers |
Distributive Disjoint Polymorphism for Compositional Programming. ![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. 381-409, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Iyswarya Narayanan, Aishwarya Ganesan, Anirudh Badam, Sriram Govindan, Bikash Sharma, Anand Sivasubramaniam |
Getting more performance with polymorphism from emerging memory technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYSTOR ![In: Proceedings of the 12th ACM International Conference on Systems and Storage, SYSTOR 2019, Haifa, Israel, June 3-5, 2019, pp. 8-20, 2019, ACM, 978-1-4503-6749-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Colleen M. Lewis, Daniel D. Garcia, Helen H. Hu, Saber Khan, Nigamanth Sridhar, Bryan Twarek, Chinma Uche |
Microteaching: Recursion, Coding Style, Creative Coding, Inheritance and Polymorphism, Loops, and the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 50th ACM Technical Symposium on Computer Science Education, SIGCSE 2019, Minneapolis, MN, USA, February 27 - March 02, 2019, pp. 962-963, 2019, ACM, 978-1-4503-5890-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Justin Slepak, Olin Shivers, Panagiotis Manolios |
Records with rank polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARRAY@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY@PLDI 2019, Phoenix, AZ, USA, June 22, 2019., pp. 80-92, 2019, ACM, 978-1-4503-6717-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Dominique Devriese |
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 1-14, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Waldemar Pokuta |
The Concept of a Flexible Database - Implementation of Inheritance and Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAT (1) ![In: Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology - ISAT 2019 - Part I, Wrocław, Poland, 15-17 September, 2019., pp. 119-128, 2019, Springer, 978-3-030-30439-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima |
Finitary polymorphism for optimizing type-directed compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(ICFP), pp. 81:1-81:29, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jennifer Hackett, Graham Hutton |
Parametric polymorphism and operational improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(ICFP), pp. 68:1-68:24, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Julika Zimmermann, Nadja Deris, Christian Montag, Martin Reuter 0003, Andrea Felten, Benjamin Becker, Bernd Weber 0001, Sebastian A. Markett |
A common polymorphism on the oxytocin receptor gene (rs2268498) and resting-state functional connectivity of amygdala subregions - A genetic imaging study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 179, pp. 1-10, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Beatriz López 0001, Ferran Torrent-Fontbona, Ramón Viñas 0002, José Fernández-Real |
Single Nucleotide Polymorphism relevance learning with Random Forests for Type 2 diabetes risk prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Medicine ![In: Artif. Intell. Medicine 85, pp. 43-49, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Pistone |
Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 24(1), pp. 1-52, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Casagrande, Joanna Jarmolowska, Marcello Turconi, Pierpaolo Busan, Francesco Fabris, Piero Paolo Battaglini |
PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 34(12), pp. 1085-1104, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Sultan Alam |
Analysis of Sequence Polymorphism of LINEs and SINEs in Entamoeba histolytica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.03835, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Benno van den Berg |
Univalent polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.10113, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Guillaume Munch-Maccagnoni |
Resource Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.02796, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Gopalan Nadathur, Yuting Wang 0001 |
Schematic Polymorphism in the Abella Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.07523, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Gilda Ferreira |
Atomic polymorphism and the existence property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(12), pp. 1303-1316, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Markus Boenn |
ShRangeSim: Simulation of Single Nucleotide Polymorphism Clusters in Next-Generation Sequencing Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 25(6), pp. 613-622, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Nicholas B. Larson, Chen Wang, Jie Na, Ross A. Rowsey, William Edward Highsmith, Nicole L. Hoppman, Jean-Pierre A. Kocher, Eric W. Klee |
Improving Single-Nucleotide Polymorphism-Based Fetal Fraction Estimation of Maternal Plasma Circulating Cell-Free DNA Using Bayesian Hierarchical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 25(9), pp. 1040-1049, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Nuyts, Dominique Devriese |
Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 779-788, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Guilhem Jaber, Nikos Tzevelekos |
A Trace Semantics for System F Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 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. 20-38, 2018, Springer, 978-3-319-89365-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Justin Slepak, Panagiotis Manolios, Olin Shivers |
Rank polymorphism viewed as a constraint problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARRAY@PLDI ![In: Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2018, Philadelphia, PA, USA, June 19, 2018, pp. 34-41, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Alejandro Serrano 0001, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones |
Guarded impredicative polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, pp. 783-796, 2018, ACM, 978-1-4503-5698-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Jerry Swan, Colin G. Johnson, Edwin C. Brady |
Subtype polymorphism à la carte via machine learning on dependent types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA/ECOOP Workshops ![In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018, pp. 14-16, 2018, ACM, 978-1-4503-5939-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Gopalan Nadathur, Yuting Wang 0001 |
Schematic Polymorphism in the Abella Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 15:1-15:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yi Liu, Will N. Browne, Bing Xue 0001 |
Hierarchical Learning Classifier Systems for Polymorphism in Heterogeneous Niches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2018: Advances in Artificial Intelligence - 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings, pp. 397-409, 2018, Springer, 978-3-030-03990-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yizhou Zhang 0001, Andrew C. Myers |
Familia: unifying interfaces, type classes, and family polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(OOPSLA), pp. 70:1-70:31, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mbemba Jabbi, Brett Cropp, Tiffany Nash, Philip Kohn, J. Shane Kippenhan, Joseph C. Masdeu, Raghav Mattay, Bhaskar S. Kolachana, Karen Faith Berman |
BDNF Val66Met polymorphism tunes frontolimbic circuitry during affective contextual learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 162, pp. 373-383, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Degueule, Benoît Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel |
Safe model polymorphism for flexible modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 49, pp. 176-195, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ruifang Cao, Yan Shi, Shuangguan Chen, Yimin Ma, Jiajun Chen, Juan Yang, Geng Chen 0003, Tieliu Shi |
dbSAP: single amino-acid polymorphism database for protein variation detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 45(Database-Issue), pp. D827-D832, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mike Behrisch, John Kenneth Truss, Edith Vargas-García |
Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 105(1), pp. 65-91, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Pistone |
Polymorphism and the obstinate circularity of second order logic: a victims' tale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.10205, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Ki Yung Ahn |
An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.07872, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Juan Edi, Andrés Viso, Eduardo Bonelli |
Efficient Type Checking for Path Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.09026, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet |
Runtime Code Polymorphism as a Protection Against Side Channel Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2017, pp. 699, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Andreas Lochbihler |
Effect polymorphism in higher-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
16 | Beta Ziliani, Matthieu Sozeau |
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 27, pp. e10, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper 0001 |
Correctness of compiling polymorphism to dynamic typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 27, pp. e1, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | M. Stanley Fujimoto, Cole A. Lyman, Anton Suvorov, Paul M. Bodily, Quinn Snell, Keith A. Crandall, Seth M. Bybee, Mark J. Clement |
Genome Polymorphism Detection Through Relaxed de Bruijn Graph Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 17th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2017, Washington, DC, USA, October 23-25, 2017, pp. 212-216, 2017, IEEE Computer Society, 978-1-5386-1324-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Karl Crary |
Modules, abstraction, and parametric polymorphism. ![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. 100-113, 2017, ACM, 978-1-4503-4660-3. 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 | Lian Li 0002, Yi Lu 0003, Jingling Xue |
Dynamic symbolic execution for polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017, pp. 120-130, 2017, ACM, 978-1-4503-5233-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
Displaying result #301 - #400 of 1361 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|