Yifeng Chen

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A unified explanation of energy growth sources for unstable modes in flat-plate boundary layers	2023-10-05	Paper
Hydraulic hysteresis effects on the coupled flow-deformation processes in unsaturated soils: numerical formulation and slope stability analysis	2020-02-12	Paper
Phase diagram of quasi-static immiscible displacement in disordered porous media	2019-08-27	Paper
Networked control system design for turbofan aeroengines with aging and deterioration	2019-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q2993241	2016-08-10	Paper
Cumulative computing	2016-05-03	Paper
EEG signals analysis using multiscale entropy for depth of anesthesia monitoring during surgery through artificial neural networks	2016-05-02	Paper
A new parabolic variational inequality formulation of Signorini's condition for non-steady seepage problems with complex seepage control systems	2013-10-25	Paper
Flow-stress coupled permeability tensor for fractured rock masses	2013-10-24	Paper
Algebraic Program Semantics for Supercomputing	2013-08-16	Paper
Semantic inheritance in unifying theories of programming	2013-03-22	Paper
Modeling of coupled deformation, water flow and gas transport in soil slopes subjected to rain infiltration	2012-06-07	Paper
UTP and Sustainability	2010-11-09	Paper
Programmable Verifiers in Imperative Programming	2010-11-09	Paper
Abstraction of Object Graphs in Program Verification	2010-07-26	Paper
Integrated Formal Methods	2009-05-07	Paper
Compositional Reasoning for Pointer Structures	2009-04-02	Paper
Inheriting Laws for Processes with States	2009-03-06	Paper
Hierarchical Organisation of Predicate-Semantic Models	2007-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3431109	2007-04-05	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
The weakest specifunction	2005-08-02	Paper
A fixpoint theory for non-monotonic parallelism	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4817284	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4471925	2004-07-30	Paper
Generic composition	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4411819	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4791272	2003-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4384805	1998-04-26	Paper
A new and simple algorithm for sliding mode trajectory control of the robot arm	1990-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yifeng Chen