Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ian J. Hayes

Algebraic Reasoning for Probabilistic Action Systems and While-Loops

Acta Informatica

Computer Networks

Information Systems

English

Linear Approximation of Execution-Time Constraints

Formal Aspects of Computing

Theoretical Computer Science

English