Yixiang Chen

According to our database1, Yixiang Chen authored at least 94 papers between 1996 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A verification framework for spatio-temporal consistency language with CCSL as a specification language.
Frontiers Comput. Sci., 2020

Connection models for the Internet-of-Things.
Frontiers Comput. Sci., 2020

2019
A New Framework for Modelling and Monitoring the Conversion of Cultivated Land to Built-up Land Based on a Hierarchical Hidden Semi-Markov Model Using Satellite Image Time Series.
Remote. Sens., 2019

Novel Multi-Scale Filter Profile-Based Framework for VHR Remote Sensing Image Classification.
Remote. Sens., 2019

GNSS-R Soil Moisture Retrieval Based on a XGboost Machine Learning Aided Method: Performance and Validation.
Remote. Sens., 2019

Automatic Extraction of Built-Up Areas from Very High-Resolution Satellite Imagery Using Patch-Level Spatial Features and Gestalt Laws of Perceptual Grouping.
Remote. Sens., 2019

A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.
IEEE Access, 2019

Updating Model of Software Component Trustworthiness Based on Users Feedback.
IEEE Access, 2019

A Logical Approach for the Schedulability Analysis of CCSL.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

A Hybrid Clock Logic System for CPS.
Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018
Phonetic Temporal Neural Model for Language Identification.
IEEE ACM Trans. Audio Speech Lang. Process., 2018

Land Cover Change Detection Based on Adaptive Contextual Information Using Bi-Temporal Remote Sensing Images.
Remote. Sens., 2018

Delineation of Built-Up Areas from Very High-Resolution Satellite Imagery Using Multi-Scale Textures and Spatial Dependence.
Remote. Sens., 2018

Detecting Anomalous Trajectories and Behavior Patterns Using Hierarchical Clustering from Taxi GPS Data.
ISPRS Int. J. Geo Inf., 2018

Bisimulations for fuzzy transition systems revisited.
Int. J. Approx. Reason., 2018

Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.
Fuzzy Sets Syst., 2018

Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material.
Comput. Math. Appl., 2018

Verification of SysML Activity Diagrams Using Hoare Logic and SOFL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

A carbon nanotube patch antenna for polarization selective radiation performance.
Proceedings of the 1st IEEE International Conference on Knowledge Innovation and Invention, 2018

Deep Factorization for Speech Signal.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2017
A trajectory clustering approach based on decision graph and data field for detecting hotspots.
Int. J. Geogr. Inf. Sci., 2017

Deep Factorization for Speech Signal.
CoRR, 2017

Computing behavioural distance for fuzzy transition systems.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Phone-aware neural language identification.
Proceedings of the 20th Conference of the Oriental Chapter of the International Coordinating Committee on Speech Databases and Speech I/O Systems and Assessment, 2017

A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification.
Proceedings of the Interspeech 2017, 2017

Deep Speaker Feature Learning for Text-Independent Speaker Verification.
Proceedings of the Interspeech 2017, 2017

Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic.
Proceedings of the Geo-Spatial Knowledge and Intelligence - 5th International Conference, 2017

Models of Connected Things: On Priced Probabilistic Timed Reo.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Speaker recognition with cough, laugh and "Wei".
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017

AP17-OLR challenge: Data, plan, and baseline.
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017

2016
概率拟Hoare逻辑 (Probabilistic Quasi-Hoare Logic).
计算机科学, 2016

Weakly Supervised PLDA Training.
CoRR, 2016

A UTP Refinement Model of the STeC Language.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.
Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

Built-up area extraction using data field from high-resolution satellite images.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

2015
Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution).
计算机科学, 2015

[α1,α2]1-概率拟Hoare逻辑及其可靠性证明 ([α1, α2]1-Probabilistic Quasi-Hoare Logic and its Reliability).
计算机科学, 2015

A Comprehensive Trust Model Based on Multi-factors for WSNs.
Int. J. Comput. Commun. Control, 2015

Timed-pNets: a communication behavioural semantic model for distributed systems.
Frontiers Comput. Sci., 2015

Cloud model-based method for range-constrained thresholding.
Comput. Electr. Eng., 2015

Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Probabilistic Model Checking of Pipe protocol.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

An Attributes-Based Allocation Approach of Software Trustworthy Degrees.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

A Framework for Data-Driven Automata Design.
Proceedings of the Requirements Engineering in the Big Data Era, 2015

2014
Structural Feature Modeling of High-Resolution Remote Sensing Images Using Directional Spatial Correlation.
IEEE Geosci. Remote. Sens. Lett., 2014

Simulation for lattice-valued doubly labeled transition systems.
Int. J. Approx. Reason., 2014

Quantitative Analysis of Lattice-valued Kripke Structures.
Fundam. Informaticae, 2014

Timed Automata Semantics of Spatial-Temporal Consistency Language STeC.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

A Proof System in Process Algebra for Demand and Supply.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

A Hybrid Clock System Related to STeC Language.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

2013
Coalgebras for Fuzzy Transition Systems.
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013

On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Stability of Software Trustworthiness Measurements Models.
Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

A Proof System in PADS.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Vehicle Scheduling Problem on Trees.
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012
A new metric model for trustworthiness of softwares.
Telecommun. Syst., 2012

Semantics of non-deterministic possibility computation.
Fuzzy Sets Syst., 2012

Bisimulation for Lattice-valued Transition Systems.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

The Partial Correctness Semantics of Imperative fuzzy Programming Language.
Proceedings of the Quantitative Logic and Soft Computing, 2012

A Quantitative Relation Model between Trustworthy Attributes.
Proceedings of the Quantitative Logic and Soft Computing, 2012

Bisimilarity for fuzzy doubly Labeled Transition Systems.
Proceedings of the Quantitative Logic and Soft Computing, 2012

Low Power Consumption Data Structure Design for Embedded Applications in Real-Time Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

STeC: A Location-Triggered Specification Language for Real-Time Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

2011
Two-thirds simulation indexes and modal logic characterization.
Frontiers Comput. Sci. China, 2011

Approximate Bisimulation for Metric Doubly Labeled Transition System.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Approximate Simulation for Metric Hybrid Input/Output Automata.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

The Semantics of <i>wlp</i> and <i>slp</i> of Fuzzy Imperative Programming Languages.
Proceedings of the Nonlinear Mathematics for Uncertainty and its Applications, 2011

Implementation and Optimization of RDF Query using Hadoop.
Proceedings of the CLOSER 2011, 2011

2010
Trustworthy Dynamic Scheduling based on Constraint Solving Scheme.
Int. J. Inf. Process. Manag., 2010

Trustworthiness Expectation of Real-Time Web Services.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Success Measurement of Web Services with BPEL.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

2009
A Duality Theorem for Quantitative Semantics.
Proceedings of the Fifth International Symposium on Domain Theory, 2009

Preface.
Proceedings of the Fifth International Symposium on Domain Theory, 2009

Parameterized Bisimulation Infinite Evolution Mechanism.
Proceedings of the TASE 2009, 2009

Average Transitive Trustworthy Degrees for Trustworthy Networks.
Proceedings of the Rough Sets and Knowledge Technology, 4th International Conference, 2009

Infinite Evolution Mechanism of Probabilistic Processes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

A Metric Model for Trustworthiness of Softwares.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Modeling Instability in a New Framework of Interval Valued Process Algebra.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008
Domain semantics of possibility computations.
Inf. Sci., 2008

Semantics of sub-probabilistic programs.
Frontiers Comput. Sci. China, 2008

Preface.
Electron. Notes Theor. Comput. Sci., 2008

Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

2006
A logical approach to stable domains.
Theor. Comput. Sci., 2006

Maximality and totality of stable functions in the category of stable bifinite domains.
Comput. Math. Appl., 2006

2003
Implementation of human-like driving skills by autonomous fuzzy behavior control on an FPGA-based car-like mobile robot.
IEEE Trans. Ind. Electron., 2003

Implementation of autonomous fuzzy garage-parking control by an FPGA-based car-like mobile robot using infrared sensors.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2001
Domains via Graphs.
J. Comput. Sci. Technol., 2001

1997
On compactness of induced I(L)-fuzzy topological spaces.
Fuzzy Sets Syst., 1997

1996
Convergence in topological molecular lattices.
Fuzzy Sets Syst., 1996


  Loading...