Yves Roos is an author at Université de Lille specializing in discrete mathematics, computer science, and formal methods.
Top concepts
EngineeringData ScienceFormal MethodsComputer ScienceAutomated ReasoningDiscrete MathematicsParallel Programming
Publications per year
2008–2008
1
1
Olivier Gauwin, Joachim Niehren, Yves Roos · Information Processing Letters · 2008 · 36 citations · Full text
Rows per page
1–1 of 1