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