Franz Lichtenberger

According to our database, Franz Lichtenberger authored at least 9 papers between 1979 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Making Formal Methods Popular: The Crux is Math Education!

Franz Lichtenberger

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

1986

An application of knowledge-base technology in education: a geometry theorem prover.

Mirsad Hadzikadic, Franz Lichtenberger, David Y. Y. Yun

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

1985

Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals.

Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek

ACM Trans. Math. Softw., 1985

Self-explanatory symbolic computation for math education.

Franz Lichtenberger

ACM Commun. Comput. Algebra, 1985

1983

A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation.

Franz Lichtenberger

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

Bibliography on Abstract Data Types, Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung"

B. Kutzler, Franz Lichtenberger

Informatik-Fachberichte 68, Springer, ISBN: 3-540-12312-1, 1983

1981

PL, ADT: ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL, I [eins].

Franz Lichtenberger

PhD thesis, 1981

1980

Mathematik für Informatiker I: Die Methode der Mathematik

Bruno Buchberger, Franz Lichtenberger

Informatik-Fachberichte 35, Springer, ISBN: 3-540-10417-8, 1980

1979

Computer trees: a concept for parallel processing.

Bruno Buchberger, J. Fegerl, Franz Lichtenberger

Microprocess. Microsystems, 1979