Jorge A. Navas

Available identifiers

zbMath Open navas.jorge-aMaRDI QIDQ264988

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jorge A. Navas