Veröffentlichungen von Stefan Leye

accepted

• Mazemondet O, John M, Leye S, Rolfs A & Uhrmacher A (accepted): Elucidating the sources of β-catenin dynamics in human neural progenitor cells. PLOS-One.

2010 (to appear)

• Leye S, Mazemondet O & Uhrmacher A (2010 (to appear)): Parallel analysis with FAMVal to speed up simulation-based model checking. 4th European Modelling Symposium on Mathematical Modelling and Computer Simulation.

2010

• Himmelspach J, Ewald R, Leye S & Uhrmacher AM (2010): Enhancing the Scalability of Simulations by Embracing Multiple Levels of Parallelization. Proceedings of the 2010 International Workshop on High Performance Computational Systems Biology, pp. 57-66, IEEE CPS.
• Ewald R, Himmelspach J, Jeschke M, Leye S & Uhrmacher AM (2010): Flexible Experimentation in the Modeling and Simulation Framework JAMES II – Implications for Computational Systems Biology. Briefings in Bioinformatics, 11(3):290-300.
• Leye S & Uhrmacher AM (2010): A Flexible and Extensible Architecture for Experimental Model Validation. 3rd International ICST Conference on Simulation Tools and Techniques, ICST, ICST/IEEE, Malaga, Spain.
• Haack F, Leye S & Uhrmacher AM (2010): A Flexible Architecture for modeling and simulation of diffusional association. EPTCS, Vol. 19, pp. 70 - 84.
• Leye S, John M & Uhrmacher AM (2010): A Flexible Architecture for Performance Experiments with the pi-Calculus and its Extensions. 3rd International ICST Conference on Simulation Tools and Techniques, ICST, ICST/IEEE, Malaga, Spain.

2009

• Ewald R, Himmelspach J, Jeschke M, Leye S & Uhrmacher AM (2009): Performance Issues in Evaluating Models and Designing Simulation Algorithms. International Workshop on High Performance Computational Systems Biology, 2009. HIBI '09., pp. 71-80, IEEE CPS.
• Ewald R, Leye S & Uhrmacher AM (2009): An Efficient and Adaptive Mechanism for Parallel Simulation Replication. Proceedings of the 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009), pp. 104-113, IEEE Conference Publishing Services.
• Leye S, Himmelspach J & Uhrmacher AM (2009): A discussion on experimental model validation. In: David Al-Dabass, Alessandra Orsoni, Adam Brentnall, Ajith Abraham, Richard Zobel (ed.): Proceedings of the 11th International Conference on Computer Modeling and Simulation, pp. 161-167, IEEE, IEEE Computer Society.

2008

• Leye S, Himmelspach J, Jeschke M, Ewald R & Uhrmacher AM (2008): A grid-inspired mechanism for coarse-grained experiment execution. In: David Roberts, Abdulmotaleb El Saddik, Alois Ferscha (ed.): Proceedings of the 12th IEEE International Symposium on Distributed Simulation and Real-Time Applications, pp. 7-16, IEEE Computer Society, IEEE Press.
• Leye S, Priami C & Uhrmacher AM (2008): A bounded-optimistic, parallel Beta-binders Simulator. In: David Roberts, Abdulmotaleb El Saddik and Alois Ferscha (ed.): Proceedings of the 12th IEEE International Symposium on Distributed Simulation and Real-Time Applications, pp. 139-148, IEEE Computer Society, IEEE Press.
• Uhrmacher AM, Himmelspach J, Jeschke M, John M, Leye S, Maus C, Röhl M & Ewald R (2008): One Modeling Formalism & Simulator is not enough! - A Perspective for Computational Biology Based on JAMES II. In: Jasmin Fisher (ed.): Proceedings of the 1st FMSB Workshop, pp. 123-138, Springer, Cambridge, UK. Lecture Notes of Computer Science, LNBI subseries.
• Leye S (2008): Grid-Inspired Simulation of Computationally Intensive Models. - Diplomarbeit, University of Rostock.

2007

• Leye S, Priami C & Uhrmacher AM (2007): A Parallel Beta-binders Simulator. - The Microsoft Research - University of Trento Centre for Computational and Systems Biology.
• Leye S, Priami C & Uhrmacher AM (2007): POp-BetaSim - A Parallel, Bounded Optimistic Simulator for Beta-binders. - Poster, Edinburgh, Computational Methods in Systems Biology.
• Leye S, Jeschke M & John M (2007): The SpacePi simulator. - Poster, Edinburgh, Computational Methods in systems Biology. - Best Poster Award!.