Robert J. Simmons
From MaRDI portal
Person:1929362
Available identifiers
zbMath Open simmons.robert-junWikidataQ57456478 ScholiaQ57456478MaRDI QIDQ1929362
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 |
|---|---|---|
| Dusa benchmarking datasets | 2024-10-14 | Dataset |
| COVID-19 infections and short-run worker performance: evidence from European football | 2024-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986742 | 2021-04-27 | Paper |
| Relating reasoning methodologies in linear logic and process algebra | 2016-07-28 | Paper |
| Structural Focalization | 2015-09-17 | Paper |
| Logical approximation for program analysis | 2013-01-08 | Paper |
| Products of weighted logic programs | 2011-06-15 | Paper |
| Dynamic Programming Algorithms as Products of Weighted Logic Programs | 2009-01-22 | Paper |
| Linear Logical Algorithms | 2008-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4826668 | 2004-11-11 | Paper |
Research outcomes over time
This page was built for person: Robert J. Simmons