Patrick Walsh

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 6

Top Topics

Categorical Data

Concept Formation

Constructive Induction

Top Venues

Rev. Symb. Log.

Bull. Symb. Log.

Publications

Patrick Ruane, Patrick Walsh, John Cosgrove
Using Simulation Optimization to Improve the Performance of an Automated Manufacturing Line. ISM (2023)
Olivia McDermott, Patrick Walsh, Lorraine Halpin
A Lean Six Sigma Training Providers Transition to a 100% Online Delivery Model. ELEC (2021)
Wilfried Sieg, Patrick Walsh
Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF. Rev. Symb. Log. 14 (1) (2021)
Patrick Walsh
A Categorical Characterization of Accessible Domain. Bull. Symb. Log. 26 (3-4) (2020)
Bob Wall, Patrick Walsh
Cryptographically Enforced Orthogonal Access Control at Scale. SCC@AsiaCCS (2018)
Patrick Walsh
Categorical Harmony and Path Induction. Rev. Symb. Log. 10 (2) (2017)
Philip Quinlan, Patrick Crowley, Miguel Chanca, Sean Hudson, Bill Hunt, Kenneth Mulvaney, Guido Retz, Cormac E. O'Sullivan, Patrick Walsh
A multimode 0.3-200-kb/s transceiver for the 433/868/915-MHz bands in 0.25-μm CMOS. IEEE J. Solid State Circuits 39 (12) (2004)
Patrick Walsh, Adamantios Koumpis
Managing information supply chains. Ubiquity 2000 (December) (2000)
Patrick Walsh, Adamantios Koumpis
The Espirt ATLAS Project. Commun. ACM 42 (12) (1999)