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.
1570 Publications
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 | Journal Article | LibreCat-ID: 26046
M. Stefszky et al., “Balanced homodyne detection of optical quantum states at audio-band frequencies and below,” Classical and Quantum Gravity, Art. no. 145015, 2012, doi: 10.1088/0264-9381/29/14/145015.
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 2608
S. Betz, “Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains,” in Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., S. Betz, Ed. Hamburg, 2012, pp. 49–72.
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 | Book Chapter | LibreCat-ID: 2609
S. Betz, “Analyse des Bullwhip-Effekts in einer Supply Chain von KMU,” in Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., S. Betz, Ed. Hamburg, 2012, pp. 105–132.
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 | Journal Article | LibreCat-ID: 26132
N. Kirchhoff, C. Schröder, D. Stute, E. Moritzer, and H.-J. Schmid, “Wood-Plastic-Composites: Rheologische Charakterisierung und Füllverhalten im Spritzgießprozess,” Chemie Ingenieur Technik, pp. 1584–1589, 2012, doi: 10.1002/cite.201100223.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26133
M. J. Kirchhof, H. Förster, H.-J. Schmid, and W. Peukert, “Sintering kinetics and mechanism of vitreous nanoparticles,” Journal of Aerosol Science, vol. 45, pp. 26–39, 2012, doi: 10.1016/j.jaerosci.2011.10.006.
LibreCat
| DOI
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 | Dissertation | LibreCat-ID: 26199
D. Nordsiek, Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme, vol. 304. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 26200
S. Kreft, Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen, vol. 305. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
2012 | Conference (Editor) | LibreCat-ID: 26201
J. Gausemeier, Ed., Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung, vol. 306. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 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 | Journal Article | LibreCat-ID: 26351
C. Gehrke, J. Sperling, and W. Vogel, “Quantification of nonclassicality,” Physical Review A, 2012, doi: 10.1103/physreva.86.052118.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26352
D. Pagel, H. Fehske, J. Sperling, and W. Vogel, “Strongly entangled light from planar microcavities,” Physical Review A, 2012, doi: 10.1103/physreva.86.052313.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26353
A. Miranowicz, P. Horodecki, R. W. Chhajlany, J. Tuziemski, and J. Sperling, “Analytical progress on symmetric geometric discord: Measurement-based upper bounds,” Physical Review A, 2012, doi: 10.1103/physreva.86.042123.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26354
J. Sperling, W. Vogel, and G. S. Agarwal, “Sub-Binomial Light,” Physical Review Letters, 2012, doi: 10.1103/physrevlett.109.093601.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26355
J. Sperling and W. Vogel, “Entanglement quasiprobabilities of squeezed light,” New Journal of Physics, Art. no. 055026, 2012, doi: 10.1088/1367-2630/14/5/055026.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26356
J. Sperling, W. Vogel, and G. S. Agarwal, “True photocounting statistics of multiple on-off detectors,” Physical Review A, 2012, doi: 10.1103/physreva.85.023820.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2640
D. Kundisch, “Trading Venue Decision of Private Online Investors,” International Journal of Electronic Finance, vol. 6, no. 2, pp. 103–120, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 2641
S. Zimmermann, A. Katzmarzik, and D. Kundisch, “IT Sourcing Portfolio Management for IT Services Providers - An Approach for using Modern Portfolio Theory to allocate Software Development Projects to available Sites,” The DATA BASE for Advances in Information Systems, vol. 43, no. 1, pp. 24–45, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 2642
D. Kundisch and R. Zorzi, “Enhancing the Quality of Financial Advice with Web 2.0 - An Approach Considering Social Capital in Private Asset Allocation,” Information Systems and e-Business Management, vol. 10, no. 1, pp. 85–99, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 2643
D. Kundisch and T. John, “Investitionsbewertung mit Realoptionen,” WISU - Das Wirtschaftsstudium, vol. 3, pp. 345–347, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26514
A. Potzuweit, T. Weich, S. Barkhofen, U. Kuhl, H.-J. Stöckmann, and M. Zworski, “Weyl asymptotics: From closed to open systems,” Physical Review E, 2012, doi: 10.1103/physreve.86.066205.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2655
M. Beutner et al., “PINGO - Umsetzung von E-Learning in der Hoschule in Adaption und Weiterentwicklung des Peer Instruction Ansatzes - Didaktische und organisatorische Reflexion Studierendenaktivierung in Lehrveranstaltungen,” Kölner Zeitschrift für Wirtschaft und Pädagogik (KWP), vol. 27, no. 53, pp. 3–52, 2012.
LibreCat
2012 | Book (Editor) | LibreCat-ID: 2668
S. Betz, Ed., Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed. Hamburg, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26693
F. Hellmich, F. K. Hoya, and S. Förster , “Lesetexte besser verstehen - Lesestrategien erlernen und den Wortschatz erweitern,” Deutsch Differenziert, vol. 4, pp. 28–31, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26694
F. K. Hoya and F. Hellmich, “Erfassung diagnostischer Fähigkeiten bei Lehramtsstudentinnen und -studenten,” in Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven, vol. 16, F. Hellmich and S. Förster, Eds. Wiesbaden: Springer VS, 2012, pp. 199–202.
LibreCat
2012 | Journal Article | LibreCat-ID: 26743
F. Hellmich, “Rezension: Handbuch Grundschulpädagogik und Grundschuldidaktik,” Zeitschrift für Grundschulforschung, vol. 5, no. 1, pp. 101–103, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26744
S. Förster, S. Niebuhr-Siebert, and F. Hellmich, “Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache,” in Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven, vol. 16, F. Hellmich, S. Förster, and F. K. Hoya, Eds. Wiesbaden: Springer VS, 2012, pp. 199–202.
LibreCat
2012 | Journal Article | LibreCat-ID: 26907
D. Krupp, S. A. Johner, H. Kalhoff, A. Buyken, and T. Remer, “Long-Term Dietary Potential Renal Acid Load During Adolescence Is Prospectively Associated with Indices of Nonalcoholic Fatty Liver Disease in Young Women,” The Journal of Nutrition, pp. 313–319, 2012, doi: 10.3945/jn.111.150540.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26909
J. C. Y. Louie, A. Buyken, J. C. Brand-Miller, and V. M. Flood, “The link between dietary glycemic index and nutrient adequacy,” The American Journal of Clinical Nutrition, pp. 694–702, 2012, doi: 10.3945/ajcn.111.015271.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3450
J. Becker, D. Beverungen, D. Breuker, and H. Peter Rauer, “Resolving trade-offs in Service Performance Benchmarking using Data Envelopment Analysis,” in Proceedings of the 16th Pacific Asian Conference on Information Systems (PACIS) 2012, Ho Chi Minh City, Vietnam, 2012, p. Paper 56.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3451
J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, and D. Sigge, “Service Productivity Management --- Status Quo and Directions for the Design of Conceptual Modeling Grammars.,” in Proceedings of the 45th Hawaii International Conference on System Sciences (HICSS) 2012, Kauai, USA, 2012, pp. 1522--1531.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3452
T. Heide, S. Tumbas, D. Beverungen, R. Knackstedt, and J. Becker, “Global versus Local Properties of Service Science: Insights from a Comparative International Study on Research Results,” in Services and Economic Development: Local and Global Challenges, Bucharest, Romania, 2012, pp. 1--21.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3453
M. Rosemann, M. Eggert, M. Voigt, and D. Beverungen, “Leveraging Social Network Data for Analytical CRM Strategies --- The Introduction of Social BI,” in Proceedings of the 20$^{th}$ European Conference on Information Systems, Barcelona, Spain, 2012, pp. 1--12.
LibreCat
2012 | Journal Article | LibreCat-ID: 3500
J. Becker et al., “Construction of Productivity Models: A Tool Supported Approach in the Area of Facility Management,” Enterprise Modelling and Information Systems Architectures, no. 1, pp. 26--40, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 3501
D. Beverungen, R. Knackstedt, and A. Winkelmann, “Identifying e-Service Potential from Business Process Models --- A Theory Nexus Approach,” e-Service Journal, no. 1, pp. 45--74, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 3633
C. Harteis, B. Morgenthaler, C. Kugler, K.-P. Ittner, G. Roth, and B. Graf, “Professional competence and intuitive decision making: A simulation study in the domain of emergency medicine,” Vocations and Learning, vol. 5, no. 2, pp. 119--136, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 3634
C. Harteis, “When workplace learning fails: Individual and organisational limitations--Exemplarily demonstrated by the issue of responsibility in work life,” International Journal of Human Resources Development and Management, vol. 12, no. 1–2, pp. 92--107, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3637
J. Bauer, M. Gartmeier, and C. Harteis, “Human fallibility and learning from errors at work,” in Human fallibility, J. Bauer and C. Harteis, Eds. Dordrecht: Springer, 2012, pp. 155--169.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3638
J. Bauer and C. Harteis, “The ambiguity of errors for work and learning: Introduction to the volume,” in Human Fallibility, J. Bauer and C. Harteis, Eds. Dordrecht: Springer, 2012, pp. 1--14.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3639
C. Harteis, J. Bauer, and H. Heid, “Research on human fallibility and learning from errors at work: Challenges for theory, research, and practice,” in Human Fallibility, J. Bauer and C. Harteis, Eds. Dordrecht: Springer, 2012, pp. 255--265.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3640
C. Harteis and F. Frost, “Error Orientation in the Context of Intuitive and Competent Behaviour: Results of an Exploratory Study in the Domain of Emergency Medicine,” in Human Fallibility, J. Bauer and C. Harteis, Eds. Dordrecht: Springer, 2012, pp. 141--153.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3641
J. Fiehn, S. Spie{\ss}, F. Ceylan, C. Harteis, and S. Schworm, “LehreProfi--Entwicklung und Einsatz eines Instruments zur Erfassung hochschuldidaktischer Kompetenz,” in Lernwelt Universität, R. Egger and M. Merkt, Eds. Wiesbaden: Springer VS, 2012, pp. 45--62.
LibreCat
2012 | Book (Editor) | LibreCat-ID: 3646
J. Bauer and C. Harteis, Eds., Human fallibility: The ambiguity of errors for work and learning. Dordrecht: Springer, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3659
H. Gruber and C. Harteis, “Entwicklungsaufgaben im Erwachsenenalter,” in Handbuch Professionsentwicklung, M. Dick, W. Marotzki, and H. Mieg, Eds. Bad Heilbrunn: Klinkhardt, 2012, pp. 231–239.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3714
J. Bauer, M. Gartmeier, and C. Harteis, “Learning from errors in the professions,” in Human fallibility. The ambiguity of errors for work and learning, J. Bauer and C. Harteis, Eds. Dordrecht: Springer, 2012, pp. 1–14.
LibreCat
2012 | Book Review | LibreCat-ID: 3715
K. Buschmeyer and C. Harteis, “Wuttke & Seifried (Eds.). (2012). Learning from errors at school and at work,” Vocations and Learning. Studies in Vocational and Professional Education, vol. 5, no. 2. pp. 313–316, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3716
C. Harteis and K. Buschmeyer, “Learning from mistakes - still a challenge for research and business practice,” in Learning from errors at school and at work, E. Wuttke and J. Seifried, Eds. Opladen: Barbara Budrich, 2012, pp. 31–47.
LibreCat
2012 | Book Chapter | LibreCat-ID: 3717
C. Harteis and F. Frost, “Error orientation and intuitive decision making,” in Human fallibility. The ambiguity of errors for work and learning, J. Bauer and C. Harteis, Eds. 2012, pp. 141–153.
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 (Editor) | LibreCat-ID: 28935
R. Schulz-Zander, B. Eickelmann, H. Moser, H. Niesyto, and P. Grell, Eds., Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung. Wiesbaden: VS Verlag für Sozialwissenschaften, 2012.
LibreCat
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 | Book Chapter | LibreCat-ID: 2950
T. Gries and J. Xue, “Poverty in Shenzhen,” in Rising China in the Changing World Economy, L. Wang, Ed. 2012, pp. 396–412.
LibreCat
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