1
Published 2014
Table of Contents: '; ... -- Reflection in an Object-Oriented Concurrent Language -- Building Safe Concurrency Abstractions -- Structuring...
Get full text
2
Published 2019
Table of Contents: '; ... and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization...
Get full text
3
Published 2008
Table of Contents: '; ... Planning Under Uncertainty with Applications in Image-Guided Medical Needle Steering -- Extended Abstract...
Get full text
4