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.
264 Publications
2018 | Conference Paper | LibreCat-ID: 5774
@inproceedings{Töws_Wehrheim_2018, place={Cham}, title={Information Flow Certificates}, DOI={10.1007/978-3-030-02508-3_23}, booktitle={Theoretical Aspects of Computing – ICTAC 2018}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2018}, pages={435–454} }
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 6253
@inbook{Senft_Fischer_Oberthür_Patkar_2018, place={Cham}, series={Lecture Notes in Computer Science}, title={Assist Users to Straightaway Suggest and Describe Experienced Problems}, volume={10918}, DOI={10.1007/978-3-319-91797-9_52}, booktitle={Design, User Experience, and Usability: Theory and Practice}, publisher={Springer International Publishing}, author={Senft, Björn and Fischer, Holger Gerhard and Oberthür, Simon and Patkar, Nitish}, year={2018}, pages={758–770}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 6254
@inbook{Fischer_Senft_Rittmeier_Sauer_2018, place={Cham}, series={Lecture Notes in Computer Science}, title={A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems}, volume={10918}, DOI={10.1007/978-3-319-91797-9_49}, booktitle={Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018)}, publisher={Springer International Publishing}, author={Fischer, Holger Gerhard and Senft, Björn and Rittmeier, Florian and Sauer, Stefan}, editor={Marcus, Aaron and Wang, WentaoEditors}, year={2018}, pages={711–724}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 6423
@inbook{Schäfer_Hüllermeier_2018, place={Cham}, title={Preference-Based Reinforcement Learning Using Dyad Ranking}, DOI={10.1007/978-3-030-01771-2_11}, booktitle={Discovery Science}, publisher={Springer International Publishing}, author={Schäfer, Dirk and Hüllermeier, Eyke}, year={2018}, pages={161–175} }
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 16392
@inbook{Feldkord_Malatyali_Meyer auf der Heide_2018, place={Cham}, title={A Dynamic Distributed Data Structure for Top-k and k-Select Queries}, DOI={10.1007/978-3-319-98355-4_18}, booktitle={Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications}, author={Feldkord, Björn and Malatyali, Manuel and Meyer auf der Heide, Friedhelm}, year={2018} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 24398
@inproceedings{Khaluf_Markarian_Simoens_Reina_2017, place={Cham}, title={Scheduling Access to Shared Space in Multi-robot Systems}, DOI={10.1007/978-3-319-59930-4_12}, booktitle={International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017)}, author={Khaluf, Yara and Markarian, Christine and Simoens, Pieter and Reina, Andreagiovanni}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2967 | 
@inproceedings{Blömer_Liske_2017, place={Cham}, series={Lecture Notes in Computer Science}, title={Subtleties in Security Definitions for Predicate Encryption with Public Index}, volume={10693}, DOI={10.1007/978-3-319-72453-9_35}, booktitle={Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS)}, publisher={Springer International Publishing}, author={Blömer, Johannes and Liske, Gennadij}, year={2017}, pages={438–453}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Book Chapter | LibreCat-ID: 23396
@inbook{Gerking_Schubert_Budde_2017, place={Cham}, title={Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities}, DOI={10.1007/978-3-319-61473-1_2}, booktitle={Theory and Practice of Model Transformation}, author={Gerking, Christopher and Schubert, David and Budde, Ingo}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2344 |
@inproceedings{Blömer_Günther_Krummel_Löken_2017, place={Cham}, title={Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations}, DOI={10.1007/978-3-319-75650-9_1}, booktitle={Foundations and Practice of Security}, publisher={Springer International Publishing}, author={Blömer, Johannes and Günther, Peter and Krummel, Volker and Löken, Nils}, year={2017}, pages={3–17} }
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 2381
@inbook{Brauer_2017, place={Cham}, title={Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems}, volume={10236}, DOI={10.1007/978-3-319-57586-5_11}, booktitle={Lecture Notes in Computer Science}, publisher={Springer International Publishing}, author={Brauer, Sascha}, editor={Fotakis, Dimitris and Pagourtzis, Aris and Paschos, Vangelis Th.Editors}, year={2017}, pages={116–127} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5769
@inproceedings{Töws_Wehrheim_2017, title={Policy Dependent and Independent Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22}, booktitle={Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017)}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2017}, pages={362–378} }
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 6255
@inbook{Fischer_Engler_Sauer_2017, place={Cham}, series={Lecture Notes in Computer Science}, title={A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0}, volume={10288}, DOI={10.1007/978-3-319-58634-2_42}, booktitle={Design, User Experience, and Usability: Theory, Methodology, and Management}, publisher={Springer International Publishing}, author={Fischer, Holger Gerhard and Engler, Michael and Sauer, Stefan}, year={2017}, pages={570–583}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 16461
@inbook{Bemmann_Biermeier_Bürmann_Kemper_Knollmann_Knorr_Kothe_Mäcker_Malatyali_Meyer auf der Heide_et al._2017, place={Cham}, title={Monitoring of Domain-Related Problems in Distributed Data Streams}, DOI={10.1007/978-3-319-72050-0_13}, booktitle={Structural Information and Communication Complexity}, author={Bemmann, Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and et al.}, year={2017} }
LibreCat
| DOI
| arXiv
2017 | Book Chapter | LibreCat-ID: 14857
@inbook{Beckschäfer_Malberg_Tierney_Weskamp_2017, place={Cham}, title={Simulating Storage Policies for an Automated Grid-Based Warehouse System}, DOI={10.1007/978-3-319-68496-3_31}, booktitle={Lecture Notes in Computer Science}, author={Beckschäfer, Michaela and Malberg, Simon and Tierney, Kevin and Weskamp, Christoph}, year={2017} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20000
@inproceedings{Hamann_Valentini_Dorigo_2016, place={Cham}, title={Population Coding: A New Design Paradigm for Embodied Distributed Systems}, DOI={10.1007/978-3-319-44427-7_15}, booktitle={10th Int. Conf. on Swarm Intelligence, ANTS 2016}, author={Hamann, Heiko and Valentini, Gabriele and Dorigo, Marco}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20004
@inproceedings{Valentini_Brambilla_Hamann_Dorigo_2016, title={Collective Perception of Environmental Features in a Robot Swarm}, DOI={10.1007/978-3-319-44427-7_6}, booktitle={10th Int. Conf. on Swarm Intelligence, ANTS 2016}, author={Valentini, Gabriele and Brambilla, Davide and Hamann, Heiko and Dorigo, Marco}, year={2016} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2948
@inbook{Günther_Krummel_2016, place={Cham}, title={Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures}, DOI={10.1007/978-3-319-32859-1_13}, booktitle={Mathematical Aspects of Computer and Information Sciences}, publisher={Springer International Publishing}, author={Günther, Peter and Krummel, Volker}, year={2016}, pages={151–165} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2968
@inbook{Blömer_Lammersen_Schmidt_Sohler_2016, place={Cham}, title={Theoretical Analysis of the k-Means Algorithm – A Survey}, DOI={10.1007/978-3-319-49487-6_3}, booktitle={Algorithm Engineering}, publisher={Springer International Publishing}, author={Blömer, Johannes and Lammersen, Christiane and Schmidt, Melanie and Sohler, Christian}, year={2016}, pages={81–116} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2970
@inbook{Blömer_Bujna_2016, place={Cham}, title={Adaptive Seeding for Gaussian Mixture Models}, DOI={10.1007/978-3-319-31750-2_24}, booktitle={Advances in Knowledge Discovery and Data Mining}, publisher={Springer International Publishing}, author={Blömer, Johannes and Bujna, Kathrin}, year={2016}, pages={296–308} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5825
@inproceedings{Wolters_Kirchhoff_Gerth_Engels_2016, place={Cham}, title={Cross-Device Integration of Android Apps}, DOI={10.1007/978-3-319-46295-0_11}, booktitle={Service-Oriented Computing}, publisher={Springer International Publishing}, author={Wolters, Dennis and Kirchhoff, Jonas and Gerth, Christian and Engels, Gregor}, editor={Sheng, Quan Z. and Stroulia, Eleni and Tata, Samir and Bhiri, Sami Editors}, year={2016}, pages={171–185} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 6257
@inbook{Fischer_Senft_2016, place={Cham}, series={Lecture Notes in Computer Science}, title={Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows}, volume={9856}, DOI={10.1007/978-3-319-44902-9_3}, booktitle={Human-Centered and Error-Resilient Systems Development}, publisher={Springer International Publishing}, author={Fischer, Holger Gerhard and Senft, Björn}, editor={Bogdan, ChristianEditor}, year={2016}, pages={30–41}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2978
@inbook{Blömer_Bujna_2016, place={Cham}, title={Adaptive Seeding for Gaussian Mixture Models}, DOI={10.1007/978-3-319-31750-2_24}, booktitle={Advances in Knowledge Discovery and Data Mining}, publisher={Springer International Publishing}, author={Blömer, Johannes and Bujna, Kathrin}, year={2016}, pages={296–308} }
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 2921 |
@inbook{Blazy_Kakvi_Kiltz_Pan_2015, place={Berlin, Heidelberg}, title={Tightly-Secure Signatures from Chameleon Hash Functions}, DOI={10.1007/978-3-662-46447-2_12}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Blazy, Olivier and Kakvi, Saqib and Kiltz, Eike and Pan, Jiaxin}, year={2015}, pages={256–279} }
LibreCat
| DOI
| Download (ext.)
2015 | Book Chapter | LibreCat-ID: 15897
@inbook{Altmeier_Mainka_Somorovsky_Schwenk_2015, place={Cham}, series={Lecture Notes in Computer Science 9481}, title={AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services}, DOI={10.1007/978-3-319-29883-2_5}, booktitle={Data Privacy Management, and Security Assurance - 10th International Workshop, {DPM} 2015, and 4th International Workshop, {QASA} 2015}, author={Altmeier, Christian and Mainka, Christian and Somorovsky, Juraj and Schwenk, Jörg}, year={2015}, collection={Lecture Notes in Computer Science 9481} }
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 15899
@inbook{Jager_Schwenk_Somorovsky_2015, place={Cham}, title={Practical Invalid Curve Attacks on TLS-ECDH}, DOI={10.1007/978-3-319-24174-6_21}, booktitle={Computer Security -- ESORICS 2015}, author={Jager, Tibor and Schwenk, Jörg and Somorovsky, Juraj}, year={2015} }
LibreCat
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 15088
@inproceedings{Böttcher_Hartel_Jacobs_Jeromin_2015, title={ECST – Extended Context-Free Straight-Line Tree Grammars}, DOI={10.1007/978-3-319-20424-6_18}, booktitle={Data Science - 30th British International Conference on Databases, BICOD 2015}, publisher={Springer}, author={Böttcher, Stefan and Hartel, Rita and Jacobs, Thomas and Jeromin, Markus}, year={2015}, pages={186–198} }
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 25338
@inbook{Geierhos_Bäumer_Schulze_Klotz_2015, place={Cham}, title={Understanding the Patient 2.0}, DOI={10.1007/978-3-319-25591-0_12}, booktitle={Modeling and Using Context}, author={Geierhos, Michaela and Bäumer, Frederik S. and Schulze, Sabine and Klotz, Caterina}, year={2015} }
LibreCat
| DOI
2015 | Book Chapter | LibreCat-ID: 25337
@inbook{Geierhos_Bäumer_Schulze_Klotz_2015, place={Cham}, title={Understanding the Patient 2.0}, DOI={10.1007/978-3-319-25591-0_12}, booktitle={Modeling and Using Context}, author={Geierhos, Michaela and Bäumer, Frederik S. and Schulze, Sabine and Klotz, Caterina}, year={2015} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 20008
@inproceedings{Hamann_Valentini_2014, place={Cham}, title={Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins}, DOI={10.1007/978-3-319-09952-1_15}, booktitle={Ninth Int. Conf. on Swarm Intelligence (ANTS 2014)}, author={Hamann, Heiko and Valentini, Gabriele}, year={2014} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 20982
@inbook{Koch_Holtmann_DeAntoni_2014, place={Cham}, title={Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications}, DOI={10.1007/978-3-319-09970-5_14}, booktitle={Software Architecture}, author={Koch, Thorsten and Holtmann, Jörg and DeAntoni, Julien}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
@inproceedings{Bokermann_Gerth_Engels_2014, series={Lecture Notes in Computer Science}, title={Use Your Best Device! Enabling Device Changes at Runtime}, volume={8659}, DOI={10.1007/978-3-319-10172-9_23}, booktitle={12th International Conference on Business Process Management (BPM 2014)}, publisher={Springer International Publishing}, author={Bokermann, Dennis and Gerth, Christian and Engels, Gregor}, year={2014}, pages={357–365}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Book (Editor) | LibreCat-ID: 16870
@book{Flocchini_Gao_Kranakis_Meyer auf der Heide_2014, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013}, volume={8243}, DOI={10.1007/978-3-642-45346-5}, publisher={Springer}, year={2014}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 15092
@inproceedings{Böttcher_Hartel_Rabe_2014, place={Cham}, title={Efficient XML Keyword Search Based on DAG-Compression}, DOI={10.1007/978-3-319-10073-9_11}, booktitle={Database and Expert Systems Applications - 25th International Conference, DEXA 2014}, publisher={Springer}, author={Böttcher, Stefan and Hartel, Rita and Rabe, Jonathan}, year={2014}, pages={122–137} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 16394
@inbook{Lukovszki_Meyer auf der Heide_2014, place={Cham}, title={Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots}, DOI={10.1007/978-3-319-14472-6_17}, booktitle={Lecture Notes in Computer Science}, author={Lukovszki, Tamás and Meyer auf der Heide, Friedhelm}, year={2014} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 16395
@inbook{Abshoff_Meyer auf der Heide_2014, place={Cham}, title={Continuous Aggregation in Dynamic Ad-Hoc Networks}, DOI={10.1007/978-3-319-09620-9_16}, booktitle={Structural Information and Communication Complexity}, author={Abshoff, Sebastian and Meyer auf der Heide, Friedhelm}, year={2014} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 47839
@inbook{Fourné_Stegemann_Petersen_Pohlmann_2014, place={Berlin, Heidelberg}, title={Aggregation of Network Protocol Data Near Its Source}, DOI={10.1007/978-3-642-55032-4_49}, booktitle={Information and Communication Technology}, publisher={Springer Berlin Heidelberg}, author={Fourné, Marcel and Stegemann, Kevin and Petersen, Dominique and Pohlmann, Norbert}, year={2014} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 2979
@inbook{Blömer_Günther_Liske_2013, place={Berlin, Heidelberg}, title={Improved Side Channel Attacks on Pairing Based Cryptography}, DOI={10.1007/978-3-642-40026-1_10}, booktitle={Constructive Side-Channel Analysis and Secure Design}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Günther, Peter and Liske, Gennadij}, year={2013}, pages={154–168} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6276
@inbook{Klompmaker_Paelke_Fischer_2013, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Taxonomy-Based Approach towards NUI Interaction Design}, volume={8028}, DOI={10.1007/978-3-642-39351-8_4}, booktitle={Distributed, Ambient, and Pervasive Interactions}, publisher={Springer Berlin Heidelberg}, author={Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard}, year={2013}, pages={32–41}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
@inbook{Fischer_Strenge_Nebe_2013, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}, volume={8012}, DOI={10.1007/978-3-642-39229-0_28}, booktitle={Design, User Experience, and Usability. Design Philosophy, Methods, and Tools}, publisher={Springer Berlin Heidelberg}, author={Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten}, year={2013}, pages={252–261}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6732
@inproceedings{Place_van Rooijen_Zeitoun_2013, place={Berlin, Heidelberg}, title={Separating Regular Languages by Piecewise Testable and Unambiguous Languages}, DOI={10.1007/978-3-642-40313-2_64}, booktitle={Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013}, publisher={Springer Berlin Heidelberg}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2013}, pages={729–740} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 15093
@inproceedings{Böttcher_Hartel_Jacobs_2013, place={Berlin, Heidelberg}, title={Fast Multi-update Operations on Compressed XML Data}, DOI={10.1007/978-3-642-39467-6_15}, booktitle={Big Data - 29th British National Conference on Databases, BNCOD 2013,}, publisher={Springer}, author={Böttcher, Stefan and Hartel, Rita and Jacobs, Thomas}, year={2013}, pages={149–164} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 16406
@inbook{Jähn_Eikel_Fischer_Petring_Meyer auf der Heide_2013, place={Berlin, Heidelberg}, title={Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties}, DOI={10.1007/978-3-642-41914-0_12}, booktitle={Advances in Visual Computing}, author={Jähn, Claudius and Eikel, Benjamin and Fischer, Matthias and Petring, Ralf and Meyer auf der Heide, Friedhelm}, year={2013} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 16407
@inbook{Petring_Eikel_Jähn_Fischer_Meyer auf der Heide_2013, place={Berlin, Heidelberg}, title={Real-Time 3D Rendering of Heterogeneous Scenes}, DOI={10.1007/978-3-642-41914-0_44}, booktitle={Advances in Visual Computing}, author={Petring, Ralf and Eikel, Benjamin and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2013} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20179
@inproceedings{Hamann_Engelbrecht_Birattari_Dorigo_Blum_Stuetzle_Christensen_Gross_2012, place={Berlin, Heidelberg}, title={Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions}, volume={7461}, DOI={10.1007/978-3-642-32650-9_15}, booktitle={Swarm Intelligence: 8th International Conference, ANTS 2012}, publisher={Springer}, author={Hamann, Heiko and Engelbrecht, Andreas and Birattari, Mauro and Dorigo, Marco and Blum, Christian and Stuetzle, Thomas and Christensen, Anders Lyhne and Gross, Roderich}, year={2012}, pages={168–179} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2918
@inbook{Kakvi_Kiltz_May_2012, place={Berlin, Heidelberg}, title={Certifying RSA}, DOI={10.1007/978-3-642-34961-4_25}, booktitle={Advances in Cryptology – ASIACRYPT 2012}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib and Kiltz, Eike and May, Alexander}, year={2012}, pages={404–414} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2919
@inbook{Kakvi_Kiltz_2012, place={Berlin, Heidelberg}, title={Optimal Security Proofs for Full Domain Hash, Revisited}, DOI={10.1007/978-3-642-29011-4_32}, booktitle={Advances in Cryptology – EUROCRYPT 2012}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib and Kiltz, Eike}, year={2012}, pages={537–553} }
LibreCat
| DOI
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 16445
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Continuous Local Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-30850-5_2}, booktitle={Experimental Algorithms}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16448
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Local, Self-organizing Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-28209-6_2}, booktitle={Algorithms for Sensor Systems}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16516
@inbook{Baier_Molo_2012, place={Berlin, Heidelberg}, title={Newton’s Method and Secant Method for Set-Valued Mappings}, DOI={10.1007/978-3-642-29843-1_9}, booktitle={Large-Scale Scientific Computing}, author={Baier, Robert and Molo, Mirko Hessel-von}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 15891
@inbook{Jager_Schinzel_Somorovsky_2012, place={Berlin, Heidelberg}, title={Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption}, DOI={10.1007/978-3-642-33167-1_43}, booktitle={Computer Security – ESORICS 2012}, author={Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16408
@inproceedings{Suess_Koch_Jähn_Fischer_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes}, volume={7431}, DOI={10.1007/978-3-642-33179-4_48}, booktitle={Advances in Visual Computing}, author={Suess, Tim and Koch, Clemens and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2012}, pages={502–512}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20183
@inproceedings{Hamann_Schmickl_Crailsheim_2011, title={Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System}, volume={5777}, DOI={10.1007/978-3-642-21283-3_55}, booktitle={10th European Conference on Artificial Life (ECAL’09)}, author={Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}, year={2011}, pages={442--449} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3332
@article{Lettmann_Baumann_Eberling_Kemmerich_2011, title={Modeling Agents and Agent Systems}, DOI={10.1007/978-3-642-24016-4_9}, journal={Transactions on Computational Collective Intelligence V}, publisher={Springer Berlin Heidelberg}, author={Lettmann, Theodor and Baumann, Michael and Eberling, Markus and Kemmerich, Thomas}, year={2011}, pages={157–181} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20709
@inbook{Cord-Landwehr_Degener_Fischer_Hüllmann_Kempkes_Klaas_Kling_Kurras_Märtens_auf der Heide_et al._2011, place={Berlin, Heidelberg}, title={Collisionless Gathering of Robots with an Extent}, DOI={10.1007/978-3-642-18381-2_15}, booktitle={SOFSEM 2011: Theory and Practice of Computer Science}, author={Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and Hüllmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and Märtens, Marcus and auf der Heide, Friedhelm Meyer and et al.}, year={2011} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20710
@inbook{Cord-Landwehr_Degener_Fischer_Hüllmann_Kempkes_Klaas_Kling_Kurras_Märtens_Meyer auf der Heide_et al._2011, place={Berlin, Heidelberg}, title={A New Approach for Analyzing Convergence Algorithms for Mobile Robots}, DOI={10.1007/978-3-642-22012-8_52}, booktitle={Automata, Languages and Programming}, author={Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and Hüllmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and Märtens, Marcus and Meyer auf der Heide, Friedhelm and et al.}, year={2011} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 6293
@inbook{Nebe_Klompmaker_Jung_Fischer_2011, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction}, volume={6762}, DOI={10.1007/978-3-642-21605-3_11}, booktitle={Human-Computer Interaction. Interaction Techniques and Environments.}, publisher={Springer Berlin Heidelberg}, author={Nebe, Karsten and Klompmaker, Florian and Jung, Helge and Fischer, Holger Gerhard}, editor={Jacko, Julie AnneEditor}, year={2011}, pages={100–109}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 6300
@inbook{Fischer_Nebe_Klompmaker_2011, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities}, volume={6776}, DOI={10.1007/978-3-642-21753-1_4}, booktitle={Human Centered Design}, publisher={Springer Berlin Heidelberg}, author={Fischer, Holger Gerhard and Nebe, Karsten and Klompmaker, Florian}, editor={Kurosu, MasaakiEditor}, year={2011}, pages={28–37}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 16410
@inproceedings{Cord-Landwehr_Degener_Fischer_Hüllmann_Kempkes_Klaas_Kling_Kurras_Märtens_Meyer auf der Heide_et al._2011, title={Collisionless Gathering of Robots with an Extent}, DOI={10.1007/978-3-642-18381-2_15}, number={6543}, booktitle={37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011)}, publisher={Springer}, author={Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and Hüllmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and Märtens, Marcus and Meyer auf der Heide, Friedhelm and et al.}, year={2011}, pages={178–189} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 16459
@inbook{Brandes_Degener_Kempkes_Meyer auf der Heide_2011, place={Berlin, Heidelberg}, title={Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally}, DOI={10.1007/978-3-642-22212-2_13}, booktitle={Structural Information and Communication Complexity}, author={Brandes, Philipp and Degener, Bastian and Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2011} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 15097
@inproceedings{Benter_Böttcher_Hartel_2011, title={Mixing Bottom-Up and Top-Down XPath Query Evaluation}, DOI={10.1007/978-3-642-23737-9_3}, booktitle={East European Conference on Advances in Databases and Information Systems}, publisher={Springer}, author={Benter, Markus and Böttcher, Stefan and Hartel, Rita}, year={2011}, pages={27–41} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 15099
@inproceedings{Bätz_Böttcher_Hartel_2011, title={Updates on Grammar-Compressed XML Data}, DOI={10.1007/978-3-642-24577-0_17}, booktitle={Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers}, publisher={Springer}, author={Bätz, Alexander and Böttcher, Stefan and Hartel, Rita}, year={2011}, pages={154–166} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 15100
@inproceedings{Böttcher_Hartel_Stey_2011, title={TraCX: Transformation of Compressed XML}, DOI={10.1007/978-3-642-24577-0_19}, booktitle={Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers}, publisher={Springer}, author={Böttcher, Stefan and Hartel, Rita and Stey, Sebastian}, year={2011}, pages={182–193} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 16409
@inbook{Cord-Landwehr_Degener_Fischer_Hüllmann_Kempkes_Klaas_Kling_Kurras_Märtens_Meyer auf der Heide_et al._2011, place={Berlin, Heidelberg}, title={A New Approach for Analyzing Convergence Algorithms for Mobile Robots}, DOI={10.1007/978-3-642-22012-8_52}, booktitle={Automata, Languages and Programming}, author={Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and Hüllmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and Märtens, Marcus and Meyer auf der Heide, Friedhelm and et al.}, year={2011} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19796
@inproceedings{Mense_Schindelhauer_2010, series={Lecture Notes in Computer Science}, title={Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks}, volume={5873}, DOI={10.1007/978-3-642-05118-0_43}, booktitle={Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems}, author={Mense, Mario and Schindelhauer, Christian}, year={2010}, pages={624--639}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20226
@inproceedings{Hamann_Meyer_Schmickl_Crailsheim_2010, title={A Model of Symmetry Breaking in Collective Decision-Making}, volume={6226}, DOI={10.1007/978-3-642-15193-4_60}, booktitle={From Animals to Animats 11}, publisher={Springer}, author={Hamann, Heiko and Meyer, Bernd and Schmickl, Thomas and Crailsheim, Karl}, year={2010}, pages={639–648} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 24282
@article{Grza̧ślewicz_Kutyłowski_Kutyłowski_Pietkiewicz_2010, title={Robust Undetectable Interference Watermarks}, DOI={10.1007/11424826_55}, journal={ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications}, author={Grza̧ślewicz, Ryszard and Kutyłowski, Jarosław and Kutyłowski, Mirosław and Pietkiewicz, Wojciech}, year={2010} }
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 2988
@inbook{Ackermann_Blömer_2010, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Bregman Clustering for Separable Instances}, DOI={10.1007/978-3-642-13731-0_21}, booktitle={SWAT 2010}, publisher={Springer Berlin Heidelberg}, author={Ackermann, Marcel R. and Blömer, Johannes}, year={2010}, pages={212–223}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 20961
@inbook{Seebach_Nafz_Holtmann_Meyer_Tichy_Reif_Schäfer_2010, place={Berlin, Heidelberg}, title={Designing Self-healing in Automotive Systems}, DOI={10.1007/978-3-642-16576-4_4}, booktitle={Lecture Notes in Computer Science}, author={Seebach, Hella and Nafz, Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang and Schäfer, Wilhelm}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19029
@inproceedings{Briest_Chalermsook_Khanna_Laekhanukit_Nanongkai_2010, title={Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing}, DOI={10.1007/978-3-642-17572-5_37}, booktitle={Workshop on Internet and Network Economics (WINE)}, author={Briest, Patrick and Chalermsook, Parinya and Khanna, Sanjeev and Laekhanukit, Bundit and Nanongkai, Danupon}, year={2010} }
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 16505
@inbook{Eikel_Jähn_Fischer_2010, place={Berlin, Heidelberg}, title={Preprocessed Global Visibility for Real-Time Rendering on Low-End Hardware}, DOI={10.1007/978-3-642-17289-2_60}, booktitle={Advances in Visual Computing}, author={Eikel, Benjamin and Jähn, Claudius and Fischer, Matthias}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 15137
@inproceedings{Böttcher_Hartel_Messinger_2010, title={Searchable Compression of Office Documents by XML Schema Subtraction}, DOI={10.1007/978-3-642-15684-7_9}, booktitle={Database and XML Technologies - 7th International XML Database Symposium, XSym 2010}, publisher={Springer}, author={Böttcher, Stefan and Hartel, Rita and Messinger, Christian}, year={2010}, pages={103–112} }
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 16365
@inbook{Degener_Kempkes_Kling_Meyer auf der Heide_2010, place={Berlin, Heidelberg}, series={SIROCCO 2010}, title={A Continuous, Local Strategy for Constructing a Short Chain of Mobile Robots}, DOI={10.1007/978-3-642-13284-1_14}, booktitle={Structural Information and Communication Complexity}, author={Degener, Bastian and Kempkes, Barbara and Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2010}, pages={168–182}, collection={SIROCCO 2010} }
LibreCat
| DOI
2010 | Book (Editor) | LibreCat-ID: 16403
@book{Abramsky_Gavoille_Kirchner_Meyer auf der Heide_Spirakis_2010, place={Berlin, Heidelberg}, title={Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II.}, DOI={10.1007/978-3-642-14162-1}, year={2010} }
LibreCat
| DOI
2010 | Book (Editor) | LibreCat-ID: 16404
@book{Abramsky_Gavoille_Kirchner_Meyer auf der Heide_Spirakis_2010, place={Berlin, Heidelberg}, title={Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I.}, DOI={10.1007/978-3-642-14165-2}, year={2010} }
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 13301
@inbook{Trier_Müller_2010, place={Berlin, Heidelberg}, title={Towards a Systematic Approach for Capturing Knowledge-Intensive Business Processes}, DOI={10.1007/978-3-540-30545-3_23}, booktitle={Practical Aspects of Knowledge Management}, author={Trier, Matthias and Müller, Claudia}, year={2010} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 19724
@inbook{Bonorden_Degener_Kempkes_Pietrzyk_2009, place={Berlin, Heidelberg}, title={Complexity and Approximation of a Geometric Local Robot Assignment Problem}, DOI={10.1007/978-3-642-05434-1_25}, booktitle={Algorithmic Aspects of Wireless Sensor Networks}, publisher={Springer}, author={Bonorden, Olaf and Degener, Bastian and Kempkes, Barbara and Pietrzyk, Peter}, year={2009}, pages={252–262} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 2920
@inbook{Kakvi_2009, place={Berlin, Heidelberg}, title={Reinforcement Learning for Blackjack}, DOI={10.1007/978-3-642-04052-8_43}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib}, year={2009}, pages={300–301} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 3000
@inbook{Schrieb_Wehrheim_Wonisch_2009, place={Berlin, Heidelberg}, title={Three-Valued Spotlight Abstractions}, DOI={10.1007/978-3-642-05089-3_8}, booktitle={FM 2009: Formal Methods}, publisher={Springer Berlin Heidelberg}, author={Schrieb, Jonas and Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={106–122} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 23744
@inbook{Briest_Hoefer_Gualà_Ventre_2009, place={Berlin, Heidelberg}, title={On Stackelberg Pricing with Computationally Bounded Consumers}, DOI={10.1007/978-3-642-10841-9_6}, booktitle={Lecture Notes in Computer Science}, author={Briest, Patrick and Hoefer, Martin and Gualà, Luciano and Ventre, Carmine}, year={2009} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 1830
@inbook{Biermann_Schwabe_Karl_2009, place={Berlin, Heidelberg}, title={Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE}, DOI={10.1007/978-3-642-01399-7_69}, booktitle={NETWORKING 2009}, publisher={Springer Berlin Heidelberg}, author={Biermann, Thorsten and Schwabe, Arne and Karl, Holger}, year={2009}, pages={883–894} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 9616
@inbook{Kakvi_2009, place={Berlin, Heidelberg}, title={Reinforcement Learning for Blackjack}, DOI={10.1007/978-3-642-04052-8_43}, booktitle={Lecture Notes in Computer Science}, author={Kakvi, Saqib}, year={2009} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19686
@inproceedings{Briest_2008, title={Uniform Budgets and the Envy-Free Pricing Problem}, DOI={10.1007/978-3-540-70575-8_66}, booktitle={Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP)}, author={Briest, Patrick}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19003
@inproceedings{Degener_Gehweiler_Lammersen_2008, title={The Kinetic Facility Location Problem}, DOI={10.1007/978-3-540-69903-3_34}, booktitle={Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT)}, author={Degener, Bastian and Gehweiler, Joachim and Lammersen, Christiane}, year={2008}, pages={378–389} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20367
@inproceedings{Hamann_Wörn_2008, title={Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem}, volume={5040}, DOI={10.1007/978-3-540-69134-1_44}, booktitle={The tenth International Conference on Simulation of Adaptive Behavior (SAB’08)}, author={Hamann, Heiko and Wörn, Heinz}, year={2008}, pages={447--456} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 17978
@inbook{Lürwer-Brüggemeier_Ziegler_2008, place={Berlin, Heidelberg}, title={On Faster Integer Calculations Using Non-arithmetic Primitives}, DOI={10.1007/978-3-540-85194-3_11}, booktitle={Unconventional Computing}, author={Lürwer-Brüggemeier, Katharina and Ziegler, Martin}, year={2008} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 24276
@inproceedings{Bienkowski_Kutyłowski_2007, place={Berlin, Heidelberg}, title={The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces}, DOI={10.1007/978-3-540-73951-7_30}, booktitle={Lecture Notes in Computer Science}, author={Bienkowski, Marcin and Kutyłowski, Jarosław}, year={2007} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3019
@inbook{May_2007, place={Berlin, Heidelberg}, title={Cryptanalysis of Unbalanced RSA with Small CRT-Exponent}, DOI={10.1007/3-540-45708-9_16}, booktitle={Advances in Cryptology — CRYPTO 2002}, publisher={Springer Berlin Heidelberg}, author={May, Alexander}, year={2007}, pages={242–256} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
@inbook{Blömer_May_2007, place={Berlin, Heidelberg}, title={Low Secret Exponent RSA Revisited}, DOI={10.1007/3-540-44670-2_2}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2007}, pages={4–19} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
@inbook{Blömer_May_2007, place={Berlin, Heidelberg}, title={Key Revocation with Interval Cover Families}, DOI={10.1007/3-540-45537-x_26}, booktitle={Selected Areas in Cryptography}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2007}, pages={325–341} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
@inbook{May_Silverman_2007, place={Berlin, Heidelberg}, title={Dimension Reduction Methods for Convolution Modular Lattices}, DOI={10.1007/3-540-44670-2_10}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={May, Alexander and Silverman, Joseph H.}, year={2007}, pages={110–125} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
@inbook{Blömer_2007, place={Berlin, Heidelberg}, title={A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers}, DOI={10.1007/3-540-68530-8_13}, booktitle={Algorithms — ESA’ 98}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2007}, pages={151–162} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18929
@inproceedings{Dynia_Korzeniowski_Kutyłowski_2007, title={Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs}, volume={4362}, DOI={10.1007/978-3-540-69507-3_21}, booktitle={Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07)}, author={Dynia, Miroslaw and Korzeniowski, Miroslaw and Kutyłowski, Jarosław}, year={2007}, pages={260--271} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17982
@inbook{Ziegler_2007, place={Berlin, Heidelberg}, title={(Short) Survey of Real Hypercomputation}, DOI={10.1007/978-3-540-73001-9_86}, booktitle={Lecture Notes in Computer Science}, author={Ziegler, Martin}, year={2007} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17983
@inbook{Meer_Ziegler_2007, place={Berlin, Heidelberg}, title={Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation}, DOI={10.1007/978-3-540-74456-6_64}, booktitle={Mathematical Foundations of Computer Science 2007}, author={Meer, Klaus and Ziegler, Martin}, year={2007} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 16640
@inbook{Monien_Preis_2007, place={Berlin, Heidelberg}, title={Upper Bounds on the Bisection Width of 3- and 4-Regular Graphs}, DOI={10.1007/3-540-44683-4_46}, booktitle={Mathematical Foundations of Computer Science 2001}, author={Monien, Burkhard and Preis, Robert}, year={2007} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 15144
@inproceedings{Böttcher_Steinmetz_2007, title={Evaluating XPath Queries on XML Data Streams}, DOI={10.1007/978-3-540-73390-4_10}, booktitle={Data Management. Data, Data Everywhere, 24th British National Conference on Databases, BNCOD 24}, publisher={Springer}, author={Böttcher, Stefan and Steinmetz, Rita}, year={2007}, pages={101–113} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 15146
@inproceedings{Böttcher_Steinmetz_2007, title={Data Management for Mobile Ajax Web 2.0 Applications}, DOI={10.1007/978-3-540-74469-6_42}, booktitle={Database and Expert Systems Applications, 18th International Conference, DEXA 2007}, publisher={Springer}, author={Böttcher, Stefan and Steinmetz, Rita}, year={2007}, pages={424–433} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 19838
@inproceedings{Rührup_Schindelhauer_2006, title={Online Multi-path Routing in a Maze}, DOI={10.1007/11940128_65}, booktitle={Proc. of the 17th International Symposium on Algorithms and Computation (ISAAC 2006)}, author={Rührup, Stefan and Schindelhauer, Christian}, year={2006} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 24277
@inproceedings{Kutyłowski_Zagórski_2006, place={Berlin, Heidelberg}, title={Reliable Broadcasting Without Collision Detection}, DOI={10.1007/11611257_37}, booktitle={SOFSEM 2006: Theory and Practice of Computer Science}, author={Kutyłowski, Jarosław and Zagórski, Filip}, year={2006} }
LibreCat
| DOI
2006 | Book Chapter | LibreCat-ID: 3004
@inbook{Blömer_Krummel_2006, place={Berlin, Heidelberg}, title={Fault Based Collision Attacks on AES}, DOI={10.1007/11889700_11}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Krummel, Volker}, year={2006}, pages={106–120} }
LibreCat
| DOI