Laurent Braud

According to our database, Laurent Braud authored at least 5 papers between 2007 and 2012.

Collaborative distances:

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

2012

Towards nominal computation.

Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

The structure of orders in the pushdown hierarchy. (Les structures d'ordre dans la hiérarchie à pile).

Laurent Braud

PhD thesis, 2010

Linear Orders in the Pushdown Hierarchy.

Laurent Braud, Arnaud Carayol

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Covering of ordinals.

Laurent Braud

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

2007

Traffic grooming on the path.

Jean-Claude Bermond, Laurent Braud, David Coudert

Theor. Comput. Sci., 2007