AlgoSyn

Keyphrases

Publications

2010

Henryk Plötz
Security in Self-Organizing Systems. AlgoSyn (2010)
Florian Schmidt
Improving Performance in Corruption-susceptible Networks. AlgoSyn (2010)
Markus Völker
Algorithmic Aspects of Sensor Networks - Scheduling, Localization and Topology Control. AlgoSyn (2010)
Michael Holtmann
The Complexity of Winning Strategies in Infinite Games. AlgoSyn (2010)
Bilal Zafar
Control of Distributed Heterogenous MIMO. AlgoSyn (2010)
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010 AlgoSyn (2010)
Ivonne Thomas
Reliable Digital Identities for SOA and the Web. AlgoSyn (2010)
Alexandru Mereacre
Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes. AlgoSyn (2010)
Chih-Hong Cheng
GAVS: Game Arena Visualization and Synthesis. AlgoSyn (2010)
Christoph Burghardt
Synthesizing Probabilistic Generative Models for Intention Analysis. AlgoSyn (2010)
Chih-Ming Hsieh
Nature-Inspired Wireless Sensor-Actuator-Networks. AlgoSyn (2010)
Michaela Slaats
Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and Strategies. AlgoSyn (2010)
Matthias Jeschke
Efficient Non-spatial and Spatial Simulation of Biochemical Reaction Networks. AlgoSyn (2010)
Kim Listmann
Synchronization of Multi-agent Systems. AlgoSyn (2010)
Matthias Kropff
Multi-Modal Sensor Monitoring for Context-Aware Assistance. AlgoSyn (2010)
Andreas Reuß
Program Analysis with Horn Clauses. AlgoSyn (2010)
Roman Dumitrescu
Developing Cognitive Functions in Self-Optimizing Systems with Solution Patterns. AlgoSyn (2010)
Marco Serafini
Fault Characterization and Diagnosis in Distributed Systems. AlgoSyn (2010)
Dieter Hildebrandt
Service-Oriented Visualization of 3D Geovirtual Environments based on Standards and Images. AlgoSyn (2010)
Jonas Trümper
Visualization of Complex Software Systems. AlgoSyn (2010)
Vladimir Bondarenko
Adaptive Thinning Algorithms of Atmospheric Observations in Data Assimilation for Numerical Weather Prediction. AlgoSyn (2010)
Thomas Kowark
Towards a Service Landscape for a Project Management Dashboard. AlgoSyn (2010)
Daniel Lyons
Scheduling and Ressource Allocation in Decentralized Sensor-actor-networks. AlgoSyn (2010)
Mohammed AbuJarour
Information Integration in Service-oriented Computing. AlgoSyn (2010)
Henry Ristau
Intelligent and Distributed Content Addressable Memory. AlgoSyn (2010)
Artem Polyvyanyy
Abstraction of Process Specifications. AlgoSyn (2010)
Yvonne Schmitz
Mathematical Modeling of Cell Signalling: Kinetic Properties of the Wnt Pathway. AlgoSyn (2010)
Jens Horneber
Managing Energy Efficient and Reliable Communication in Wireless Sensor Networks. AlgoSyn (2010)
Milos Krstajic
Visual Analytics Methods for Large-Scale Analysis of Information Dynamics in News Streams. AlgoSyn (2010)
Jacob Spönemann
The Network Design Problem for Railway Infrastructure. AlgoSyn (2010)
Dominique Gückel
Synthesis of Hardware Simulators for Use in Model Checking. AlgoSyn (2010)
Andreas Gaiser
Probabilistic Verification Techniques and Probabilistic Program Analysis. AlgoSyn (2010)
Hendrik Strobelt
Advanced Visualizations of Large Document Collections. AlgoSyn (2010)
Sven Linker
Diagrammatic Specification and Verification of Mobile Real-Time Systems. AlgoSyn (2010)
Lukas Bulwahn
Counterexample Generation for Higher-order Logic Using Logic Programming. AlgoSyn (2010)
André van Hoorn
Online Capacity Management for Increased Resource Efficiency of Software Systems. AlgoSyn (2010)
Maik Wurdel
An Integrated Approach for Task Specification for Smart Environments. AlgoSyn (2010)
Andreas Dittrich
Self-Aware Adaptive Service Networks with Dependability Guarantees. AlgoSyn (2010)
Thomas Vogel
Models and Infrastructure Support for Self-Adaptive Service-Oriented Software Systems. AlgoSyn (2010)
Arif Wider
Metamodel-based Technologies for the Development of Optical Nanostructures. AlgoSyn (2010)
Di Li
Cluster-based Channel Assignment for Multi-radio Multi-channel Wireless Mesh Networks. AlgoSyn (2010)
Tatsiana Ulazniuk
Car-to-X Communications. AlgoSyn (2010)
Matthias Majuntke
Large Scale Replication and Data Consistency. AlgoSyn (2010)
Muhammad Imran Asad Gul
Self-Managed Resource Consumption Optimization by Near-Future User Behavior Prediction at Application Level. AlgoSyn (2010)
Mirco Richter
High-Dimensional Methods for Dementia Analysis. AlgoSyn (2010)
Alexander Steiniger
Component-based Modeling and Simulation for Smart Environments. AlgoSyn (2010)
Sören Pirk
Real-Time Rendering and Modeling of Vegetation. AlgoSyn (2010)
Vinay Sachidananda
Quality of Information in Wireless Sensor networks. AlgoSyn (2010)
Stephan Kluth
Quantitative Modeling and Analysis with FMC-QE. AlgoSyn (2010)
Emilian Pascalau
Web Systems Design with Process-based Self Adaptive Behavior. AlgoSyn (2010)