David A. Rosenblueth

Available identifiers

zbMath Open rosenblueth.david-aMaRDI QIDQ406209

List of research outcomes

Publication	Date of Publication	Type
Communication pattern models: an extension of action models for dynamic-network distributed systems	2024-11-24	Paper
Fitness landscape epistasis and recombination	2024-06-14	Paper
Comparing the Update Expressivity of Communication Patterns and Action Models	2024-02-28	Paper
Communication pattern logic: epistemic and topological views	2023-10-24	Paper
Decentralized Asynchronous Crash-resilient Runtime Verification	2023-04-27	Paper
Influence systems vs reaction systems	2018-03-22	Paper
Decentralized asynchronous crash-resilient runtime verification	2018-03-21	Paper
Marimba: a tool for verifying properties of hidden Markov models	2016-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q3448083	2015-10-28	Paper
A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria	2015-10-16	Paper
Life as thermodynamic evidence of algorithmic structure in natural environments	2014-09-08	Paper
CTL update of Kripke models through protections	2014-06-10	Paper
Nondeterministic update of CTL models by preserving satisfaction through protections	2011-10-07	Paper
A characterization of mixed-strategy Nash equilibria in PCTL augmented with a cost quantifier	2010-11-09	Paper
A method for CTL model update, representing Kripke structures as ``table systems	2009-06-30	Paper
A multiple-clause folding rule using instantiation and generalization	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4457544	2004-03-25	Paper
Chain programs for writing deterministic metainterpreters	2004-03-01	Paper
SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing	1998-11-24	Paper
Definite-clause grammars for 2D shape analysis	1996-03-05	Paper
An execution mechanism for nondeterministic, state-oriented programs based on a chart parser	1993-05-16	Paper

Research outcomes over time

This page was built for person: David A. Rosenblueth