James C. Corbett

Available identifiers

zbMath Open corbett.james-cMaRDI QIDQ1325986

List of research outcomes

Publication	Date of Publication	Type
Integer programming in the analysis of concurrent systems	2024-04-29	Paper
Universal mock theta functions as quantum Jacobi forms	2019-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2753762	2002-01-06	Paper
Using integer programming to verify general safety and liveness properties	1995-04-10	Paper
Practical algorithms for online routing on fixed and reconfigurable meshes	1995-01-26	Paper
A note on some languages in uniform \(ACC^ 0\)	1991-01-01	Paper
On the relative complexity of some languages in \(NC^ 1\)	1989-01-01	Paper

Research outcomes over time

This page was built for person: James C. Corbett