The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "AlgoSyn"( http://dblp.L3S.de/Venues/AlgoSyn )

URL (DBLP): http://dblp.uni-trier.de/db/conf/dagstuhl

Publication years (Num. hits)
2010 (157)
Publication types (Num. hits)
inproceedings(156) proceedings(1)
Venues (Conferences, Journals, ...)
AlgoSyn(157)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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