Brian W. DeVries

According to our database, Brian W. DeVries authored at least 2 papers between 2009 and 2011.

Collaborative distances:

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

2011

Infinite Computation, Co-induction and Computational Logic.

Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2009

ActionScript bytecode verification with co-logic programming.

Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009