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 - 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 - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.) Y1 - 1996 SN - 3-540-61735-3 N1 - (Lecture notes in computer science ; 1139) SP - 194 EP - 208 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Applying Ada, Java and CORBA for making a command and control information system platform independent JF - Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference Y1 - 1999 SN - 1-58113-127-5 N1 - (Ada letters ; 19,3) SP - 83 EP - 88 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification-driven leftmost outermost narrowing JF - Acta Cybernetica. 11 (1994), H. 3 Y1 - 1994 SN - 0324-721x SP - 139 EP - 167 ER - TY - JOUR A1 - Hanrath, Wilhelm T1 - Character tables of some factor groups of space groups JF - Perfect groups / Derek F. Holt and W. Plesken Y1 - 1989 SN - 0-19-853559-7 SP - 357 EP - 359 PB - Clarendon Press CY - Oxford ER - TY - JOUR A1 - Hanrath, Wilhelm A1 - Plesken, Wilhelm T1 - Group rings and irreducible representations of space groups / by W. Hanrath and W. Plesken JF - Journal für die reine und angewandte Mathematik. 362 (1985) Y1 - 1985 SN - 0075-4102 SP - 130 EP - 140 ER - TY - JOUR A1 - Hanrath, Wilhelm A1 - Plesken, Wilhelm T1 - The lattices of six-dimensional euclidean space JF - Mathematics of computation. 43 (1984), H. 168 Y1 - 1984 SN - 0025-5718 SP - 573 EP - 587 ER - TY - JOUR A1 - Mertens, Josef T1 - Laminar flow for supersonic transports JF - Proceedings : March 16 - 18, 1992, Congress Centrum, Hamburg, Federal Republic of Germany / organized jointly by: Deutsche Gesellschaft für Luft- und Raumfahrt e.V. ... [Programme committee J. Szodruch ...] Y1 - 1992 SN - 3-922010-73-3 N1 - DGLR-Bericht ; 92,06 SP - 319 EP - 323 PB - DGLR CY - Bonn ER - TY - JOUR A1 - Janz, Norbert A1 - Goedhuys, Micheline A1 - Mohnen, Pierre T1 - What drives productivity in Tanzanian manufacturing firms: technology or business environment? / Goedhuys, Micheline ; Janz, Norbert ; Mohnen, Pierre JF - The European Journal of Development Research. 20 (2008), H. 2 Y1 - 2008 SN - 1743-9728 SP - 199 EP - 218 ER - TY - JOUR A1 - Janz, Norbert A1 - Goedhuys, Micheline A1 - Mairesse, Jacques A1 - Mohnen, Pierre T1 - Micro-evidence on innovation and development (MEIDE): an introduction / Goedhuys, Micheline ; Janz, Norbert ; Mairesse, Jacques ; Mohnen, Pierre JF - The European Journal of Development Research. 20 (2008), H. 2 Y1 - 2008 SN - 1743-9728 SP - 167 EP - 171 ER - TY - BOOK A1 - Janz, Norbert A1 - Goedhuys, Micheline A1 - Mohnen, Pierre T1 - Knowledge-based productivity in "low-tech" industries : evidence from firms in developing countries / Goedhuys, Micheline ; Janz, Norbert ; Mohnen, Pierre Y1 - 2008 N1 - Working paper series // United Nations University, UNU-MERIT ; 2008,007 PB - UNU-MERIT CY - Maastricht ER - TY - BOOK A1 - Janz, Norbert A1 - Goedhuys, Micheline A1 - Mohnen, Pierre T1 - What drives productivity in Tanzanian manufacturing firms: technology or institutions? / Goedhuys, Micheline ; Janz, Norbert ; Mohnen, Pierre Y1 - 2006 N1 - Working paper series // United Nations University, UNU-MERIT ; 2006,037 PB - UnU-MERIT CY - Maastricht ER - TY - JOUR A1 - Zastrow, Udo T1 - Solution of plane anisotropic elastostatical boundary value problems by singular integral equations JF - Acta Mechanica. 44 (1982), H. 1-2 Y1 - 1982 SN - 1619-6937 SP - 59 EP - 71 ER - TY - JOUR A1 - Zastrow, Udo T1 - On the formulation of the fundamental solutions for orthotropic plane elasticity JF - Acta Mechanica. 57 (1985), H. 3-4 Y1 - 1985 SN - 1619-6937 SP - 113 EP - 122 ER - TY - JOUR A1 - Grap, Rolf Dietmar T1 - If you think, education is expensive, try incompetence JF - Beschaffung aktuell (2007) Y1 - 2007 SN - 0341-4507 N1 - freier Zugang nach Registrierung SP - 62 EP - 63 ER - TY - JOUR A1 - Bohn, Dieter A1 - Funke, Harald T1 - Experimental investigations into the nonuniform flow in a 4-stage turbine with special focus on the flow equalization in the first turbine stage JF - ASME TURBO EXPO, Proceedings of the ASME Turbo Expo, 2003 Y1 - 2003 SN - 0-7918-3689-4 N1 - ASME TURBO EXPO 2003, Proceedings, Vol. 6: Turbomachinery, Pt. A, Atlanta, US, Jun 16-19, 2003 SP - 281 EP - 289 ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko A1 - Wedel, Andrea T1 - Implementation of a deterministic partial E-unification algorithm for macro tree transducers Y1 - 1994 N1 - (Ulmer Informatik-Berichte ; 94,4) PB - Univ. Ulm, Fak. für Informatik CY - Ulm ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification driven leftmost outermost narrowing Y1 - 1992 N1 - (Ulmer Informatik-Berichte ; 92,7) PB - Univ. Ulm, Fak. für Informatik CY - Ulm ER - TY - BOOK A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions Y1 - 1996 N1 - (Technische Berichte ; 96,21) PB - TU, Fak. Informatik CY - Dresden ER - TY - BOOK A1 - Faßbender, Heinz A1 - Gladtz, Katia A1 - Vogler, Heiko T1 - Compiler based implementation of syntax directed functional programming Y1 - 1991 N1 - (Aachener Informatik-Berichte ; 91,10) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - JOUR A1 - Gerhardt, Hans Joachim T1 - Design methods of smoke and heat exhaust systems in construction works JF - V Mie̜dzynarodowa Konferencja Bezpieczeństwo Pożarowe Budowli, Warszawa-Miedzeszyn, 14 - 16 listopada 2005 r. = : Vth International Conference Fire Safety of Buildings / ITB ... [Ed. Mirosław Kosiorek] Y1 - 2005 SN - 83-7413-810-6 N1 - Mie̜dzynarodowa Konferencja Bezpieczeństwo Pożarowe Budowli <5, 2005, Warszawa> ; International Conference Fire Safety of Buildings <5, 2005, Warszawa-Miedzeszyn> SP - 127 EP - 140 PB - ITB CY - Warszawa ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A call-by-need implementation of syntax directed functional programming Y1 - 1990 N1 - (Aachener Informatik-Berichte ; 90,22) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - JOUR A1 - Gerhardt, Hans Joachim A1 - Konrath, B. A1 - Lieb, R.-D. T1 - Das Drallrohr JF - HLH : Lüftung, Klima, Heizung, Sanitär, Gebäudetechnik. 56 (2005), H. 11 Y1 - 2005 SN - 1436-5103 N1 - 2. ISSN: 0017-9906 ; 3. ISSN: 1434-422X ; Zeitschrift unter 13 Z 739 in der Bibliothek SP - 91 EP - 95 ER - TY - JOUR A1 - Gerhardt, Hans Joachim A1 - Krüger, O. T1 - Building shape influence on local wind loads JF - Proceedings of the 2nd European & African Conference on Wind Engineering : 2 EACWE, Palazzo Ducale, Genova, Italy, June 22-26, 1997 / ed. by Giovanni Solari. - Vol. 2 Y1 - 1997 SN - 88-86281-19-6 N1 - European and African Conference on Wind Engineering <2, 1997, Genova> ; ISBN für beide Bände PB - Servizi Grafici Editoriali CY - Padova ER - TY - JOUR A1 - Enning, Manfred A1 - Stützle, Thorsten A1 - Viereck, Uwe A1 - Stribersky, Anton T1 - Creepage control for use in wheelslide protection systems / Stützle, Thorsten ; Viereck, Uwe ; Stribersky, Anton ; Rulka, Wolfgang ; Enning, Manfred ; Abel, Dirk JF - Control in transportation systems : proceedings of the 11th IFAC symposium on control in transportation systems (CTS 2006), August 29-31, 2006, Delft, the Netherlands / International Federation of Automatic Control Y1 - 2006 SN - 0742-5953 ER - TY - JOUR A1 - Enning, Manfred A1 - Jenayeh, I. A1 - Müller, C. A1 - Rake, Heinrich T1 - Development and realization of a manipulator for automatic decoupling of freight cars in marshalling yards / Jenayeh, I. ; Müller, C. ; Enning, Manfred ; Rake, Heinrich ; Peter, J. Y1 - 1997 N1 - World Congress on Railway Research, Florenz, 16.-19.11.1997, 1997 ER - TY - JOUR A1 - Enning, Manfred A1 - Jenayeh, I. A1 - Müller, C. A1 - Kositza, N. T1 - Mechatronics in automating shunting processes in marshalling yards / Jenayeh, I. ; Müller, C.; Kositza, N. ; Enning, M. ; Rake, H. JF - Mechatronics '98 : proceedings of the 6th UK Mechatronics Forum International Conference, Skövde, Sweden, 9-11 September 1998 Y1 - 1998 SN - 0-08-043339-1 N1 - UK Mechatronics Forum International Conference (6 : 1998 : Skövde) PB - Pergamon CY - Amsterdam ER - TY - JOUR A1 - Enning, Manfred A1 - Jenayeh, I. A1 - Müller, C. A1 - Kositza, N. T1 - A New Approach for Automating Shunting Processes in Marshalling Yards / Jenayeh, I.; Müller, C. ; Kositza, N. ; Enning, M. ; Rake, H. JF - Computational Engineering in Systems Applications : 2nd IMACS International Multiconference CESA'98; [abstracts; Nabeul-Hammamet, Tunisia, April 1 - 4, 1998] / ed. by Pierre Borne Y1 - 1998 SP - 338 EP - 343 PB - UCIS CY - Villeneuve d'Ascq ER - TY - JOUR A1 - Enning, Manfred A1 - Hücker, Jan A1 - Jenayeh, Imad A1 - Rake, Heinrich T1 - A Parametric Identification Scheme for a Self-tuning Industrial Compact Controller - INTERKAMA 1999 / Hucker, Jan ; Jenayeh, Imad ; Enning, Manfred ; Rake, Heinrich Y1 - 1999 N1 - ISA TP99UN139 ; Proceedings ISA-Tech Conference, Düsseldorf 1999 ER - TY - JOUR A1 - Müller-Veggian, Mattea A1 - Protic, D. A1 - Krings, T. A1 - Niessen, S. T1 - Position-Sensitive Si(Li) Transmission Detectors for the EXL-Experiments at GSI-Darmstadt. JF - Scientific Report / GSi Gesellschaft für Schwerionenforschung, Darmstadt. 2007 (2007), H. 1 Y1 - 2007 SN - 0174-0814 N1 - Fair-Experiments-31; GSI Report 2007-1, June 2007 ; GSI Scientific Report 2006 SP - 33 ER - TY - JOUR A1 - Enning, Manfred A1 - Mann, S. A1 - Bollig, A. A1 - Kaierle, S. T1 - Autonomous Production Cell for Laser Beam Welding / Mann S. ; Bollig, A. ; Kaierle, S. ; Abel, D. ; Poprawe, R. Y1 - 2003 SN - 0912035757 N1 - ICALEO 2003, Florida ; Laser Materials Processing Conference ; (2003, Jacksonville, Fla.) ; ICALEO ; (22, 2003, Jacksonville, Fla.) PB - LIA CY - Orlando, Fla ER - TY - JOUR A1 - Enning, Manfred A1 - Zambou, Nathan A1 - Abel, Dirk T1 - Nonlinear spacing control of following vehicles within platoon a controlled lagrangian approach / Zambou, Nathan ; Enning, Manfred ; Abel, Dirk JF - NOLCOS, IFAC Symposium on Nonlinear Control Systems Y1 - 2004 N1 - NOLCOS, 2004, IFAC Symposium on Nonlinear Control Systems, 6th, Stuttgart, DE, 2004-09-01 - 2004-09-03 SP - 1211 EP - 1216 ER - TY - JOUR A1 - Reißel, Martin A1 - Quell, P. T1 - On the Vanishing Displacement Current Limit for Eddy-Current Problems / Quell, P. ; Reißel, M. JF - ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik. 76 (1996), H. S2 Y1 - 1996 SN - 0044-2267 N1 - ICIAM/GAMM 95 Applied Analysis SP - 649 EP - 650 ER - TY - JOUR A1 - Reißel, Martin T1 - Three-dimensional eddy-current computation using Krylov subspace methods / Reissel, Martin JF - IMA Journal of Mathematics Applied in Business and Industry. 8 (1997), H. 2 Y1 - 1997 SN - 1471-678X SP - 99 EP - 121 ER - TY - JOUR A1 - Reißel, Martin A1 - Takei, T. A1 - Brune, M. A1 - Köttgen, V. T1 - FEM Based Durability Analysis of the Knuckle of a Passenger Car / Takei, T. ; Brune, M. ; Köttgen, V. ; Reissel, M. JF - Proceedings. JSAE Annual Congress (1999) Y1 - 1999 SN - 0919-1364 SP - 17 EP - 20 ER - TY - JOUR A1 - Reißel, Martin A1 - Lustfeld, H. A1 - Steffen, B. A1 - Schmidt, U. T1 - Reconstruction of Electric Currents in a Fuel Cell by Magnetic Field Measurements / Lustfeld, H. ; Reißel, M. ; Steffen, B. ; Schmidt, U. JF - Journal of fuel cell science and technology Y1 - 2009 SN - 1550-624X VL - Vol. 6 IS - Iss. 2 SP - 021012-1 EP - 021012-8 ER - TY - JOUR A1 - Reißel, Martin A1 - Herbst, Michael A1 - Gottschalk, Swen A1 - Hardelauf, Horst T1 - On preconditioning for a parallel solution of the Richards equation / Herbst, Michael ; Gottschalk, Swen ; Reißel, Martin ; Hardelauf, Horst ; Kasteel, Roy ; Javaux, Matthieu ; Vanderborght, Jan ; Vereecken, Harry JF - Computers & Geosciences. 34 (2008), H. 12 Y1 - 2008 SN - 0098-3004 SP - 1958 EP - 1963 ER - TY - JOUR A1 - Reißel, Martin A1 - Lustfeld, H. A1 - Hirschfeld, J. A1 - Steffen, B. T1 - Uniqueness of magnetotomography for fuel cells and fuel cell stacks / Lustfeld, H. ; Hirschfeld, J. ; Reißel, M ; Steffen, B. JF - Journal of Physics A: Mathematical and Theoretical. 42 (2009), H. 495205 Y1 - 2009 SN - 0022-3689 SP - 9 S. ER - TY - JOUR A1 - Schuba, Marko A1 - Wrona, Konrad T1 - Electronic Commerce Transactions in a Wireless Environment / Schuba, Marko. ; Wrona, Konrad Y1 - 1999 N1 - IWTEC ´99 SP - 1 EP - 9 ER - TY - JOUR A1 - Schuba, Marko A1 - Haverkort, Boudewijn R. A1 - Schneider, Gaby T1 - Performance evaluation of multicast communication in packet-switched networks / Schuba, Marko ; Haverkort, Boudewijn R. ; Schneider, Gaby JF - Performance Evaluation. 39 (2000), H. 1-4 Y1 - 2000 SN - 0166-5316 N1 - http://dx.doi.org/10.1016/S0166-5316(99)00058-9 SP - 61 EP - 80 ER - TY - JOUR A1 - Schuba, Marko A1 - Wrona, Konrad T1 - Mobile Chip Electronic Commerce: Enabling Credit Card Payment for Mobile Devices / Schuba, Marko ; Wrona, Konrad Y1 - 2000 N1 - eBiz2000 Specialist Conference @ CommunicAsia2000, Singapore, June 2000 SP - 1 EP - 6 ER - TY - JOUR A1 - Schuba, Marko A1 - Wrona, Konrad T1 - Security for Mobile Commerce Applications / Schuba, Marko ; Wrona, Konrad Y1 - 2001 N1 - Multimedia, Internet, Video Technologies 2001 (MIV 2001), Malta, September 1-6, 2001 ; WSEAS Conference ; World Scientific and Engineering Academy and Society SP - 1 EP - 8 ER - TY - JOUR A1 - Schuba, Marko A1 - Wrona, Konrad A1 - Zavagli, Guido T1 - Mobile Payments - State of the Art and Open Problems / Wrona, Konrad ; Schuba, Marko ; Zavagli, Guido JF - Electronic commerce : second international workshop ; proceedings / WELCOM 2001, Heidelberg, Germany, November 16-17, 2001. Ludger Fiege ... (ed.) Y1 - 2001 SN - 978-3-540-42878-7 N1 - Lecture Notes in Computer Science ; 2232 SP - 88 EP - 100 PB - Springer CY - Berlin ER - TY - JOUR A1 - Schuba, Marko A1 - Busboom, Axel A1 - Herwono, Ian A1 - Zavagli, Guido T1 - Unambiguous Device Identification and Fast Connection Setup in Bluetooth / Busboom, Axel ; Herwono, Ian ; Schuba, Marko ; Zavagli, Guido JF - European wireless 2002 : next generation wireless networks: technologies, protocols, services and applications ; technical sessions: 26 - 28 February 2002, tutorials: 25 February 2002, Centro Affari, Florence, Italy ; proceedings / sponsored by EUREL ... General chair: Luciano Lenzini Y1 - 2002 SP - 1 EP - 5 ER - TY - JOUR A1 - Claessens, J. A1 - Fuchsberger, A. A1 - Günther, C. A1 - Horn, G. A1 - Howker, K. A1 - Hulsebosch, R.J. A1 - Mitchell, C. A1 - Paterson, K. A1 - Preneel, B. A1 - Schellekens, D. A1 - Schuba, Marko T1 - Pioneering Advanced Mobile Privacy and Security Y1 - 2003 N1 - electronic proceedings of the 18th IFIP International Information Security Conference, Athens, Greece, May 2003 SP - 1 EP - 17 ER - TY - JOUR A1 - Hulsebosch, R. J. A1 - Günther, C. A1 - Horn, C. A1 - Holtmanns, S. A1 - Howker, K. A1 - Paterson, K. A1 - Claessens, J. A1 - Schuba, Marko ED - Mitchell, Chris J. T1 - Pioneering Advanced Mobile Privacy and Security JF - Security for mobility Y1 - 2004 SN - 9781849190886 U6 - https://doi.org/10.1049/PBTE051E_ch N1 - IEE telecommunications series ; 51 SP - 383 EP - 432 PB - Institution of Electrical Engineers CY - London ER - TY - JOUR A1 - Schuba, Marko A1 - Gerstenberger, Volker A1 - Lahaije, Paul T1 - Internet ID – Flexible Reuse of Mobile Phone Authentication Security for Service Access / Schuba, Marko ; Gerstenberger, Volker, ; Lahaije, Paul Y1 - 2004 N1 - Nordsec 2004, Helsinki ; Nordic Workshop on Secure IT-systems <9, 2004> SP - 1 EP - 7 ER - TY - JOUR A1 - Reißel, Martin A1 - Bitsch, G. A1 - Stamm, H. T1 - A Stern Door Slam Fatigue Calculation / Bitsch, G. ; Reißel, M. ; Stamm, H. JF - Proceedings of the 18. CAD-FEM Users Meeting Y1 - 2000 ER - TY - JOUR A1 - Reißel, Martin A1 - Bitsch, G. A1 - Mawick, G. A1 - Tokar, G. T1 - Transient FEM Simulation of a Door Closing Process and Application to Fatigue / Bitsch, G. ; Mawick, G. ; Reißel, M. ; Tokar, G. JF - Proceedings of the 20. CAD-FEM Users Meeting, 2002 Y1 - 2002 N1 - 2.11.10 SP - 1 EP - 8 ER -