Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alexander Steiniger |
Component-based Modeling and Simulation for Smart Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 143, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Tatsiana Ulazniuk |
Car-to-X Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 177, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Sören Pirk |
Real-Time Rendering and Modeling of Vegetation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 40, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Sven Linker |
Diagrammatic Specification and Verification of Mobile Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 53, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Dieter Hildebrandt |
Service-Oriented Visualization of 3D Geovirtual Environments based on Standards and Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 197, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Daniel Lyons |
Scheduling and Ressource Allocation in Decentralized Sensor-actor-networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 64, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Vinay Sachidananda |
Quality of Information in Wireless Sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 115, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jacob Spönemann |
The Network Design Problem for Railway Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 83, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Matthias Kropff |
Multi-Modal Sensor Monitoring for Context-Aware Assistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 108, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andreas Dittrich |
Self-Aware Adaptive Service Networks with Dependability Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 88, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Alexandru Mereacre |
Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 81, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Mirco Richter |
High-Dimensional Methods for Dementia Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 41, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Christoph Burghardt |
Synthesizing Probabilistic Generative Models for Intention Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 135, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Henry Ristau |
Intelligent and Distributed Content Addressable Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 142, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Stephan Kluth |
Quantitative Modeling and Analysis with FMC-QE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 198, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jens Horneber |
Managing Energy Efficient and Reliable Communication in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 61, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Matthias Jeschke |
Efficient Non-spatial and Spatial Simulation of Biochemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 124, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andreas Gaiser |
Probabilistic Verification Techniques and Probabilistic Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 148, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Kai Bollue, Dominique Gückel, Ulrich Loup, Jacob Spönemann, Melanie Winkler (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | André van Hoorn |
Online Capacity Management for Increased Resource Efficiency of Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 58, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Roman Dumitrescu |
Developing Cognitive Functions in Self-Optimizing Systems with Solution Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 182, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Arif Wider |
Metamodel-based Technologies for the Development of Optical Nanostructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 100, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Markus Völker |
Algorithmic Aspects of Sensor Networks - Scheduling, Localization and Topology Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 72, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Muhammad Imran Asad Gul |
Self-Managed Resource Consumption Optimization by Near-Future User Behavior Prediction at Application Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 50, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Vladimir Bondarenko |
Adaptive Thinning Algorithms of Atmospheric Observations in Data Assimilation for Numerical Weather Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 30, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Thomas Kowark |
Towards a Service Landscape for a Project Management Dashboard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 199, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Bilal Zafar |
Control of Distributed Heterogenous MIMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 179, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Mohammed AbuJarour |
Information Integration in Service-oriented Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 190, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michaela Slaats |
Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 82, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Yvonne Schmitz |
Mathematical Modeling of Cell Signalling: Kinetic Properties of the Wnt Pathway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 129, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Emilian Pascalau |
Web Systems Design with Process-based Self Adaptive Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 203, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Artem Polyvyanyy |
Abstraction of Process Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 206, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Chih-Ming Hsieh |
Nature-Inspired Wireless Sensor-Actuator-Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 62, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Milos Krstajic |
Visual Analytics Methods for Large-Scale Analysis of Information Dynamics in News Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 37, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michael Holtmann |
The Complexity of Winning Strategies in Infinite Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 79, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Dominique Gückel |
Synthesis of Hardware Simulators for Use in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 76, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Kim Listmann |
Synchronization of Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 109, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Hendrik Strobelt |
Advanced Visualizations of Large Document Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 43, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Henryk Plötz |
Security in Self-Organizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 96, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Lukas Bulwahn |
Counterexample Generation for Higher-order Logic Using Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 146, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andreas Reuß |
Program Analysis with Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 158, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Maik Wurdel |
An Integrated Approach for Task Specification for Smart Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 144, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ivonne Thomas |
Reliable Digital Identities for SOA and the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 209, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Thomas Vogel 0001 |
Models and Infrastructure Support for Self-Adaptive Service-Oriented Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 211, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Marco Serafini |
Fault Characterization and Diagnosis in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 117, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Di Li |
Cluster-based Channel Assignment for Multi-radio Multi-channel Wireless Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 19, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Florian Schmidt |
Improving Performance in Corruption-susceptible Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 25, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Matthias Majuntke |
Large Scale Replication and Data Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 110, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jonas Trümper |
Visualization of Complex Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 210, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Chih-Hong Cheng |
GAVS: Game Arena Visualization and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 147, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Johannes Lorey |
Data Placement Strategies for Cloud Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 200, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Frank Feinbube |
Programming Models for Multicore Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 194, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Dominik Schulz |
Parameters for Distributed MIMO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 174, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Daniel Jacobi |
Scopes - A Framework for Multi-Purpose Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 107, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Cem Mengi |
Integrated Design and Configuration of Versatile Software Documents in Automotive Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 21, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Joanna Geibig |
Self-Organized Data Replication in Wireless Multihop Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 90, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Fiete Haack |
Brownian Dynamics Simulations for Cell Biological Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 122, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Frank Kühnlenz |
A Model-based Approach for Transparent Experimentation Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 93, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Tessa Tielert |
Information Dissemination in Urban Wireless Vehicular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 71, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Christian Bünnig |
Smart Privacy Management in Ubiquitous Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 134, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ron Henkel |
Distributed Information Retrieval of Computational Biological Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 123, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Tobias Vogel 0002 |
Dynamically Adaptive Data Quality Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 213, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Melanie Winkler |
Synthesis and Probabilistic Analysis of Online Algorithms for Online Buffering Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 85, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Felix Jonathan Oppermann |
End-User-Requirement-Driven Design of Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 55, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Falko Theisselmann |
Model-driven Engineering for Environmental Modeling with Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 98, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Martin Heine |
Privacy and Reciprocity in Sensor-Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 60, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Uwe Hentschel |
Services for Real-Time Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 196, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Christian Gerth |
A Framework for Change Management of Business Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 182, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jin Yang |
Self-organization Data Harvesting and Fusion for Building a Resource Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 178, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Johannes Schmid |
Infrastructureless Localization in WSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 69, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andreas Stoffel |
Document Structure Analysis for Large Document Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 42, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Arthur Herzog |
Device-Agent Based Middleware Approach for Mixed Mode Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 106, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Sabrina von Styp |
Symbolic and Timed Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 84, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Christoph Wagner 0001 |
Verifying Data-Dependent Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 99, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Mónica Alejandra Lora Girón |
QoE in Cooperative Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 20, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andreas Meyer 0001 |
Resource Management in BPMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 202, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Christian Reinl |
Trajectory Planning and Task Allocation of Cooperating Vehicles: Discrete-Continuous Modeling and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 114, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Alexander Kettler |
Decentral Task Processing by Cooperation and Interaction: Models Assisting in Local Algorithm Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 63, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Tobias Simon |
Self-organized Mission Planning and Control for UAV Communication Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 175, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Pavlo Krasovsky |
Monitor and Control System of Distributed Data Exchange in MANETs for Dissaster Scenarious. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 169, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Paul Hänsch |
Reachability Analysis of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 77, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Torsten Sattler |
Localize Me!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 24, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Markus Latte-Freiberger |
Automata for Program and Model Analysis (working title). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 157, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Alexander Krah |
Electromagnetic Wave Field Synthesis for an Over-the-Air Test of Radios in the Graduate School. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 168, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Vaishak Belle |
Multi-Agent Only-Knowing Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 16, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Christian Brosch |
Self-Organized Service Placement in Mobile Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 164, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jarungjit Parnjai |
Analysis of Behavioral Exchangeability of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 95, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andreas W. Reimer |
Analysis and Construction of Chorematic Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 97, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Enrico Heinrich |
Development of a Flexible, Locatable and Safe Radio Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 137, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andriy Panchenko 0001 |
Anonymous Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 22, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Rehab Alnemr |
Context-aware Reputation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 191, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Omar Ahmed |
Self-Organized Routing in Cognitive Radio Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 170, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Md. Akbar Hossain |
Optimization of Spectrum Handoff in Cognitive Radio Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 163, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Emi Mathews |
Maintaining Connectivity of Autonomous Agents Using Mobile Ad-hoc Robotic Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 187, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Kai Bollue |
Synthesis of Behavioral Controllers for Discrete Event Systems with Augmented Petri Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 74, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Armin Strobel |
Distributed and Predictive Control of UAV Swarms for Measurement of Scalar Fields in Lower Airspace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 118, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Anke Lehmann |
Interaction in High-resolution Display Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 138, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Basil Becker |
Modeling and Verification of Self-Adaptive Service-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 193, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Hans-Jörg Schulz |
Explorative Graph Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 130, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ulrich Loup |
Decision Problems over the Domain of the Real Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: 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, pp. 80, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|