Leemon Baird

According to our database, Leemon Baird authored at least 40 papers between 1993 and 2023.

Collaborative distances:

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

2023

Threshold Signatures in the Multiverse.

Leemon Baird, Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang

IACR Cryptol. ePrint Arch., 2023

2022

i-TiRE: Incremental Timed-Release Encryption or How to use Timed-Release Encryption on Blockchains?

Leemon Baird, Pratyay Mukherjee, Rohit Sinha

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

TEMP: Time-locked Encryption Made Practical.

Leemon Baird, Pratyay Mukherjee, Rohit Sinha

IACR Cryptol. ePrint Arch., 2021

2020

The Hashgraph Protocol: Efficient Asynchronous BFT for High-Throughput Distributed Ledgers.

Leemon Baird, Atul Luykx

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

2015

A new algorithm for unkeyed jam resistance.

Hamid Hanifi, Leemon C. Baird III, Ramakrishna Thurimella

Proceedings of the 8th International Conference on Security of Information and Networks, 2015

Exhaustive attack analysis of BBC with glowworm for unkeyed jam resistance.

Leemon C. Baird III, Bill Parks

Proceedings of the 34th IEEE Military Communications Conference, 2015

2012

Conserved Energy Functions for Cellular Automata: Finding Nontrivials Faster Through a Complete Theory of the Trivials.

Leemon C. Baird III, Barry Fagin

J. Cell. Autom., 2012

The Glowworm hash: Increased speed and security for BBC unkeyed jam resistance.

Leemon C. Baird III, Martin C. Carlisle, William L. Bahn, Eric Smith

Proceedings of the 31st IEEE Military Communications Conference, 2012

2010

Complexity of the Game of Sprouts.

Leemon C. Baird III, Dino Schweitzer

Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010

Faster Methods for Identifying Nontrivial Energy Conservation Functions for Cellular Automata.

Leemon C. Baird III, Barry Fagin

Proceedings of the Automata 2010, 2010

2009

Partitioned neural networks.

Douglas P. Sutton, Martin C. Carlisle, Traci A. Sarmiento, Leemon C. Baird III

Proceedings of the International Joint Conference on Neural Networks, 2009

2008

Simplified core war for introducing low-level concepts.

Dino Schweitzer, David Gibson, Leemon Baird

J. Comput. Sci. Coll., 2008

A non-trigonometric, pseudo area preserving, polyline smoothing algorithm.

Wayne Brown, Leemon Baird

J. Comput. Sci. Coll., 2008

Conservation Functions for 1-D Automata: Efficient Algorithms, New Results, and a Partial Taxonomy.

Leemon C. Baird III, Barry Fagin

J. Cell. Autom., 2008

A Graph Drawing Algorithm for the Game of Sprouts.

Wayne Brown, Leemon C. Baird III

Proceedings of the 2008 International Conference on Computer Graphics & Virtual Reality, 2008

2007

The use of concurrent codes in computer programming and digital signal processing education.

William L. Bahn, Leemon Baird, Michael Collins

J. Comput. Sci. Coll., 2007

Visually Understanding Jam Resistant Communication.

Dino Schweitzer, Leemon C. Baird III, William L. Bahn

Proceedings of the 4th International Workshop on Visualization for Computer Security, 2007

Timing neural networks in C and ada.

Martin C. Carlisle, Leemon C. Baird III

Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

A New Approach for Boolean Query Processing in Text Information Retrieval.

Leemon C. Baird III, Donald H. Kraft

Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

New Conservation Functions and a Partial Taxonomy for 1-D Cellular Automata.

Barry Fagin, Leemon C. Baird III

Proceedings of the First IEEE Symposium on Artificial Life, 2007

An analysis of XML compression efficiency.

Christopher J. Augeri, Dursun A. Bulutoglu, Barry E. Mullins, Rusty O. Baldwin, Leemon C. Baird III

Proceedings of the Workshop on Experimental Computer Science, 2007

2006

Meeting the criteria for a Center of Academic Excellence (CAE) in information assurance education.

Dino Schweitzer, Jeffrey W. Humphries, Leemon Baird

J. Comput. Sci. Coll., 2006

Critical thinking and computer science: implicit and explicit connections.

Barry Fagin, Jim Harper, Leemon Baird, Steven M. Hadfield, Ricky E. Sward

J. Comput. Sci. Coll., 2006

Discovering an RC4 anomaly through visualization.

Dino Schweitzer, Leemon C. Baird III

Proceedings of the 3rd International Workshop on Visualization for Computer Security, 2006

2005

Optimizing the SPARK program slicer.

Ricky E. Sward, Leemon C. Baird III

Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005

One-step neural network inversion with PDF learning and emulation.

Leemon Baird, David Smalenberger, Shawn Ingkiriwang

Proceedings of the IEEE International Joint Conference on Neural Networks, 2005

Proving Functional Equivalence for Program Slicing in SPARK™.

Ricky E. Sward, Leemon C. Baird III

Proceedings of the Reliable Software Technology, 2005

2001

Using localizing learning to improve supervised learning algorithms.

Scott Weaver, Leemon C. Baird III, Marios M. Polycarpou

IEEE Trans. Neural Networks, 2001

1999

Gradient descent approaches to neural-net-based solutions of the Hamilton-Jacobi-Bellman equation.

Rémi Munos, Leemon C. Baird III, Andrew W. Moore

Proceedings of the International Joint Conference Neural Networks, 1999

Multi-Value-Functions: Efficient Automatic Action Hierarchies for Multiple Goal MDPs.

Andrew W. Moore, Leemon C. Baird III, Leslie Pack Kaelbling

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

An analytical framework for local feedforward networks.

Scott Weaver, Leemon C. Baird III, Marios M. Polycarpou

IEEE Trans. Neural Networks, 1998

Gradient Descent for General Reinforcement Learning.

Leemon C. Baird III, Andrew W. Moore

Proceedings of the Advances in Neural Information Processing Systems 11, [NIPS Conference, Denver, Colorado, USA, November 30, 1998

1996

Comparison of brain structure to a backpropagation-learned-structure.

Mario Serna, Leemon C. Baird III

Proceedings of International Conference on Neural Networks (ICNN'96), 1996

Residual advantage learning applied to a differential game.

Mance E. Harmon, Leemon C. Baird III

Proceedings of International Conference on Neural Networks (ICNN'96), 1996

Residual Q-Learning Applied to Visual Attention.

Cesar Bandera, Francisco J. Vico, José Manuel Bravo, Mance E. Harmon, Leemon C. Baird III

Proceedings of the Machine Learning, 1996

1995

3D object perception using gradient descent.

Leemon C. Baird III, Patrick S. P. Wang

J. Math. Imaging Vis., 1995

Reinforcement Learning Applied to a Differential Game.

Mance E. Harmon, Leemon C. Baird III, A. Harry Klopf

Adapt. Behav., 1995

Residual Algorithms: Reinforcement Learning with Function Approximation.

Leemon C. Baird III

Proceedings of the Machine Learning, 1995

1994

Advantage Updating Applied to a Differrential Game.

Mance E. Harmon, Leemon C. Baird III, A. Harry Klopf

Proceedings of the Advances in Neural Information Processing Systems 7, 1994

1993

A Hierarchical Network of Provably Optimal Learning Control Systems: Extensions of the Associative Control Process (ACP) Network.

Leemon C. Baird III, A. Harry Klopf

Adapt. Behav., 1993