L. J. Steggles

From MaRDI portal
Person:218988

Available identifiers

zbMath Open steggles.l-jasonMaRDI QIDQ218988

List of research outcomes





PublicationDate of PublicationType
Higher-order algebra with transfinite types2019-01-11Paper
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks2015-03-19Paper
An abstraction theory for qualitative models of biological systems2012-05-30Paper
Verifying an infinite systolic algorithm using third-order equational methods2006-08-17Paper
https://portal.mardi4nfdi.de/entity/Q45351862002-06-13Paper
Correctness of dataflow and systolic algorithms using algebras of streams2001-12-13Paper
https://portal.mardi4nfdi.de/entity/Q45208332001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q42229991999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q43643711997-11-17Paper

Research outcomes over time

This page was built for person: L. J. Steggles

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