@article{Fassbender1995, author = {Faßbender, Heinz}, title = {A verified implementation of narrowing}, series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, journal = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60359-X}, pages = {63 -- 80}, year = {1995}, language = {en} } @article{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, journal = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-61735-3}, pages = {194 -- 208}, year = {1996}, language = {en} } @article{FassbenderBuehler1999, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Applying Ada, Java and CORBA for making a command and control information system platform independent}, series = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, journal = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-127-5}, pages = {83 -- 88}, year = {1999}, language = {en} } @article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing}, series = {Acta Cybernetica. 11 (1994), H. 3}, journal = {Acta Cybernetica. 11 (1994), H. 3}, isbn = {0324-721x}, pages = {139 -- 167}, year = {1994}, language = {en} } @article{Zastrow1982, author = {Zastrow, Udo}, title = {Solution of plane anisotropic elastostatical boundary value problems by singular integral equations}, series = {Acta Mechanica. 44 (1982), H. 1-2}, journal = {Acta Mechanica. 44 (1982), H. 1-2}, isbn = {1619-6937}, pages = {59 -- 71}, year = {1982}, language = {en} } @article{Zastrow1985, author = {Zastrow, Udo}, title = {On the formulation of the fundamental solutions for orthotropic plane elasticity}, series = {Acta Mechanica. 57 (1985), H. 3-4}, journal = {Acta Mechanica. 57 (1985), H. 3-4}, isbn = {1619-6937}, pages = {113 -- 122}, year = {1985}, language = {en} } @book{FassbenderVoglerWedel1994, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {62 S.}, year = {1994}, language = {en} } @book{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification driven leftmost outermost narrowing}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {47 S. : graph. Darst.}, year = {1992}, language = {en} } @book{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions}, publisher = {TU, Fak. Informatik}, address = {Dresden}, pages = {27 S. : graph. Darst.}, year = {1996}, language = {en} } @book{FassbenderGladtzVogler1991, author = {Faßbender, Heinz and Gladtz, Katia and Vogler, Heiko}, title = {Compiler based implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {37 S.}, year = {1991}, language = {en} } @book{FassbenderVogler1990, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A call-by-need implementation of syntax directed functional programming}, publisher = {RWTH, Fachgruppe Informatik}, address = {Aachen}, pages = {44 S. : graph. Darst.}, year = {1990}, language = {en} } @article{SchubaWrona1999, author = {Schuba, Marko and Wrona, Konrad}, title = {Electronic Commerce Transactions in a Wireless Environment / Schuba, Marko. ; Wrona, Konrad}, pages = {1 -- 9}, year = {1999}, language = {en} } @article{SchubaHaverkortSchneider2000, author = {Schuba, Marko and Haverkort, Boudewijn R. and Schneider, Gaby}, title = {Performance evaluation of multicast communication in packet-switched networks / Schuba, Marko ; Haverkort, Boudewijn R. ; Schneider, Gaby}, series = {Performance Evaluation. 39 (2000), H. 1-4}, journal = {Performance Evaluation. 39 (2000), H. 1-4}, isbn = {0166-5316}, pages = {61 -- 80}, year = {2000}, language = {en} } @article{SchubaWrona2000, author = {Schuba, Marko and Wrona, Konrad}, title = {Mobile Chip Electronic Commerce: Enabling Credit Card Payment for Mobile Devices / Schuba, Marko ; Wrona, Konrad}, pages = {1 -- 6}, year = {2000}, language = {en} } @article{SchubaWrona2001, author = {Schuba, Marko and Wrona, Konrad}, title = {Security for Mobile Commerce Applications / Schuba, Marko ; Wrona, Konrad}, pages = {1 -- 8}, year = {2001}, language = {en} } @article{SchubaWronaZavagli2001, author = {Schuba, Marko and Wrona, Konrad and Zavagli, Guido}, title = {Mobile Payments - State of the Art and Open Problems / Wrona, Konrad ; Schuba, Marko ; Zavagli, Guido}, series = {Electronic commerce : second international workshop ; proceedings / WELCOM 2001, Heidelberg, Germany, November 16-17, 2001. Ludger Fiege ... (ed.)}, journal = {Electronic commerce : second international workshop ; proceedings / WELCOM 2001, Heidelberg, Germany, November 16-17, 2001. Ludger Fiege ... (ed.)}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-42878-7}, pages = {88 -- 100}, year = {2001}, language = {en} } @article{SchubaBusboomHerwonoetal.2002, author = {Schuba, Marko and Busboom, Axel and Herwono, Ian and Zavagli, Guido}, title = {Unambiguous Device Identification and Fast Connection Setup in Bluetooth / Busboom, Axel ; Herwono, Ian ; Schuba, Marko ; Zavagli, Guido}, series = {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}, journal = {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}, pages = {1 -- 5}, year = {2002}, language = {en} } @article{ClaessensFuchsbergerGuentheretal.2003, author = {Claessens, J. and Fuchsberger, A. and G{\"u}nther, C. and Horn, G. and Howker, K. and Hulsebosch, R.J. and Mitchell, C. and Paterson, K. and Preneel, B. and Schellekens, D. and Schuba, Marko}, title = {Pioneering Advanced Mobile Privacy and Security}, pages = {1 -- 17}, year = {2003}, language = {en} } @article{HulseboschGuentherHornetal.2004, author = {Hulsebosch, R. J. and G{\"u}nther, C. and Horn, C. and Holtmanns, S. and Howker, K. and Paterson, K. and Claessens, J. and Schuba, Marko}, title = {Pioneering Advanced Mobile Privacy and Security}, series = {Security for mobility}, journal = {Security for mobility}, editor = {Mitchell, Chris J.}, publisher = {Institution of Electrical Engineers}, address = {London}, isbn = {9781849190886}, doi = {10.1049/PBTE051E_ch}, pages = {383 -- 432}, year = {2004}, language = {en} } @article{SchubaGerstenbergerLahaije2004, author = {Schuba, Marko and Gerstenberger, Volker and Lahaije, Paul}, title = {Internet ID - Flexible Reuse of Mobile Phone Authentication Security for Service Access / Schuba, Marko ; Gerstenberger, Volker, ; Lahaije, Paul}, pages = {1 -- 7}, year = {2004}, language = {en} }