The following pages link to Dirk Beyer (Q930432):
Displaying 21 items.
- Markovian demand inventory models (Q930434) (← links)
- (Q1265055) (redirect page) (← links)
- Inventory models with Markovian demands and cost functions of polynomial growth (Q1265056) (← links)
- The classical average-cost inventory models of Iglehart and Veinott-Wagner revisited (Q1301890) (← links)
- Remarks on the Swiss premium principle on positive risks (Q1318548) (← links)
- Average cost optimality in inventory models with Markovian demands (Q1356092) (← links)
- A unifying view on SMT-based software verification (Q1703012) (← links)
- Correction to: ``A unifying view on SMT-based software verification'' (Q2031423) (← links)
- MetaVal: witness validation via verification (Q2226734) (← links)
- (Q2763199) (← links)
- (Q2763979) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- A proof of the EOQ formula using quasi-variational inequalities (Q4546813) (← links)
- (Q4787215) (← links)
- Software Verification with PDR: An Implementation of the State of the Art (Q5039500) (← links)
- Information Reuse for Multi-goal Reachability Analyses (Q5326302) (← links)
- Average Cost Optimality in Inventory Models with Markovian Demands and Lost Sales (Q5421735) (← links)
- Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis (Q5429342) (← links)
- Invariant Synthesis for Combined Theories (Q5452621) (← links)
- Static Analysis (Q5466565) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900954) (← links)
