Jianwen Li
- Whole-genome analyses resolve early branches in the tree of life of modern birds
2014/12/11 by Erich D. Jarvis, Siavash Mirarab, Andre J. Aberer +124 · 176 citations
Biochemistry, Genetics and Molecular Biology · Earth and Planetary Sciences · #Genomics and Phylogenetic Studies #Genetic diversity and population structure #Evolution and Paleontology Studies
- Population Genomics Reveal Recent Speciation and Rapid Evolutionary Adaptation in Polar Bears
2014/05/01 by Shiping Liu, Eline D. Lorenzen, Eline D. Lorenzen +34 · 1 voice · 25 citations
Environmental Science · Biochemistry, Genetics and Molecular Biology · #Marine animal studies overview #Animal Genetics and Reproduction #Genetic diversity and population structure
- The sequence and de novo assembly of the giant panda genome
2009/12/13 by Ruiqiang Li, Wei Fan, Geng Tian +96 · 12 citations
Biochemistry, Genetics and Molecular Biology · Nursing · #Genomics and Phylogenetic Studies #RNA and protein synthesis mechanisms #Biochemical Analysis and Sensing Techniques
- Symbolic LTLf Synthesis
2017/05/23 by Shufang Zhu, Lucas M. Tabajara, Zhu, Shufang +7 · 8 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
- FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction
2020/06/13 by Yihao Huang, Huang, Yihao, Felix Juefei-Xu +17 · 6 citations
Computer Science · #Advanced Image Processing Techniques #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #Digital Media Forensic Detection #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG)
- A Symbolic Approach to Safety LTL Synthesis
2017/09/21 by Shufang Zhu, Lucas M. Tabajara, Zhu, Shufang +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
2023/06/02 by Jincao Feng, Weikai Miao, Feng, Jincao +19 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)
- Two Antarctic penguin genomes reveal insights into their evolutionary history and molecular changes related to the Antarctic environment
2014/12/01 by Cai Li, Yong Zhang, Jianwen Li +38 · 1 citation
Biochemistry, Genetics and Molecular Biology · Environmental Science · #Genomics and Phylogenetic Studies #Polar Research and Ecology #Genetic diversity and population structure
- BTOR2-Based C Program Verification via Hardware Model Checking
2026/07/20 by Xinyu Zhang, Runxuan Fang, Ziqun Bao +3
Computer Science · #cs.SE #cs.FL