Franz Weber

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

Collaborative distances:

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

2022

Correction: A probabilistic model for the ultradian timing of REM sleep in mice.

Sung-Ho Park, Justin Baik, Jiso Hong, Hanna Antila, Benjamin Kurland, Shinjae Chung, Franz Weber

PLoS Comput. Biol., 2022

2021

A probabilistic model for the ultradian timing of REM sleep in mice.

Sung-Ho Park, Justin Baik, Jiso Hong, Hanna Antila, Benjamin Kurland, Shinjae Chung, Franz Weber

PLoS Comput. Biol., 2021

2014

Sensory Coding, Efficiency.

Franz Weber, Christian K. Machens

Proceedings of the Encyclopedia of Computational Neuroscience, 2014

2007

Correlation Patterns in Service-Oriented Architectures.

Alistair Barros, Gero Decker, Marlon Dumas, Franz Weber

Proceedings of the Fundamental Approaches to Software Engineering, 2007

1994

Theory and Practice of Minimal Modular Higher-Order E-Unification.

Olaf Müller, Franz Weber

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.

Franz Weber

PhD thesis, 1993

Demonstrating Coherent Design: A Data Structure Catalogue.

Andreas Rüping, Franz Weber, Walter Zimmer

Proceedings of the TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, 1993

1992

Towards a discipline of class composition.

Franz Weber

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).

Franz Weber

Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992