Items where Author / Artist / Editor is "Amadio, Roberto M."
|See full list of headings|
Conference or Workshop Item
Amadio, Roberto M. and Ayache, Nicolas and Bobot, Francois and Boender, Jaap and Campbell, Brian and Garnier, Ilias and Madet, Antoine and McKinna, James and Mulligan, Dominic P. and Piccolo, Mauro and Pollack, Randy and Régis-Gianas, Yann and Sacerdoti Coen, Claudio and Stark, Ian and Tranquilli, Paolo (2014) Certified Complexity (CerCo). In: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), 29-31 Aug 2013, Bertinoro, Italy.