Adelinde M. Uhrmacher

Affiliations:
  • University of Rostock, Institute of Computer Science
  • University of Ulm, Department of Computer Science


According to our database1, Adelinde M. Uhrmacher authored at least 215 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Synchronous speculative simulation of tightly coupled agents in continuous time on CPUs and GPUs.
Simul., January, 2024

2023
Automatic Reuse, Adaption, and Execution of Simulation Experiments via Provenance Patterns.
ACM Trans. Model. Comput. Simul., 2023

Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation.
CoRR, 2023

Validation Without Data - Formalizing Stylized Facts Of Time Series.
Proceedings of the Winter Simulation Conference, 2023

NBSIMGEN: Jupyter Notebook Extension for Generating Simulation Experiments.
Proceedings of the Winter Simulation Conference, 2023

Efficient Execution for Domain Specific Languages: Comparing Two Approaches for Demography and Cellular Biology.
Proceedings of the 2023 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2023

Zero Lookahead? Zero Problem. The Window Racer Algorithm.
Proceedings of the 2023 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2023

2022
Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401).
Dagstuhl Reports, October, 2022

A Language for Agent-based Discrete-event Modeling and Simulation of Linked Lives.
ACM Trans. Model. Comput. Simul., 2022

Generating Fast Specialized Simulators for Stochastic Reaction Networks via Partial Evaluation.
ACM Trans. Model. Comput. Simul., 2022

An artefact-based workflow for finite element simulation studies.
Simul. Model. Pract. Theory, 2022

Creating PROV-DM Graphs from Model Databases.
Proceedings of the Winter Simulation Conference, 2022

Seamless Simulation-Based Verification and Validation of Event-Driven Software Systems.
Proceedings of the Winter Simulation Conference, 2022

GPU-Accelerated Simulation Ensembles of Stochastic Reaction Networks.
Proceedings of the Winter Simulation Conference, 2022

Site Choice in Recreational Fisheries - Towards an Agent-Based Approach.
Proceedings of the Winter Simulation Conference, 2022

Towards an Open Repository for Reproducible Performance Comparison of Parallel and Distributed Discrete-Event Simulators.
Proceedings of the SIGSIM-PADS '22: SIGSIM Conference on Principles of Advanced Discrete Simulation, Atlanta, GA, USA, June 8, 2022

Comparing Speculative Synchronization Algorithms for Continuous-Time Agent-Based Simulations.
Proceedings of the 26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2022

2021
Relating simulation studies by provenance - Developing a family of Wnt signaling models.
PLoS Comput. Biol., 2021

EB-DEVS: A formal framework for modeling and simulation of emergent behavior in dynamic complex systems.
J. Comput. Sci., 2021

VPMBench: a test bench for variant prioritization methods.
BMC Bioinform., 2021

Exploiting Provenance and Ontologies In Supporting Best Practices For Simulation Experiments: A Case Study On Sensitivity Analysis.
Proceedings of the Winter Simulation Conference, 2021

Simulation-Supported Engineering of Self-Adaptive Software Systems.
Proceedings of the Winter Simulation Conference, 2021

Inferring Dependency Graphs for Agent-Based Models Using Aspect-Oriented Programming.
Proceedings of the Winter Simulation Conference, 2021

A Generalized Network Generation Approach for Agent-Based Models.
Proceedings of the Winter Simulation Conference, 2021

Teaching a Modeling Process: Reflections From An Online Course.
Proceedings of the Winter Simulation Conference, 2021

Optimistic Parallel Simulation of Tightly Coupled Agents in Continuous Time.
Proceedings of the 25th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2021

Nonlinear Pattern Matching in Rule-Based Modeling Languages.
Proceedings of the Computational Methods in Systems Biology, 2021

2020
Artifact-Based Workflows for Supporting Simulation Studies.
IEEE Trans. Knowl. Data Eng., 2020

An Artifact-based Workflow for Finite-Element Simulation Studies.
CoRR, 2020

Conceptual Models in Simulation Studies: Making it Explicit.
Proceedings of the Winter Simulation Conference, 2020

Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models.
Proceedings of the Winter Simulation Conference, 2020

Performance and Soundness of Simulation: A Case Study Based on a Cellular Automaton for In-Body Spread of HIV.
Proceedings of the Winter Simulation Conference, 2020

Modelling Migration: Decisions, Processes and Outcomes.
Proceedings of the Winter Simulation Conference, 2020

Probing the Performance of the Edinburgh Bike Sharing System using SSTL.
Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2020

Partial Evaluation via Code Generation for Static Stochastic Reaction Network Models.
Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2020

2019
Potential based, spatial simulation of dynamically nested particles.
BMC Bioinform., 2019

Simulation Experiment Schemas -Beyond Tools and Simulation Approaches.
Proceedings of the 2019 Winter Simulation Conference, 2019

Developing Agent-Based Migration Models in Pairs.
Proceedings of the 2019 Winter Simulation Conference, 2019

Round-based Super-Individuals - Balancing Speed and Accuracy.
Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2019

Capturing and Reporting Provenance Information of Simulation Studies Based on an Artifact-Based Workflow Approach.
Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2019

PROVenance Patterns in Numerical Modelling and Finite Element Simulation Processes of Bio-electric Systems.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

Requirements for Documenting Electrical Cell Stimulation Experiments for Replicability and Numerical Modeling.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

Reproducible parallel simulation experiments via pure functional programming.
Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

2018
Streamlining Simulation Experiments with Agent-Based Models in Demography.
J. Artif. Soc. Soc. Simul., 2018

Reproducible and flexible simulation experiments with ML-Rules and SESSL.
Bioinform., 2018

Complex simulation Experiments Made Easy.
Proceedings of the 2018 Winter Simulation Conference, 2018

Crisis, What Crisis - does reproducibility in Modeling & simulation Really Matter?
Proceedings of the 2018 Winter Simulation Conference, 2018

Generating simulation Experiments based on Model Documentations and Templates.
Proceedings of the 2018 Winter Simulation Conference, 2018

Odd+p: complementing the odd Protocol with Provenance Information.
Proceedings of the 2018 Winter Simulation Conference, 2018

Building simulation Models of Complex ecological Systems by Successive Composition and Reusing simulation Experiments.
Proceedings of the 2018 Winter Simulation Conference, 2018

Runtime Code Generation for Interpreted Domain-Specific Modeling Languages.
Proceedings of the 2018 Winter Simulation Conference, 2018

Handling Dynamic Sets of Reactions in Stochastic Simulation Algorithms.
Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2018

Hybrid Simulation of Dynamic Reaction Networks in Multi-Level Models.
Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2018

Towards a PROV Ontology for Simulation Models.
Proceedings of the Provenance and Annotation of Data and Processes, 2018

Keynote Speaker: Credible Simulation Models - Provenance beyond Reproducibility.
Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

2017
Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language.
ACM Trans. Model. Comput. Simul., 2017

ML-Space: Hybrid Spatial Gillespie and Particle Simulation of Multi-Level Rule-Based Models in Cell Biology.
IEEE ACM Trans. Comput. Biol. Bioinform., 2017

Reusing simulation experiment specifications in developing models by successive composition - a case study of the Wnt/<i>β</i>-catenin signaling pathway.
Simul., 2017

Practical expressiveness of internal and external domain-specific modeling languages.
Proceedings of the 2017 Winter Simulation Conference, 2017

Provenance in modeling and simulation studies - Bridging gaps.
Proceedings of the 2017 Winter Simulation Conference, 2017

Exploiting equation-free analysis for multi-level, agent-based models in cell biology.
Proceedings of the 2017 Winter Simulation Conference, 2017

An efficient simulation algorithm for continuous-time agent-based linked lives models.
Proceedings of the 50th Annual Simulation Symposium, Virginia Beach, VA, USA, April 23, 2017

Efficient Simulation of Nested Hollow Sphere Intersections: for Dynamically Nested Compartmental Models in Cell Biology.
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2017

2016
Intensional Couplings in Variable-Structure Models: An Exploration Based on Multilevel-DEVS.
ACM Trans. Model. Comput. Simul., 2016

Reusing simulation experiment specifications to support developing models by successive extension.
Simul. Model. Pract. Theory, 2016

Dynamic State Space Partitioning for Adaptive Simulation Algorithms.
EAI Endorsed Trans. Collab. Comput., 2016

Population-based CTMCS and agent-based models.
Proceedings of the Winter Simulation Conference, 2016

Panel - Reproducible research in discrete event simulation - A must or rather a maybe?
Proceedings of the Winter Simulation Conference, 2016

Evaluating different modeling languages based on a user study.
Proceedings of the 49th Annual Simulation Symposium, 2016

Spatiotemporal Pattern Matching in RoboCup.
Proceedings of the Multiagent System Technologies - 14th German Conference, 2016

2015
Automatic Runtime Adaptation for Component-Based Simulation Algorithms.
ACM Trans. Model. Comput. Simul., 2015

Domain-Specific Languages for Flexbily Experimenting with Stochastic Models.
Simul. Notes Eur., 2015

Spatio-temporal Model of Endogenous ROS and Raft-Dependent WNT/Beta-Catenin Signaling Driving Cell Fate Commitment in Human Neural Progenitor Cells.
PLoS Comput. Biol., 2015

Lattice Monte Carlo simulation of Galilei variant anomalous diffusion.
J. Comput. Phys., 2015

ML3: a language for compact modeling of linked lives in computational demography.
Proceedings of the 2015 Winter Simulation Conference, 2015

Individual-based cod simulation with ML-Rules.
Proceedings of the 2015 Winter Simulation Conference, 2015

Bayesian changepoint detection for generic adaptive simulation algorithms.
Proceedings of the 48th Annual Simulation Symposium, 2015

Targeted on-line data extraction with SystemXtract.
Proceedings of the 8th International Conference on Simulation Tools and Techniques, 2015

The Role of Domain Specific Languages in Modeling and Simulation.
Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015

Syntax and Semantics of a Multi-Level Modeling Language.
Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10, 2015

Targeted Extraction of Simulation Data.
Proceedings of the 19th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2015

2014
SESSL: A domain-specific language for simulation experiments.
ACM Trans. Model. Comput. Simul., 2014

Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481).
Dagstuhl Reports, 2014

Membrane related dynamics and the formation of actin in cells growing on micro-topographies: a spatial computational model.
BMC Syst. Biol., 2014

The role of languages for modeling and simulating continuous-time multi-level models in demography.
Proceedings of the 2014 Winter Simulation Conference, 2014

Perspectives on languages for specifying simulation experiments.
Proceedings of the 2014 Winter Simulation Conference, 2014

Multi-level modeling and simulation of cell biological systems with ML-rules: a tutorial.
Proceedings of the 2014 Winter Simulation Conference, 2014

Modeling for everyone: emphasizing the role of modeling in stem education.
Proceedings of the 2014 Winter Simulation Conference, 2014

Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach.
Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

A stream-based architecture for the management and on-line analysis of unbounded amounts of simulation data.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2014

Towards semantic model composition via experiments.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2014

Predictive Modelling of Mitochondrial Spatial Structure and Health.
Proceedings of the Computational Methods in Systems Biology, 2014

2013
Studying the Role of Lipid Rafts on Protein Receptor Bindings with Cellular Automata.
IEEE ACM Trans. Comput. Biol. Bioinform., 2013

Building Mic-Core, a Specialized M&S Software to Simulate Multi-State Demographic Micro Models, Based on JAMES II, a General M&S Framework.
J. Artif. Soc. Soc. Simul., 2013

Constructing and visualizing chemical reaction networks from pi-calculus models.
Formal Aspects Comput., 2013

From standardized modeling formats to modeling languages and back - An exploration based on SBML and ML-Rules.
Proceedings of the Winter Simulations Conference: Simulation Making Decisions in a Complex World, 2013

Composing Variable Structure Models - A Revision of COMO.
Proceedings of the SIMULTECH 2013, 2013

A generic adaptive simulation algorithm for component-based simulation systems.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

An Approximate Execution of Rule-Based Multi-level Models.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
Seven pitfalls in modeling and simulation research.
Proceedings of the Winter Simulation Conference, 2012

Panel on grand challenges for modeling and simulation.
Proceedings of the Winter Simulation Conference, 2012

Modeling agents and their environment in multi-level-DEVS.
Proceedings of the Winter Simulation Conference, 2012

Streaming data management for the online processing of simulation data.
Proceedings of the Winter Simulation Conference, 2012

Automated transformation between modeling languages with different expressiveness: challenges and results from a use case with SBML and ML-Rules.
Proceedings of the Winter Simulation Conference, 2012

Interactive visual exploration of simulator accuracy: a case study for Stochastic Simulation Algorithms.
Proceedings of the Winter Simulation Conference, 2012

GUISE - a tool for GUIding simulation experiments.
Proceedings of the Winter Simulation Conference, 2012

An adaptive simulator for ML-rules.
Proceedings of the Winter Simulation Conference, 2012

Toward a language for the flexible observation of simulations.
Proceedings of the Winter Simulation Conference, 2012

Setting up simulation experiments with SESSL.
Proceedings of the Winter Simulation Conference, 2012

Spatial simulation of actin filament dynamics on structured surfaces.
Proceedings of the Winter Simulation Conference, 2012

Using workflows to control the experiment execution in modeling and simulation software.
Proceedings of the International ICST Conference on Simulation Tools and Techniques, 2012

Towards Interactive Visual Analysis of Microscopic-Level Simulation Data.
Proceedings of SIGRAD 2012, 2012

Template and Frame Based Experiment Workflows in Modeling and Simulation Software with WORMS.
Proceedings of the Eighth IEEE World Congress on Services, 2012

Heterogeneity-based guidance for exploring multiscale data in systems biology.
Proceedings of the 2012 IEEE Symposium on Biological Data Visualization, 2012

2011
Foundations of formal reconstruction of biochemical networks.
Theor. Comput. Sci., 2011

Exploring the performance of spatial stochastic simulation algorithms.
J. Comput. Phys., 2011

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151).
Dagstuhl Reports, 2011

Rule-based multi-level modeling of cell biological systems.
BMC Syst. Biol., 2011

WorMS- a framework to support workflows in M&S.
Proceedings of the Winter Simulation Conference 2011, 2011

Visual analytics for stochastic simulation in cell biology.
Proceedings of the I-KNOW 2011, 2011

Adapting rule-based model descriptions for simulating in continuous and hybrid space.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010
The Attributed Pi-Calculus with Priorities.
Trans. Comp. Sys. Biology, 2010

A flexible architecture for modeling and simulation of diffusional association
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

Flexible experimentation in the modeling and simulation framework JAMES II - implications for computational systems biology.
Briefings Bioinform., 2010

Component-Based Models and Simulations for Supporting Valid Multi-Agent System Simulations.
Appl. Artif. Intell., 2010

Modeling and simulation for user assistance in smart environments.
Proceedings of the 2010 Winter Simulation Conference, 2010

Using workflows in M&S software.
Proceedings of the 2010 Winter Simulation Conference, 2010

Spatial modeling in cell biology at multiple levels.
Proceedings of the 2010 Winter Simulation Conference, 2010

A DEVS model for demographic microsimulation.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

A flexible and extensible architecture for experimental model validation.
Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

A flexible architecture for performance experiments with the pi-Calculus and its extensions.
Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

Selecting Simulation Algorithm Portfolios by Genetic Algorithms.
Proceedings of the 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2010

Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking.
Proceedings of the Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010

2009
MIC-core: A Tool for Microsimulation.
Proceedings of the 2009 Winter Simulation Conference, 2009

Experimental Analysis of Logical Process Simulation Algorithms in JAMES II.
Proceedings of the 2009 Winter Simulation Conference, 2009

Integrating Diverse Reaction Types into Stochastic Models - A Signaling Pathway Case Study in the Imperative pi-Calculus.
Proceedings of the 2009 Winter Simulation Conference, 2009

Automating the Runtime Performance Evaluation of Simulation Algorithms.
Proceedings of the 2009 Winter Simulation Conference, 2009

Probabilistic Population Projection with JAMES II.
Proceedings of the 2009 Winter Simulation Conference, 2009

Regenerative systems: challenges and opportunities for modeling, simulation, and visualization.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

A Discussion on Experimental Model Validation.
Proceedings of the UKSim'11, 2009

An experimental analysis environment for logical process simulation algorithms.
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Data mining for simulation algorithm selection.
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

An Efficient and Adaptive Mechanism for Parallel Simulation Replication.
Proceedings of the 23rd International Workshop on Principles of Advanced and Distributed Simulation, 2009

An AI-Planning based Service Composition Architecture for Ambient Intelligence.
Proceedings of the Workshops Proceedings of the 5th International Conference on Intelligent Environments, 2009

Modelling Device Actions in Smart Environments.
Proceedings of the Intelligent Interactive Assistance and Mobile Multimedia Computing, 2009

Creating AI Planning Domains for Smart Environments Using PDDL.
Proceedings of the Intelligent Interactive Assistance and Mobile Multimedia Computing, 2009

2008
A parallel and distributed discrete event approach for spatial cell-biological simulations.
SIGMETRICS Perform. Evaluation Rev., 2008

Data access in distributed simulations of multi-agent systems.
J. Syst. Softw., 2008

Definition and analysis of composition structures for discrete-event models.
Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Multi-resolution spatial simulation for molecular crowding.
Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

A flexible and scalable experimentation layer.
Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

A plug-in-based architecture for random number generation in simulation systems.
Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Hierarchical Modeling for Computational Biology.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

Parallel and Distributed Spatial Simulation of Chemical Reactions.
Proceedings of the 22st International Workshop on Principles of Advanced and Distributed Simulation, 2008

An Algorithm Selection Approach for Simulation Systems.
Proceedings of the 22st International Workshop on Principles of Advanced and Distributed Simulation, 2008

Smart environments meet the semantic web.
Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia, 2008

Evaluating AI planning for service composition in smart environments.
Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia, 2008

Using context information to evaluate cooperativeness.
Proceedings of the Q2SWinet'08, 2008

One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

A Bounded-Optimistic, Parallel Beta-Binders Simulator.
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

A Grid-Inspired Mechanism for Coarse-Grained Experiment Execution.
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

The Attributed Pi Calculus.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007
Agent-Oriented Modeling in Simulation.
Proceedings of the Handbook of Dynamic System Modeling., 2007

Discrete event modelling and simulation in systems biology.
J. Simulation, 2007

DFG Research Training Group 1387/1: dIEM oSiRiS - Integrative Development of Modelling and Simulation Methods for Regenerative Systems (DFG Graduiertenkolleg 1387/1: dIEM oSiRiS - Die integrative Entwicklung von Modellierungs- und Simulationsmethoden für regenerative Systeme).
it Inf. Technol., 2007

A Spatial Extension to the pi Calculus.
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Modeling dynamic environments in multi-agent simulation.
Auton. Agents Multi Agent Syst., 2007

Visual support for modeling and simulation of cell biological systems.
Proceedings of the Winter Simulation Conference, 2007

Combining micro and macro-modeling in DEVS for computational biology.
Proceedings of the Winter Simulation Conference, 2007

Exploiting web service techniques for composing simulation models.
Proceedings of the Winter Simulation Conference, 2007

Parallel and distributed simulation of parallel DEVS models.
Proceedings of the 2007 Spring Simulation Multiconference, 2007

An Experimental Frame for Evaluating Service Trading Overlays in Mobile ad-hoc Networks.
Proceedings of the MMS 2007: Mobilität und mobile Informationssysteme, 2007

Plug'n Simulate.
Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

2006
Multi-Level Modeling in Systems Biology by Discrete Event Approaches (Mehrebenen-Modellierung in der Systembiologie innerhalb diskret-ereignisbasierter Ansätze).
it Inf. Technol., 2006

Introducing variable ports and multi-couplings for cell biological modeling in DEVS.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Challenges for modeling and simulation methods in systems biology.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Composing simulations from XML-specified model components.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

A non-fragmenting partitioning algorithm for hierarchical models.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Developing An Hierarchical Simulator for Beta-binders.
Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006

Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of Multi-Agent Systems.
Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006

Modeling and Simulation of Tests for Agents.
Proceedings of the Multiagent System Technologies, 4th German Conference, 2006

Multi-Level Modeling and Simulation in Systems Biology -- Promises and Challenges.
Proceedings of the 10th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2006), 2006

A Simulation Approach to Facilitate Parallel and Distributed Discrete-Event Simulator Development.
Proceedings of the 10th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2006), 2006

06161 Executive Summary -- Simulation and Verification of Dynamic Systems.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

2005
Discrete Event Multi-level Models for Systems Biology.
Trans. Comp. Sys. Biology, 2005

Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Flexible integration of XML into modeling and simulation systems.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

2004
A Component-Based Simulation Layer for JAMES.
Proceedings of the 18th Workshop on Parallel and Distributed Simulation, 2004

Processing Dynamic PDEVS Models.
Proceedings of the 12th International Workshop on Modeling, 2004

Modeling of Tutoring Processes in Intelligent Tutoring Systems.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

Controlled Experimentation with Agents - Models and Implementations.
Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

A Formal Tutoring Process Model for Intelligent Tutoring Systems.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Towards Reusing Model Components in Systems Biology.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003
Introduction to the Special Issue on Systems Biology and Simulation.
Simul., 2003

Next generation modeling III - agents: simulation for testing software agents - an exploration based on James.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002
The Role Of Reflection In Simulating And Testing Agents: An Exploration Based On The Simulation System James.
Appl. Artif. Intell., 2002

Adaptive Tutoring Processes and Mental Plans.
Proceedings of the Intelligent Tutoring Systems, 6th International Conference, 2002

Adapting Learner Evaluation by Plans.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001
Dynamic structures in modeling and simulation: a reflective approach.
ACM Trans. Model. Comput. Simul., 2001

Special issue on agents in modeling and simulation: exploiting the metaphor.
Proc. IEEE, 2001

Planning agents in JAMES.
Proc. IEEE, 2001

Interacting multi-agent and simulation systems: an exploration into mole and james.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
Modeling and simulation of mobile agents.
Future Gener. Comput. Syst., 2000

"Plug and test": software agents in virtual environments.
Proceedings of the 32nd conference on Winter simulation, 2000

Agent-directed simulation: challenges to meet defense and civilian requirements.
Proceedings of the 32nd conference on Winter simulation, 2000

Distributed, parallel simulation of multiple, deliberative agents.
Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000

1999
Case-based prediction in experimental medical studies.
Artif. Intell. Medicine, 1999

1998
The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies.
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

1995
Reasoning about changing structure: a modeling concept for ecological systems.
Appl. Artif. Intell., 1995

Object-Oriented and Agent-Oriented Simulation: Implications for Social Science Application.
Proceedings of the Social Science Microsimulation [Dagstuhl Seminar, May, 1995], 1995

1992
EMSY - Ein Modellierungskonzept für ökologische und biologische Systeme unter besonderer Berücksichtigung ihrer dynamischen Veränderung.
PhD thesis, 1992

1989
Anwendung von KI-Techniken zur Modellierung und Bewertung eines ökologischen Systems.
Proceedings of the Informatik im Umweltschutz, 1989


  Loading...