Jia-Guang Sun

According to our database1, Jia-Guang Sun
  • authored at least 208 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System.
IEEE Trans. Industrial Informatics, 2017

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Industrial Electronics, 2017

Representative band selection for hyperspectral image classification.
J. Visual Communication and Image Representation, 2017

Verification of Implementations of Cryptographic Hash Functions.
IEEE Access, 2017

Vertex-Weighted Hypergraph Learning for Multi-View Object Classification.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Stochastic optimization of program obfuscation.
Proceedings of the 39th International Conference on Software Engineering, 2017

Assertion Recommendation for Formal Program Verification.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Constraint-Pattern Based Method for Reachability Determination.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Deep Learning of Transferable Representation for Scalable Domain Adaptation.
IEEE Trans. Knowl. Data Eng., 2016

Efficient Recovery of Missing Events.
IEEE Trans. Knowl. Data Eng., 2016

An Energy-Efficient Train Control Framework for Smart Railway Transportation.
IEEE Trans. Computers, 2016

Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks.
Sensors, 2016

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

C Code Verification based on the Extended Labeled Transition System Model.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Model driven design of heterogeneous synchronous embedded systems.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Verifying simulink stateflow model: timed automata approach.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Use runtime verification to improve the quality of medical care practice.
Proceedings of the 38th International Conference on Software Engineering, 2016

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers.
Proceedings of the FM 2016: Formal Methods, 2016

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.
Proceedings of the FM 2016: Formal Methods, 2016

Automatic Fix for C Integer Errors by Precision Improvement.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
First, Debug the Test Oracle.
IEEE Trans. Software Eng., 2015

Mechanism Design for Finding Experts Using Locally Constructed Social Referral Web.
IEEE Trans. Parallel Distrib. Syst., 2015

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.
IEEE Trans. Parallel Distrib. Syst., 2015

Domain Invariant Transfer Kernel Learning.
IEEE Trans. Knowl. Data Eng., 2015

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.
IEEE Trans. Industrial Electronics, 2015

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2015

Generalized interface automata with multicast synchronization.
Frontiers of Computer Science, 2015

Identifying and constructing elemental parts of shafts based on conditional random fields model.
Computer-Aided Design, 2015

2014
Continuity Transition with a Single Regular Curved-Knot Spline Surface.
ACM Trans. Graph., 2014

Symbolic Analysis of Programmable Logic Controllers.
IEEE Trans. Computers, 2014

Array Theory of Bounded Elements and its Applications.
J. Autom. Reasoning, 2014

Modeling a Heterogeneous Embedded System in Coloured Petri Nets.
J. Applied Mathematics, 2014

Functional Verification of High Performance Adders in COQ.
J. Applied Mathematics, 2014

A New Barrier Certificate for Safety Verification of Hybrid Systems.
Comput. J., 2014

Polynomial spline interpolation of incompatible boundary conditions with a single degenerate surface.
Computer-Aided Design, 2014

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Clause Replication and Reuse in Incremental Temporal Induction.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Matching heterogeneous events with patterns.
Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

Transfer Joint Matching for Unsupervised Domain Adaptation.
Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014

From offline to onboard system solution for a control sequence optimization problem.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, 2014

Optimal robust control for generalized fuzzy dynamical systems: A novel use on fuzzy uncertainties.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Control and Automation, 2014

2013
Bayesian-Network-Based Reliability Analysis of PLC Systems.
IEEE Trans. Industrial Electronics, 2013

A Unified Framework for DPLL(T) + Certificates.
J. Applied Mathematics, 2013

An octree-based proxy for collision detection in large-scale particle systems.
SCIENCE CHINA Information Sciences, 2013

System reliability calculation based on the run-time analysis of ladder program.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Design and optimization of multi-clocked embedded systems using formal technique.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Transfer Feature Learning with Joint Distribution Adaptation.
Proceedings of the IEEE International Conference on Computer Vision, 2013

Transfer Sparse Coding for Robust Image Representation.
Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013

Verification and Implementation of the Protocol Standard in Train Control System.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Sequential dependency and reliability analysis of embedded systems.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
Recovering Geometric Detail by Octree Normal Maps.
Trans. Edutainment, 2012

New strategies for reliability analysis of Programmable Logic Controllers.
Mathematical and Computer Modelling, 2012

Semantic characterization of programmable logic controller programs.
Mathematical and Computer Modelling, 2012

Obtaining more Karatsuba-like formulae over the binary field.
IET Information Security, 2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Uncertain Model and Algorithm for Hardware/Software Partitioning.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

Automatic image annotation using tag-related random search over visual neighbors.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

2011
Verifying workflow processes: a transformation-based approach.
Software and System Modeling, 2011

Gn filling orbicular N-sided holes using periodic B-spline surfaces.
SCIENCE CHINA Information Sciences, 2011

A Hierarchical Grid Based Framework for Fast Collision Detection.
Comput. Graph. Forum, 2011

E.G2 B-spline surface interpolation.
Computer Aided Geometric Design, 2011

A new method for identifying and validating features from 2D sectional views.
Computer-Aided Design, 2011

G2 B-spline interpolation to a closed mesh.
Computer-Aided Design, 2011

Proving Computational Geometry Algorithms in TLA+2.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Parallel Spatial Hashing for Collision Detection of Deformable Surfaces.
Proceedings of the 12th International Conference on Computer-Aided Design and Computer Graphics, 2011

2010
Filling n-sided regions with G1 triangular Coons B-spline patches.
The Visual Computer, 2010

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.
IEEE Trans. Computers, 2010

Overlap-free Karatsuba-Ofman polynomial multiplication algorithms.
IET Information Security, 2010

A cell-based algorithm for evaluating directional distances in GIS.
International Journal of Geographical Information Science, 2010

A point-in-polygon method based on a quasi-closest point.
Computers & Geosciences, 2010

Mining process models with prime invisible tasks.
Data Knowl. Eng., 2010

A workflow net similarity measure based on transition adjacency relations.
Computers in Industry, 2010

Gn blending multiple surfaces in polar coordinates.
Computer-Aided Design, 2010

Identification of sections from engineering drawings based on evidence theory.
Computer-Aided Design, 2010

Reconstructing 3D Objects from 2D Sectional Views of Engineering Drawings Using Volume-Based Method.
Proceedings of the SMI 2010, 2010

The Transition Between Sharp and Rounded Features and the Manipulation of Incompatible Boundary in Filling n-sided Holes.
Proceedings of the SMI 2010, 2010

A Watermark-Aware Trusted Running Environment for Software Clouds.
Proceedings of the Fifth Annual ChinaGrid Conference, ChinaGrid 2010, Guangzhou, 2010

A cloud based SIM DRM scheme for the mobile internet.
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009
A novel approach for process mining based on event types.
J. Intell. Inf. Syst., 2009

QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector.
J. Comput. Sci. Technol., 2009

Obtaining More Karatsuba-Like Formulae over The Binary Field.
IACR Cryptology ePrint Archive, 2009

Workflow-based resource allocation to optimize overall performance of composite services.
Future Generation Comp. Syst., 2009

Heuristic-Guided Abstraction Refinement.
Comput. J., 2009

Task-activity based access control for process collaboration environments.
Computers in Industry, 2009

A torus patch approximation approach for point projection on surfaces.
Computer Aided Geometric Design, 2009

2008
Unicast-based fault-tolerant multicasting in wormhole-routed hypercubes.
Journal of Systems Architecture - Embedded Systems Design, 2008

Efficient Fingercode Classification.
IEICE Transactions, 2008

A semi-automatic approach for workflow staff assignment.
Computers in Industry, 2008

Scan BIST with biased scan test signals.
Science in China Series F: Information Sciences, 2008

Approximate computation of curves on B-spline surfaces.
Computer-Aided Design, 2008

Reducing control points in lofted B-spline surface interpolation using common knot vector determination.
Computer-Aided Design, 2008

Identification of sections from engineering drawings based on evidence theory.
Proceedings of the 2008 ACM Symposium on Solid and Physical Modeling, 2008

Towards trace semantics for WS-CDL with alignments.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007
Constraining Transition Propagation for Low-Power Scan Testing Using a Two-Stage Scan Architecture.
IEEE Trans. on Circuits and Systems, 2007

Reconfigured Scan Forest for Test Application Cost, Test Data Volume, and Test Power Reduction.
IEEE Trans. Computers, 2007

AbIx: An Approach to Content-Based Approximate Query Processing in Peer-to-Peer Data Systems.
J. Comput. Sci. Technol., 2007

Overlap-free Karatsuba-Ofman Polynomial Multiplication Algorithms.
IACR Cryptology ePrint Archive, 2007

Mining process models with non-free-choice constructs.
Data Min. Knowl. Discov., 2007

An offset algorithm for polyline curves.
Computers in Industry, 2007

A counterexample on point inversion and projection for NURBS curve.
Computer Aided Geometric Design, 2007

Mining Invisible Tasks from Event Logs.
Proceedings of the Advances in Data and Web Management, 2007

Automated Test Data Generation Algorithm Based On Reversed Binary Tree.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Converting hybrid wire-frames to B-rep models.
Proceedings of the 2007 ACM Symposium on Solid and Physical Modeling, 2007

A machine learning approach to semi-automating workflow staff assignment.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

MuSQL: A Music Structured Query Language.
Proceedings of the Advances in Multimedia Modeling, 2007

Dynamically Constructing Mixed Pyramid for Fast VQ Encoding.
Proceedings of the 3rd International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2007), 2007

Using Decision Tree Learning to Predict Workflow Activity Time Consumption.
Proceedings of the ICEIS 2007, 2007

Effective heuristics for counterexample-guided abstraction refinement.
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Intersection Testing between an Ellipsoid and an Algebraic Surface.
Proceedings of the 10th International Conference on Computer-Aided Design and Computer Graphics, 2007

2006
Probabilistic optimization for FPGA board level routing problems.
IEEE Trans. on Circuits and Systems, 2006

Fault-tolerant multicasting in hypercubes using local safety information.
J. Parallel Distrib. Comput., 2006

A combinatorial congestion estimation approach with generalized detours.
Computers & Mathematics with Applications, 2006

Reconstruction of 3D curvilinear wire-frame from three orthographic views.
Computers & Graphics, 2006

A rational extension of Piegl's method for filling n-sided holes.
Computer-Aided Design, 2006

A quasi-Monte Carlo method for computing areas of point-sampled surfaces.
Computer-Aided Design, 2006

Automatic least-squares projection of points onto point clouds with applications in reverse engineering.
Computer-Aided Design, 2006

Solid reconstruction using recognition of quadric surfaces from orthographic views.
Computer-Aided Design, 2006

Computing minimum distance between two implicit algebraic surfaces.
Computer-Aided Design, 2006

Automated Test Data Generation Based on Program Execution.
Proceedings of the Fourth International Conference on Software Engineering, 2006

An Efficient Algorithm for Fingercode-Based Biometric Identification.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Constrained Delaunay Triangulation Using Delaunay Visibility.
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

Optimal Parameterizations of Bézier Surfaces.
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

Surface Fitting to Curves with Energy Control.
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

Using pi-Calculus to Formalize Domain Administration of RBAC.
Proceedings of the Information Security Practice and Experience, 2006

Efficient Discovery of Emerging Frequent Patterns in ArbitraryWindows on Data Streams.
Proceedings of the 22nd International Conference on Data Engineering, 2006

Generating Compact Robust and Non-Robust Tests for Complete Coverage of Path Delay Faults Based on Stuck-at Tests.
Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

A Distributed Domain Administration of RBAC Model in Collaborative Environments.
Proceedings of the 10th International Conference on CSCW in Design, 2006

A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2006

Detecting Implicit Dependencies Between Tasks from Event Logs.
Proceedings of the Frontiers of WWW Research and Development, 2006

Hierarchical Hypercube-Based Pairwise Key Establishment Schemes for Sensor Networks.
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

2005
Mesh blending.
The Visual Computer, 2005

Improving test effectiveness of scan-based BIST by scan chain partitioning.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2005

Fault-tolerant routing and multicasting in hypercubes using a partial path set-up.
Parallel Computing, 2005

Efficient vector quantization using genetic algorithm.
Neural Computing and Applications, 2005

Multiterminal net assignments by scatter search.
Mathematical and Computer Modelling, 2005

On Theoretical Upper Bounds for Routing Estimation.
J. UCS, 2005

On synthesis of 3 × 3 reversible logic functions.
Int. J. Comput. Math., 2005

An algorithm for tetrahedral mesh generation based on conforming constrained Delaunay tetrahedralization.
Computers & Graphics, 2005

A new algorithm for Boolean operations on general polygons.
Computers & Graphics, 2005

A robust algorithm for finding the real intersections of three quadric surfaces.
Computer Aided Geometric Design, 2005

Synthesizing 2D directional moving texture.
Proceedings of the Spring Conference on Computer Graphics, 2005

Secure Anonymous Communication with Conditional Traceability.
Proceedings of the Network and Parallel Computing, IFIP International Conference, 2005

A Hierachical Method for Wiring and Congestion Prediction.
Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Segmented channel routing with pin rearrangements via satisfiability.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Convergence Analysis of Discrete Differential Geometry Operators over Surfaces.
Proceedings of the Mathematics of Surfaces XI, 2005

Fault-Tolerant Routing in Meshes/Tori Using Planarly Constructed Fault Blocks.
Proceedings of the 34th International Conference on Parallel Processing (ICPP 2005), 2005

An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems.
Proceedings of the Networking and Mobile Computing, Third International Conference, 2005

Information Push-Delivery for User-Centered and Personalized Service.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation.
Proceedings of the Computational Intelligence and Security, International Conference, 2005

Facial Features Location by Analytic Boosted Cascade Detector.
Proceedings of the Computational Intelligence and Security, International Conference, 2005

2004
Efficient Example-Based Painting and Synthesis of 2D Directional Texture.
IEEE Trans. Vis. Comput. Graph., 2004

A stochastic model for cellassignments in PCS networks.
Mathematical and Computer Modelling, 2004

Improving Retrieval Performance by Region Constraints and Relevance Feedback.
J. Comput. Sci. Technol., 2004

Constraint Based Region Matching for Image Retrieval.
International Journal of Computer Vision, 2004

Control point adjustment for B-spline curve approximation.
Computer-Aided Design, 2004

Automatic G1 arc spline interpolation for closed point set.
Computer-Aided Design, 2004

Application of Content Computing in Honeyfarm.
Proceedings of the Information Security Applications, 5th International Workshop, 2004

Rules Discovery from Cross-Sectional Short-Length Time Series.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2004

Dynamic Symbolization of Streaming Time Series.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2004

Anomaly Detection in Grid Computing Based on Vector Quantization.
Proceedings of the Grid and Cooperative Computing, 2004

Symbolization of Mobile Object Trajectories with the Support to Motion Data Mining.
Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004

Alternate Pattern Fill.
Proceedings of the Computational and Information Science, First International Symposium, 2004

Shelling Algorithm in Solid Modeling.
Proceedings of the Computational and Information Science, First International Symposium, 2004

Real-Time Texture Synthesis with Patch Jump Maps.
Proceedings of the Computational and Information Science, First International Symposium, 2004

Up to Face Extrusion Algorithm for Generating B-Rep Solid.
Proceedings of the Computational and Information Science, First International Symposium, 2004

Bilateral Filter for Meshes Using New Predictor.
Proceedings of the Computational and Information Science, First International Symposium, 2004

Alternating Direction Finite Element Method for a Class of Moving Boundary Problems.
Proceedings of the Computational and Information Science, First International Symposium, 2004

Enhancing the Scalability of the Community Authorization Service for Virtual Organizations.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

Real-Time Emulation of Intrusion Victim in HoneyFarm.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

Determining the Number of Probability-Based Clustering: A Hybrid Approach.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems.
Proceedings of the Information Security and Privacy: 9th Australasian Conference, 2004

2003
Adaptive tree similarity learning for image retrieval.
Multimedia Syst., 2003

Security middleware for enhancing interoperability of Public Key Infrastructure.
Computers & Security, 2003

Lightweight security for mobile commerce transactions.
Computer Communications, 2003

Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes.
Proceedings of the Information Security Applications, 4th International Workshop, 2003

A New Heuristic Reduct Algorithm Base on Rough Sets Theory.
Proceedings of the Advances in Web-Age Information Management, 2003

Clustering Individuals in Non-vector Data and Predicting: A Novel Model-Based Approach.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2003

GridFS: A Web-Based Data Grid for the Distributed Sharing of Educational Resource Files.
Proceedings of the Advances in Web-Based Learning, 2003

GridFS: A Web-Based Data Grid with P2P Concepts and Writable Replicas.
Proceedings of the Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 2003

GFS-Btree: A Scalable Peer-to-Peer Overlay Network for Lookup Service.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

A cost-effective scan architecture for scan testing with non-scan test power and test application cost.
Proceedings of the 40th Design Automation Conference, 2003

Improving Test Quality of Scan-Based BIST by Scan Chain Partitioning.
Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003

Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services.
Proceedings of the Applied Cryptography and Network Security, 2003

2002
Two Accelerating Techniques for 3D Reconstruction.
J. Comput. Sci. Technol., 2002

Modeling workflow processes with colored Petri nets.
Computers in Industry, 2002

A constructive approach to solving 3-D geometric constraint systems using dependence analysis.
Computer-Aided Design, 2002

2001
Direct manipulation of FFD: efficient explicit solutions and decomposible multiple point constraints.
The Visual Computer, 2001

CIM Algorithm for Approximating Three-Dimensional Polygonal Curves.
J. Comput. Sci. Technol., 2001

Degree reduction of B-spline curves.
Computer Aided Geometric Design, 2001

Shape control of swept surface with profiles.
Computer-Aided Design, 2001

Reconstruction of curved solids from engineering drawings.
Computer-Aided Design, 2001

Approximate merging of a pair of Bézier curves.
Computer-Aided Design, 2001

An Effective Feature-Preserving Mesh Simplification Scheme Based on Face Constriction.
Proceedings of the 9th Pacific Conference on Computer Graphics and Applications (PG 2001), 2001

On the Numerical Redundancies of Geometric Constraint Systems.
Proceedings of the 9th Pacific Conference on Computer Graphics and Applications (PG 2001), 2001

2000
The Differential Equation Algorithm for General Deformed Swept Volumes.
J. Comput. Sci. Technol., 2000

The sweep-envelope differential equation algorithm for general deformed swept volumes.
Computer Aided Geometric Design, 2000

Bisection algorithms for approximating quadratic Bézier curves by G1 arc splines.
Computer-Aided Design, 2000

A Matrix-Based Approach to Reconstruction of 3D Objects from Three Orthographic Views.
Proceedings of the 8th Pacific Conference on Computer Graphics and Applications (PG 2000), 2000

1999
A note on approximation of discrete data by G1 arc splines.
Computer-Aided Design, 1999

1996
Advanced geometric modeler with hybrid representation.
J. Comput. Sci. Technol., 1996

1993
A new local control spline with shape parameters for CAD/CAM.
J. Comput. Sci. Technol., 1993

1992
Representing Conics using NURBS of Degree Two.
Comput. Graph. Forum, 1992

1991
Geometric Modeling System GEMS and its Application.
Proceedings of the Modeling in Computer Graphics, 1991

1988
The implementation of set operation for regularized geometric object.
Computers & Graphics, 1988

1986
Reconstruction of 3D Objects from Orthographic Projections.
Comput. Graph. Forum, 1986


  Loading...