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.
5711 Publications
2013 | Journal Article | LibreCat-ID: 16044
D. Heider, R. Senge, W. Cheng, and E. Hüllermeier, “Multilabel classification for exploiting cross-resistance information in HIV-1 drug resistence prediction,” Bioinformatics, vol. 29, no. 16, pp. 1946–1952, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 16081
S. Bösner, K. Bönisch, J. Haasenritter , P. Schlegel, E. Hüllermeier, and N. Donner-Banzhoff, “Chest pain in primary care: is the localization of pain diagnostically helpful in the critical evaluation of patients? A cross sectional study. ,” BMC Family Practice, vol. 14, no. 1, pp. 154–162, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 16086
J. Haasenritter et al., “Diagnose im Kontext - eine erweiterte Perspektive,” Zeitschrift für Evidenz, Fortbildung und Qualität im Gesundheitswesen (ZEFQ), vol. 107, pp. 585–591, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 16123
A. Shaker, R. Senge, and E. Hüllermeier, “Evolving fuzzy pattern trees for binary classification on data streams,” Information Sciences, vol. 220, pp. 34–45, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13115
G. Szarvas, R. Busa-Fekete, and E. Hüllermeier, “Learning to rank lexical substitutions,” in In Proceedings EMNLP-2013 Conference on Empirical Methods in Natural Language Processing, Seattle, USA, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13116
K. Dembczynski, A. Jachnik, W. Kotlowski, W. Waegeman, and E. Hüllermeier, “Optimizing the F-measure in multi-label classification: Plug-in rule approach versus structured loss minimization,” in in Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA, 2013, pp. 1130–1138.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13117
R. Busa-Fekete, B. Szoreny, P. Weng, W. Cheng, and E. Hüllermeier, “Top-k selection based on adaptive sampling of noisy preferences,” in in Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA, 2013, pp. 1094–1102.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13118
E. Hüllermeier and W. Cheng, “Preference-based CBR: General ideas and basic principles,” in in Proceedings IJCAI-13, 23rd international Joint Conference on Artificial Intelligence, Beijing, China, 2013, pp. 3012–3016.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13119
S. Henzgen, M. Strickert, and E. Hüllermeier, “Rule chains for visualizing evolving fuzzy rule-based systems,” in in Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland, 2013, pp. 279–288.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13190
A. Shaker and E. Hüllermeier, “Recovery analysis for adaptive learning from non-stationary data streams,” in in Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland, 2013, pp. 289–298.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13645
T. Graf, L. Schäfers, and M. Platzner, “On Semeai Detection in Monte-Carlo Go.,” in Proceedings of the International Conference on Computers and Games (CG), 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: 10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
D. He and W. Müller, “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors,” in Proceedings of the International Conference on Applied Computing (AC), 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 8425 | 
S. Gharibian, Approximation, Proof Systems, and Correlations in a Quantum World. 2013.
LibreCat
| Files available
| Download (ext.)
| arXiv
2013 | Journal Article | LibreCat-ID: 8173 |
S. Gharibian, J. Sikora, and S. Upadhyay, “QMA variants with polynomially many provers,” Quantum Information & Computation, vol. 13, no. 1–2, pp. 135–157, 2013.
LibreCat
| Download (ext.)
| arXiv
2013 | Conference Paper | LibreCat-ID: 528
H. Riebler, T. Kenter, C. Sorge, and C. Plessl, “FPGA-accelerated Key Search for Cold-Boot Attacks against AES,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2013, pp. 386–389, doi: 10.1109/FPT.2013.6718394.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 505
M. Happe, P. Kling, C. Plessl, M. Platzner, and F. Meyer auf der Heide, “On-The-Fly Computing: A Novel Paradigm for Individualized IT Services,” 2013, doi: 10.1109/ISORC.2013.6913232.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 1787
T. Suess, A. Schoenrock, S. Meisner, and C. Plessl, “Parallel Macro Pipelining on the Intel SCC Many-Core Computer,” in Proc. Int. Symp. on Parallel and Distributed Processing Workshops (IPDPSW), 2013, pp. 64–73, doi: 10.1109/IPDPSW.2013.136.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 46385
H. V. Sosa, O. Schütze, G. Rudolph, and H. Trautmann, “The Directed Search Method for Pareto Front Approximations with Maximum Dominated Hypervolume,” in EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV, vol. 227, M. Emmerich, A. Deutz, O. Schuetze, T. Bäck, A. Tantar, P. Moral, P. Legrand, P. Bouvry, and C. Coello, Eds. Springer International Publishing, 2013, pp. 189–205.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 46386
H. Trautmann, G. Rudolph, C. Dominguez-Medina, and O. Schütze, “Finding Evenly Spaced Pareto Fronts for Three-Objective Optimization Problems,” in EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II, vol. 175, O. Schütze, C. C. Coello, A. Tantar, E. Tantar, P. Bouvry, M. P. Del, and P. Legrand, Eds. Springer Berlin Heidelberg, 2013, pp. 89–105.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46388
S. Nallaperuma, M. Wagner, F. Neumann, B. Bischl, O. Mersmann, and H. Trautmann, “A Feature-Based Comparison of Local Search and the Christofides Algorithm for the Travelling Salesperson Problem,” in Proceedings of the Twelfth Workshop on Foundations of Genetic Algorithms XII, 2013, pp. 147–160, doi: 10.1145/2460239.2460253.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46390
G. Rudolph, H. Trautmann, S. Sengupta, and O. Schütze, “Evenly Spaced Pareto Front Approximations for Tricriteria Problems Based on Triangulation,” in Evolutionary Multi-Criterion Optimization — 7$^th$ International Conference, EMO 2013, Sheffield, UK, Proceedings, 2013, vol. 7811, pp. 443–458, doi: https://doi.org/10.1007/978-3-642-37140-0_34.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46391
V. Sosa-Hernandez, O. Schütze, G. Rudoph, and H. Trautmann, “Directed Search Method for Indicator-based Multi-objective Evolutionary Algorithms,” in Proceeding of the Fifteenth Annual Conference Companion on Genetic and Evolutionary Computation Conference Companion, 2013, pp. 1699–1702, doi: 10.1145/2464576.2482756.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46387
C. Dominguez-Medina, G. Rudolph, O. Schütze, and H. Trautmann, “Evenly spaced Pareto fronts of quad-objective problems using PSA partitioning technique,” in Proceedings of the 2013 IEEE Congress on Evolutionary Computation (CEC), 2013, pp. 3190–3197, doi: https://doi.org/10.1109/CEC.2013.6557960.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46389
M. Preuss, D. Kozakowski, J. Hagelbäck, and H. Trautmann, “Reactive strategy choice in StarCraft by means of Fuzzy Control,” in 2013 IEEE Conference on Computational Inteligence in Games (CIG), 2013, pp. 1–8, doi: 10.1109/CIG.2013.6633627.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 46395
H. Trautmann, T. Wagner, D. Biermann, and C. Weihs, “Indicator-based Selection in Evolutionary Multiobjective Optimization Algorithms Based On the Desirability Index,” Journal of Multi-Criteria Decision Analysis, vol. 20, no. 5–6, pp. 319–337, 2013, doi: https://doi.org/10.1002/mcda.1503.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46393
T. Wagner, H. Trautmann, and D. Brockhoff, “Preference Articulation by Means of the R2 Indicator,” in Evolutionary Multi-Criterion Optimization, 2013, pp. 81–95.
LibreCat
2013 | Conference Paper | LibreCat-ID: 46392
H. Trautmann, T. Wagner, and D. Brockhoff, “R2-EMOA: Focused Multiobjective Search Using R2-Indicator-Based Selection,” in Learning and Intelligent Optimization, 2013, pp. 70–74.
LibreCat
2013 | Journal Article | LibreCat-ID: 46394
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, and F. Neumann, “A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem,” Annals of Mathematics and Artificial Intelligence, vol. 69, pp. 151–182, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 47161
S. Fahl, M. Harbach, Y. Acar, and M. Smith, “On the ecological validity of a password study,” 2013, doi: 10.1145/2501604.2501617.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 48889
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, and F. Neumann, “A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem,” Annals of Mathematics and Artificial Intelligence, vol. 69, no. 2, pp. 151–182, 2013, doi: 10.1007/s10472-013-9341-2.
LibreCat
| DOI
2012 | Report | LibreCat-ID: 2504
R. A. M. Khan and H. Karl, Simulating Cooperative Diversity Protocols for Multi-hop Wireless and Sensor Networks. 2012.
LibreCat
| Download (ext.)
2012 | Report | LibreCat-ID: 2505
C. Dannewitz, H. Karl, and A. Yadav, Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures. 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 20173
H. Hamann, J. Stradner, N. Bredeche, and L. Cazenille, “Impact of Neuron Models and Network Structure on Evolving Modular Robot Neural Network Controllers,” in 14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012, 2012, pp. 89–96.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20174
H. Hamann, T. Schmickl, and J. Stradner, “Towards Morphological Flexibility: Modular Robotics and Bio-inspired Control,” in Austrian Robotics Workshop (Operational Programme Slovenia-Austria), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 20175
H. Hamann et al., “On-line, On-board Evolution of Reaction-Diffusion Control for Self-Adaptation,” in Alife XIII, 2012, pp. 597–598.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source Code Annotation for Timing Analysis of Embedded Software,” Bangalore, 14. - 16. Dez. 2012, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of Use,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity,” presented at the 14. - 17. Okt. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
M. F. Oliveira et al., “The System Verification Methodology for Advanced TLM Verification,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann, “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,” Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19. Jul. 2012; Las Vegas, Nevada, USA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
S. Radke et al., “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks,” in Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time Systems,” in 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 2012, pp. 154–161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical Systems,” in 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 2012, pp. 45–48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
E. Mathews, “Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Efficient Alignment of Aerial Images Based on Virtual Forces,” presented at the 25. - 30. Mrz. 2012 IARIA, IEEE Xplore, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
A. Jungmann, B. Kleinjohann, L. Kleinjohann, and M. Bieshaar, “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems,” presented at the 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
S. Grösbrink, S. Oberthür, and D. Baldin, “Dynamic Resource Management for Virtualized Mixed-Criticality Systems,” presented at the 12. - 16. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering framework for embedded systems design,” Innovations in Systems and Software Engineering 8, pp. 19–33, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
M. Becker, G. B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, and S. Vinco, “MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU Based Binary Mutation Testing Framework,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of use,” presented at the 28. Feb. - 1. Mrz. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
A. Jungmann, T. Schierbaum, and B. Kleinjohann, “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot,” in Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), 2012, pp. 441–444.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
F. Bin Tariq, “Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints,” presented at the 24. - 26. Feb. 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
E. Mathews and H. Frey, “A Localized Link Removal and Addition based Planarization Algorithm,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
E. Mathews and C. Mathew, “Deployment of mobile routers ensuring coverage and connectivity,” International Journal of Computer Networks and Communications 4(1), pp. 175–192, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
W. Müller, M. Becker, H. Zabel, A. Elfeky, and A. DiPasquale, “Virtual Prototyping of Cyber-Physical Systems,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Y. Khaluf, E. Mathews, and F.-J. Rammig, “Swarm Robotic Time Synchronization for Object Tracking,” in Self-Organization in Embedded Real-Time Systems, M. T. Higuera-Toledano, U. Brinkschulte, and A. Rettberg, Eds. New York, Heidelberg, Dordrecht, London: Springer, 2012, pp. 75–92.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber Biosphere,” in Schemata und Praktiken, T. Conradi, G. Ecker, N. O. Eke, and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
F. Bin Tariq and S. Korrapati, “Adaptive Web Services for Modular and Reusable Software Development,” in Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
A. Jungmann and B. Kleinjohann, “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition,” in Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
H. Wachsmuth and B. Stein, “Optimal Scheduling of Information Extraction Algorithms,” in Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2919
S. Kakvi and E. Kiltz, “Optimal Security Proofs for Full Domain Hash, Revisited,” in Advances in Cryptology – EUROCRYPT 2012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 537–553.
LibreCat
| DOI
| Download (ext.)
2012 | Dissertation | LibreCat-ID: 3132
T. Jager, On black-box models of computation in cryptology. Ruhr University Bochum, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “On the Security of TLS-DHE in the Standard Model,” in Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
T. Jager, S. Schinzel, and J. Somorovsky, “Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption,” in Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
D. Hofheinz, T. Jager, and E. Knapp, “Waters Signatures with Optimal Security Reduction,” in Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, 2012, pp. 66--83.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
O. Travkin, H. Wehrheim, and G. Schellhorn, “Proving Linearizability of Multiset with Local Proof Obligations,” {ECEASST}, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27176
D. Engbring and H. Selke, “Computer science and society as a field of computer science,” vol. 5. Universit { \ "a} tsverlag Potsda, pp. 111–116, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, and D. Hoffmann, “User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes,” presented at the 3rd International Conference on Wireless Mobile Communication and Healthcare, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
F. Klompmaker, K. Nebe, and J. Eschenlohr, “Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices ,” presented at the Fourth International Conference on Mobile Computing, Applications and Services, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
H. Selke and F. Winkelnkemper, “The technical potential of digital boards,” 2012, pp. 171–182.
LibreCat