冯元

2026

Artifact for "Normal Forms and Complete Relations for Circuits in Agda"

Zenodo (CERN European Organization for Nuclear Research)

DOI

2026

Refinement Orders for Quantum Programs

ACM Transactions on Software Engineering and Methodology

DOI

2026

Borrowing Dirty Qubits in Quantum Programs

ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)

DOI

2026

An Expressive Assertion Language for Quantum Programs

Proceedings of the ACM on Programming Languages

DOI

2025

Benchmarking Quantum Circuit Transformation With QKNOB Circuits

IEEE Transactions on Quantum Engineering

DOI

2025

Refinement Calculus of Quantum Programs with Projective Assertions

ACM Transactions on Software Engineering and Methodology

DOI

2024

Measurement-Based Verification of Quantum Markov Chains

Lecture notes in computer science

DOI

2013

Model checking quantum Markov chains

Journal of Computer and System Sciences

DOI

2013

Verification of quantum programs

Science of Computer Programming

DOI

2013

Reachability Probabilities of Quantum Markov Chains

Lecture notes in computer science

DOI

2013

Reachability Analysis of Recursive Quantum Markov Chains

Lecture notes in computer science

DOI

2012

Bisimulation for Quantum Processes

ACM Transactions on Programming Languages and Systems

DOI

2012

Quantum programming: From theories to implementations

Chinese Science Bulletin

DOI

2012

Open Bisimulation for Quantum Processes

Lecture notes in computer science

DOI

2010

A Flowchart Language for Quantum Programming

IEEE Transactions on Software Engineering

DOI

2010

Quantum loop programs

Acta Informatica

DOI

2009

An Algebraic Language for Distributed Quantum Computing

IEEE Transactions on Computers

DOI

2007

Probabilistic bisimulations for quantum processes

Information and Computation

DOI

2007

Proof rules for the correctness of quantum programs

Theoretical Computer Science

DOI

2007

Commutativity of quantum weakest preconditions

Information Processing Letters

DOI

2026

Resource Estimation for Fault-Tolerant Quantum Programs

arXiv (Cornell University)

DOI

2026

Towards physically more comprehensive AGN modelling in cosmological simulations: A MACER-based modification of IllustrisTNG

arXiv preprint

2026

Massive Galaxy Halos Contain Less Inner Dark Matter Than Predicted

arXiv preprint

2026

A Jet from a Nearly Dormant Black Hole

arXiv preprint

2026

Satellite quenching by radio jets of central galaxies in galaxy groups

arXiv preprint

2026

Probing the Hot Gaseous Halos of Milky Way-like Galaxies in the TNG50 simulation

arXiv preprint

2026

No Detectable One-halo Galactic Conformity Signal with Halo-mass Estimates Consistent with Weak-lensing Constraints

arXiv preprint

2026

Jet Power, Bulk Lorentz Factor, Black Hole Spin, and Magnetic Field of Accretion Disk in Jetted Active Galactic Nuclei: A Large Gamma-Ray Emission Sample

arXiv preprint

2026

A systematic study of AGN feedback in a disk galaxy using MACER. III. High Gas Fractions in AGN Hosts

arXiv preprint

2026

The mass-dependent interplay of active galacitc nuclei and supernova feedback in shaping the $L_{\rm X}$--$T$ relation of early-type galaxies

arXiv preprint

DOI

2026

Benchmarking the Nearside Energy-Energy Correlators with Mellin Transform

arXiv preprint

2025

Quantum Design Automation: Foundations, Challenges, and the Road Ahead

arXiv (Cornell University)

DOI

2025

Shedding light on the star formation rate-halo accretion rate connection and halo quenching mechanism via DECODE, the Discrete statistical sEmi-empiriCal mODEl

arXiv preprint

DOI

2025

Comparing observed properties of winds in low-luminosity active galactic nuclei with theoretical predictions

arXiv preprint

2025

The Physical Origin and Time Lag of Multi-Frequency Flares from SgrA*

arXiv preprint

2024

Equivalence Checking of Parameterised Quantum Circuits

arXiv preprint

2024

Jet Definition and Transverse-Momentum-Dependent Factorization in Semi-Inclusive Deep-Inelastic Scattering

arXiv preprint

DOI

2024

Azimuthal angular correlation of $J/ψ$ plus jet production at the electron-ion collider

arXiv preprint

DOI

2024

An Interpretation of Bunched Logic for Reasoning about Heap-Manipulating Quantum Programs

arXiv preprint

2023

Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping

arXiv preprint

2023

Transverse momentum dependent shape function for $J/ψ$ production in SIDIS

arXiv preprint

DOI

2023

A "coronal-mass-ejection'' model for flares in Sagittarius A*

arXiv preprint

DOI

2023

Black Hole Feeding and Feedback in a Compact Galaxy

arXiv preprint

DOI

2023

Scientific Objectives of the Hot Universe Baryon Surveyor (HUBS) Mission

arXiv preprint

DOI

2023

Decision Diagrams for Symbolic Verification of Quantum Circuits

arXiv preprint

2023

Verification of Nondeterministic Quantum Programs

arXiv preprint

DOI

2022

Machine learning-based jet and event classification at the Electron-Ion Collider with applications to hadron structure and spin physics

arXiv preprint

DOI

2022

Large-scale Dynamics of Winds Driven by Line Force from a Thin Accretion Disk

arXiv preprint

DOI

2022

X-ray Emission from the Interstellar and Circumgalactic Medium of Elliptical Galaxies based on MACER simulations

arXiv preprint

DOI

2022

Asymmetric eROSITA bubbles as the evidence of a circumgalactic medium wind

arXiv preprint

DOI

2022

Magnetically driven accretion disc winds: the role of gas thermodynamics and comparison to ultra-fast outflows

arXiv preprint

DOI

2022

Modeling the inner part of M87 jet: confronting jet morphology with theory

arXiv preprint

2022

The properties of wind and jet from a super-Eddington accretion flow around a supermassive black hole

arXiv preprint

DOI

2021

Matrix Model simulations using Quantum Computing, Deep Learning, and Lattice Monte Carlo

arXiv preprint

DOI

2021

Casimir energy with chiral fermions on a quantum computer

arXiv preprint

2021

Worldline Path Integrals for Gauge Fields and Quantum Computing

arXiv preprint

2021

Effective Matrix Model for Gauge Theories at Finite Temperature and Density using Quantum Computing

arXiv preprint

2021

Morse Potential on a Quantum Computer for Molecules and Supersymmetric Quantum Mechanics

arXiv preprint

2021

Quantum Computing for Inflationary, Dark Energy and Dark Matter Cosmology

arXiv preprint

2021

Do current X-ray observations capture most of the black-hole accretion at high redshifts?

arXiv preprint

DOI

2021

Gluon Gravitational Form Factors at Large Momentum Transfer

arXiv preprint

DOI

2021

Probing gluon helicity with heavy flavor at the EIC

arXiv preprint

DOI

2021

Numerical simulation of hot accretion flows (IV): effects of black hole spin and magnetic field strength on the wind and the comparison between wind and jet properties

arXiv preprint

DOI

2021

Formal Semantics of a Classical-Quantum Language

arXiv preprint

2021

Evidence for A Hot Wind from High-resolution X-ray Spectroscopic Observation of the Low-luminosity Active Galactic Nucleus in NGC 7213

arXiv preprint

DOI

2021

Equivalence Checking of Dynamic Quantum Circuits

arXiv preprint

2021

Perturbative QCD Analysis of Near Threshold Heavy Quarkonium Photoproduction at Large Momentum Transfer

arXiv preprint

DOI

2021

Quantum Walks, Feynman Propagators and Graph Topology on an IBM Quantum Computer

arXiv preprint

2021

Supervised Learning Enhanced Quantum Circuit Transformation

arXiv preprint

DOI

2021

Approximate Equivalence Checking of Noisy Quantum Circuits

arXiv preprint

2020

A Tensor Network based Decision Diagram for Representation of Quantum Circuits

arXiv preprint

2020

Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search

arXiv preprint

DOI

2020

Symbolic Reasoning about Quantum Circuits in Coq

arXiv preprint

DOI

2020

Quantum Circuit Transformation: A Monte Carlo Tree Search Framework

arXiv preprint

DOI

2020

Proton spin after 30 years: what we know and what we don't?

arXiv preprint

2020

Flux ropes in SANE disks

arXiv preprint

2020

From haloes to galaxies -- II. The fundamental relations in star formation and quenching

arXiv preprint

DOI

2020

Momentum Anisotropy of Leptons from Two Photon Processes in Heavy Ion Collisions

arXiv preprint

DOI

2020

Lepton Pair Production Through Two Photon Process in Heavy Ion Collisions

arXiv preprint

DOI

2020

Quantum Hoare logic with classical variables

arXiv preprint

DOI

2019

Model Checking Applied to Quantum Physics

arXiv preprint

2019

Nearly all Massive Quiescent Disk Galaxies have a Surprisingly Large Atomic Gas Reservoir

arXiv preprint

DOI

2019

On the Role of Hot Feedback Mode in Active Galactic Nuclei Feedback in an Elliptical Galaxy

arXiv preprint

DOI

2019

Radiation-driven outflows in AGNs: Revisiting feedback effects of scattered and reprocessed photons

arXiv preprint

DOI

2019

Medium-Induced Transverse Momentum Broadening via Forward Dijet Correlations

arXiv preprint

DOI

2019

Studying Black Holes on Horizon Scales with VLBI Ground Arrays

arXiv preprint

2019

Sub-threshold $J/ψ$ and $Υ$ Production in $γA$ Collisions

arXiv preprint

DOI

2019

Can We Observe Jet $P_T$-broadening in Heavy-Ion Collisions at the LHC?

arXiv preprint

DOI

2018

The Structure of Decoherence-free Subsystems

arXiv preprint

2018

Model Checking Quantum Systems --- A Survey

arXiv preprint

2018

SDSS-IV MaNGA: The Roles of AGNs and Dynamical Processes in Star Formation Quenching in Nearby Disk Galaxies

arXiv preprint

DOI

2018

New Clues to Jet Launching: The inner disks in radio loud quasars may be more stable

arXiv preprint

DOI

2018

MACER improved: AGN feedback computed in rotating early-type galaxies at high resolution

arXiv preprint

DOI

2018

An intrinsic link between long-term UV/optical variations and X-ray loudness in quasars

arXiv preprint

DOI

2018

Lepton-jet Correlations in Deep Inelastic Scattering at the Electron-Ion Collider

arXiv preprint

DOI

2018

Accretion in Strong Field Gravity with eXTP

arXiv preprint

DOI

2018

Resummation of High Order Corrections in $Z$ Boson Plus Jet Production at the LHC

arXiv preprint

DOI

2018

NuSTAR Hard X-ray View of Low-luminosity Active Galactic Nuclei: High-energy Cutoff and Truncated Thin Disk

arXiv preprint

DOI

2017

Three-dimensional magnetohydrodynamical simulations of the morphology of head-tail radio galaxies based on magnetic tower jet model

arXiv preprint

DOI

2017

Classical and quantum entropy of parton distributions

arXiv preprint

DOI

2017

Active Galactic Nuclei Feedback in an Elliptical Galaxy with the Most Updated AGN Physics (I): Low-angular Momentum Case

arXiv preprint

DOI

2017

Elliptic Flow in Small Systems due to Elliptic Gluon Distributions?

arXiv preprint

DOI

2017

Radiative heating in the kinetic mode of AGN feedback

arXiv preprint

DOI

2017

Fundamental Plane of Black Hole Activity in Quiescent Regime

arXiv preprint

DOI

2017

Vertical Advection Effects on Hyper-accretion Disks and Potential Link between Gamma-ray Bursts and Kilonovae

arXiv preprint

DOI

2017

Quantum Privacy-Preserving Data Analytics

arXiv preprint

2016

Decomposition of Quantum Markov Chains and Its Applications

arXiv preprint

2016

Single Spin Asymmetry in Forward $pA$ Collisions

arXiv preprint

DOI

2016

Gluon orbital angular momentum at small-$x$

arXiv preprint

DOI

2015

Toward Automatic Verification of Quantum Cryptographic Protocols

arXiv (Cornell University)

DOI

2015

Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties

arXiv preprint

2015

Hydrodynamical numerical simulation of wind production from black hole hot accretion flows at very large radii

arXiv preprint

DOI

2015

Magneto-thermal Disk Wind from Protoplanetary Disks

arXiv preprint

DOI

2015

Quantum Privacy-Preserving Data Mining

arXiv preprint

2014

Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs

arXiv (Cornell University)

DOI

2014

Does the circularization radius exist or not for low angular momentum accretion?

arXiv preprint

DOI

2014

Soft Gluon Resummations in Dijet Azimuthal Angular Correlations at the Collider

arXiv preprint

DOI

2014

Matching Collinear and Small-x Factorization Calculations for Inclusive Hadron Production in pA Collisions

arXiv preprint

DOI

2013

The RHIC Spin Program: Achievements and Future Opportunities

arXiv preprint

2013

Two dimensional numerical simulations of Supercritical Accretion Flows revisited

arXiv preprint

DOI

2013

Global Neutrino Heating in Hyperaccretion Flows

arXiv preprint

DOI

2012

Probing Parton Orbital Angular Momentum in Longitudinally Polarized Nucleon

arXiv preprint

DOI

2012

Defining Quantum Control Flow

arXiv preprint

2012

Heavy Quarkonium Production at Low Pt in NRQCD with Soft Gluon Resummation

arXiv preprint

DOI

2012

On hybrid models of quantum finite automata

arXiv preprint

DOI

2011

Revisiting the Thermal Stability of Radiation-dominated Thin Disks

arXiv preprint

DOI

2011

NLO QCD Corrections to $B_c$-to-Charmonium Form Factors

arXiv preprint

DOI

2011

The gamma-ray emitting region of the jet in Cyg X-3

arXiv preprint

DOI

2011

Back-to-Back Correlations of Di-hadrons in dAu Collisions at RHIC

arXiv preprint

DOI

2011

QCD Resummation for Single Spin Asymmetries

arXiv preprint

DOI

2010

Non-Universality of Transverse Momentum Dependent Parton Distributions at Small-x

arXiv preprint

DOI

2010

Twist-three Fragmentation Function Contribution to the Single Spin Asymmetry in pp Collisions

arXiv preprint

DOI

2009

Monte Carlo simulations of global Compton cooling in inner regions of hot accretion flows

arXiv preprint

DOI

2009

Steady state solution of warped accretion discs

arXiv preprint

DOI

2008

Self-Similar Solution of Hot Accretion Flows with Ordered Magnetic Field and Outflow

arXiv preprint

DOI

2008

Heavy Quarkonium Production in Single Transverse Polarized High Energy Scattering

arXiv preprint

DOI

2008

Locally undetermined states, generalized Schmidt decomposition, and an application in distributed computing

arXiv preprint

2007

On the origin of X-ray emission in some FR Is: ADAF or jet?

arXiv preprint

DOI

2007

Effect of Orbital Angular Momentum on Valence-Quark Helicity Distributions

arXiv preprint

DOI

2004

An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation

arXiv preprint

2004

Factorization of Large-x Quark Distributions in a Hadron

arXiv preprint

DOI

2004

Catalyst-assisted Probabilistic Entanglement Transformation

arXiv preprint

DOI

2003

Sivers Function in the MIT Bag Model

arXiv preprint

DOI

2002

Three-Quark Light-Cone Amplitudes of The Proton And Quark-Orbital-Motion Dependent Observables

arXiv preprint

DOI

2002

Critical Correlations of Wilson Lines in SU(3) and the High Energy $γ^*p$ Cross Section

arXiv preprint

DOI

2002

Azimuthal asymmetry of J/Psi suppression in non-central heavy-ion collisions

arXiv preprint

DOI

2002

Parton Distributions in Light-Cone Gauge: Where Are the Final-State Interactions?

arXiv preprint

DOI

2001

Heavy quarkonium production in double Pomeron exchange processes in perturbative QCD

arXiv preprint

DOI

2001

A Jet-ADAF model for Sgr A*

arXiv preprint

DOI

2001

Enhanced Minijet Production in $A-A$ Collisions from Gluons with Large Transverse Momenta

arXiv preprint

DOI

2000

χ_{cJ} polarizations at the Fermilab Tevatron

arXiv preprint

DOI

2000

A New Parameter In Accretion Disk Model

arXiv preprint

DOI

1999

Photoproduction of $η_c$ in NRQCD

arXiv preprint

DOI

1998

D-wave heavy quarkonium production in fixed target experiments

arXiv preprint

DOI

1998

Quarkonium production in SM Higgs decays

arXiv preprint

DOI

1998

Diffractive J/psi production as a probe of the gluon component in the Pomeron

arXiv preprint

DOI

1997

Prompt J/psi production at e^+e^- colliders

arXiv preprint

DOI

1997

Gluon fragmentation to ^3D_J quarkonia

arXiv preprint

DOI