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  - 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  - 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  - 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  - 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  -