Franz Weber

Orcid: 0000-0002-4541-4907

According to our database1, Franz Weber authored at least 9 papers between 1992 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Correction: A probabilistic model for the ultradian timing of REM sleep in mice.
PLoS Comput. Biol., 2022

2021
A probabilistic model for the ultradian timing of REM sleep in mice.
PLoS Comput. Biol., 2021

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

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
Towards a discipline of class composition.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 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...