Franz Weber

According to our database1, Franz Weber authored at least 7 papers between 1992 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Sensory Coding, Efficiency.
Proceedings of the Encyclopedia of Computational Neuroscience, 2014

2007
Correlation Patterns in Service-Oriented Architectures.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

1994
Theory and Practice of Minimal Modular Higher-Order E-Unification.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993
Softwareentwicklung mit Logik höherer Stufe: eine Anwendung von Theoriededuktion auf interaktives Beweisen.
PhD thesis, 1993

Towards a discipline of class composition.
OOPS Messenger, 1993

Demonstrating Coherent Design: A Data Structure Catalogue.
Proceedings of the TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, 1993

1992
Getting Class Correctness and System Correctness Equivalent (How to get covariance right).
Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992


  Loading...