Search the dblp DataBase
Friedrich L. Bauer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Friedrich L. Bauer Programming as an Evolutionary Process. [Citation Graph (2, 0)][DBLP ] ICSE, 1976, pp:223-234 [Conf ] Friedrich L. Bauer , Bernhard Möller , Helmuth Partsch , Peter Pepper Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. [Citation Graph (1, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:2, pp:165-180 [Journal ] Friedrich L. Bauer Appendix: a philosophy of programming. [Citation Graph (0, 0)][DBLP ] Language Hierarchies and Interfaces, 1975, pp:194-241 [Conf ] Friedrich L. Bauer Software Engineering. [Citation Graph (0, 0)][DBLP ] Advanced Course: Software Engineering, 1972, pp:522-545 [Conf ] Friedrich L. Bauer Programming as an evolutionary process. [Citation Graph (0, 0)][DBLP ] Language Hierarchies and Interfaces, 1975, pp:153-182 [Conf ] Friedrich L. Bauer Historical Remarks on Compiler Construction. [Citation Graph (0, 0)][DBLP ] Compiler Construction, 1976, pp:603-621 [Conf ] Friedrich L. Bauer , Henry J. Bowlden , Paul Branquart , Ian F. Currie , Andrei P. Ershov , Cornelis H. A. Koster , B. J. Mailloux , Manfred Paul Panel Discussion - Implementation. [Citation Graph (0, 0)][DBLP ] ALGOL 68 Implementation, 1970, pp:321-343 [Conf ] Friedrich L. Bauer The Might of Formulas and Their Limits. [Citation Graph (0, 0)][DBLP ] Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:1-8 [Conf ] Friedrich L. Bauer Algorithms and algebra. [Citation Graph (0, 0)][DBLP ] Algorithms in Modern Mathematics and Computer Science, 1979, pp:421-429 [Conf ] Friedrich L. Bauer Cryptology - Methods and Maxims. [Citation Graph (0, 0)][DBLP ] EUROCRYPT, 1982, pp:31-48 [Conf ] Friedrich L. Bauer Design of a Programming Language for a Program Transformation System. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1978, pp:1-28 [Conf ] Friedrich L. Bauer From Specifications to Machine Code: Program Construction through Formal Reasoning. [Citation Graph (0, 0)][DBLP ] ICSE, 1982, pp:84-93 [Conf ] Friedrich L. Bauer Software Engineering. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1971, pp:530-538 [Conf ] Friedrich L. Bauer , Klaus Samelson The problem of a common language, especially for scientific numeral work. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1959, pp:120-124 [Conf ] Friedrich L. Bauer Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects. [Citation Graph (0, 0)][DBLP ] Program Construction, 1978, pp:237-272 [Conf ] Friedrich L. Bauer Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation. [Citation Graph (0, 0)][DBLP ] Program Construction, 1978, pp:406-420 [Conf ] Friedrich L. Bauer , Manfred Broy , Rupert Gnatz , Wolfgang Hesse , Bernd Krieg-Brückner , Helmuth Partsch , Peter Pepper , Hans Wössner Towards a Wide Spectrum Language to Support Program Specification and Program Development. [Citation Graph (0, 0)][DBLP ] Program Construction, 1978, pp:543-552 [Conf ] Friedrich L. Bauer , Manfred Broy , Helmuth Partsch , Peter Pepper , Hans Wössner Systematics of Transformation Rules. [Citation Graph (0, 0)][DBLP ] Program Construction, 1978, pp:273-289 [Conf ] Hans Wössner , Peter Pepper , Helmuth Partsch , Friedrich L. Bauer Special Transformation Techniques. [Citation Graph (0, 0)][DBLP ] Program Construction, 1978, pp:290-321 [Conf ] Friedrich L. Bauer , Manfred Broy , Rupert Gnatz , Wolfgang Hesse , Bernd Krieg-Brückner Towards a wide spectrum language to support program specification and program development. [Citation Graph (0, 0)][DBLP ] Fachtagung über Programmiersprachen, 1978, pp:73-85 [Conf ] Friedrich L. Bauer In Memoriam: Andrei Petrovich Ershov. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1989, v:27, n:3, pp:193-194 [Journal ] Friedrich L. Bauer , Manfred Broy Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2003, v:39, n:3, pp:141-142 [Journal ] Friedrich L. Bauer , Andrei P. Ershov , Manfred Paul , Alan J. Perlis Klaus Samelson. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:1-2 [Journal ] Friedrich L. Bauer , Martin Wirsing Crypt-Equivalent Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:25, n:2, pp:111-153 [Journal ] John W. Backus , Friedrich L. Bauer , Julien Green , C. Katz , John McCarthy , Alan J. Perlis , Heinz Rutishauser , Klaus Samelson , Bernard Vauquois , Joseph Henry Wegstein , Adriaan van Wijngaarden , Michael Woodger Report on the algorithmic language ALGOL 60. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1960, v:3, n:5, pp:299-314 [Journal ] John W. Backus , Friedrich L. Bauer , Julien Green , C. Katz , John McCarthy , Alan J. Perlis , Heinz Rutishauser , Klaus Samelson , Bernard Vauquois , Joseph Henry Wegstein , Adriaan van Wijngaarden , Michael Woodger , Peter Naur Revised report on the algorithm language ALGOL 60. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1963, v:6, n:1, pp:1-17 [Journal ] Friedrich L. Bauer Algorithm 60: Romberg integration. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1961, v:4, n:6, pp:255- [Journal ] Friedrich L. Bauer Algorithm 153: gomory. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1963, v:6, n:2, pp:68- [Journal ] Friedrich L. Bauer Reply to comments by P. A. Samet and P. J. Taylor. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1964, v:7, n:7, pp:447- [Journal ] Friedrich L. Bauer Positivity and Norms. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1975, v:18, n:1, pp:9-13 [Journal ] Friedrich L. Bauer , Josef Stoer Algorithm 105: Newton Maehly. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1962, v:5, n:7, pp:387-388 [Journal ] Friedrich L. Bauer , Hans Wössner The "Plankalkül" of Konrad Zuse: A Forerunner of Today's Programming Languages. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1972, v:15, n:7, pp:679-685 [Journal ] Jürgen Eickel , Manfred Paul , Friedrich L. Bauer , Klaus Samelson A syntax controlled generator of formal language processors. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1963, v:6, n:8, pp:451-455 [Journal ] Klaus Samelson , Friedrich L. Bauer Sequential Formula Translation. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1960, v:3, n:2, pp:76-83 [Journal ] Klaus Samelson , Friedrich L. Bauer Sequential Formula Translation (Reprint). [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1983, v:26, n:1, pp:9-13 [Journal ] Friedrich L. Bauer Punkt und Komma - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1996, v:19, n:2, pp:93-95 [Journal ] Friedrich L. Bauer Kryptologie und Blindenschrift - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1996, v:19, n:1, pp:35-36 [Journal ] Friedrich L. Bauer Zaubergemurmel - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1996, v:19, n:5, pp:268-270 [Journal ] Friedrich L. Bauer Konrad Zuse - Fakten und Legenden. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1996, v:19, n:6, pp:299-302 [Journal ] Friedrich L. Bauer Wer erfand den von-Neumann-Rechner? Historische Notizen. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1998, v:21, n:2, pp:84-89 [Journal ] Friedrich L. Bauer Marian Rejewski und die Alliierten im Angriff gegen die Enigma - Historische Notizen. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2000, v:23, n:5, pp:325-333 [Journal ] Friedrich L. Bauer Claude Elwood Shannon 1916-2001 - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2001, v:24, n:4, pp:228-229 [Journal ] Friedrich L. Bauer Konrad Zuse in Hopferau im Allgäu-Z4 und Plankalkül. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2003, v:26, n:5, pp:354-358 [Journal ] Friedrich L. Bauer QWERTZU. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2003, v:26, n:6, pp:423-425 [Journal ] Friedrich L. Bauer Magische Quadrate und magische Würfel - Historisch Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2004, v:27, n:1, pp:61-64 [Journal ] Friedrich L. Bauer Theodor Fromme: Ein fast vergessener Pionier. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2004, v:27, n:2, pp:181-185 [Journal ] Friedrich L. Bauer 3.14159...2.71828... [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2004, v:27, n:3, pp:276-280 [Journal ] Friedrich L. Bauer Sackgassen und Durchbrüche. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2004, v:27, n:4, pp:354-359 [Journal ] Friedrich L. Bauer War Hindenburg ein Feldherr? [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2004, v:27, n:5, pp:467-469 [Journal ] Friedrich L. Bauer De Moivre und Lagrange: Cosinus eines rationalen Vielfachen von p. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2005, v:28, n:2, pp:148-150 [Journal ] Friedrich L. Bauer Polygraphia Nova et Universalis. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2005, v:28, n:3, pp:234-239 [Journal ] Friedrich L. Bauer Lamberts Kettenbruch. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2005, v:28, n:4, pp:303-309 [Journal ] Friedrich L. Bauer Pythagoräische Tripel. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2005, v:28, n:5, pp:417-423 [Journal ] Friedrich L. Bauer Mathematik besiegte in Polen die unvernünftig gebrauchte ENIGMA Teil 1: Vorarbeiten in Polen Im Gedenken an Marian Rejewski (* 16. August 1905). [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2005, v:28, n:6, pp:493-497 [Journal ] Friedrich L. Bauer Mathematik besiegte in Polen die unvernünftig gebrauchte ENIGMA Teil 1: Vorarbeiten in Polen Im Gedenken an Marian Rejewski (* 16. August 1905). [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2006, v:29, n:1, pp:53-60 [Journal ] Friedrich L. Bauer Formulierung, Formalisierung und automatische Programmierung in den frühen Arbeiten Konrad Zuses. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1980, v:3, n:2, pp:114-119 [Journal ] Friedrich L. Bauer Kryptologie - Verfahren und Maximen. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1982, v:5, n:2, pp:74-81 [Journal ] Friedrich L. Bauer Helmut Schreyer - ein Pionier des "elektronischen" Rechnens. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1982, v:5, n:3, pp:185-188 [Journal ] Friedrich L. Bauer Das d'Hondtsche Verfahren. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1983, v:6, n:3, pp:165-167 [Journal ] Friedrich L. Bauer Warum abstrakte Datentypen? [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1985, v:8, n:1, pp:29-36 [Journal ] Friedrich L. Bauer Heinz Schecher. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1985, v:8, n:2, pp:97- [Journal ] Friedrich L. Bauer Heinz Nixdorf 1925-1986. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1986, v:9, n:2, pp:65-66 [Journal ] Friedrich L. Bauer Informatik und Informationstechnik - Ein Gegensatz? Editorial. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1988, v:11, n:5, pp:231-232 [Journal ] Friedrich L. Bauer Nachruf auf Andrei Petrovich Ershov. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1989, v:12, n:6, pp:311- [Journal ] Friedrich L. Bauer 100 Jahre Peano-Zahlen - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1989, v:12, n:6, pp:340-341 [Journal ] Friedrich L. Bauer Die Tragik des Jacques Herbrand - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1990, v:13, n:4, pp:216- [Journal ] Friedrich L. Bauer Scherbius und die ENIGMA - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1991, v:14, n:4, pp:211-214 [Journal ] Friedrich L. Bauer 400 Jahr Moderne Algebra - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1991, v:14, n:6, pp:343-344 [Journal ] Friedrich L. Bauer Wer baute den ersten volltransistorisierten Rechner? - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1992, v:15, n:1, pp:45-46 [Journal ] Friedrich L. Bauer Ries und Schickard - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1992, v:15, n:4, pp:225-228 [Journal ] Friedrich L. Bauer Damals: Die kleinste Rechenmaschine der Welt - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1993, v:16, n:1, pp:45-46 [Journal ] Friedrich L. Bauer Software Engineering - wie es begann. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1993, v:16, n:5, pp:259-260 [Journal ] Friedrich L. Bauer Multiplikation und Dualsystem - Historische Notiz. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1994, v:17, n:4, pp:245-250 [Journal ] Friedrich L. Bauer Zuse, Aiken und der einschrittige Übertrag - Historische Notizen. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1998, v:21, n:5, pp:279-281 [Journal ] Friedrich L. Bauer Der typographische Punkt - Historische Notizen. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1999, v:22, n:1, pp:41-42 [Journal ] Friedrich L. Bauer Intuitionismus und Informatik - Historische Notizen. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1999, v:22, n:4, pp:284-287 [Journal ] Friedrich L. Bauer , Manfred Broy , Helmuth Partsch , Peter Pepper Programmtransformationen - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1980, v:3, n:3, pp:192-193 [Journal ] Peter Pepper , Manfred Broy , Friedrich L. Bauer , Helmuth Partsch , Walter Dosch , Martin Wirsing Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1982, v:5, n:2, pp:107-119 [Journal ] Friedrich L. Bauer Seit Bombelli und Cataldi: Periodische Kettenbrüche. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2006, v:29, n:5, pp:357-363 [Journal ] Friedrich L. Bauer Frühe Zeugnisse der "software". [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2006, v:29, n:6, pp:433-441 [Journal ] Friedrich L. Bauer 'Simple Simon': ein früher elektromechanischer Computer. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2006, v:29, n:4, pp:296-299 [Journal ] Friedrich L. Bauer Fleissner-Raster und der Erzherzog. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2007, v:30, n:1, pp:36-38 [Journal ] Friedrich L. Bauer Was ist Programmtransformation? [Citation Graph (0, 0)][DBLP ] Elektronische Rechenanlagen, 1976, v:18, n:5, pp:229-233 [Journal ] Friedrich L. Bauer Dualismen in der Informatik. [Citation Graph (0, 0)][DBLP ] Elektronische Rechenanlagen, 1982, v:24, n:4, pp:151-157 [Journal ] Friedrich L. Bauer Der formelgesteuerte Computer "Stanislaus" - 1960. [Citation Graph (0, 0)][DBLP ] Elektronische Rechenanlagen, 1983, v:25, n:6, pp:36-38 [Journal ] Friedrich L. Bauer , Hans Wössner Zuses "Plankalkül", ein Vorläufer der Programmiersprachen - gesehen vom Jahre 1972. [Citation Graph (0, 0)][DBLP ] Elektronische Rechenanlagen, 1972, v:14, n:3, pp:111-118 [Journal ] Klaus Samelson , Friedrich L. Bauer Sequentielle Formelübersetzung. [Citation Graph (0, 0)][DBLP ] Elektronische Rechenanlagen, 1959, v:1, n:4, pp:176-182 [Journal ] Friedrich L. Bauer On Modern Matrix Iteration Processes of Bernoulli and Graeffe Type. [Citation Graph (0, 0)][DBLP ] J. ACM, 1958, v:5, n:3, pp:246-257 [Journal ] Manfred Broy , Friedrich L. Bauer A Systematic Approach to Language Constructs for Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1984, v:4, n:2, pp:103-139 [Journal ] Friedrich L. Bauer , Manfred Broy , Walter Dosch , Rupert Gnatz , Bernd Krieg-Brückner , Alfred Laut , M. Luckmann , T. Matzner , Bernhard Möller , Helmuth Partsch , Peter Pepper , Klaus Samelson , Ralf Steinbrüggen , Martin Wirsing , Hans Wössner Programming in a Wide Spectrum Language: A Collection of Examples. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1981, v:1, n:1-2, pp:73-114 [Journal ] Friedrich L. Bauer Trits and Trytes - Ein früher ternärer Computer in der Sowjetunion. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2007, v:30, n:4, pp:279-284 [Journal ] Friedrich L. Bauer Richard Hamming: Fehlerkorrigierende Codes. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 2007, v:30, n:2, pp:95-99 [Journal ] Syntaktische Struktur formaler und natürlicher Sprachen. [Citation Graph (, )][DBLP ] Search in 0.219secs, Finished in 0.223secs