Concepedia

Jonathan Saul

JS

14

Publications

327

Citations

11

H-Index

1993

Active since

Affiliations

University of Bristol(Current)

Coventry University

University of Oxford

Jonathan Saul is an author at University of Bristol specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringParallel ComputingParallel ProgrammingComputer ArchitectureFormal MethodsProcess ControlAutomated Reasoning

Publications per year

1993–2018

14

Publications

14

Parallel controller synthesis using Petri nets

T. Kozłowski, E.L. Dagless, Jonathan Saul et al. · IEE Proceedings - Computers and Digital Techniques · 1995 · 63 citations

Petri Net, Logic Synthesis, Engineering +15

Petri-net-based algorithms for parallel-controller synthesis

K. Bilinski, M. Adamski, Jonathan Saul et al. · IEE Proceedings - Computers and Digital Techniques · 1994 · 52 citations

Petri Net, Engineering, Complex Controllers +13

Logic synthesis for arithmetic circuits using the Reed-Muller representation

Jonathan Saul · 2003 · 41 citations

Circuit Complexity, Engineering, Multi-level Reed-muller Minimization +19

An enhanced algorithm for the minimization of exclusive-OR sum-of-products for incompletely specified functions

T. Kozłowski, E.L. Dagless, Jonathan Saul · 2002 · 28 citations

Mathematical Programming, Engineering, Initial Circuit Description +19

An improved algorithm for the minimization of mixed polarity Reed-Muller representations

Jonathan Saul · 2002 · 24 citations

Numerical Analysis, Mathematical Programming, Engineering +17

Rows per page

1–5 of 14