Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Songzheng Song

More Anti-Chain Based Refinement Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Related publications

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Automatic Refinement Checking for B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

International Journal of Foundations of Computer Science
Computer Science
2003English

Upward Planarity Checking: “Faces Are More Than Polygons”

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Refinement of Insulator-Based Dielectrophoresis

Analyst, The
BiochemistryEnvironmental ChemistryAnalytical ChemistryElectrochemistrySpectroscopy
2017English

Functional Comparison of Single-Chain and Two-Chain Anti-Cd3-Based Bispecific Antibodies in Gene Immunotherapy Applications

OncoImmunology
OncologyAllergyImmunology
2014English

Anti-Ganglioside Anti-Idiotypic Vaccination: More Than Molecular Mimicry

Frontiers in Oncology
Cancer ResearchOncology
2012English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Nogood-Based Asynchronous Forward Checking Algorithms

Constraints
CombinatoricsMathematicsDiscrete MathematicsComputational TheoryArtificial IntelligenceSoftware
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy