Synthical logo
Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Contacts
About
Simple
Original

Articles by Hongwei Xi

FAST Ultra-Deep Survey (FUDS): Data Release for FUDS0
10 September 2024 by Hongwei Xi and others
Astrophysics of Galaxies
The most distant HI galaxies discovered by the 500 m dish FAST
1 August 2024 by Hongwei Xi and others
Astrophysics of Galaxies
A Two-Level Linear Dependent Type Theory
15 September 2023 by Qiancheng Fu and Hongwei Xi
Programming Languages
Multirole Logic and Multiparty Channels
4 September 2023 by Hongwei Xi and Hanwen Wu
Logic in Computer Science, Distributed, Parallel, and Cluster Computing
SKA Science Data Challenge 2: analysis and results
14 March 2023 by Philippa Hartley and others
Instrumentation and Methods for Astrophysics, Cosmology and Nongalactic Astrophysics
Adrenal sympathetic nerve mediated the anti-inflammatory effect of electroacupuncture at ST25 acupoint on a rat model of sepsis
27 October 2022 by Zhenhan Zhang and others
Neuroscience
The FAST Ultra-Deep Survey (FUDS): observational strategy, calibration and data reduction
7 April 2022 by Hongwei Xi and others at LogoASTRON
Astrophysics of Galaxies
Chromosome-level assembly of the common vetch reference genome (Vicia sativa)
31 January 2022 by Hongsheng Xi and others at LogoThe University of Adelaide
Genomics
PFRED: A computational platform for siRNA and antisense oligonucleotides design.
22 January 2021 by S. Sciabola and others
Bioinformatics
The Arecibo Ultra-Deep Survey
17 December 2020 by Hongwei Xi and others
Astrophysics of Galaxies
To Memory Safety through Proofs
29 October 2018 by Hongwei Xi and Dengping Zhu
Programming Languages
Implementing Linking in Multiparty Sessions (Extended Abstract)
29 October 2018 by Hanwen Wu and Hongwei Xi
Programming Languages
Multiparty Dependent Session Types (Extended Abstract)
31 July 2018 by Hanwen Wu and Hongwei Xi
Programming Languages
Dependent Session Types
24 April 2017 by Hanwen Wu and Hongwei Xi
Programming Languages, Distributed, Parallel, and Cluster Computing
Applied Type System: An Approach to Practical Programming with Theorem-Proving
25 March 2017 by Hongwei Xi
Programming Languages, Logic in Computer Science
Multirole Logic (Extended Abstract)
19 March 2017 by Hongwei Xi and Hanwen Wu
Logic, Distributed, Parallel, and Cluster Computing
Dependent Types for Multi-Rate Flows in Synchronous Programming
8 February 2017 by William Blair and Hongwei Xi at LogoBoston University
Programming Languages
Propositions in Linear Multirole Logic as Multiparty Session Types
27 November 2016 by Hongwei Xi and Hanwen Wu
Programming Languages, Logic in Computer Science
Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions
11 April 2016 by Hongwei Xi and Hanwen Wu
Programming Languages
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
11 March 2016 by Hongwei Xi and others
Programming Languages, Logic in Computer Science
A robust and efficient method for estimating enzyme complex abundance and metabolic flux from expression data
9 September 2015 by Brandon Barker and others
Molecular Networks
A Programmer-Centric Approach to Program Verification in ATS
27 March 2012 by Zhiqiang Ren and Hongwei Xi
Programming Languages, Software Engineering
Effects of in-medium cross-sections and optical potential on thermal-source formation in p+197Au reactions at 6.2-14.6 GeV/c
20 February 2004 by S. Turbide and others
Nuclear Theory, Nuclear Experiment
High performance Beowulf computer for lattice QCD
5 February 2002 by X. Luo and others at LogoZhongshan University
High Energy Physics
Thermal excitation of heavy nuclei with 5-15 GeV/c antiproton, proton and pion beams
30 August 1999 by Luc Beaulieu and others
Nuclear Experiment