Zhiqiu Huang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems Formal Aspects of Computing	2021-08-30	Paper
\(\upsilon\)-support vector machine based on discriminant sparse neighborhood preserving embedding PAA. Pattern Analysis and Applications	2019-11-20	Paper
Evolutionary approaches for multi-objective next release problem	2018-04-05	Paper
Partial order reduction for checking LTL formulae with the next-time operator Journal Of Logic And Computation	2018-02-13	Paper
Towards an approach of consistency verification for online software evolution in open environments	2016-01-15	Paper
Neighborhood based decision-theoretic rough set models International Journal of Approximate Reasoning	2015-12-28	Paper
Bounded model checking of C programs using event automaton specifications	2015-06-29	Paper
Process algebra extended with price information	2010-11-05	Paper
scientific article; zbMATH DE number 5669819 (Why is no real title available?)	2010-02-12	Paper
A Semantic Model for Matchmaking of Web Services Based on Description Logics Fundamenta Informaticae	2010-02-05	Paper
UML sequence diagram metrics based on polymorphism	2007-08-28	Paper
scientific article; zbMATH DE number 2150420 (Why is no real title available?)	2005-03-30	Paper

Research outcomes over time

This page was built for person: Zhiqiu Huang