Robert J. Simmons

From MaRDI portal
Person:1929362

zbMath Opensimmons.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!

PublicationDate of PublicationType
Dusa benchmarking datasets2024-10-14Dataset
COVID-19 infections and short-run worker performance: evidence from European football2024-06-13Paper
Relating reasoning methodologies in linear logic and process algebra2021-04-27Paper
Relating reasoning methodologies in linear logic and process algebra2016-07-28Paper
Structural focalization2015-09-17Paper
Logical approximation for program analysis2013-01-08Paper
Products of weighted logic programs2011-06-15Paper
Dynamic Programming Algorithms as Products of Weighted Logic Programs2009-01-22Paper
Linear Logical Algorithms2008-08-19Paper
https://portal.mardi4nfdi.de/entity/Q48266682004-11-11Paper


Research outcomes over time


This page was built for person: Robert J. Simmons

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1929362&oldid=6539524"
Powered by MediaWiki