The following pages link to Jorge Navas (Q264988):
Displaying 27 items.
- A complete refinement procedure for regular separability of context-free languages (Q264992) (← links)
- (Q459383) (redirect page) (← links)
- A consumption-investment problem with heterogeneous discounting (Q459384) (← links)
- Interactions between government and firms: a differential game approach (Q926357) (← links)
- Cost of capital for incentives on capacity expansion investments (Q957373) (← links)
- Time to complete and research joint ventures: a differential game approach (Q1017061) (← links)
- Consumption and portfolio rules for time-inconsistent investors (Q1038346) (← links)
- Exploiting sparsity in difference-bound matrices (Q1664386) (← links)
- An analysis of efficiency of time-consistent coordination mechanisms in a model of supply chain management (Q2001475) (← links)
- Consumption, investment and life insurance strategies with heterogeneous discounting (Q2015474) (← links)
- Advertising and quality improving strategies in a supply chain when facing potential crises (Q2028766) (← links)
- Compositional verification of smart contracts through communication abstraction (Q2145351) (← links)
- Time consistent pension funding in a defined benefit pension plan with non-constant discounting (Q2212148) (← links)
- Non-constant discounting in finite horizon: the free terminal time case (Q2271660) (← links)
- Non-constant discounting and consumption, portfolio and life insurance rules (Q2437201) (← links)
- An Abstract Domain of Uninterpreted Functions (Q2796038) (← links)
- TRACER: A Symbolic Execution Tool for Verification (Q2903126) (← links)
- Analyzing Array Manipulating Programs by Program Transformation (Q2949696) (← links)
- Finding Inconsistencies in Programs with Loops (Q3460079) (← links)
- Horn clauses as an intermediate representation for program analysis and transformation (Q4592995) (← links)
- (Q4997232) (← links)
- Unbounded Model-Checking with Interpolation for Regular Language Constraints (Q5326331) (← links)
- Failure tabled constraint logic programming by interpolation (Q5398297) (← links)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599) (← links)
- Negative Ternary Set-Sharing (Q5504663) (← links)
- A defined benefit pension plan model with stochastic salary and heterogeneous discounting (Q6163453) (← links)
- Dissecting widening: separating termination from information (Q6536310) (← links)
