Robert-C. Riemann - Concepedia

Author

Robert-C. Riemann

Also Known As

Robert-C Riemann, Robert-C. Riemann

Publications

Citations

H-Index

Concepts

All Affiliations

Robert-C. Riemann is an author at Université Libre de Bruxelles specializing in automated reasoning, formal methods, and computational complexity.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	19
2	Automated Reasoning	1	1	19
3	Computational Complexity	1	1	19
4	Formal Methods	1	1	19

Robert-C. Riemann

Publications

Citations

H-Index

Page 1

	Year	Citations
General parameterised refinement and recursion for the M-net calculus Raymond Devillers, Hanna Klaudel, Robert-C. Riemann Theoretical Computer Science EngineeringAutomated ReasoningM-net CalculusFormal MethodsComputational Complexity	2003	19

Page 1