No photo of Raphaël Michel

Raphaël Michel

  • 24 Citations
  • 1 h-Index
20102014
If you made any changes in Pure these will be visible here soon.

Research Output 2010 2012

  • 24 Citations
  • 1 h-Index
  • 4 Conference contribution
  • 2 Paper
Filter
Paper
2012

An SMT-based Approach to Automated Configuration

Michel, R., Hubaux, A., Ganesh, V. & Heymans, P., 1 Jan 2012, p. 107-117. 11 p.

Research output: Contribution to conferencePaper

An SMT-LIB Format for Sequences and Regular Expressions

Bjørner, N., Ganesh, V., Michel, R. & Veanes, M., 1 Jan 2012.

Research output: Contribution to conferencePaper