| Publication | Date of Publication | Type |
|---|
| A local search approach to protocol verification | 2024-08-20 | Paper |
| Price signal or blockchain technology? Quality information disclosure in dual-channel supply chains | 2024-08-13 | Paper |
| Repositioning to sink: the pricing and quality decisions for product line considering the sinking market | 2024-07-16 | Paper |
| Traceability strategy choice in competing supply chains based on blockchain technology | 2024-06-25 | Paper |
| Managing demand slowdown: The interplay between trade‐ins and quality improvement | 2024-01-16 | Paper |
| When and how should a retailer use third-party platform channels? The impact of spillover effects | 2022-05-20 | Paper |
| Producer's choice of design-for-environment under environmental taxation | 2021-11-09 | Paper |
| Rotational Magnetic Properties Measurement and Modeling | 2021-06-29 | Paper |
| On sales effort and pricing decisions under alternative risk criteria | 2021-06-07 | Paper |
| Collaborative emergency berth scheduling based on decentralized decision and price mechanism | 2021-05-05 | Paper |
| A unified lattice Boltzmann model for immiscible and miscible ternary fluids | 2020-12-08 | Paper |
| Lattice Boltzmann model for dense suspended particles based on improved bounce-back method | 2020-09-01 | Paper |
| Environmental governance strategies in a two-echelon supply chain with tax and subsidy interactions | 2020-08-28 | Paper |
| Managing the supply disruption risk: option contract or order commitment contract? | 2020-08-28 | Paper |
| Effects of a secondary market on original equipment manufactures' pricing, trade-in remanufacturing, and entry decisions | 2019-07-25 | Paper |
| An Automatic Proving Approach to Parameterized Verification | 2019-02-07 | Paper |
| On the loss-averse dual-sourcing problem under supply disruption | 2018-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3175674 | 2018-07-18 | Paper |
| Benefit and risk analysis of consignment contracts | 2018-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5371376 | 2017-10-20 | Paper |
| Pricing and remanufacturing decisions for two substitutable products with a common retailer | 2017-06-12 | Paper |
| Trade credit insurance, capital constraint, and the behavior of manufacturers and banks | 2017-03-03 | Paper |
| On lot-sizing problem in a random yield production system under loss aversion | 2017-03-03 | Paper |
| Pricing and collecting decisions in a closed-loop supply chain with symmetric and asymmetric information | 2016-11-10 | Paper |
| Remanufacturing and pricing decisions with random yield and random demand | 2016-11-10 | Paper |
| A multi-period ordering and clearance pricing model considering the competition between new and out-of-season products | 2016-10-11 | Paper |
| Heuristic approach on dynamic lot-sizing model for durable products with end-of-use constraints | 2016-10-11 | Paper |
| ``Do the electronic books reinforce the dynamics of book supply chain market? -- a theoretical analysis | 2016-10-06 | Paper |
| Consumer returns policies with endogenous deadline and supply chain coordination | 2016-07-08 | Paper |
| ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols | 2016-01-08 | Paper |
| Formalizing provable anonymity in Isabelle/HOL | 2015-07-23 | Paper |
| The impact of consumer returns policies on consignment contracts with inventory control | 2015-02-19 | Paper |
| Optimal acquisition and production policy in a hybrid manufacturing/remanufacturing system with core acquisition at different quality levels | 2015-02-19 | Paper |
| An inductive approach to strand spaces | 2014-11-11 | Paper |
| Double marginalization and coordination in the supply chain with uncertain supply | 2014-07-27 | Paper |
| Pricing decisions for complementary products with firms' different market powers | 2014-07-27 | Paper |
| Contextual labelled semantics for higher-order process calculi | 2013-09-26 | Paper |
| Optimization and coordination on a reverse supply chain with collection pricing and selling pricing in a stochastic environment | 2012-10-05 | Paper |
| Study of the game problem of a closed-loop supply chain with remanufacturing under fuzzy environments | 2012-10-05 | Paper |
| Exploring structural symmetry automatically in symbolic trajectory evaluation | 2012-09-27 | Paper |
| Pricing decisions for a closed-loop supply chain in a fuzzy environment | 2012-05-18 | Paper |
| Retail service for mixed retail and e-tail channels | 2012-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3169790 | 2011-09-29 | Paper |
| A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL | 2011-06-06 | Paper |
| On a multi-period supply chain system with supplementary order opportunity | 2011-01-31 | Paper |
| OPTIMAL SOLUTION STRUCTURE FOR MULTI-PERIOD PRODUCTION PLANNING WITH RETURNED PRODUCTS REMANUFACTURING | 2011-01-19 | Paper |
| OPTIMAL MANPOWER PLANNING DECISION WITH SINGLE EMPLOYEE TYPE CONSIDERING MINIMAL EMPLOYMENT PERIOD CONSTRAINT | 2010-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3641714 | 2009-11-11 | Paper |
| An integrated staff-sizing approach considering feasibility of scheduling decision | 2008-01-25 | Paper |
| Max-algebra description, stability and perturbation analysis of cyclic queue network | 2007-03-27 | Paper |
| Uncapacitated production planning with multiple product types, returned product remanufacturing, and demand substitution | 2006-11-03 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| Algorithmic Applications in Management | 2005-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665071 | 2005-04-09 | Paper |
| Optimization of tandem queue systems with finite buffers | 2004-06-15 | Paper |
