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.

1559 Publications


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: 3449
J. Becker et al., “Softwaregestützte Konstruktion von Produktivitätsmodellen im Facility Management,” in Dienstleistungsmodellierung 2012, Bamberg, Deutschland, 2012, pp. 208--226.
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: 2918
S. Kakvi, E. Kiltz, and A. May, “Certifying RSA,” in Advances in Cryptology – ASIACRYPT 2012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 404–414.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 2949
T. Gries, N. Bilkic, and M. Pilichowski, “Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility,” Labour Economics, vol. 19, no. 5, pp. 706–717, 2012.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 2951
T. Gries and D. Meierrieks, “Economic performance and terrorist activity in Latin America,” Defence and Peace Economics, vol. 23, no. 5, pp. 447–470, 2012.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 2952
T. Gries, U. Prior, and C. Sureth, “A Tax Paradox for Investment Decisions under Uncertainty,” Journal of Public Economics Theory, vol. 14, no. 3, pp. 521–545, 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 2982
M. R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, and C. Sohler, “StreamKM++: A clustering algorithm for data streams,” vol. 17. ACM, New York, NY, USA, 2012.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 2984
J. Blömer, “Turing und Kryptografie,” Informatik-Spektrum, vol. 35, no. 4, 2012.
LibreCat | DOI
 

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: 3134
D. Hofheinz and T. Jager, “Tightly Secure Signatures and Public-Key Encryption,” in Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.
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 | Journal Article | LibreCat-ID: 3181
T. Ruhroth and H. Wehrheim, “Model evolution and refinement,” Sci. Comput. Program., no. 3, pp. 270--289, 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3182
G. Schellhorn, H. Wehrheim, and J. Derrick, “How to Prove Algorithms Linearisable,” in Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 27067
L. Shi, L. Libuda, E. Schönau, L. Frassetto, and T. Remer, “Long term higher urinary calcium excretion within the normal physiologic range predicts impaired bone status of the proximal radius in healthy children with higher potential renal acid load,” Bone, pp. 1026–1031, 2012, doi: 10.1016/j.bone.2012.01.026.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 27074
K. Vyncke et al., “Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study.,” Br J Nutr, vol. 108, no. 12, pp. 2261–2273, 2012, doi: 10.1017/s000711451200030x.
LibreCat | DOI | PubMed | Europe PMC
 

2012 | Journal Article | LibreCat-ID: 27075
K. Duffey et al., “Beverage consumption among European adolescents in the HELENA study.,” Eur J Clin Nutr, vol. 66, no. 2, pp. 244–252, 2012, doi: 10.1038/ejcn.2011.166.
LibreCat | DOI | PubMed | Europe PMC
 

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
 

2012 | Conference Paper | LibreCat-ID: 27181
H. G. Fischer, T. Geis, O. Kluge, C. Bogner, and Knut Polkehn, “Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten,” presented at the Brau, H. et al. (Hrsg.): Jahresband Usability Professionals 2012, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27182
M. Tobias, K. Nebe, and F. Klompmaker, “Base Requirements for Virtual Tabletop Groupware Artifacts,” presented at the Kollaboratives Arbeiten an interaktiven Displays, Workshop im Rahmen der Mensch und Computer 2012, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 27183
H. G. Fischer and Florian Klompmaker, “Collaborative work on interactive displays - design, operation and fields of application,” M & C, humans and computers, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27184
R. Keil, “Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich,” 2012, pp. 270–277.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27185
F. Klompmaker, Alexander Dridger, and K. Nebe, “EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27187
H. G. Fischer, “Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards,” in Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27188
R. Keil, H.-J. {\ "u} rgen Metternich, and Steffan Ritzenhoff, “Summary and Outlook,” 2012, pp. 112–115.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27189
R. Keil, Dominik Niehus, and D. Ossenschmidt, “Durchl {\ "a} ssigkeitsorientierte Bildung,” 2012, pp. 80–94.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 27190
M. Brand, F. Klompmaker, P. Schleining, and F. Weiss, “Automatic emotion recognition - technologies, interpretation and applications,” Computer science spectrum, vol. 35, no. 2, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27191
Reinhard Keil, Hans-J {\ "u} rgen Metternich, and S. Ritzenhoff, “Passability in education - a challenge for {\" u} r the future,” 2012, pp. 15–17.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27192
H. G. Fischer and F. Klompmaker, “Enriching Disaster Control Management based on Human-Centered Design,” 2012.
LibreCat
 

2012 | Report | LibreCat-ID: 27193
K. Behrenbruch et al., German UPA Qualit{\"a}tsstandard f{\"u}r Usability Engineering. German UPA e.V. (Hrsg.), 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27194
M. Jakoblew, D. Niehus, and H. Selke, “Learning scenarios for school 2.0,” 2012, pp. 281–297.
LibreCat
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed