Brian P. Dunphy

According to our database, Brian P. Dunphy authored at least 2 papers between 2004 and 2012.

Collaborative distances:

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

2012

An Automata-Theoretic Model of Idealized Algol - (Extended Abstract).

Uday S. Reddy, Brian P. Dunphy

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2004

Parametric Limits.

Brian P. Dunphy, Uday S. Reddy

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004