Mitarbeiter bei FLP

Prof. Dr. Bernd Mahr

E-Mail:
mahr-at-ca.tu-berlin.de
Adresse:
Technische Universität Berlin,
Fakultät IV Sekretariat FR 6-10,
Franklinstr. 28/29,
D-10587 Berlin,
Germany
Telefon: (+49 30) 314 - 73540
Telefax: (+49 30) 314 - 73622
Sprechzeiten: nach Vereinbarung
Raum: Franklingebäude, FR6075

Publikationen

1. Erzeugung von Kongruenzen
Diplomarbeit, TU Berlin, 1974, 90 Seiten Ergebnisse dieser Arbeit sind veröffentlicht in G. Richter, Kategorielle Algebra, Akademie Verlag, Berlin 1979
2. Malerei als Sujet
In Daniel Buren, Voile Toile, zweisprachig: Deutsch-Englisch,10 Seiten, DAAD Berlin, 1975
3. Formale Sprachen
Lehrveranstaltungskript, FB 20, TU Berlin, 1975 (mit H. Ehrig, H.-J. Kreowski)
4. Complexity of Decision Problems: Notes of a summer course of Albert R.
Meyer, M.I.T. TU Berlin, FB 20, Bericht-Nr. 76-09, 1976, 67 Seiten (mit K. Fleischmann, D. Siefkes)  
5. Bounded Concatenation Theory as a Uniform Method for Proving Lower Complexity Bounds
Purdue University, CSD-TR 202, 1976, 22 Seiten und Logic Colloquium 76, Ed. R.O. Gandy and J.M.E. Hyland, North-Holland, Studies in Logic, Vol. 87, 1977, pp. 471-490 (mit K. Fleischmann, D. Siefkes)  
6. L-Systeme
Lehrveranstaltungskript, FB 20, TU Berlin, 1976 (mit H. Ehrig)  
7. Gründe, Techniken und Konsequenzen der Verallgemeinerung von Wege algorithmen
Appl. Comp. Sci. Bd. 1, Ed. U. Pape, Hanser, 1976, pp. 131-142 (mit J. Perl)  
8. Mathematik für Informatiker: Wahrscheinlichkeits- und Warteschlangen-theorie
Lehrveranstaltungsskript, FB 20, TU Berlin, 1977 (mit H. Ehrig)  
9. Algebraic Theory of Graphalgorithms
Proc. of 1st Workshop on Categorical and Algebraic Methods in Comp. Sci. and Syst. Theory, Haus Ahlenberg, 1976; Bericht 37 der Abteilung Informatik der Universität Dortmund, Ed. W. Merzenich, 977, 8 Seiten  
10. Algorithmentheorie
Lehrveranstaltungsskript, FB 20, TU Berlin, 1977 (mit K. Fleischmann, D. Siefkes)  
11. Über die Auffassung von Kunst als Sprache
unveröffentlichtes Vortragsmanuskript, Zürich, 1977, 13 Seiten  
12. Über objektives Verständnis von Malerei
Zeitschrift für Ästhetik und Allgemeine Kunstwissenschaft, Bd. 23/1, 1978, pp. 31-39  
13. Strategies and Arithmetic Complexitiy of Pathalgorithms
Appl. Comp. Sci. Bd. 8, Ed. J. Mühlbacher, Hanser, 1978, pp. 169-177  
14. Axiom Systems for Semirings (Abstract)
Proc. of 2nd Workshop on Categorical and Algebraic Methods in Comp. Sci. And Syst. Theory, Haus Ahlenberg, 1978, Bericht-Nr. 74 der Abteilung Informatik der Universität Dortmund, Ed. W. Merzenich, 1978, 3 Seiten  
15. Algebraische Komplexität des Allgemeinen Wegeproblems in Graphen
Dissertation, TU Berlin, FB 20, Bericht-Nr. 79-14, 1979, 133 Seiten  
16. Aspects of Graphrepresentation
Appl. Comp. Sci. Bd. 13, Ed. M. Nagl, H.J. Scheider, Hanser, 1979, pp. 307-323  
17. Relating Graph Isomorphism and Clique Problems
TU Berlin, FB 20, Bericht-Nr. 79-7, 1979, 21 Seiten (mit K.J. Förster)  
18. Isomorphism of Labelled Graphs
Discrete Structures and Algorithms, Ed. U. Pape, Hanser 1980, pp. 77-91 (mit K.J. Förster)  
19. A Birds-Eye View to Path Problems
TU Berlin, FB 20, Bericht-Nr. 80-19, 1980, 19 Seiten und Graphtheoretic Concepts in Computer Science, Ed. H. Noltemeier, Lect. Not. in Comp. Sci., 100, Springer, 1981, pp. 335-353  
20. Algebraic Complexitiy of Path Problems
TU Berlin, FB 20, Bericht-Nr. 80-34, 1980, 33 Seiten und RAIRO Theoretical Informatics, Vol 16 No 3, 1982, pp. 263-292  
21. Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems
TU Berlin, FB 20, Bericht-Nr. 80-04, 1980, 38 Seiten und in gekürzter Fassung in Proc. Conf. MFCS'80, Lect. Not. in Comp. Sci., Springer, 1980, pp. 231-245 (mit H. Ehrig, H.-J. Kreowski, P. Padawitz)  
22. Solvability and Complexity of Algebraic Implementation Problems
TU Berlin,FB 20, Bericht-Nr. 80-05, 1980, 39 Seiten (mit H. Ehrig)  
23. Complexity of Implementations: On the level of algebraic specifications,
Proc. ACM Symp. on Theory. of Computing STOC 1980, Los Angeles, 1980, pp. 281-293 (mit H. Ehrig)  
24. Complexity of Algebraic Implementations for Abstract Data Types
TU Berlin, FB 20, Bericht-Nr. 80-33, 1980, 64 Seiten und in überarbeiteter Fassung Journal of Computer and System Sciences (JCSS), Vol. 23, No. 2, 1981, pp. 223-253 (mit H. Ehrig)  
25. Complexity of Algebraic Implementations for Abstract Data Types: A Summary
In Proc. of 3rd Workshop on Categorical and Algebraic Methods in Comp. Sci. and Syst. Theory, Haus Ahlenberg, 1980, Ed. G. Dittrich, W. Merzenich, 1980,  
26. Algebraic Implementation of Abstract Data Types TU Berlin, FB 20, Bericht-Nr. 80-32, 1980, 73 Seiten und Theoretical Computer Science (TCS), Vol. 20 No. 3, Fundamental Studies, July 1982, pp. 209-264 (mit H. Ehrig, H.-J. Kreowski, P. Padawitz)  
27. Some Examples of Algebraic Specifications and Implementations, Part 2: Specification of Arithmetic, Equality and Ordering on Numbers,
TU Berlin, FB 20, Bericht-Nr. 81-01, 1981, 17 Seiten  
28. Relating Uniform and Nonuniform Models of Computation
Proc. GI-11. Jahrestagung, Springer Informatik Fachberichte 50, 1981, pp. 41-48 (mit D. Siefkes)  
29. Graph Grammars as a Tool for Description in Computer Processed Control: A Case Study
In Proc. of the Workshop on Graphtheoretic Concepts in Computer Science, WG'82, Hanser, 1982, pp. 165-176 (mit A. Wilharm)  
30. Theorie der effizienten Lösbarkeit von Problemen
Lehrveranstaltungsskript, FB 20, TU Berlin, 1982 (mit C. Lautemann)  
31. Random Oracle Machines and the Problem of Implementing Probabilistic Algorithms on Probabilistic Turing Machines
unveröffentlicht, Oktober 82 (mit C. Lautemann)  
32. Semirings and Transitive Closure
TU Berlin, FB 20, Bericht-Nr. 82-05, 1982, 84 Seiten  
33. Characterizing Specification Languages which Admit Initial Semantics,
Technion, Haifa, Israel, Technical-Report No. 232, 1982, 15 Seiten und Proc. of the 8th Colloquium on Trees in Algebra and Programming (CAAP), L'Aquila (Italy), Lect. Not. Comp. Sci. 159, Springer, 1983 (mit J.A. Makowsky)  
34. An Axiomatic Approach to Semantics of Specification Languages
Proc. of the 6th GI-Conference on Theoretical Computer Science, Dortmund 1983, Lect. Not. in Comp. Sci. 145, Springer, 1983, pp. 211-219 (mit J.A. Makowsky)  
35. Reliability of Probabilistic Algorithms and Their Implementation
Penn State University, CS-83-06, 1983, 15 Seiten und Proc. of the Workshop on Graphtheoretic Concepts in Computer Science, WG'84, Trauner Verlag, 1984, pp. 215-223 (mit C. Lautemann)  
36. Mathematische Grundlagen der Informatik: Mengenlehre und Formale Sprachen
Lehrveranstaltungsskript, FB 20, TU Berlin, 1983  
37. Recursive Definition and Complexity of Functions over Arbitrary Data Structures
Proc. of the 2nd Frege-Conference 1984, Jena, Akademie-Verlag, 1984. pp. 303-308 (mit J.R. Büchi, D. Siefkes)  
38. Manual on REC: A Language for Use and Cost Analysis of Recursion over Arbitrary Data Structures
TU Berlin, FB 20, Bericht-Nr. 84-06, 1984, 79 Seiten (mit J.R. Büchi, D. Siefkes)  
39. DONALD: A Single Assignment Language for Nonsequential Algorithms over Arbitrary Data Structures
TU Berlin, FB 20, Bericht-Nr. 84-07, 1984, 65 Seiten (mit F. Nürnberg)  
40. Charakterising Specification Languages which Admit Initial Semantics, Theoretical Computer Science (TCS),
Vol 31, 1984, pp. 49-59 (mit J.A. Makowsky)  
41. Iteration and Summability in Semirings
In: Algebraic Structures in Operations Research, Ed. R. Burkard, R. Cuninghame-Green, U. Zimmermann; Annals of Discrete Mathematics 19, North-Holland, 1984, pp. 229-256  
42. Die Herrschaft der Gebrauchsanweisung
Kursbuch 75 zum Thema Computerkultur, März 1984, pp. 89-107  
43. Die Theorie der Automaten: Kommentar zu einem Text von John von Neumann
Freibeuter 21, Verlag Klaus Wagenbach, September 1984, pp. 99-106  
44. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
EATCS Monographs on Theoretical Computer Science Vol 6, Springer-Verlag, 1985, 321 Seiten (mit H, Ehrig)  
45. A Note on the Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets
Universität des Saarlandes, FB Informatik, Tech. Report A 58/1, 1985 (mit J. Loeckx)  
46. LEGO, LOGO und die Aufklärung
Kursbuch 80 zum Thema Begabung und Erziehung, Mai 1985, pp. 103-117  
47. Die Illusion der Ohnmacht
Kursbuch 82, Exkurs zu einer Resolution der ACM, November 1985, pp. 192-196  
48. Thesen zur wissenschaftlichen Zusammenarbeit
Tagungsbericht des 1. Kongresses griechischer Wissenschaftler in der Bundesrepublik Deutschland und West-Berlin, Frankfurt, Januar 1986, Hrsg.: Verband Griechischer Gemeinden in der Bundesrepublik und West-Berlin e.V. 1986, zweisprachig: Deutsch-Griechisch. p. 91  
49. Poker-Phase oder die Unberechenbarkeit einer Vision
Kursbuch 83 zum Thema Krieg und Frieden- Streit um SDI, März 1986, pp. 27-47  
50. Gedanken zu Programmiersprachen und die Programmiersprache DONALD
In: Neue Konzepte von Programmiersprachen, Ed. J. Perl, Informatik-Bericht Nr. 1/86, Universität Mainz, 1986, 24 Seiten (mit Ch. Meierarend)  
51. A Remark on the Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets
EATCS-Bulletin, No 30, Oktober 1986, pp. 61-66 (mit H. Ehrig, J. Loeckx)  
52. Fachbereich 'Informatik' der TU Berlin
TU intern, November 1987, pp. 2-3 und TU intern (Sonderausgabe, Fachbereiche 1989), pp. 41-42  
53. Informatik und Verantwortung
Proc. GI-18. Jahrestagung I, Springer Informatik-Fachberichte 188, 1988, pp. 691-702 und in verschiedenen Journalen und Sammelbänden, in mehreren fremdsprachigen Übersetzungen (mit dem Arbeitskreis 8.3.3 der GI 'Grenzen eines verantwortbaren Einsatzes von Informationstechnik')  
54. An Algebraic View of Database Programming Languages
unveröffentlicht, Los Angeles, August 1988, 11 Seiten (mit D. Jacobs)  
55. Empty Carriers: The Categorical Burden on Logic
In: Categorical Methods in Computer Science with Aspects from Topology Eds.: H. Ehrig, M. Herrlich, H.J. Kreowski, G. Preuß, Lect. Not. in Comp. Sci. 393, Springer, 1989, pp. 50-65  
56. Der saubere Weg: Ethik und Verantwortung in der Informationstechnik,
unveröffentlicht, Berlin, Mai 1989, 6 Seiten  
57. Remarks on the Question: What is a Sort
In Sorts and Types for Artificial Intelligence, Eds.: K.H. Bläsius,U. Hedtstück, C.-R. Rollinger, Lect. Not. in Art. Int., Springer, 1990  
58. Functor-Argument Structures for the Meaning of Natural Language Sentences and their Formal Interpretation
Proc. of the Workshop 'GPSG and Semantics', Berlin, Februar 1989, Eds.; St. Busemann, Ch. Hauenschild, C. Umbach, TU Berlin, FB 20, KIT Report 74, 1989, pp. 113-132 und in überarbeiteter Fassung: In Sorts and Types for Artificial Intelligence, Eds.: K.H. Bläsius, U. Hedtstück, C.-R. Rollinger, Lect. Not. in Art. Int., Springer, 1990 (mit C. Umbach)  
59. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
EATCS Monographs on Theoretical Computer Science,Vol 21, Springer-Verlag, 427 Seiten (mit H. Ehrig)  
60. Integration und Kommunikation von Patientenbefunddaten am Deutschen Herzzentrum Berlin
In Einsatz der EDV im Gesundheitswesen, Hrsg. H. Meyer, A. Bedürftig, Überreuter Wissenschaftsverlag, 1989 (mit E. Fleck, H. Hansen, H. Oswald)  
61. Integration and Communication of Patient Medical Evidence Data at the Berlin German Heart Centre
unveröffentlicht, April 1989, 5 Seiten (mit E. Fleck)  
62. Die Objektmaschine
Interner Arbeitsbericht, PMI (Projektgruppe Medizin Informatik am Deutschen Herzzentrum Berlin und an der TU Berlin), Juni 1989, 31 Seiten (mit H. Hansen, R. Kutsche)  
63. Stupo 90 - Eine neue Berliner Informatik für die neunziger Jahre,
Abschlußbericht der Studien- und Prüfungsordnungskommission des Fachbereich 20, Juli 1989 (mit D. Friedrich, R.G. Herrtwich, M. Löwe, P. Pepper)  
64. Informatik - Wachstumsstörungen eines Wunderkinds
Kursbuch 97 zum Thema Universitäten 1989, pp. 55-70  
65. Chaos-Connection - Einwände eines Informatikers
Kursbuch 98 zum Thema Chaostheorie, November 1989, pp. 83-99  
66. Anforderungen an computergestützte Arbeitsplätze
Interner Arbeitsbericht, PMI (Projektgruppe Medizin Informatik am Deutschen Herzzentrum Berlin und an der TU Berlin), Dezember 1989, 15 Seiten (mit E. Fleck, H. Hansen, H. Oswald)  
67. Modeling of Documents in an Algebraic Database Programming Language: Specification and Datamodel of a Meaningful Subsample of Medical and Patient Related Data
Interner Arbeitsbericht, PMI (Projektgruppe Medizin Informatik am Deutschen Herzzentrum Berlin und an der TU Berlin), März 1990, 53 Seiten (mit Ch. Strzyz)  
68. TELEMEDICINE: Application of Telecommunication for Health Care
'Short Paper' der Telemedicine working group, Brüssel (AIM-Projekt), März 1990, 14 Seiten (mit der Telemedicine working group, AIM-Project)  
69. Advanced Informatics in Medicine (Telemedicine: Application of Telecommunication for Health Care)
CEC, Directorate RACE, Juli 1990, 99 Seiten (mit der Telemedicine working group, AIM-Project)  
70. Integration and Communication of Clinical Patient Data: PADKOM - an Object Based Approach Towards Distributed Multemedia Documents
Proc. FAW-IEEE Workshop, September 1990, Report B-90032, FAW Ulm 1990 (mit R.-D. Kutsche)  
71. Fundamentals of a Theory of Types and Declarations
KIT-Report 92, TU Berlin, September 1990, 30 Seiten (mit W. Sträter, C. Umbach)  
72. Distributed Document and Knowledge Representation for Integration and Communication of Medical Patient Data
Proc. of the First workshop on Artificial Intelligence, Shanghai Jiao-Tong Universtity, October 1990  
73. A Uniform Approach to Typing and Polymorphism as a Design Tool,
Proc. of the First workshop on Artificial Intelligence, Shanghai Jiao-Tong University,   October 1990  
74. Das PADKOM-Projekt - Patientendaten Kommunikation
In:  H. Ricke, J. Kanzow (eds.): BERKOM - Breitbandkommunikation im Glasfasernetz, R.v. Decker`s Verlag, G. Schenk, Heidelberg, 1991, pp. 92 - 104 (mit E. Fleck, H. Hansen, B. Oswald)  
75. Abschlußbericht des Berliner Projekts der EUROTRA-D-Begleitforschung "Transfer und Generierung auf satzsemantischer Basis"
KIT-Report Nr. 88, TU Berlin, Juni 1991, 41 Seiten (mit Projektmitarbeitern des Projektes KIT-FAST)  
76. Î-Structures as Semantic Models
unveröffentlicht, Berlin, September 1991, (mit W. Sträter, C. Umbach)  
77. Spezifikation verteilter Systeme und asynchron operationale Semantik
Abschlußbericht des DAO-Projektes, TU Berlin, September 1991 (mit H. Ehrig, M. Baldamus, C. Dimitrovici, R. Glas, A. Knoche)  
78. Integration und Kommunikation medizinischer Patientendaten
Forschung Aktuell, Nr. 33-35, Jahrgang 8, TU Berlin, pp. 14 - 19, 1991 (mit E. Fleck, H. Hansen, H. Oswald)  
79. Systementwicklung für die Integration und Kommunikation von Patientendaten und -dokumenten
In  Projektberichte der GI-Konferenz `91, Darmstadt, 1991  
80. Integration and communication of medical patient data
Medica Mundi 37, Nr. 1, 10-20, 1992  
81. Information Management in der Medizin: Integration, Kommunikation und Schutz verteilter medizinischer Daten und Dokumente
In Neue Techniken und Konzepte der Diagnoseunterstützung bei Herz- Kreislauferkrankungen, Blackwell Wissenschaft, Ed. E. Fleck, H. Oswald, Berlin 1992 (mit E. Fleck)  
82. Integration von Techniken und Information: Diagnoseunterstützung zum Nutzen des Patienten
In ebenda (siehe 81) (mit E. Fleck, H. Hansen, H. Oswald)  
83. Informatikausbildung in Berlin
In Forschungsmarkt Berlin, TU Berlin, 1992  
84. Verantwortung in der Informationstechnik,
In Sichtweisen der Informatik, Ed. Wolfgang Coy et al., 355 -360, Vieweg, 1992    
85. Introduction to Algebraic Specification. Part 1: Formal Methods for Software-Development
eingeladener Journal-Beitrag: BCS Special Issue on Formal Methods, 1992 (mit H. Ehrig, I. Claßen und F. Orejas)  
86. Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications
eingeladener Journal-Beitrag: BCS Special Issue on Formal Methods, 1992 (mit H. Ehrig, und F. Orejas)  
87. Integration und Kommunikation von Patientendaten und -dokumenten - Digitale Archivierung von Bild- und Textdaten
In Traumatologie aktuell, Band 7, "Dokumentation und Archivierung im Krankenhaus", Georg Thieme Verlag, Stuttgart, 1992 (mit H. Oswald, E. Fleck, H. Hansen)  
88. Applications of Type Theory
invited lecture, in Proceedings 4th Int. Conf. on Theory and Practice of Software Engineering (TAPSOFT’93), Hg.: M.C. Gaudel, J.P. Jouannaud, Springer LNCS, Paris 1993, pp. 343-355  
89. Multi-user Applications for Cooperative Work in Cardiology and Radiology,
Proceedings of the Int. Symposium CAR`93, Hg.: H.U. Lemke, K. Inamura, C.C. Jasse, R. Felix, Springer, Berlin 1993, pp. 37-42 (mit L. Kleinholz, M. Ohly, J. Steffens, R. Felix, E. Fleck)  
90. Architecture and Functionality of a Medical Desktop Conferencing System,
Proc. of EuroPACS, Rennes, September 1993 (mit L. Kleinholz, M. Ohly, R. Felix, E. Fleck)  
91. State of the Art in Telemedicine - The Berlin Experience,
Journal of Europ. Radiol., Springer 1993 (mit R. Felix, L. Kleinholz, M. Ohly, D. Lutzebäck, K.-H. Vöge, N. Hosten, W. Zendel)  
92. Computer Conferencing Support for Cooperative Radiology,
Proc. of Rediological Society of North America, Chicago, November 1993 (mit L. Kleinholz, M. Ohly, N. Hosten, R. Felix, E. Fleck)  
93. Coordination and Logic Programming
In Informatik - Wirtschaft - Gesellschaft, Hg.: H. Reichel (TU Dresden), Springer 1993, pp. 545-550 (mit Robert Tolksdorf)  
94. Open Distributed Processing, II IFIP Transaction C-20,
Proceedings of ICODP`93, Elsevier North-Holland, 1994 (Herausgegeben mit J. De Meer und S. Storp)  
95. An ODP-Oriented Framework for European Services in Telemedicine
zus. mit Dirk Lutzebäck, Gavin Venters, Howard Williams; in: Open Distributed Processing, II (IFIP Transactions C-20) Proceedings of ICODP`93, a.a.O, pp. 15-33  
96. Kommunikation und Integration medizinischer Dokumente für Telekonferenz-Anwendungen - Ein Ergebnis aus dem Projekt BERMED,
RöFo (10), Oktober 1994 ( mit R. Felix, L. Kleinholz, H. Oswald, M. Ohly, N. Hosten, K.-H. Vöge, E. Köttgen, E. Fleck)  
97. The Integration of Distributed Digital Patient Records for Multimedia Applications - Remote Access to Radiology and Cardiology Data in the BERMED project,
Abstract for EuroPACS’94, 12th International EuroPACS Meeting, Geneva, September 22-24, 1994 (mit M. Ohly, L. Kleinholz, R. Felix, E. Fleck)  
98. Principles of Open Distributed Processing in Medicine - The Berlin  Approach
In Open Distributed Processing in Medicine, Hg.: E. Fleck, H. Oswald, IOS Press, 1994.  
99. Building Distributed Medical Applications with the Object Management System HDMS,
poster, INCIS, Mainz, 1994 (mit L. Kleinholz, R. Petersen, M. Ohly, E. Fleck)  
100. The Role of Open Standards for Integration of Patient Data and Distributed Applications in Medicine,
Proc. of INCIS, Mainz, 1994 (mit L. Kleinholz, E. Fleck, R. Petersen)  
101. Integration of Medical Multimedia Patient Data from Heterogeneous Sources Applying an Object-Oriented Approach,
Proc. of INCIS, Mainz 1994 (mit E. Fleck, R. Petersen, L. Kleinholz)  
102. Broadband Telemedicine Applications: Experiences and Results of the ARUBA Project,
Proc. of EUROPTO/SPIE, 1995 (mit L. Kleinholz, M. Ohly, J. Steffens, R. Simon, R. Felix, E. Fleck)  
103 The Complete Virtual Patient Record - the Basis for Information Sharing for Telemedicine Applications in the BERMED project
Abstract for ECR’95, (mit L. Kleinholz, M. Ohly, R. Felix, E. Fleck)  
104. Digitale Archivierung von Bild- und Textdaten
In Traumatologie aktuell, Band 7, Dokumentation und Archivierung im Krankenhaus. Hrsg.: S. Weller, G. Hierholzer, G. Thieme Verlag 1992, S. 131 (mit H. Oswald, E. Fleck, H. Hansen)  
105. Multi-User Applications for Cooperative Work in Cardiology and Radiology
In Computer Assisted Radiology, Proc. of the International Symposium, eds. Lemke, Inamura, Jaffe, Felix, Springer-Verlag 1993  
106. The Development and Evaluation of a Framework for Telemedicine Services,
European Journal of Health Care Informatics, 1994, (mit H. Williams, D. Sotiriou, G. Venters, D. Lutzebäck, M. Gerneth, K. Boddy)  
107. Verarbeitung und Kontext
unveröffentlichtes Manuskript, TU Berlin, 18 Seiten, Mai 1994  
108. Projektinitiative Medizin-Informatik: Entwicklung eines elektronischen Systems zur Übermittlung von Patientendaten am Deutschen Herzzentrum Berlin, am UK Rudolf Virchow sowie an der TU Berlin
Münchener MedizinischeWochenschrift (36), September 1994, S. 42 - 46, (mit E. Fleck)  
109. A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development
Forschungsberichte des Fachbereichs Informatik der TU Berlin, Bericht Nr. 95-1, März 1995 (mit H. Ehrig)  
110. Broadband Telemedicine Applications: Experiences and Results of the ARUBA Project
Proceedings of European Symposium on Advanced Networks and Services, Amsterdam, 20-24 March, 1995(mit S. Fuchs, L. Kleinholz, M. Ohly, R. Simon, J. Steffens, R. Felix, E. Fleck)  
111. Softwaretechnik in der Informatik und in medizinischen Anwendungen,
Beitrag im „Kleines Lexikon der Informatik“ S. 348 - 351, Hrsg. Miklós Géza Zilahi-Szabó, Oldenbourg Verlag, München, 1995,  
112. Im Gleichschritt zum Erfolg In DUZ Special,
Beilage zur Deutschen Universitätszeitung, März 1995, S. 14-16  
113. Die Benutzergeneration oder Der Bruch mit der Theorie,
Kursbuch Heft 121, zum Thema Generationenbruch, September 1995  
114. A Framework for European Services in Telemedicine - An Essential Guide for Establishing Telemedicine Services
KIT-Report Nr. 123, TU Berlin, Dezember 1995, ca.1000 Seiten (mit Marlene Gerneth, Horst Hansen, Christine Seidel, Gavin Venters, Howard Williams)  
115. Für eine Reform der Studienreform
Artikel für den Tagesspiegel im Rahmen der Veranstaltung „50 Jahre TU Berlin“, April 1996  
116. Kognitionswissenschaft an der Technischen Universität Berlin
Ringvorlesung im Wintersemester 1995/96, KIT-Report Nr. 135, TU Berlin, September 1996 (herausgegeben mit Klaus Eyferth, Roland Posner, Fritz Wysotzki, Ute Schmid)  
117. Future Trends of TAPSOFT
Proceedings of TAPSOFT ‘97, Lille, Springer CNCS, April 1997 (mit H. Ehrig)  
118. Die Menschwerdung der Maschine,
Kursbuch, Heft 128, zum Thema „Lebensfragen“, Juni 1997 und in leicht überarbeiteter Form in Die Erfindung des Menschen: Schöpfungsträume und Körperbilder 1500 bis 2000, ed.: R. van Dülmen, Böhlau-Verlag, Wien, 1998  
119. Prinzipien der Kontextualisierung
KIT-Report 141, 1997 (herausgegeben mit K. Eyferth, R. Posner, F. Wysotzki)  
120. Gegenstand und Kontext: Eine Theorie der Auffassung
In Prinzipien der Kontextualisierung, 1997, a.a.O.  
121. Mathematisch strukturelle Grundlagen der Informatik
Springer-Verlag, 1998, (mit H. Ehrig, F. Cornelius, M. Grosse-Rohde, P. Zeitz)  
122. Die Verwaltung von Turings Erbe
unveröffentlichtes Vortragsmanuskript, 21 Seiten, Berlin, 8. Mai 1999  
123. Kontextualisierung als Mittel der Komplexitätsreduktion
Konferenz zum 7. Kongress der Deutschen Gesellschaft für Semiotik (DGS) in Dresden (Oktober 1999), Hrsg. IASS-AIS, Wien  
124. Die Technische Universität und die Informations- und Kommunikationstechnik in Berlin
In: 1799-1999, von der Bauakademie zur Technischen Universität Berlin, Ernst & Sohn-Verlag, August 1999  
125. Commentary to Donald MacKenzies’s „A View from the Sonnenbichl: On the Historical Sociology of Software and System Dependability“,
History of Computing: Software Issues, Eds: U. Hashagen,R. Keil-Slawik, A. Norberg, ICHC 2000, Springer, 2002      
126. Väter unter den Talaren
Kursbuch, Heft 140 zum Thema „Die Väter“, Juni 2000  
127. StuPo 2000
Studien- und Prüfungsordnung für den Studiengang Informatik, TU Berlin, 2000  
128. Modellbildung in den Wissenschaften und ihre praktische Anwendung
Bericht zu einem fächerübergreifenden Workshop des "Treffpunkt der Wissenschaften", TU Berlin, 2001  (herausgegeben mit H. Nowacki, P. Pepper, G. Spur)       
129. Logische Grundlagen der Modellbildung
In Mahr, Nowacki, Pepper, Spur (Hrsg.): „Modellbildung in den Wissenschaften und ihre praktische Anwendung“, a.a.O., 2001      
130. Die Borniertheit des Messens
Kursbuch, Heft 145 zum Thema „Der laufende Schwachsinn“, September 2001  
131. Die Entwicklung zwischen Fiktion und Realität: Zukunft der Künstlichen Intelligenz
Forschung aktuell (Mensch und Maschine), Pressestelle der TU-Berlin, September 2001  
132. Mathematisch strukturelle Grundlagen der Informatik,
2. Auflage Springer, 2001, (zus. mit H. Ehrig, F. Cornelius, M. Grosse-Rohde, P. Zeitz)  
133. Studienort Deutschland – Phasen des Studiums ausländischer Studierender
ZIIK-Report Nr. 1, Dezember 2001 (mit Nazir Peroz)  
134. Kontextauswertung
Abschlussbericht des Projektes KIT-VM11, KIT-Report Nr. 143, April 2001 (mit M. Stede und den Projektmitarbeitern)  
135. Die Negation des Alterns
Kursbuch, Heft 151 zum Thema „Das Altern“, März 2003  
136. Modellieren. Beobachtungen und Gedanken zur Geschichte des Modellbegriffs
in: H. Bredekamp, S. Krämer (Hg.): Bild Schrift Zahl, Fink–Verlag, 2003  
137. Das Mögliche im Modell und die Vermeidung der Fiktion
in: Th. Macho und A. Wunschel (Hg.): science & fiction, S.Fischer, 2004  
138. Strategic Plan for the Development of Higher Education in Afghanistan
überreicht an den Minister für Höhere Bildung in Afghanistan, Dr. Fayez und die Rektoren der Universitäten in Afghanistan, deutsch und englisch, März 2003           
139. Das Wissen im Modell
KIT-Report Nr. 150, TU Berlin, Dezember 2004  
140. Epsilon-T-Integration of Logics
in: H.-J. Kreowski et al. (Eds.): Formal Methods in Software and Systems Modeling, Springer, 2005, (zusammen mit Sebastian Bab)  
141. Anordnung und ästhetisches Profil. Die Herausbildung einer universellen Kulturtechnik in der Frühgeschichte der Schrift
in: Bildwelten des Wissens, Themenheft „Diagramme und bildtextile Ordnungen“, Kunsthistorisches Jahrbuch für Bildkritik. Band 3,1, Akademie Verlag, 2005, (zusammen mit Eva Cancik-Kirschbaum)  
142. Reference Points for the Observation of Systems Behaviour
to appear in: G. Hommel und Sheng H. (Hg.), Springer, 2005 (zusammen mit Sebastian Bab)  
143. Was ist ein Modell?
Vortrag, Ringvorlesung SS05: Der Modellbegriff in Natur- und Ingenieurwissenschaften”, Graduiertenkolleg “Stochastsche Modellierung und quantitative Analyse großer Systeme in den Ingenieurwissenschaften”, TU Berlin, 2005  
144. Stil und Modell
Vortrag, 11. Internationaler Kongress der Deutschen Gesellschaft für Semiotik: Stil als Zeichen, Abteilung „Stile des Wissens“, Frankfurt/Oder, 2005  
145. Was ist Wahl?
to appear im Kursbuch, ZEIT Verlag, 2005

/ma/mahr.html letzte Änderung: 6.9.2006, letzer Aufruf: 7.11.2009 (3001)