Online Model Checking for Dependable Real-time Systems
Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China,  IEEE Computer Society, 2012, pp. 154–161.
LibreCat: /record/26027

Agent-Based Modeling and Simulation of Artificial Immune Systems
N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 2012.
LibreCat: /record/26028

Self-Coordination as Fundamental Concept for Cyber Physical Systems
F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.
LibreCat: /record/26029

Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks
E. Mathews, in: Ninth International Conference On Information Technologyf: New Generations (ITNG), IEEE Computer Society, 2012.
LibreCat: /record/26030

Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems
D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.
LibreCat: /record/26031

Efficient Alignment of Aerial Images Based on Virtual Forces
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, St. Maarten, Netherlands Antilles, 2012.
LibreCat: /record/26032

Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, L. Kleinjohann, M. Bieshaar, in: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012.
LibreCat: /record/26034

Dynamic Resource Management for Virtualized Mixed-Criticality Systems
S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
LibreCat: /record/26035

A SystemC Library for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat: /record/26036

A model-driven engineering framework for embedded systems design
F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.
LibreCat: /record/26037

Balanced homodyne detection of optical quantum states at audio-band frequencies and below
M. Stefszky, C.M. Mow-Lowry, S.S.Y. Chua, D.A. Shaddock, B.C. Buchler, H. Vahlbruch, A. Khalaidovski, R. Schnabel, P.K. Lam, D.E. McClelland, Classical and Quantum Gravity (2012).
LibreCat: /record/26046
DOI: 10.1088/0264-9381/29/14/145015

MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
LibreCat: /record/26079

Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 49–72.
LibreCat: /record/2608

XEMU: A QEMU Based Binary Mutation Testing Framework
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
LibreCat: /record/26080

Real-Time Android: Deterministic Ease of use
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
LibreCat: /record/26081

Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP),  INSTICC PRESS, 2012, pp. 441–444.
LibreCat: /record/26086

Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
LibreCat: /record/26089

Analyse des Bullwhip-Effekts in einer Supply Chain von KMU
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 105–132.
LibreCat: /record/2609

A Localized Link Removal and Addition based Planarization Algorithm
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
LibreCat: /record/26090

Deployment of mobile routers ensuring coverage and connectivity
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
LibreCat: /record/26091

Virtual Prototyping of Cyber-Physical Systems
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
LibreCat: /record/26092

Swarm Robotic Time Synchronization for Object Tracking
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
LibreCat: /record/26093

Biologically Inspired Information Technology: Towards a Cyber Biosphere
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
LibreCat: /record/26094

Adaptive Web Services for Modular and Reusable Software Development
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems,  IGI Global, 2012, pp. 263–276.
LibreCat: /record/26102

Wood-Plastic-Composites: Rheologische Charakterisierung und Füllverhalten im Spritzgießprozess
N. Kirchhoff, C. Schröder, D. Stute, E. Moritzer, H.-J. Schmid, Chemie Ingenieur Technik (2012) 1584–1589.
LibreCat: /record/26132
DOI: 10.1002/cite.201100223

Sintering kinetics and mechanism of vitreous nanoparticles
M.J. Kirchhof, H. Förster, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 45 (2012) 26–39.
LibreCat: /record/26133
DOI: 10.1016/j.jaerosci.2011.10.006

Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
LibreCat: /record/26181

Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
LibreCat: /record/26190

Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme
D. Nordsiek, Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat: /record/26199

Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen
S. Kreft, Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat: /record/26200

Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung
J. Gausemeier, ed., Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat: /record/26201

Master Election for Time Synchronization in Swarm Robotic Systems
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications,  Leganés, Madrid, 2012.
LibreCat: /record/26212

Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks
E. Mathews, C. Mathew, in: Third International Conference on Networks &; Communications, LNICST, Springer, Bangalore, India, 2012.
LibreCat: /record/26264

Quantification of nonclassicality
C. Gehrke, J. Sperling, W. Vogel, Physical Review A (2012).
LibreCat: /record/26351
DOI: 10.1103/physreva.86.052118

Strongly entangled light from planar microcavities
D. Pagel, H. Fehske, J. Sperling, W. Vogel, Physical Review A (2012).
LibreCat: /record/26352
DOI: 10.1103/physreva.86.052313

Analytical progress on symmetric geometric discord: Measurement-based upper bounds
A. Miranowicz, P. Horodecki, R.W. Chhajlany, J. Tuziemski, J. Sperling, Physical Review A (2012).
LibreCat: /record/26353
DOI: 10.1103/physreva.86.042123

Sub-Binomial Light
J. Sperling, W. Vogel, G.S. Agarwal, Physical Review Letters (2012).
LibreCat: /record/26354
DOI: 10.1103/physrevlett.109.093601

Entanglement quasiprobabilities of squeezed light
J. Sperling, W. Vogel, New Journal of Physics (2012).
LibreCat: /record/26355
DOI: 10.1088/1367-2630/14/5/055026

True photocounting statistics of multiple on-off detectors
J. Sperling, W. Vogel, G.S. Agarwal, Physical Review A (2012).
LibreCat: /record/26356
DOI: 10.1103/physreva.85.023820

Trading Venue Decision of Private Online Investors
D. Kundisch, International Journal of Electronic Finance 6 (2012) 103–120.
LibreCat: /record/2640

IT Sourcing Portfolio Management for IT Services Providers - An Approach for using Modern Portfolio Theory to allocate Software Development Projects to available Sites
S. Zimmermann, A. Katzmarzik, D. Kundisch, The DATA BASE for Advances in Information Systems 43 (2012) 24–45.
LibreCat: /record/2641

Enhancing the Quality of Financial Advice with Web 2.0 - An Approach Considering Social Capital in Private Asset Allocation
D. Kundisch, R. Zorzi, Information Systems and E-Business Management 10 (2012) 85–99.
LibreCat: /record/2642

Investitionsbewertung mit Realoptionen
D. Kundisch, T. John, WISU - Das Wirtschaftsstudium 3 (2012) 345–347.
LibreCat: /record/2643

Weyl asymptotics: From closed to open systems
A. Potzuweit, T. Weich, S. Barkhofen, U. Kuhl, H.-J. Stöckmann, M. Zworski, Physical Review E (2012).
LibreCat: /record/26514
DOI: 10.1103/physreve.86.066205

PINGO - Umsetzung von E-Learning in der Hoschule in Adaption und Weiterentwicklung des Peer Instruction Ansatzes - Didaktische und organisatorische Reflexion Studierendenaktivierung in Lehrveranstaltungen
M. Beutner, A. Zoyke, D. Kundisch, P. Herrmann, M. Whittaker, J. Magenheim, W. Reinhardt, Kölner Zeitschrift für Wirtschaft und Pädagogik (KWP) 27 (2012) 3–52.
LibreCat: /record/2655

Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand
S. Betz, ed., Entscheidungsprobleme Im Supply Chain Management - Quantitative Lösungsansätze Für Den Mittelstand, 2nd ed., Hamburg, 2012.
LibreCat: /record/2668

Lesetexte besser verstehen - Lesestrategien erlernen und den Wortschatz erweitern
F. Hellmich, F.K. Hoya, S. Förster , Deutsch Differenziert 4 (2012) 28–31.
LibreCat: /record/26693

Erfassung diagnostischer Fähigkeiten bei Lehramtsstudentinnen und -studenten
F.K. Hoya, F. Hellmich, in: F. Hellmich, S. Förster (Eds.), Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven, Springer VS, Wiesbaden, 2012, pp. 199–202.
LibreCat: /record/26694

Rezension: Handbuch Grundschulpädagogik und Grundschuldidaktik
F. Hellmich, Zeitschrift für Grundschulforschung 5 (2012) 101–103.
LibreCat: /record/26743

Förderung der  Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache
S. Förster, S. Niebuhr-Siebert, F. Hellmich, in: F. Hellmich, S. Förster, F.K. Hoya (Eds.), Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven, Springer VS, Wiesbaden, 2012, pp. 199–202.
LibreCat: /record/26744