Search Results - "Lochmann, Alexander"
-
1
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
Published in Journal of automated reasoning (01-06-2023)“…The first-order theory of rewriting is decidable for linear variable-separated rewrite systems. We present a new decision procedure which is the basis of FORT,…”
Get full text
Journal Article -
2
The influence of covalently linked and free polyethylene glycol on the structural and release properties of rhBMP-2 loaded microspheres
Published in Journal of controlled release (01-10-2010)“…The current clinical success of therapies with recombinant human Bone Morphogenetic Protein 2 (rhBMP-2) is limited due to inefficient delivery. The high doses…”
Get full text
Journal Article -
3
Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing
Published 16-09-2021“…LockDoc is an approach to extract locking rules for kernel data structures from a dynamic execution trace recorded while the system is under a benchmark load…”
Get full text
Journal Article -
4
Characterization of scaffolds for tissue engineering by benchtop-magnetic resonance imaging
Published in Tissue engineering. Part C, Methods (01-09-2009)“…Several publications have shown approaches for the optimization of tissue engineering constructs by magnetic resonance imaging (MRI). However, the technology…”
Get more information
Journal Article