Neuro-mechanistische Modellierung

Seite 8 von 8.

1. Hauke Busch; Werner Sandmann; Verena Wolf

   A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion

   In: Corrado Priami (Hrsg.). Computational Methods in Systems Biology - International Conference, Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2006), October 18-19, Trento, Italy, Pages 298-311, Lecture Notes in Computer Science (LNCS), Vol. 4210, ISBN 9783540461678, Springer, Berlin, Heidelberg, 10/2006.

2. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

   Trace Semantics for Stochastic Systems with Nondeterminism

   In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 164, No. 3, Pages 187-204, Elsevier, Amsterdam, 10/2006.

3. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

   Trace Machines for Observing Continuous-Time Markov Chains

   In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 153, No. 2, Pages 259-277, Elsevier, Amsterdam, 5/2006.

4. Harald Fecher; Martin Leucker; Verena Wolf

   Don't Know in Probabilistic Systems

   In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.

5. Werner Sandmann; Verena Wolf

   A computational stochastic modeling formalism for biological networks

   In: Enformatika Transactions on Engineering, Computing and Technology, Vol. 14, Pages 132-137, 2006.

6. Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf

   Comparative branching-time semantics for Markov chains

   In: Information and Computation (Inform. Comput.), Vol. 200, No. 2, Pages 149-214, Elsevier, Amsterdam, 8/2005.

• vorherige
• 1
• …
• 6
• 7
• 8