Stuart Allen

According to our database, Stuart Allen authored at least 3 papers between 1987 and 2021.

Collaborative distances:

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

2021

Cybersecurity professionals information sharing sources and networks in the U.S. electrical power industry.

Rick G. Randall, Stuart Allen

Int. J. Crit. Infrastructure Prot., 2021

2005

Preface.

Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

1987

A Non-Type-Theoretic Definition of Martin-Löf's Types

Stuart Allen

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987