Jinyun Xue

Available identifiers

Publication	Date of Publication	Type
Orchestration Combinators in Apla+ Language	2021-05-20	Paper
Strict Linearizability and Abstract Atomicity	2021-04-19	Paper
Ecogeography-based optimization: enhancing biogeography-based optimization with ecogeographic barriers and differentiations	2016-11-10	Paper
Combinatorial optimization problem reduction and algorithm derivation	2012-10-05	Paper
Categorial Semantics of a Solution to Distributed Dining Philosophers Problem	2010-09-07	Paper
A problem reduction based approach to discrete optimization algorithm design	2010-06-09	Paper
A simple greedy algorithm for a class of shuttle transportation problems	2009-10-15	Paper
Toward an Automatic Approach to Greedy Algorithms	2009-07-14	Paper
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems	2009-07-14	Paper
A Linear In-situ Algorithm for the Power of Cyclic Permutation	2008-06-19	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q3429229	2007-03-30	Paper
Formal derivation of graph algorithmic programs using partition-and-recur	1999-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q5690664	1997-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4696859	1993-06-29	Paper
Generating a random cyclic permutation	1988-01-01	Paper
Developing a linear algorithm for cubing a cyclic permutation	1988-01-01	Paper

This page was built for person: Jinyun Xue