Yu-Ting Wang

Available identifiers

zbMath Open wang.yutingMaRDI QIDQ660963

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6203710	2024-04-08	Paper
Intelligent optimization under the makespan constraint: rapid evaluation mechanisms based on the critical machine for the distributed flowshop group scheduling problem	2023-09-15	Paper
Perfect codes in vertex-transitive graphs	2023-03-06	Paper
Credit offering strategy and dynamic pricing in the presence of consumer strategic behavior	2022-07-22	Paper
Automatic generation and validation of instruction encoders and decoders	2022-03-25	Paper
Perfect codes in vertex-transitive graphs	2021-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q3306734	2020-08-12	Paper
A high-order Lie groups scheme for solving the recovery of external force in nonlinear system	2019-10-25	Paper
Abella: A System for Reasoning about Relational Specifications	2019-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3175304	2018-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5368472	2017-10-20	Paper
A Proof-theoretic Characterization of Independence in Type Theory	2017-07-12	Paper
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs	2016-04-26	Paper
Interactive model-based search for global optimization	2015-03-24	Paper
A second-order virtual node algorithm for nearly incompressible linear elasticity in irregular domains	2014-04-22	Paper
HIERARCHY IN HOŘAVA-LIKE GRAVITY	2012-10-02	Paper
DIMENSION EMERGENCE, HOLOGRAPHY AND QUANTUM GRAVITY	2012-10-02	Paper
A HYBRID HARMONY SEARCH ALGORITHM FOR THE NO-WAIT FLOW-SHOP SCHEDULING PROBLEMS	2012-08-31	Paper
Inhomogeneous vacuum energy	2012-08-17	Paper
Memetic algorithm based on improved inver-over operator and Lin-Kernighan local search for the Euclidean traveling salesman problem	2012-02-05	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: Yu-Ting Wang