Jason Stanley

From MaRDI portal



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!

PublicationDate of PublicationType
SAT-Based Control of Concurrent Software for Deadlock Avoidance
IEEE Transactions on Automatic Control
2017-05-16Paper
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
2013-08-07Paper
Context, interest relativity and the sorites2004-06-18Paper
Quantifiers and Context-Dependence2000-08-22Paper
Understanding, context-relativity, and the Description Theory2000-08-22Paper
scientific article; zbMATH DE number 1344504 (Why is no real title available?)1999-10-04Paper


Research outcomes over time


This page was built for person: Jason Stanley