Jorge Navas

Available identifiers

zbMath Open navas.jorge-aMaRDI QIDQ264988

List of research outcomes

Publication	Date of Publication	Type
Dissecting widening: separating termination from information	2024-04-19	Paper
Efficient modular SMT-based model checking of pointer programs	2023-07-28	Paper
A defined benefit pension plan model with stochastic salary and heterogeneous discounting	2023-06-26	Paper
Compositional verification of smart contracts through communication abstraction	2022-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4997232	2021-06-28	Paper
Advertising and quality improving strategies in a supply chain when facing potential crises	2021-06-03	Paper
Time consistent pension funding in a defined benefit pension plan with non-constant discounting	2020-11-19	Paper
An analysis of efficiency of time-consistent coordination mechanisms in a model of supply chain management	2019-07-03	Paper
Exploiting sparsity in difference-bound matrices	2018-08-27	Paper
Horn clauses as an intermediate representation for program analysis and transformation	2017-11-09	Paper
A complete refinement procedure for regular separability of context-free languages	2016-04-01	Paper
An Abstract Domain of Uninterpreted Functions	2016-03-23	Paper
Finding Inconsistencies in Programs with Loops	2016-01-12	Paper
Analyzing Array Manipulating Programs by Program Transformation	2015-10-02	Paper
A consumption-investment problem with heterogeneous discounting	2014-10-08	Paper
Consumption, investment and life insurance strategies with heterogeneous discounting	2014-06-23	Paper
Non-constant discounting and consumption, portfolio and life insurance rules	2014-03-03	Paper
Failure tabled constraint logic programming by interpolation	2014-02-27	Paper
Unbounded model-checking with interpolation for regular language constraints	2013-08-05	Paper
TRACER: a symbolic execution tool for verification	2012-08-23	Paper
Consumption and portfolio rules for time-inconsistent investors	2009-11-17	Paper
Non-constant discounting in finite horizon: the free terminal time case	2009-08-07	Paper
Time to complete and research joint ventures: a differential game approach	2009-05-18	Paper
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs	2009-01-22	Paper
Negative Ternary Set-Sharing	2009-01-22	Paper
Cost of capital for incentives on capacity expansion investments	2008-11-27	Paper
Interactions between government and firms: a differential game approach	2008-05-27	Paper

Research outcomes over time

This page was built for person: Jorge Navas