Items where Author is "Maus, Carsten"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 24.

Helms, Tobias and Warnke, Tom and Maus, Carsten and Uhrmacher, Adelinde M. (2017) Semantics and Efficient Simulation Algorithms of an Expressive Multi-Level Modeling Language. ACM Transactions on Modeling and Computer Simulation (TOMACS), 27 (2), 8:1-8:25. ISSN 1049-3301 (print) 1558-1195 (online).

Helms, Tobias and Maus, Carsten and Haack, Fiete and Uhrmacher, Adelinde M. (2014) Multi-level modeling and simulation of cell biological systems with ML-rules: a tutorial. In: Winter Simulation Conference (WSC 2014), 7-10 Dec 2014, Savannah, GA, USA. Proceedings, published by IEEE, Electronic ISSN: 1558-4305 Print ISSN: 0891-7736, pp. 177-191.

Maus, Carsten (2013) Toward Accessible Multilevel Modeling in Systems Biology. A Rule-based Language Concept. Logos Verlag Berlin. ISBN 978-3-8325-3516-2.

Nähring, Sebastian and Ewald, Roland and Uhrmacher, Adelinde M. and Maus, Carsten (2013) From standardized modeling formats to modeling languages and back - An exploration based on SBML and ML-Rules. In: Winter Simulations Conference (WSC 2013), 08-11 Dec 2013, Washington, D.C., USA. Proceedings, published by IEEE, Electronic ISSN: 1558-4305 Print ISSN: 0891-7736, pp. 1359-1370.

Maus, Carsten (2013) Toward Accessible Multilevel Modeling in Systems Biology. A Rule-based Language Concept. PhD thesis, Institute of Computer Science, University of Rostock.

Nähring, Sebastian and Maus, Carsten and Ewald, Roland and Uhrmacher, Adelinde M. (2012) Automated transformation between modeling languages with different expressiveness: challenges and results from a use case with SBML and ML-Rules. In: Winter Simulation Conference (WSC 2012), 09-12 Dec 2012, Berlin, Germany. Proceedings, published by IEEE, 371:1-371:2. Poster.

Luboschik, Martin and Maus, Carsten and Schulz, Hans-Jörg and Schumann, Heidrun and Uhrmacher, Adelinde M. (2012) Heterogeneity-based guidance for exploring multiscale data in systems biology. In: 2nd IEEE Symposium on Biological Data Visualization (BioVis 2012), 14-15 Oct 2012, Seattle, WA, USA. Proceedings, published by IEEE, pp. 33-40.

Helms, Tobias and Himmelspach, Jan and Maus, Carsten and Oliver, Röwer and Schützel, Johannes and Uhrmacher, Adelinde M. (2012) Toward a language for the flexible observation of simulations. In: Winter Simulation Conference (WSC 2012), 09-12 Dec 2012, Berlin, Germany. Proceedings, published by IEEE, Online ISSN: 0891-7736, 418:1-418:12.

Maus, Carsten and Rybacki, Stefan and Uhrmacher, Adelinde M. (2011) Rule-based multi-level modeling of cell biological systems. BMC Systems Biology, 5 (166), ISSN 1752-0509 (electronic version).

Bittig, Arne T. and Haack, Fiete and Maus, Carsten and Uhrmacher, Adelinde M. (2011) Adapting rule-based model descriptions for simulating in continuous and hybrid space. In: 9th International Conference on Computational Methods in Systems Biology (CMSB 2011), 21-23 Sep 2011, Paris, France. Proceedings, published by ACM, NewYork, USA, pp. 161-170.

Maus, Carsten and Rybacki, Stefan and Uhrmacher, Adelinde M. (2011) Formal Rule-based Multi-Level Modeling. In: 12th International Conference on Systems Biology (ICSB 2011), 28 Aug - 01 Sep, Heidelberg - Mannheim, Germany. Poster.

Maus, Carsten and John, Mathias and Rybacki, Stefan and Uhrmacher, Adelinde M. (2010) Towards Rule-Based Multi-Level Modeling. In: 11th International Conference on Systems Biology (ICSB 2010), 10-15 Oct 2010, Edinburgh, UK. Poster.

Mazemondet, Orianne and John, Mathias and Maus, Carsten and Uhrmacher, Adelinde M. and Rolfs, Arndt (2009) Integrating Diverse Reaction Types into Stochastic Models - A Signaling Pathway Case Study in the Imperative π-Calculus. In: Winter Simulation Conference, WSC 2009, December 13-16, Austin, TX, USA. Proceedings,, pp. 932-943.

Mazemondet, Orianne and John, Mathias and Maus, Carsten and Uhrmacher, Adelinde M. and Rolfs, Arndt (2009) Modeling the Cell Cycle Dependency of the Wnt/β-catenin Signaling Pathway in the Imperative π-Calculus. In: CMSB 2009: 7th International Conference on Computational Methods in Systems Biology, August 31 - September 1, Bologna, Italy. Poster.

Henkel, Ron and Köhn, Dagmar and Peters, Andre and Maus, Carsten (2009) Similarity Measures for Computational Biological Models. In: 6th International Workshop Data Integration in the Life Sciences (DILS 2009), 20-22 Jul, Manchester, UK. Poster.

Maus, Carsten and Jeschke, Matthias and Uhrmacher, Adelinde M. (2009) Spatial Multi-Level Modelling and Simulation for Systems Biology. In: CMSB 2009: 7th International Conference on Computational Methods in Systems Biology, August 31 - September 1, Bologna, Italy. Poster.

Köhn, Dagmar and Maus, Carsten and Henkel, Ron and Kolbe, Martin (2009) Towards Enhanced Retrieval of Biological Models through Annotation-Based Ranking. In: 6th International Workshop on Data Integration in Life Science (DILS 2009), July 20-22, Manchester, UK. Proceedings,, pp. 204-219.

Maus, Carsten (2008) Component-Based Modelling of RNA Structure Folding. In: CMSB 2008: International Conference on Computational Methods in Systems Biology, October 12-15, Rostock, Germany. Proceedings,, pp. 44-62.

Köhn, Dagmar and Heuer, Andreas and Maus, Carsten (2008) Eine Datenbanklösung für Modellwiederverwendung in der Systembiologie. In: 20. GI-Workshop Grundlagen von Datenbanken, May 13-16, Apolda, Thüringen, Germany. Proceedings,, pp. 61-65.

Maus, Carsten and John, Mathias and Röhl, Mathias and Uhrmacher, Adelinde M. (2008) Hierarchical Modeling for Computational Biology. In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Advanced Lectures, June 2-7, Bertinoro, Italy. Proceedings,, pp. 81-124.

Uhrmacher, Adelinde M. and Himmelspach, Jan and Jeschke, Matthias and John, Mathias and Leye, Stefan and Maus, Carsten and Röhl, Mathias and Ewald, Roland (2008) One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. In: 1st International Workshop Formal Methods in Systems Biology, FMSB 2008, June 4-5, Cambridge, UK. Proceedings,, pp. 123-138.

Ewald, Roland and Maus, Carsten and Rolfs, Arndt and Uhrmacher, Adelinde M. (2007) Discrete event modelling and simulation in systems biology. Journal of Simulation, 1 (2), pp. 81-96. ISSN 1747-7778.

Uhrmacher, Adelinde M. and Ewald, Roland and John, Mathias and Maus, Carsten and Jeschke, Matthias and Biermann, Susanne (2007) Combining micro and macro-modeling in DEVS for computational biology. In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007. Proceedings,, pp. 871-880.

Ewald, Roland and Gutzeit, Enrico and Schwanke, Sebastian and Uhrmacher, Adelinde M. and Lange, Christian and Biermann, Susanne and Maus, Carsten (2006) Multi-Level Modeling with DEVS - A Critical Inspection and Steps Towards a Feasible Approach. In: Winter Simulation Conference 2006 (WSC'2006), December 03-06, Monterey, CA, USA. Poster.

This list was generated on Sun Dec 22 09:38:01 2024 CET.