MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Bernd Mahr" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Congruence Proofs For Weak Bisimulation on Higher-order Processes: Results for Typed omega-order Calculi
by Des Fachbereichs Informatik, Prof Bernd Mahr, Thomas Frauenstein, Thomas Frauenstein, Michael Baldamus, Michael Baldamus, Rainer Glas, Rainer Glas — 1996
… Michael Baldamus Rainer Glas Report No. 96--19 May 1996 recommended for publication by: Prof. Bernd Mahr…
Add To MetaCart

I-centic User Interaction
by Der Technischen Universität Berlin, Doktor Der Ingenieurwissenschaften, Berichter Prof, Dr. Bernd Mahr, Stephan Steglich, Stephan Steglich — 2003
…. Bernd Mahr Tag der wissenschaftlichen Aussprache: 21. November 2003 Berlin 2003 D 83 I-centric User…
Cited by 1 (1 self) – Add To MetaCart

ii
by Von Diplom Informatiker, Alexander Bilke, Doktor Der Ingenieurwissenschaften, Berichter Prof, Dr. Bernd Mahr, Berichter Prof, Dr. Herbert Weber, Berichter Prof, Dr. Felix Naumann
…: Vorsitzende: Prof. Dr. Sabine Glesner Berichter: Prof. Dr. Bernd Mahr Berichter: Prof. Dr. Herbert Weber…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB