Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Winter 2021/22    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Frau Prof. Dr. rer. nat. habil. Adelinde Uhrmacher

  • Funktionen:
  •    

Dienstadresse

E-Mail   Telefon +49 381 498-7610
Bibliothek Publikationen im Katalog der UB Rostock Publikationen im GBV-Katalog Catalogus Professorum Rostochiensum Link zum Catalogus Professorum Rostochiensum

Zuordnung zu Einrichtungen

Interdisziplinäre Fakultät (INF)
INF/Department: Leben, Licht & Materie
Fakultät für Informatik und Elektrotechnik (IEF)
IEF/Bereich Informatik
IEF/IN/VAC/Modellierung und Simulation von Informatik-Systemen

Funktionen

Einrichtung Funktion von bis
Universität Rostock Mitglied des Konzils 01.04.2021 31.03.2023
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.04.2021 31.03.2023
Universität Rostock Mitglied des Konzils 01.10.2018 31.03.2021
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.10.2018 31.03.2021
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.10.2016 30.09.2018
Universität Rostock Mitglied des Konzils 01.10.2016 30.09.2018
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.10.2012 30.09.2014
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.10.2010 30.09.2012

Veranstaltungen

Vst.-Nr. Veranstaltungen Veranstaltungsart Semester
23827 Intelligente Softwareagenten Vorlesung WS 2021/22
23827 Intelligente Softwareagenten Übung WS 2021/22
23838 Data driven modeling and simulation Vorlesung WS 2021/22
23838 Data driven modeling and simulation Übung WS 2021/22
23849 Kybernetik Seminar WS 2021/22
23889 Projekt: Verkehrssimulation Projekt WS 2021/22
23890 KSWS: Verkehrssimulation Vorlesung WS 2021/22

Forschungsprojekte

Laufzeit Titel Geldgeber/-in
01.07.2017 - 30.06.2025 SFB 1270 Elaine: Elektrisch aktive Implantate (A01) DFG - Sonderforschungsbereich (SFB)
01.08.2020 - 31.12.2022 Verbesserung der Diagnostik seltener genetischer Erkrankungen durch adaptive Variantenpriorisierung Europäischer Fonds für regionale Entwicklung (EFRE)
01.06.2017 - 30.11.2021 Bayesian Agent-based Population Studies (BAPS) Europäische Union (EU)
01.12.2016 - 31.10.2020 Generierung und Ausführung von Simulationsexperimenten (GeASe) DFG - Sachbeihilfen
01.04.2014 - 31.08.2018 Effiziente Simulation von zellbiologischen Mehrebenenmodellen (ESCeMMo) DFG - Sachbeihilfen
01.10.2014 - 30.04.2018 Modellierungs- und Simulationsmethoden für "linked lives" in der Demographie DFG - Sachbeihilfen
01.10.2006 - 30.09.2016 GRK 1424: MUSAMA (TP) DFG - Graduiertenkolleg
01.01.2012 - 31.07.2015 Visual Analytics and Stochastic Spatial Simulation for Cell Biology DFG - Schwerpunktprogramme
01.11.2009 - 30.11.2013 Framework zur Unterstützung effektiver und effizienter Simulation von Agentensystemen DFG - Sachbeihilfen
01.10.2006 - 31.07.2013 GRK 1387: Die integrative Entwicklung von Modellierungs- und Simulationsmethoden für regenerative Systeme (dIEM oSiRis)
01.10.2006 - 31.07.2013 GRK 1387: dIEM oSiRiS (TP) DFG - Graduiertenkolleg
01.10.2006 - 31.03.2011 GRK 1387: dIEM oSiRiS TP Zentral DFG - Graduiertenkolleg
01.11.2005 - 30.11.2010 Diskretereignisorientierte Mehrebenenmodellierung und Simulation für die Systembiologie DFG - Sachbeihilfen
01.04.2006 - 31.10.2009 Framework für die effektive und effiziente Simulation von Agentensystemen DFG - Sachbeihilfen
16.10.2008 - 15.10.2009 Diskret-ereignisorientierte Mehrebenenmodellierung und Simulation für die Systembiologie DFG - Sachbeihilfen

Publikationen

Publikationen einklappen Publikationen einklappen

2018

Reproducible and flexible simulation experiments with ML-Rules and SESSL Zeitschriftenartikel Elektronische Ressource
Towards a PROV ontology for simulation models Teil einer Monographie/eines Konferenzbandes Elektronische Ressource

2017

Developing and validating a multi-level ecological model of eastern Baltic cod (Gadus morhua) in the Bornholm Basin - a case for domain-specific languages Zeitschriftenartikel Elektronische Ressource
ML-Space: hybrid spatial Gillespie and particle simulation of multi-level rule-based models in cell biology Zeitschriftenartikel Elektronische Ressource
Modelling and simulating decision processes of linked lives Zeitschriftenartikel Elektronische Ressource
Panel Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Population-based CTMCS and agent-based models Teil einer Monographie/eines Konferenzbandes Elektronische Ressource

2016

Intensional couplings in variable-structure models Zeitschriftenartikel Druckschrift
Reusing simulation experiment specifications to support developing models by successive extension Zeitschriftenartikel Elektronische Ressource

2015

Automatic runtime adaptation for component-based simulation algorithms Zeitschriftenartikel Druckschrift
Bayesian changepoint detection for generic adaptive simulation algorithms Teil einer Monographie/eines Konferenzbandes Druckschrift
An explicit numerical scheme to efficiently simulate molecular diffusion in environments with dynamically changing barriers Zeitschriftenartikel Druckschrift
Individual-based cod simulation with ML-Rules Teil einer Monographie/eines Konferenzbandes Druckschrift
Lattice Monte Carlo simulation of Galilei variant anomalous diffusion Zeitschriftenartikel Druckschrift
ML3 Teil einer Monographie/eines Konferenzbandes Druckschrift
Spatio-temporal Model of Endogenous ROS and Raft-Dependent WNT/Beta-Catenin Signaling Driving Cell Fate Commitment in Human Neural Progenitor Cells Zeitschriftenartikel Elektronische Ressource

2014

Composing problem solvers for simulation experimentation Zeitschriftenartikel Elektronische Ressource
Modeling for everyone Teil einer Monographie/eines Konferenzbandes Druckschrift
Multi-level modeling and simulation of cell biological systems with ML-Rules Teil einer Monographie/eines Konferenzbandes Druckschrift
Perspectives on languages for specifying simulation experiments Teil einer Monographie/eines Konferenzbandes Druckschrift
The role of languages for modeling and simulating continuous-time multi-level models in demography Teil einer Monographie/eines Konferenzbandes Druckschrift
SESSL Zeitschriftenartikel Druckschrift
SESSL Zeitschriftenartikel Elektronische Ressource

2013

An approximate execution of rule-based multi-level models Teil einer Monographie/eines Konferenzbandes Druckschrift
Composing variable structure models Teil einer Monographie/eines Konferenzbandes Druckschrift
Constructing and visualizing chemical reaction networks from pi-calculus models Zeitschriftenartikel Druckschrift

2012

Elucidating the sources of b-catenin dynamics in human neural progenitor cells Zeitschriftenartikel Elektronische Ressource
Modeling agents and their environment in Multi-Level-DEVS Teil einer Monographie/eines Konferenzbandes Druckschrift

2011

Exploring the performance of spatial stochastic simulation algorithms Zeitschriftenartikel Druckschrift
Foundations of formal reconstruction of biochemical networks Zeitschriftenartikel Druckschrift
Quantitative and kinetic profile of Wnt/b-catenin signaling components during human neural progenitor cell differentiation Zeitschriftenartikel Druckschrift
Rule-based multi-level modeling of cell biological systems Zeitschriftenartikel Elektronische Ressource

2010

The attributed pi-calculus with priorities Teil einer Monographie/eines Konferenzbandes Druckschrift
Component-based models and simulations for supporting valid multi-agent system simulations Zeitschriftenartikel Druckschrift
A DEVS model for demographic microsimulation Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Effective and efficient modeling and simulation with DEVS variants Teil einer Monographie/eines Konferenzbandes Druckschrift
Enhancing the scalability of simulations by embracing multiple levels of parallelization Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Flexible experimentation in the modeling and simulation framework JAMES II-implications for computational systems biology Zeitschriftenartikel Druckschrift
Das Graduiertenkolleg dIEM oSiRiS Zeitschriftenartikel Druckschrift
Modeling and simulation for user assistance in smart environments Teil einer Monographie/eines Konferenzbandes Druckschrift
Modellierungs- und Simulationsmethoden für regenerative Systeme Zeitschriftenartikel Druckschrift
Parallel analysis with FAMVal to speed up simulation-based model checking Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Selecting simulation algorithm portfolios by genetic algorithms Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Spatial modeling in cell biology at multiple levels Teil einer Monographie/eines Konferenzbandes Druckschrift
Special issue on modeling methodologies Konferenz/Workshop Druckschrift
Towards modelling and simulation of crowded environments in cell biology Teil einer Monographie/eines Konferenzbandes Druckschrift
Using workflows in M & S software Teil einer Monographie/eines Konferenzbandes Druckschrift

2009

Agents Teil einer Monographie/eines Konferenzbandes Druckschrift
An AI-planning based service composition architecture for ambient intelligence Teil einer Monographie/eines Konferenzbandes Druckschrift
Automating the runtime performance evaluation of simulation algorithms Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Computer science meets cell biology Zeitschriftenartikel Druckschrift
Creating AI planning domains for smart environments using PDDL Teil einer Monographie/eines Konferenzbandes Druckschrift
A discussion on experimental model validation Teil einer Monographie/eines Konferenzbandes Druckschrift
An efficient and adaptive mechanism for parallel simulation replication Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Experimental analysis of logical process simulation algorithms in JAMES II Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Integrating diverse reaction types into stochastic models Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
The JAMES II framework for modeling and simulation Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
MicCore Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Modelling device actions in smart environments Teil einer Monographie/eines Konferenzbandes Druckschrift
Multi-agent systems Monographie Druckschrift
Performance issues in evaluating models and designing simulation algorithms Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Probabilistic population projection with James II Teil einer Monographie/eines Konferenzbandes Elektronische Ressource

2008

Agentenorientierte Modellierung und Simulation Teil einer Monographie/eines Konferenzbandes Druckschrift
An algorithm selection approach for simulation systems Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
The attributed pi calculus Teil einer Monographie/eines Konferenzbandes Druckschrift
A bounded-optimistic, parallel Beta-binders simulator Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Computational methods in systems biology: 6th international conference, CMSB 2008, Rostock, Germany, October 12 - 15, 2008 Konferenz/Workshop Druckschrift
Data access in distributed simulations of multi-agent systems Zeitschriftenartikel Druckschrift
Definition and analysis of composition structure for discrete-event models Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Evaluating AI planning for service composition in smart environments Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
A flexible and scalable experimentation layer Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
A grid-inspired mechanism for coarse-grained experiment execution Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Hierarchical modeling for computational biology Teil einer Monographie/eines Konferenzbandes Druckschrift
Multi-resolution spatial simulation for molecular crowding Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
One modelling formalism & simulator is not enough! Teil einer Monographie/eines Konferenzbandes Druckschrift
A parallel and distributed discrete event approach for spatial cell-biological simulations Zeitschriftenartikel Druckschrift
Parallel and distributed spatial simulation of chemical reactions Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
A plug-in-based architecture for random number generation in simulation systems Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Smart environments meet the semantic web Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
A spatial extension to the π calculus Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
A two-way approach to service composition in smart device ensembles Teil einer Monographie/eines Konferenzbandes Druckschrift
Using context information to evaluate cooperativeness Teil einer Monographie/eines Konferenzbandes Druckschrift

2007

Agent-oriented modeling in simulation Teil einer Monographie/eines Konferenzbandes Druckschrift
Combining micro and macro-modeling in DEVS for computational biology Teil einer Monographie/eines Konferenzbandes Druckschrift
DFG Research Training Group 1387/1: dIEM oSiRiS Zeitschriftenartikel Druckschrift
Discrete event modelling and simulation in systems biology Zeitschriftenartikel Druckschrift
The event queue problem and PDevs Teil einer Monographie/eines Konferenzbandes Druckschrift
An experimental frame for evaluating service trading overlays in mobile ad-hoc networks Teil einer Monographie/eines Konferenzbandes Druckschrift
Exploiting web service techniques for composing simulation models Teil einer Monographie/eines Konferenzbandes Druckschrift
Hunger and market dynamics in pre-modern communities Zeitschriftenartikel Druckschrift
Integrative development of modelling and simulation methods for regenerative systems Teil einer Monographie/eines Konferenzbandes Druckschrift
Modeling dynamic environments in multi-agent simulation Zeitschriftenartikel Druckschrift
Parallel and distributed simulation of parallel DEVS models Teil einer Monographie/eines Konferenzbandes Druckschrift
Plug'n simulate Teil einer Monographie/eines Konferenzbandes Druckschrift

2006

The challenge of combining simulation and verification: working groups' report Konferenz/Workshop Elektronische Ressource
Challenges for modeling and simulation methods in systems biology Teil einer Monographie/eines Konferenzbandes Druckschrift
Composing simulations from XML-specified model components Teil einer Monographie/eines Konferenzbandes Druckschrift
Developing an hierarchical simulator for beta-binders Teil einer Monographie/eines Konferenzbandes Druckschrift
An efficient and effective partitioning algorithm for air traffic management Teil einer Monographie/eines Konferenzbandes Druckschrift
Introducing variable ports and multi-couplings for cell biological modeling in DEVS Teil einer Monographie/eines Konferenzbandes Druckschrift
Introducing variable ports and multi-couplings for cell biological modeling in DEVS Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Modeling and simulation of tests for agents Teil einer Monographie/eines Konferenzbandes Druckschrift
Modelling Teil einer Monographie/eines Konferenzbandes Druckschrift
Multi-level modeling and simulation in systems biology Teil einer Monographie/eines Konferenzbandes Druckschrift
Multi-level modeling in systems biology by discrete event approaches Zeitschriftenartikel Druckschrift
A non-fragmenting partitioning algorithm for hierarchical models Teil einer Monographie/eines Konferenzbandes Druckschrift
Performance analysis of shared data access algorithms for distributed simulation of multi-agent systems Teil einer Monographie/eines Konferenzbandes Druckschrift
Sequential processing of PDEVS models Teil einer Monographie/eines Konferenzbandes Druckschrift
Simulation and verification of dynamic systems: 06161 abstracts collection Konferenz/Workshop Elektronische Ressource
A simulation approach to facilitate parallel and distributed discrete-event simulator development Teil einer Monographie/eines Konferenzbandes Druckschrift
Simulation methods Teil einer Monographie/eines Konferenzbandes Druckschrift

2005

Controlled experimentation with agents :models and implementations Teil einer Monographie/eines Konferenzbandes Druckschrift
Discrete event multi-level models for systems biology Teil einer Monographie/eines Konferenzbandes Druckschrift
Discrete event systems specification in systems biology Teil einer Monographie/eines Konferenzbandes Druckschrift
Flexible integration of XML into modeling and simulation systems Teil einer Monographie/eines Konferenzbandes Druckschrift
Towards reusing model components in systems biology Teil einer Monographie/eines Konferenzbandes Druckschrift

Abgeschlossene Promotionen

2021

Domain-specific Languages for Modeling and Simulation als Betreuer und Gutachter

2019

Efficient human situation recognition using Sequential Monte Carlo in discrete state spaces als Gutachter

2018

Toward Composing Variable Structure Models and Their Interfaces: A Case of Intensional Coupling Definitions als Betreuer und Gutachter

2017

ML-Space:Hybrid Spatial Gillespie and Brownian Motion Simulation at Multiple Levels, and a Rule-based Description Language als Betreuer und Gutachter
Reusing Simulation Experiments for Model Composition and Extension als Betreuer und Gutachter
Simulator Adaptation at Runtime for Component-Based Simulation Software als Betreuer und Gutachter

2016

Activity, Context, and Plan Recognition with Computational Causal Behaviour Models als Gutachter
Exploring the spatio-temporal dynamics of lipid rafts and their role in signal transduction - A modeling and simulation approach als Betreuer und Gutachter
Towards Reproducible Simulation Studies with James II als Betreuer und Gutachter

2015

Contributions to Models of Single Neuron Computation in Striatum and Cortex als Betreuer und Gutachter

2014

Compartmental Modelling of the Wnt Pathway: Elucidating the role of nucleo-cytoplasmic shuttling of β-catenin and ist antagonists als Gutachter
Methods for Engineering Symbolic Human Behaviour Models for Activity Recognition als Gutachter
Modellierung und Steuerung der Temperaturverteilung Network-on-Chip-basierter Systeme als Betreuer und Gutachter
Toward Guiding Simulation Experiments als Betreuer und Gutachter

2013

Toward Accessible Multilevel Modeling in Systems Biology - A Rule-based Language Concept als Betreuer und Gutachter

2011

A Continuous- Time Microsimulation and First Steps Towards a Multi-Level Approach in Demography als Gutachter
Device Cooperation in Ad-hoc Multimedia Ensembles als Gutachter
Spatio-temporal dynamics of the Wnt/beta-catenin signaling pathway: a computational systems biology approach als Betreuer und Gutachter

2010

Automatic Algorithm Selection for Complex Simulation Problems als Betreuer und Gutachter
Dienstekomposition in intelligenten Umgebungen basierend auf KI-Planung als Betreuer und Gutachter
Efficient Non-Spatial and Spatial Simulation of Biochemical Reaction Networks als Betreuer und Gutachter
Reaction Constraints for the Pi-Calculus: A Language for the Stochastic and Spatial Modeling of Cell-Biological Processes als Betreuer und Gutachter