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
S
tartseite
A
nmelden
Sommer 2024
Hilfe
Sitemap
Impressum
Datenschutz
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Frau Prof. Dr. rer. nat. habil. Adelinde Uhrmacher
Funktionen:
Dienstadresse
E-Mail
adelinde.uhrmacher@uni-rostock.de
Telefon
+49 381 498 7610
Bibliothek
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.10.2023
30.09.2025
Fakultät für Informatik und Elektrotechnik (IEF)
Mitglied des Fakultätsrats
01.10.2023
30.09.2025
Universität Rostock
Mitglied des Konzils
01.04.2021
30.09.2023
Fakultät für Informatik und Elektrotechnik (IEF)
Mitglied des Fakultätsrats
01.04.2021
30.09.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
23016
Modellbildung und Simulation
Vorlesung
SS 2024
23016
Modellbildung und Simulation
Übung
SS 2024
23017
Künstliche Intelligenz (Modul: Smart Computing)
Übung
SS 2024
23017
Künstliche Intelligenz (Modul: Smart Computing)
Vorlesung
SS 2024
23541
Parallele und verteilte Simulation
Vorlesung
SS 2024
23541
Parallele und verteilte Simulation
Übung
SS 2024
Forschungsprojekte
Laufzeit
Titel
Geldgeber/-in
01.07.2017 - 31.12.2025
SFB 1270 Elaine: Elektrisch aktive Implantate (A01)
DFG - Sonderforschungsbereich (SFB)
01.01.2022 - 30.06.2025
Generierung und Ausführung von Simulationsexperimenten
DFG - Sachbeihilfen
01.08.2020 - 30.06.2023
Verbesserung der Diagnostik seltener genetischer Erkrankungen durch adaptive Variantenpriorisierung
Europäischer Fonds für regionale Entwicklung (EFRE)
01.06.2017 - 31.05.2022
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
2022
An artefact-based workflow for finite element simulation studies
Zeitschriftenartikel
Elektronische Ressource
A basic macroeconomic agent-based model for analyzing monetary regime shifts
Zeitschriftenartikel
Elektronische Ressource
2021
Quantifying the roles of space and stochasticity in computer simulations for cell biology and cellular biochemistry
Zeitschriftenartikel
Druckschrift
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
2024
Agent-based modelling to investigate angler behaviour in relation to management decisions and stock development
als Betreuer und Gutachter
2022
Integration von Wissen über komplexe adaptive Systeme - Erkenntnisse aus der Modellierung des Ostdorsches
als Betreuer und Gutachter
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