| | |
|---|
| 2021 | Volume crystallization and microwave dielectric properties of indialite/cordierite glass by TiO2 addition
Ohsato, Hitoshi; Varghese, Jobin; Kan, Akinori; Kim, Jeong Seog; Kagomiya, Isao; Ogawa, Hirotaka; Sebastian, Mailadil Thomas; Jantunen, Heli | Journal Article |
| 2016 | Refinement of used LS-Material for magnificent material properties alongside cost improvement
Grießbach, Sören; Leuenberger, Rolf; Kausch, Martin; Sauerstein, Tobias | Presentation |
| 2013 | Extraction and refinement of building faces in 3D point clouds
Pohl, Melanie; Meidow, Jochen; Bulatov, Dimitri | Conference Paper |
| 2013 | Refinement and expansion of matched vessel graphs for intraoperative deformable registration of hepatic CT and ultrasound
Keil, Matthias; Kaisler, Alexander; Oyarzun Laura, Cristina; Wesarg, Stefan | Conference Paper |
| 2013 | Skeleton based refinement of multi-material volumetric meshes
Oyarzun Laura, Cristina; Plaza, Pablo Bueno; Drechsler, Klaus; Wesarg, Stefan | Conference Paper |
| 2010 | Semi-automatic anatomical tree matching for landmark-based elastic registration of liver volumes
Drechsler, Klaus; Oyarzun Laura, Cristina; Chen, Yufei; Erdt, Marius | Journal Article |
| 2005 | Formal specification and verification. Structures and techniques
Eschbach, R. | Dissertation |
| 2002 | Formal software specification with refinements and modules of typed graph transformation systems
Große-Rhode, M.; Parisi Presicce, F.; Simeoni, M. | Journal Article |
| 2001 | Pattern-based Refinement and Translation of Object-Oriented Models to Code
Bunse, C. | Dissertation |
| 2001 | Systematische Implementierung objekt-orientierter Systeme durch wiederverwendbare Muster
Bunse, C. | Journal Article |
| 1999 | Improving Quality in Object-Oriented Software. Systematic Refinement and Translation of Models to Code
Bunse, C.; Atkinson, C. | Report |
| 1999 | Improving Quality in Object-Oriented Software. Systematic Refinement and Translation of Models to Code
Bunse, C.; Atkinson, C. | Conference Paper |
| 1999 | The Normal Object Form. Bridging the Gap from Models to Code
Bunse, C.; Atkinson, C. | Report |
| 1998 | 13th meeting of the scientific group on methodologies for the safety evaluation of chemicals (SGOMSEC): alternative testing methodologies for ecotoxicity
Walker, C.; Kaiser, K.; Klein, W.; Lagadic, L.; Peakall, D.; Sheffield, S.; Soldan, T.; Yasuno, M. | Journal Article |