TY  - JOUR
A1  - Hartung, Frank
A1  - Kesici, Sinan
A1  - Catrein, Daniel
T1  - DRM protected Dynamic Adaptive HTTP Streaming
JF  - Proceedings of the 2011 ACM Multimedia Systems Conference [Elektronische Ressource] : February 23 - 25, 2011, San Jose, CA, USA / sponsored by: ACM SIGMM
Y1  - 2011
SN  - 9781450305181
N1  - ACM Multimedia Systems Conference ; (2 : ; 2011.02.23-25 : ; San Jose, Calif.)
SP  - 277
EP  - 282
PB  - ACM
CY  - New York, NY
ER  - 
TY  - JOUR
A1  - Jens, Otto
A1  - Kaldenhoff, E.
A1  - Kirschner-Hermanns, R.
A1  - Mühl, Thomas
A1  - Klinge, Uwe
T1  - Elongation of textile pelvic floor implants under load is related to complete loss of effective porosity, thereby favoring incorporation in scar plates
JF  - Journal of biomedical materials research. Part A
N2  - Use of textile structures for reinforcement of pelvic floor structures has to consider mechanical forces to the implant, which are quite different to the tension free conditions of the abdominal wall. Thus, biomechanical analysis of textile devices has to include the impact of strain on stretchability and effective porosity. Prolift® and Prolift + M®, developed for tension free conditions, were tested by measuring stretchability and effective porosity applying mechanical strain. For comparison, we used Dynamesh-PR4®, which was designed for pelvic floor repair to withstand mechanical strain. Prolift® at rest showed moderate porosity with little stretchability but complete loss of effective porosity at strain of 4.9 N/cm. Prolift + M® revealed an increased porosity at rest, but at strain showed high stretchability, with subsequent loss of effective porosity at strain of 2.5 N/cm. Dynamesh PR4® preserved its high porosity even under strain, but as consequence of limited stretchability. Though in tension free conditions Prolift® and Prolift + M® can be considered as large pore class I meshes, application of mechanical strain rapidly lead to collapse of pores. The loss of porosity at mechanical stress can be prevented by constructions with high structural stability. Assessment of porosity under strain was found helpful to define requirements for pelvic floor devices. Clinical studies have to prove whether devices with high porosity as well as high structural stability can improve the patients' outcome.
Y1  - 2014
U6  - https://doi.org/10.1002/jbm.a.34767
SN  - 1552-4965
VL  - 102
IS  - 4
SP  - 1079
EP  - 1084
PB  - Wiley
CY  - New York
ER  - 
TY  - JOUR
A1  - Mayer, Claudia
T1  - L'Estétique et le pouvoir: Le discours chaotique de l'Allemagne unifiée
JF  - Canadian review of comparative literature : CRCL = Revue canadienne de littérature comparée : RCLC / Canadian Comparative Literature Association. 24 (1997), H. 2
Y1  - 1997
SN  - 0319-051X
SP  - 297
EP  - 317
ER  - 
TY  - JOUR
A1  - Mayer, Claudia
T1  - Between Trans- and Interdisciplinarity. »Germanistik« and the Dialectic of Inclusion and Exclusion of the Other(s)
JF  - Language and literature today : proceedings of the XIXth triennal congress of the International Federation for Modern Languages and Literatures ; Brasília 22 - 30 August 1993. General ed. Neide de Faria.
Y1  - 1993
SN  - 85-230-0405-x
N1  - Band 2
SP  - 958
EP  - 966
PB  - Univ.
CY  - Brasilia
ER  - 
TY  - JOUR
A1  - Mayer, Claudia
T1  - Between Resistance and Affirmation: Christa Wolf and German Unification
JF  - Canadian review of comparative literature : CRCL = Revue canadienne de littérature comparée / Canadian Comparative Literature Association. 22 (1995), H. 3-4
Y1  - 1995
SN  - 0319-051X
SP  - 813
EP  - 835
ER  - 
TY  - JOUR
A1  - Oßmann, Martin
A1  - Hattrup, C.
A1  - Broeck, H. W. van der
T1  - Fast estimation techniques for digital control of resonant converters / Hattrup, C.; van der Broeck, H.W.; Ossmann, M.;
JF  - IEEE Transaction on Power Electronics. 18 (2003), H. 1
Y1  - 2003
SN  - 0885-8993
N1  - Part 2
SP  - 365
EP  - 372
ER  - 
TY  - JOUR
A1  - Oßmann, Martin
A1  - Kazay, B.
T1  - Simple circuit provides high-side current sensing / Ossmann, M ; Kazay, B.
JF  - EDN. 45 (2000), H. 21
Y1  - 2000
SN  - 0012-7515
SP  - 200
EP  - 200
ER  - 
TY  - JOUR
A1  - Oßmann, Martin
A1  - Kazay, B.
T1  - Single mu C pin makes half-duplex RS-232C / Ossmann, M
JF  - EDN. 44 (1999), H. 16
Y1  - 1999
SN  - 0012-7515
SP  - 118
ER  - 
TY  - JOUR
A1  - Maus, Stefan
A1  - Höfken, Hans-Wilhelm
A1  - Schuba, Marko
T1  - Forensic Analysis of Geodata in Android Smartphones
Y1  - 2011
N1  - Cyberforensics 2011, Glasgow
SP  - 1
EP  - 11
ER  - 
TY  - JOUR
A1  - Schaefer, Thomas
A1  - Höfken, Hans-Wilhelm
A1  - Schuba, Marko
T1  - Windows Phone 7 from a Digital Forensics’ Perspective
Y1  - 2011
N1  - ICDF2C <3, 2011, Dublin>
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Hillgärtner, Michael
T1  - Normative Regulations
JF  - ECPE Cluster Seminar EMC in Hybrid and Electric Vehicles : 18 May 2010, Fraunhofer Institute Erlangen
Y1  - 2010
N1  - Seminar EMC in Hybrid and Electric Vehicles <2010, Erlangen>
PB  - European Center for Power Electronics
CY  - Nürnberg
ER  - 
TY  - JOUR
A1  - Hartung, Frank
A1  - Husoy, J. H.
T1  - Wavelet and subband coding of images - A comparative study / Hartung, F. ; Husoy, J. H.
JF  - Mathematical imaging: wavelet applications in signal and image processing : 15 - 16 July 1993, San Diego, California / sponsored and publ. by SPIE - the International Society for Optical Engineering. Andrew F. Laine, chair/ed
Y1  - 1993
SN  - 081941283X
N1  - SPIE proceedings series ; 2034 ; Society of Photo-Optical Instrumentation Engineers ; Conference ; (1993.07.15-16 : ; San Diego, Calif.)
SP  - 242
EP  - 253
PB  - SPIE
CY  - Bellingham, Wash.
ER  - 
TY  - JOUR
A1  - Scholl, Ingrid
A1  - Pelikan, Erich
A1  - Repges, Rudolf
A1  - Tolxdorff, Thomas
T1  - Texture-based feature extraction using the Wavelet transform on x rays.
JF  - Medical Imaging 1996: Image Processing
Y1  - 1996
N1  - Proceedings of SPIE 2710
SP  - 668
EP  - 678
ER  - 
TY  - JOUR
A1  - Scholl, Ingrid
A1  - Palm, Christoph
A1  - Lehmann, Thomas
A1  - Spitzer, Klaus
T1  - Quantitative Farbmessung in laryngoskopischen Bildern. Palm, C; Scholl, I; Lehmann, TM; Spitzer, K.
JF  - Bildverarbeitung für die Medizin 1998. Hrsg.: Thomas Lehmann ...
Y1  - 1998
SN  - 3-540-63885-7
SP  - 412
EP  - 416
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Hillgärtner, Michael
A1  - Peier, Dirk
T1  - Design of a Measurement Setup for the Impedance of Low-Resistance Plate-Conductors in the RF-Range
JF  - Proceedings of the 10th International Conference on Optimization of Electrical and Electronic Equipment, OPTIM '06, Bra&#351;ov, May 18 - 20, 2006 / ed. by The Transilvania University of Bra&#351;ov, Faculty of Electrical Engineering and Computer Science. [Ed. Mihai Cernat .&#804;] . -  Vol. 1: Keynote addresses, electrotechnics
Y1  - 2006
SN  - 978-973-635703-9
N1  - International Conference on Optimization of Electrical and Electronic Equipment <10, 2006, Bra&#351;ov>; OPTIM <10, 2006, Bra&#351;ov>
SP  - 59
EP  - 64
CY  - Bra&#351;ov
ER  - 
TY  - JOUR
A1  - Hillgärtner, Michael
A1  - Stonies, R.
A1  - Peier, D.
A1  - Voges, E.
T1  - Design of Low Cost Antennas for Reverberation Chambers
JF  - Proceedings of the 16th International Zurich Symposium on Electromagnetic Compatibility : [EMC Week 2005, Zurich, Switzerland, February 13 - 18 ; technical exhibition on EMC and RF/microwave Measurements and Instrumentation (February 15 - 17)] / [Laboratory for Electromagnetic Fields and Microwave Electronics, Swiss Federal Institute of Technology Zurich]
Y1  - 2005
SN  - 3-9521199-9-7
N1  - Nebent.: EMC Zurich 2005 Symposium proceedings. - International Zurich Symposium and Technical Exhibition on Electromagnetic Compatibility <16, 2005, Zürich>  Institut für Feldtheorie und Höchstfrequenztechnik <Zürich>
PB  - ETH-Zentrum-IFH
CY  - Zürich
ER  - 
TY  - JOUR
A1  - Hillgärtner, Michael
A1  - Kappel, U.
T1  - Radiating Impedance of Mains Cabling During Emissions Testing
JF  - EMC Europe 2006 Barcelona : International Symposium on Electromagnetic Compatibility; September 4 - 8, 2006, Campus Nord, Technical University of Catalonia, Barcelona, Spain / [organized by Technical University of Catalonia (UPC) ... Ed. and publ. by: Ferran Silva ...]. - Vol. 1: Proceedings 1
Y1  - 2006
SN  - 84-689-9439-1
N1  - EMC Europe <7,2006,Barcelona>; International Symposium on Electromagnetic Compatibility <7, 2006, Barcelona>
SP  - 17
EP  - 22
CY  - Barcelona
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Jaekel, C.
A1  - Francois, I.
A1  - Kyas, G.
T1  - Microwave surface impedance measurements on high-Tc superconductors / Jaekel, C. ; Francois, I. ; Kyas, G. ; Hüning, F. ; Roskos, H. G. ; Borghs, G. ; Kurz, H.
JF  - Czechoslovak Journal of Physics. 46 (1996), H. Suppl. 2
Y1  - 1996
SN  - 1572-9486
IS  - 46
SP  - 1117
EP  - 1118
PB  - Springer Science+Business Media
CY  - Dordrecht
ER  - 
TY  - JOUR
A1  - Engels, Elmar
A1  - Krauskopf, S.
T1  - Innovation in Motion-Logic programming - a versatile interface
JF  - Proceedings to the 12th International Workshop on Research and Education in Mechatronics, REM 2011, Kocaeli, Turkey, 15.09.-16.09.2011
Y1  - 2011
SN  - 978-975-8047-96-3
PB  - -
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Wilke, I.
A1  - Nakielski, G.
A1  - Kotzler, J.
T1  - Dynamic conductivity of YBCO thin films from low to very high frequencies / Wilke, I. ; Nakielski, G. ; Kotzler, J. ; Subke, K. O. ; Jaekel, C. ; Hüning, F. ; Roskos, H. G. ; Kurz, Heinrich
JF  - Applied superconductivity 1997 : proceedings of EUCAS 1997, the Third European Conference on Applied Superconductivity, held in the Netherlands, 30 June - 3 July 1997 / ed. by H. Rogalla
Y1  - 1997
SN  - 0-7503-0487-1
N1  - Institute of Physics conference series 158
SP  - 121
EP  - 124
PB  - IOP
CY  - Bristol
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Leineweber, A.
A1  - Jacobs, H.
A1  - Lueken, H.
T1  - ε-Fe3N: magnetic structure, magnetization and temperature dependent disorder of nitrogen / Leineweber, A. ; Jacobs, H. ; Hüning, F. ; Lueken, H. ; Schilder, H. ; Kockelmann, W.
JF  - Journal of Alloys and Compounds. 288 (1999), H. 1-2
N2  - ε-Fe3N has been investigated by time-of-flight neutron diffraction (temperature range 4.2–618 K) and SQUID magnetometry (2–700 K, B≤5 T). A ferromagnetic spin structure is observed with magnetic moments oriented perpendicular to the c-axis of the hexagonal nuclear structure. The magnetic saturation moment of iron is 2.2 μB at 4.2 K from neutron diffraction and 2.0 μB from magnetic measurements and decreases in a Brillouin-like manner on heating to TC=575 K. Above 450 K an increasing but reversible disorder of the nitrogen partial structure is observed.
Y1  - 1999
SN  - 1873-4669
VL  - 288
IS  - 1-2
SP  - 79
EP  - 87
PB  - Elsevier
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Leineweber, A.
A1  - Jacobs, H.
A1  - Lueken, H.
T1  - Nitrogen Ordering and ferromagnetic properties of -Fe3N1+x (0.10  x  0.39) and -Fe3(N0.80C0.20)1.38 / Leineweber, A. ; Jacobs, H. ; Hüning, F. ; Lueken, H. ; Kockelmann, W.
JF  - Journal of Alloys and Compounds. 316 (2001), H. 1-2
Y1  - 2001
SN  - 1873-4669
SP  - 21
EP  - 38
PB  - -
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Sparta, K.
A1  - Redhammer, G. J.
A1  - Roussel, P.
T1  - Structural Phase Transition in the 2D Spin Dimer Compound SrCu2(BO3)2 / Sparta, K. ; Redhammer, G. J. ; Roussel, P. ; Heger, G. ; Roth, G. ; Ionescu, A. Lemmens, P. ; Grove, M. ; Güntherrodt, G. ; Hüning, F. ; Lueken, H. ; Kageyama, H. ; Onizuka, K ; Ueda
JF  - The European Physical Journal B - Condensed Matter and Complex Systems. 19 (2001), H. 4
Y1  - 2001
SN  - 1434-6036
SP  - 507
EP  - 516
PB  - -
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Luken, Heiko
A1  - Schilder, Herbert
A1  - Eifert, Thomas
T1  - Magnetochemistry: Compounds and Concepts / Lueken, Heiko ; Schilder, Herbert ; Eifert, Thomas ; Handrick, Klaus ; Hüning, Felix
JF  - Advances in Solid State Physics. 201 (2001)
Y1  - 2001
SP  - 515
EP  - 532
PB  - -
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Eifert, T.
A1  - Lueken, H.
A1  - Schmidt, P.
T1  - High-temperature series expansion of the magnetic susceptibility of extended magnetic systems in a complete computer implementation / Eifert, T. ; Hüning, F. ; Lueken, H. ; Schmidt, P. ; Thiele, G.
JF  - Chemical Physics Letters. 364 (2002), H. 1-2
Y1  - 2002
SN  - 0009-2614
SP  - 69
EP  - 74
PB  - -
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Eifert, T.
A1  - Handrick, K.
A1  - Neuhausen, U.
T1  - Computational Magnetochemistry: Complementary Quantum Mechanical Tools / Eifert, T. ; Handrick, K. ; Hüning, F. ; Neuhausen, U. ; Schilder, H. ; Lueken, H.
JF  - Zeitschrift für Anorganische und Allgemeine Chemie (ZAAC) - Journal of Inorganic and General Chemistry . 632 (2006), H. 4
Y1  - 2006
SN  - 1521-3749
SP  - 521
EP  - 529
PB  - -
ER  - 
TY  - JOUR
A1  - Hüning, Felix
A1  - Eifert, T.
A1  - Handrick, K.
A1  - Neuhausen, U.
T1  - Computational Magnetochemistry: Complementary Quantum Mechanical Tools / Eifert, T. ; Handrick, K. ; Hüning, F. ; Neuhausen, U. ; Schilder, H. ; Lueken, H.
JF  - 20 Jahre Wilhelm-Klemm-Stiftung / Kuratorium der Wilhelm-Klemm-Stiftung (Hrsg.)
Y1  - 2006
SN  - 978-3-8322-5520-6
SP  - 193ff
PB  - Shaker
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Hüning, Felix
T1  - Entwicklungstrends bei MOSFETs für den Automobilbereich
JF  - Elektronik-Industrie . 39 (2008), H. 5
Y1  - 2008
SN  - 0174-5522
SP  - 74
EP  - 76
PB  - -
ER  - 
TY  - JOUR
A1  - Hüning, Felix
T1  - SMD packages for PowerMOSFETs in automotive applications – developments and trends
JF  - Automotive Designline Europe  (2009)
Y1  - 2009
PB  - -
ER  - 
TY  - JOUR
A1  - Hüning, Felix
T1  - Using Trench PowerMOSFETs in Linear Mode
JF  - Power Electronics Europe (2012)
N2  - If we think about applications for modern Power MOSFETs using trench technology, running them in linear mode may not be top of the priority list. Yet there are multiple uses for Trench Power MOSFETs in linear mode. In fact, even turning the device on and off in switching applications is a form of linear operation. Also, these components can be run in linear mode to protect the device against voltage surges. This article will illustrate the factors that need to be considered for linear operation and show how Trench Power MOSFETs are suited to it.
Y1  - 2012
SN  - 1748-3530
SP  - 27
EP  - 29
PB  - DFA Media
CY  - Tonbridge
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Mößle, Andrea
A1  - Vogler, Heiko
T1  - Implementation of a deterministic partial e-unification algorithm for macro tree transducers
JF  - Journal of functional and logic programming. 1996 (1996), H. 2
Y1  - 1996
SN  - 1080-5230
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Reengineering an Ada95-programmed command and control information system by using UML
JF  - Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)
Y1  - 2001
SN  - 1-58113-392-8
N1  - (Ada letters ; 21,4)
SP  - 53
EP  - 60
PB  - ACM
CY  - New York, NY
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
JF  - Journal of functional and logic programming. 1998 (1998), H. 4
Y1  - 1998
SN  - 1080-5230
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - Making a C2 information system platform independent by using internet and middleware technologies
JF  - Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA
Y1  - 1999
SP  - 1
EP  - 11
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - The join of a geographical situation display system and a platform independent C2 information system
JF  - Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA
Y1  - 2000
SP  - 1
EP  - 7
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - Modelling command and control information systems by UML
JF  - Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada
Y1  - 2001
SP  - 7-1
EP  - 7-9
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - An experimental command and control information system based on Enterprise Java bean technology
JF  - Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada
Y1  - 2002
SP  - 1
EP  - 8
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
JF  - Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)
Y1  - 1991
SP  - 95
EP  - 96
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Krause, Gregor
A1  - Rodriguez, Jackson
A1  - Stopic, Srecko
A1  - Friedrich, Bernd
T1  - Feasibility assessment of electrocoagulation towards a new sustainable wastewater treatment / Rodriguez, Jackson ; Stopic, Srecko ; Krause Gregor ; Friedrich, Bernd
JF  - Environmental Science and Pollution Research. 14 (2007), H. 7
Y1  - 2007
SN  - 0944-1344
SP  - 477
EP  - 482
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - An abstract machine for the E-Unification with macro tree transducer
JF  - 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]
Y1  - 1993
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
A1  - Rieder, G.
T1  - Bracketing eigenvalues of an oscillating elastic body by integral equations
JF  - Bracketing of eigenfrequencies of continous structures : Euromech Colloquium, no. 112, Mátrafüred (Hungary), 21 - 23 February, 1979 / ed. by À. Bosznay
Y1  - 1980
SN  - 963-05-2625-5
N1  - Euromech Colloquium <112, 1979, Mátrafüred>
SP  - 421
EP  - 434
PB  - Akad. Kiadó
CY  - Budapest
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - On the complete system of fundamental solutions for anisotropic slices and slabs: A comparison by use of the slab analogy
JF  - Journal of Elasticity. 15 (1985), H. 3
Y1  - 1985
SN  - 1573-2681
SP  - 293
EP  - 318
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
A1  - Hackl, Klaus
T1  - On the existence, uniqueness and completeness of displacements and stress functions in linear elasticity  / Hackl, Klaus ; Zastrow, Udo
JF  - Journal of Elasticity. 19 (1988), H. 1
Y1  - 1988
SN  - 1573-2681
SP  - 3
EP  - 23
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - Basic geometrical singularities in plane-elasticity and plate-bending problems
JF  - International Journal of Solids and Structures. 21 (1985), H. 10
Y1  - 1985
SN  - 0020-7683
SP  - 1047
EP  - 1067
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
T1  - Numerical plane stress analysis by integral equations based on the singularity method
JF  - SM archives . 10 (1985)
Y1  - 1985
SN  - 0376-7426
SP  - 113
EP  - 128
ER  - 
TY  - JOUR
A1  - Zastrow, Udo
A1  - Panagiotopoulos, P. D.
T1  - An integral "Equation" approach to the unilateral contact problem
JF  - ZAMM - Zeitschrift für angewandte Mathematik und Mechanik. 59 (1979), H. 8
Y1  - 1979
SN  - 1521-4001
SP  - 392
EP  - 393
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - An implementation of syntax directed functional programming on nested-stack machines
JF  - Formal Aspects of Computing. 4 (1992), H. 4
Y1  - 1992
SN  - 0934-5043
SP  - 341
EP  - 375
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a universal unification algorithm for macro tree transducers
JF  - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.)
Y1  - 1993
SN  - 3-540-57163-9
N1  - (Lecture notes in computer science ; 710)
SP  - 222
EP  - 233
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a UU-Algorithm for primitive recursive tree functions
JF  - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)
Y1  - 1995
SN  - 3-540-60249-6
N1  - (Lecture notes in computer science ; 965)
SP  - 233
EP  - 242
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - A verified implementation of narrowing
JF  - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)
Y1  - 1995
SN  - 3-540-60359-X
N1  - (Lecture notes in computer science ; 982)
SP  - 63
EP  - 80
PB  - Springer
CY  - Berlin [u.a.]
ER  -