David A. Rosenblueth

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Advances in Complex Systems	2024-06-14	Paper
Comparing the Update Expressivity of Communication Patterns and Action Models Electronic Proceedings in Theoretical Computer Science	2024-02-28	Paper
Communication pattern logic: epistemic and topological views Journal of Philosophical Logic	2023-10-24	Paper
Decentralized Asynchronous Crash-resilient Runtime Verification Journal of the ACM	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 Automated Technology for Verification and Analysis	2016-01-08	Paper
scientific article; zbMATH DE number 6499860 (Why is no real title available?)	2015-10-28	Paper
A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria International Journal of Applied Mathematics and Computer Science	2015-10-16	Paper
Life as thermodynamic evidence of algorithmic structure in natural environments Entropy	2014-09-08	Paper
CTL update of Kripke models through protections Artificial Intelligence	2014-06-10	Paper
Nondeterministic update of CTL models by preserving satisfaction through protections Automated Technology for Verification and Analysis	2011-10-07	Paper
A characterization of mixed-strategy Nash equilibria in PCTL augmented with a cost quantifier Lecture Notes in Computer Science	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
scientific article; zbMATH DE number 2061796 (Why is no real title available?)	2004-03-25	Paper
Chain programs for writing deterministic metainterpreters Theory and Practice of Logic Programming	2004-03-01	Paper
SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing The Journal of Logic Programming	1998-11-24	Paper
Definite-clause grammars for 2D shape analysis Computers & Mathematics with Applications	1996-03-05	Paper
An execution mechanism for nondeterministic, state-oriented programs based on a chart parser Information Processing Letters	1993-05-16	Paper

Research outcomes over time

This page was built for person: David A. Rosenblueth