Yu-Ting Wang

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Holomorphic curves into projective spaces with some special hypersurfaces	2024-06-11	Paper
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

This page was built for person: Yu-Ting Wang