Search

Your search keyword '"Hildebrandt, Thomas"' showing total 1,598 results

Search Constraints

Start Over You searched for: Author "Hildebrandt, Thomas" Remove constraint Author: "Hildebrandt, Thomas"
1,598 results on '"Hildebrandt, Thomas"'

Search Results

151. In vitro fertilization program in white rhinoceros.

152. Long-term effects of restriction of intravenous fluid in adult ICU patients with septic shock

155. Assessment of nasal resistance using computational fluid dynamics

156. The significance of transcervical ultrasound-guided radiofrequency ablation in the treatment of symptomatic fibroids: results of an expert consensus from German-speaking countries

161. Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

163. Trustworthy Pervasive Healthcare Services via Multiparty Session Types

164. Declarative Modelling and Safe Distribution of Healthcare Workflows

165. Nested Dynamic Condition Response Graphs

166. Safe Distribution of Declarative Processes

167. Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

168. Haloperidol for the Treatment of Delirium in ICU Patients

169. Robust induction of primordial germ cells of white rhinoceros on the brink of extinction

170. Application of decision tools to ethical analysis in biodiversity conservation

172. Thromboembolic and bleeding events in ICU patients with COVID ‐19: A nationwide, observational study

173. Elephant facial motor control

174. A stem cell zoo uncovers intracellular scaling of developmental tempo across mammals

176. Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

177. Type Systems for Bigraphs

180. Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs

181. On the Construction of Sorted Reactive Systems

191. Sortings for Reactive Systems

192. Formalising Business Process Execution with Bigraphs and Reactive XML

193. Extending Howe’s Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names

195. Goal directed fluid removal with furosemide versus placebo in intensive care patients with fluid overload: A trial protocol for a randomised, blinded trial (GODIF trial)

196. Evolutionary survival strategies of the female giant panda: optimizing energy resources and expenditure prior to pregnancy by postponing corpus luteum reactivation

Catalog

Books, media, physical & digital resources