Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

262 Publications


2020 | Conference Paper | LibreCat-ID: 17084
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
N. Weidmann, A. Anjorin, in: H. Wehrheim, J. Cabot (Eds.), Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, Springer, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17085
Modeling and Analyzing Architectural Diversity of Open Platforms
B. Schwichtenberg, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 28997
Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC
F. Dallmeier, J.P. Drees, K. Gellert, T. Handirk, T. Jager, J. Klauke, S. Nachtigall, T. Renzelmann, R. Wolf, in: Cryptology and Network Security, Springer-Verlag, Cham, 2020, pp. 211–231.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20706
Considering Context in Design Science Research: A Systematic Literature Review
P. zur Heiden, in: Designing for Digital Transformation. Co-Creating Services with Citizens and Industry, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 45848
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
Y. Mahmood, A. Meier, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 47261
Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges
J.M. Haney, S.M. Furman, Y. Acar, in: HCI for Cybersecurity, Privacy and Trust, Springer International Publishing, Cham, 2020.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 11952
A Value-Centered Approach for Unique and Novel Software Applications
B. Senft, F. Rittmeier, H.G. Fischer, S. Oberthür, in: Design, User Experience, and Usability. Practice and Case Studies, Cham, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 14890
Exploiting Counterfactuals for Scalable Stochastic Optimization
S. Kuhlemann, M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15004
Feature Selection for Analogy-Based Learning to Rank
M. Ahmadi Fahandar, E. Hüllermeier, in: Discovery Science, Cham, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15005
Analogy-Based Preference Learning with Kernels
M. Ahmadi Fahandar, E. Hüllermeier, in: KI 2019: Advances in Artificial Intelligence, Cham, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15006
Epistemic Uncertainty Sampling
V.-L. Nguyen, S. Destercke, E. Hüllermeier, in: Discovery Science, Cham, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15080
How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics
R. Hartel, A. Dunst, in: International Conference on Multimedia Modeling, MMM, Springer, 2019, pp. 662–671.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13872
CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 45818
Parameterised Complexity of Abduction in Schaefer’s Framework
Y. Mahmood, A. Meier, J. Schmidt, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2019.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 2862 | OA
Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 24396
An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest
C. Markarian, in: International Workshop on Combinatorial Algorithms (IWOCA), Cham, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 3362
Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 3373
An FPGA/HMC-Based Accelerator for Resolution Proof Checking
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
LibreCat | Files available | DOI
 

2018 | Book Chapter | LibreCat-ID: 3536
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 5774
Information Flow Certificates
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
LibreCat | Files available | DOI
 

2018 | Book Chapter | LibreCat-ID: 6253
Assist Users to Straightaway Suggest and Describe Experienced Problems
B. Senft, H.G. Fischer, S. Oberthür, N. Patkar, in: Design, User Experience, and Usability: Theory and Practice, Springer International Publishing, Cham, 2018, pp. 758–770.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 6254
A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems
H.G. Fischer, B. Senft, F. Rittmeier, S. Sauer, in: A. Marcus, W. Wang (Eds.), Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), Springer International Publishing, Cham, 2018, pp. 711–724.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 6423
Preference-Based Reinforcement Learning Using Dyad Ranking
D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.
LibreCat | Files available | DOI
 

2018 | Book Chapter | LibreCat-ID: 16392
A Dynamic Distributed Data Structure for Top-k and k-Select Queries
B. Feldkord, M. Malatyali, F. Meyer auf der Heide, in: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, Cham, 2018.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 24398
Scheduling Access to Shared Space in Multi-robot Systems
Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 2967 | OA
Subtleties in Security Definitions for Predicate Encryption with Public Index
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
LibreCat | Files available | DOI | Download (ext.)
 

2017 | Book Chapter | LibreCat-ID: 23396
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities
C. Gerking, D. Schubert, I. Budde, in: Theory and Practice of Model Transformation, Cham, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 2344 | OA
Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat | Files available | DOI
 

2017 | Book Chapter | LibreCat-ID: 2381
Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5769
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.
LibreCat | Files available | DOI
 

2017 | Book Chapter | LibreCat-ID: 6255
A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0
H.G. Fischer, M. Engler, S. Sauer, in: Design, User Experience, and Usability: Theory, Methodology, and Management, Springer International Publishing, Cham, 2017, pp. 570–583.
LibreCat | DOI
 

2017 | Book Chapter | LibreCat-ID: 16461
Monitoring of Domain-Related Problems in Distributed Data Streams
P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr, N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer, J. Sundermeier, in: Structural Information and Communication Complexity, Cham, 2017.
LibreCat | DOI | arXiv
 

2017 | Book Chapter | LibreCat-ID: 14857
Simulating Storage Policies for an Automated Grid-Based Warehouse System
M. Beckschäfer, S. Malberg, K. Tierney, C. Weskamp, in: Lecture Notes in Computer Science, Cham, 2017.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20000
Population Coding: A New Design Paradigm for Embodied Distributed Systems
H. Hamann, G. Valentini, M. Dorigo, in: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, Cham, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20004
Collective Perception of Environmental Features in a Robot Swarm
G. Valentini, D. Brambilla, H. Hamann, M. Dorigo, in: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 2948
Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures
P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 2968
Theoretical Analysis of the k-Means Algorithm – A Survey
J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering, Springer International Publishing, Cham, 2016, pp. 81–116.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 2970
Adaptive Seeding for Gaussian Mixture Models
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 5825
Cross-Device Integration of Android Apps
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: Q.Z. Sheng, E. Stroulia, S. Tata, S. Bhiri (Eds.), Service-Oriented Computing, Springer International Publishing, Cham, 2016, pp. 171–185.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 6257
Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows
H.G. Fischer, B. Senft, in: C. Bogdan (Ed.), Human-Centered and Error-Resilient Systems Development, Springer International Publishing, Cham, 2016, pp. 30–41.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 2978
Adaptive Seeding for Gaussian Mixture Models
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 2921 | OA
Tightly-Secure Signatures from Chameleon Hash Functions
O. Blazy, S. Kakvi, E. Kiltz, J. Pan, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2015, pp. 256–279.
LibreCat | DOI | Download (ext.)
 

2015 | Book Chapter | LibreCat-ID: 15897
AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services
C. Altmeier, C. Mainka, J. Somorovsky, J. Schwenk, in: Data Privacy Management, and Security Assurance - 10th International Workshop, {DPM} 2015, and 4th International Workshop, {QASA} 2015, Cham, 2015.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 15899
Practical Invalid Curve Attacks on TLS-ECDH
T. Jager, J. Schwenk, J. Somorovsky, in: Computer Security -- ESORICS 2015, Cham, 2015.
LibreCat | DOI | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 15088
ECST – Extended Context-Free Straight-Line Tree Grammars
S. Böttcher, R. Hartel, T. Jacobs, M. Jeromin, in: Data Science - 30th British International Conference on Databases, BICOD 2015, Springer, 2015, pp. 186–198.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 25338
Understanding the Patient 2.0
M. Geierhos, F.S. Bäumer, S. Schulze, C. Klotz, in: Modeling and Using Context, Cham, 2015.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 25337
Understanding the Patient 2.0
M. Geierhos, F.S. Bäumer, S. Schulze, C. Klotz, in: Modeling and Using Context, Cham, 2015.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20008
Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins
H. Hamann, G. Valentini, in: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), Cham, 2014.
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 20982
Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 6741
Use Your Best Device! Enabling Device Changes at Runtime
D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on Business Process Management (BPM 2014), Springer International Publishing, 2014, pp. 357–365.
LibreCat | DOI
 

2014 | Book (Editor) | LibreCat-ID: 16870
Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Springer, Berlin, Heidelberg, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 15092
Efficient XML Keyword Search Based on DAG-Compression
S. Böttcher, R. Hartel, J. Rabe, in: Database and Expert Systems Applications - 25th International Conference, DEXA 2014, Springer, Cham, 2014, pp. 122–137.
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 16394
Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots
T. Lukovszki, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Cham, 2014.
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 16395
Continuous Aggregation in Dynamic Ad-Hoc Networks
S. Abshoff, F. Meyer auf der Heide, in: Structural Information and Communication Complexity, Cham, 2014.
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 47839
Aggregation of Network Protocol Data Near Its Source
M. Fourné, K. Stegemann, D. Petersen, N. Pohlmann, in: Information and Communication Technology, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 2979
Improved Side Channel Attacks on Pairing Based Cryptography
J. Blömer, P. Günther, G. Liske, in: Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 154–168.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 6276
A Taxonomy-Based Approach towards NUI Interaction Design
F. Klompmaker, V. Paelke, H.G. Fischer, in: Distributed, Ambient, and Pervasive Interactions, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 32–41.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 6279
Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design
H.G. Fischer, B. Strenge, K. Nebe, in: Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 252–261.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 6732
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 15093
Fast Multi-update Operations on Compressed XML Data
S. Böttcher, R. Hartel, T. Jacobs, in: Big Data - 29th British National Conference on Databases, BNCOD 2013, Springer, Berlin, Heidelberg, 2013, pp. 149–164.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 16406
Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties
C. Jähn, B. Eikel, M. Fischer, R. Petring, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2013.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 16407
Real-Time 3D Rendering of Heterogeneous Scenes
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2013.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 20179
Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions
H. Hamann, A. Engelbrecht, M. Birattari, M. Dorigo, C. Blum, T. Stuetzle, A.L. Christensen, R. Gross, in: Swarm Intelligence: 8th International Conference, ANTS 2012, Springer, Berlin, Heidelberg, 2012, pp. 168–179.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 2918
Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 2919
Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
LibreCat | DOI | Download (ext.)
 

2012 | Book Chapter | LibreCat-ID: 16445
Continuous Local Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Experimental Algorithms, Berlin, Heidelberg, 2012.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 16448
Local, Self-organizing Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 16516
Newton’s Method and Secant Method for Set-Valued Mappings
R. Baier, M.H. Molo, in: Large-Scale Scientific Computing, Berlin, Heidelberg, 2012.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 15891
Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security – ESORICS 2012, Berlin, Heidelberg, 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 16408
Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes
T. Suess, C. Koch, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2012, pp. 502–512.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 20183
Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System
H. Hamann, T. Schmickl, K. Crailsheim, in: 10th European Conference on Artificial Life (ECAL’09), 2011, pp. 442--449.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3332
Modeling Agents and Agent Systems
T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich, Transactions on Computational Collective Intelligence V (2011) 157–181.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 20709
Collisionless Gathering of Robots with an Extent
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F.M. auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: SOFSEM 2011: Theory and Practice of Computer Science, Berlin, Heidelberg, 2011.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 20710
A New Approach for Analyzing Convergence Algorithms for Mobile Robots
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 6293
Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction
K. Nebe, F. Klompmaker, H. Jung, H.G. Fischer, in: J.A. Jacko (Ed.), Human-Computer Interaction. Interaction Techniques and Environments., Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 100–109.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 6300
A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities
H.G. Fischer, K. Nebe, F. Klompmaker, in: M. Kurosu (Ed.), Human Centered Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 28–37.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 16410
Collisionless Gathering of Robots with an Extent
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), Springer, 2011, pp. 178–189.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 16459
Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally
P. Brandes, B. Degener, B. Kempkes, F. Meyer auf der Heide, in: Structural Information and Communication Complexity, Berlin, Heidelberg, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 15097
Mixing Bottom-Up and Top-Down XPath Query Evaluation
M. Benter, S. Böttcher, R. Hartel, in: East European Conference on Advances in Databases and Information Systems, Springer, 2011, pp. 27–41.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 15099
Updates on Grammar-Compressed XML Data
A. Bätz, S. Böttcher, R. Hartel, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 154–166.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 15100
TraCX: Transformation of Compressed XML
S. Böttcher, R. Hartel, S. Stey, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 182–193.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 16409
A New Approach for Analyzing Convergence Algorithms for Mobile Robots
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19796
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20226
A Model of Symmetry Breaking in Collective Decision-Making
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 24282
Robust Undetectable Interference Watermarks
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 2988
Bregman Clustering for Separable Instances
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 20961
Designing Self-healing in Automotive Systems
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19029
Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing
P. Briest, P. Chalermsook, S. Khanna, B. Laekhanukit, D. Nanongkai, in: Workshop on Internet and Network Economics (WINE), 2010.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 16505
Preprocessed Global Visibility for Real-Time Rendering on Low-End Hardware
B. Eikel, C. Jähn, M. Fischer, in: Advances in Visual Computing, Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 15137
Searchable Compression of Office Documents by XML Schema Subtraction
S. Böttcher, R. Hartel, C. Messinger, in: Database and XML Technologies - 7th International XML Database Symposium, XSym 2010, Springer, 2010, pp. 103–112.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 16365
A Continuous, Local Strategy for Constructing a Short Chain of Mobile Robots
B. Degener, B. Kempkes, P. Kling, F. Meyer auf der Heide, in: Structural Information and Communication Complexity, Berlin, Heidelberg, 2010, pp. 168–182.
LibreCat | DOI
 

2010 | Book (Editor) | LibreCat-ID: 16403
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II.
S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, P.G. Spirakis, eds., Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II., Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Book (Editor) | LibreCat-ID: 16404
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I.
S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, P.G. Spirakis, eds., Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I., Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 13301
Towards a Systematic Approach for Capturing Knowledge-Intensive Business Processes
M. Trier, C. Müller, in: Practical Aspects of Knowledge Management, Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 19724
Complexity and Approximation of a Geometric Local Robot Assignment Problem
O. Bonorden, B. Degener, B. Kempkes, P. Pietrzyk, in: Algorithmic Aspects of Wireless Sensor Networks, Springer, Berlin, Heidelberg, 2009, pp. 252–262.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 2920
Reinforcement Learning for Blackjack
S. Kakvi, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 300–301.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 3000
Three-Valued Spotlight Abstractions
J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 23744
On Stackelberg Pricing with Computationally Bounded Consumers
P. Briest, M. Hoefer, L. Gualà, C. Ventre, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 1830
Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE
T. Biermann, A. Schwabe, H. Karl, in: NETWORKING 2009, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 883–894.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 9616
Reinforcement Learning for Blackjack
S. Kakvi, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.
LibreCat | DOI
 

Filters and Search Terms

issn=0302-9743

Search

Filter Publications

Display / Sort

Export / Embed