Patrick Walsh

According to our database, Patrick Walsh authored at least 9 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Using Simulation Optimization to Improve the Performance of an Automated Manufacturing Line.

Patrick Ruane, Patrick Walsh, John Cosgrove

Proceedings of the 4th International Conference on Industry 4.0 and Smart Manufacturing (ISM 2023), 2023

2021

Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF.

Wilfried Sieg, Patrick Walsh

Rev. Symb. Log., 2021

A Lean Six Sigma Training Providers Transition to a 100% Online Delivery Model.

Olivia McDermott, Patrick Walsh, Lorraine Halpin

Proceedings of the Learning in the Digital Era - 7th European Lean Educator Conference, 2021

2020

A Categorical Characterization of Accessible Domain.

Patrick Walsh

Bull. Symb. Log., 2020

2018

Cryptographically Enforced Orthogonal Access Control at Scale.

Bob Wall, Patrick Walsh

Proceedings of the 6th International Workshop on Security in Cloud Computing, 2018

2017

Categorical Harmony and Path Induction.

Patrick Walsh

Rev. Symb. Log., 2017

2004

A multimode 0.3-200-kb/s transceiver for the 433/868/915-MHz bands in 0.25-μm CMOS.

Philip Quinlan, Patrick Crowley, Miguel Chanca, Sean Hudson, Bill Hunt, Kenneth Mulvaney, Guido Retz, Cormac E. O'Sullivan, Patrick Walsh

IEEE J. Solid State Circuits, 2004

2000

Managing information supply chains.

Patrick Walsh, Adamantios Koumpis

Ubiquity, 2000

1999

The Espirt ATLAS Project.

Patrick Walsh, Adamantios Koumpis

Commun. ACM, 1999