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.

936 Publications


2011 | Conference Paper | LibreCat-ID: 26660
A Distributed Multi-UAV Path Planning Approach for 3D Environments
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26663
A Bio-inspired Coverage and Connectivity Maintenance Algorithm
E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26667
Aspect enhanced functional coverage driven verification in the SystemC HDVL
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26669
IP-XACT based System Level Mutation Testing
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 26670
Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures
S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science & Engineering 26 (6) (2011).
LibreCat
 

2011 | Journal Article | LibreCat-ID: 26671
Enabling Constraint-based Binary Reconfiguration by Binary Analysis
D. Baldin, S. Grösbrink, S. Oberthür, International Journal on Computing (JoC) 1(4) (2011).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26673
F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems
F. Bin Tariq, in: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, Poznan, Poland, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26687
High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems
D. Orfanus, P. Janacik, F. Eliassen, P. Orten, in: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, Salamanca, Spain, 2011.
LibreCat
 

2011 | Book (Editor) | LibreCat-ID: 2669
Ausgewählte Probleme des Logistikmanagements
S. Betz, ed., Ausgewählte Probleme Des Logistikmanagements, Hamburg, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26695
Extending UML for Electronic Systems Design: A Code Generation Perspective
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26698
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26699
A Test Bed for Investigating Self-X Properties in Multi-Robot Societies
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26701
Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties
J. Gausemeier, T. Schierbaum, R. Dumitrescu, S. Herbrechtsmeier, A. Jungmann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26702
Comparison of periodic and aperiodic task models for cyber-physical-systems
A. Thuy, in: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 26705
Verification Closure of SystemC Designs with Functional Coverage
C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26707
A Localized Planarization Algorithm for Realistic Wireless Networks
E. Mathews, H. Frey, in: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), IEEE Computer Society, 2011, pp. 1–9.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26710
Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie
M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 26711
Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, ThinkMind, International Journal On Advances in Software 3 (3&4) (2011) 351–370.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26712
Self-Organized Cooperation in Swarm Robotics
Y. Khaluf, E. Mathews, F.-J. Rammig, in: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, Newport Beach, California, USA, 2011, pp. 217–226.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26713
A Reconfiguration Approach for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26714
Self-Reconfiguration for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26715
Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction
C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26716
A Retargetable SysML-based Front-End for High-Level Synthesis
F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26717
A SysML-based Framework with QEMU-SystemC Code Generation
D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
 

2011 | Book (Editor) | LibreCat-ID: 26726
Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen
F. Hellmich, ed., Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen, Kohlhammer, Stuttgart, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26745
Lehren und Lernen im Geometrieunterricht
F. Hellmich, in: F.B. Wember, U. Heimlich (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis, 2nd ed., Kohlhammer, Stuttgart, 2011, pp. 294–306.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26749
Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf die weiterführenden Schulen
F. Hellmich, in: D. Kucharz, T. Irion, B. Reinhoffer (Eds.), Grundlegende Bildung ohne Brüche, Springer VS, Wiesbaden, 2011, pp. 215–218.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 26750
Entwicklung von Selbstkonzepten bei Kindern im Grundschulalter – ein Überblick
F. Hellmich, F. Günther, in: F. Hellmich (Ed.), Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen, Kohlhammer, Stuttgart, 2011, pp. 17–46.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26751
Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache
F. Hellmich, S. Niebuhr-Siebert, in: S. Hornberg, R. Valtin (Eds.), Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele guter Praxis, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2011, pp. 287–293.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26782
QEMU/SystemC Cosimulation at Different Abstraction Levels
M. Becker, in: 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26783
Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems
P. Adelt, N. Esau, C. Hölscher, B. Kleinjohann, L. Kleinjohann, M. Krüger, D. Zimmer, in: Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26784
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk
G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26787
Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–535.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26789
Native binary mutation analysis for embedded software and virtual prototypes in SystemC
C. Kuznik, W. Müller, in: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26792
Emotional Robot Competence and Its Use in Robot Behavior Control
N. Esau, L. Kleinjohann, in: Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26794
Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, L. Kleinjohann, in: Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26805
A Fast Hierarchical Learning Approach for Autonomous Robots
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 26810
Increasing Learning Speed by Imitation in Multi-robot Societies
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 26904
Direction of Associations between Added Sugar Intake in Early Childhood and Body Mass Index at Age 7 Years May Depend on Intake Levels
A. Herbst, K. Diethelm, G. Cheng, U. Alexy, A. Icks, A. Buyken, The Journal of Nutrition (2011) 1348–1354.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 26906 LibreCat | DOI
 

2011 | Dissertation | LibreCat-ID: 26976
Untersuchung des dynamischen Verhaltens gekoppelter piezoelektrischer Ultraschallmotoren mit Stoßkontakt
B. Mracek, Untersuchung des dynamischen Verhaltens gekoppelter piezoelektrischer Ultraschallmotoren mit Stoßkontakt, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; Band 297, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 3290
Internationale Umweltpolitik bei akkumulierender und asymmetrischer Verschmutzungsdynamik
T. Gries, in: P.J.J. Welfens (Ed.), Zukunftsfähige Wirtschaftspolitik für Deutschland und Europa, Springer, 2011, pp. 215–246.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 3332
Modeling Agents and Agent Systems
T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich, Transactions on Computational Collective Intelligence V (2011) 157–181.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3454
Conceptualizing Service Network Productivity --- A Looped DEA Approach
J. Becker, D. Beverungen, D. Breuker, in: XII European Workshop on Efficiency and Productivity Analysis (Abstract), Verona, Italy, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3455
How to Model Service Productivity for Data Envelopment Analysis? A Meta-Design Approach
J. Becker, D. Beverungen, D. Breuker, H.-A. Dietrich, R. Knackstedt, H. Peter Rauer, in: ECIS 2011 Proceedings, Helsinki, Finland, 2011, p. Paper 111.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3456
Do we need new theories on service productivity? --- Status Quo and implications from contemporary research
J. Becker, D. Beverungen, R. Knackstedt, H.-A. Dietrich, D. Breuker, H. Peter Rauer, D. Sigge, in: XXI. International RESER Conference, Hamburg, Germany, 2011, pp. 146--147.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3457
Information Needs in Service Systems --- A Framework for Integrating Service and Manufacturing Business Processes
J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, O. Müller, in: Proceedings of the 44th Annual Hawaii International Conference on System Sciences, Koloa, HI, USA, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3458
Design Science in Service Research: A Framework-Based Review of IT Artifacts in Germany
J. Becker, D. Beverungen, M. Matzner, O. Müller, J. Pöppelbuß, in: H. Jain, A. P. Sinha, P. Vitharana (Eds.), International Conference on Design Science Research in Information Systems and Technology, Berlin, 2011, pp. 366--375.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3459
Mapping the Emerging Field of Service Science: Insights from a Citation Network and Cocitation Network Analysis
D. Beverungen, in: 32th International Conference on Information Systems (ICIS), Shanghai, China, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3460
The Morphology of Service Bundling Settings
D. Beverungen, T. Kohlborn, E. Fielt, in: 22nd Australasian Conference on Information Systems (ACIS), Sydney, Australia, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3461
Where are the participants? Including motivational aspects into theorizing and design in IS Research
D. Beverungen, M. Wittchen, J. Becker, in: Proceedings of the 19th European Conference on Information Systems, Helsinki, Finland, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3462
On the Coalescence of Supply Networks and Information Systems
B. Hellingrath, J. Becker, D. Beverungen, C. Böhle, M. Räckers, in: EMNet, Limassol, Zypern, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 3502
Pricing of Value Bundles: A Multi-Perspective Decision Support Approach
J. Becker, D. Beverungen, R. Knackstedt, O. Müller, Enterprise Modelling and Information Systems Architectures (2011) 54--69.
LibreCat | Download (ext.)
 

2011 | Book | LibreCat-ID: 3620
Kompetenz in der Hochschuldidaktik: Ergebnisse einer Delphi-Studie über die Zukunft der Hochschullehre
N.-V. Paetz, F. Ceylan, J. Fiehn, S. Schworm, C. Harteis, Kompetenz in Der Hochschuldidaktik: Ergebnisse Einer Delphi-Studie Über Die Zukunft Der Hochschullehre, VS Verlag für Sozialwissenschaften, Wiesbaden, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 3628
Die Auswirkungen des Bologna-Prozesses--Eine Expertise der Hochschuldidaktik
F. Ceylan, J. Fiehn, N.-V. Paetz, S. Schworm, C. Harteis, in: S. Nickel (Ed.), Der Bologna-Prozess Aus Sicht Der Hochschulforschung, CHE, Gütersloh, 2011, pp. 106–122.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 3630
Intuitive decision making in emergency medicine: an explorative study
C. Harteis, B. Morgenthaler, C. Kugler, K.-P. Ittner, G. Roth, B. Graf, in: M. Sinclair (Ed.), Handbook of Intuition Research, Edward Elgar, Cheltenham, 2011, pp. 145–156.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 3632
Researching workplace learning in Europe
H. Gruber, C. Harteis, in: M. Malloch, L. Cairns, B. O’Connor (Eds.), The SAGE Handbook of Workplace Learning, Sage, London, 2011, pp. 224--235.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3811
Back to the Roots of Genres: Text Classification by Language Function
H. Wachsmuth, K. Bujna, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, I. Ruthven (Eds.), Proceedings of 5th International Joint Conference on Natural Language Processing, 2011, pp. 632–640.
LibreCat | Download (ext.)
 

2011 | Conference Paper | LibreCat-ID: 3875
Constructing Efficient Information Extraction Pipelines
H. Wachsmuth, B. Stein, G. Engels, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, I. Ruthven (Eds.), 20th ACM International Conference on Information and Knowledge Management, 2011, pp. 2237–2240.
LibreCat | Download (ext.)
 

2011 | Book | LibreCat-ID: 28933
EduSummIT 2011: Restructuring educational systems to move into the digital age
N. Davis, B. Eickelmann, M. Patru, R. Schulz-Zander, P. Dzvimbo, EduSummIT 2011: Restructuring Educational Systems to Move into the Digital Age, UNESCO/Kennisnet, Paris, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 28934
Restructuring educational systems to move into the digital age. Report of EduSummIT 2011
N. Davis, B. Eickelmann, R. Schulz-Zander, in: International Summit of ICT in Education: Building a Global Community of Policy-Makers, Educators, and Researchers to Move Education into the Digital Age, UNESCO/ISTE/SITE/IFIP, 2011.
LibreCat | Files available
 

2011 | Mastersthesis | LibreCat-ID: 2902
The Monotone Complexity of Computing k-Clique on Random Graphs
M. Märtens, The Monotone Complexity of Computing K-Clique on Random Graphs, 2011.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 2910
Algorithms for lattice problems with respect to general norms
S. Naewe, Algorithms for Lattice Problems with Respect to General Norms, Universität Paderborn, 2011.
LibreCat | Download (ext.)
 

2011 | Journal Article | LibreCat-ID: 2953
Entrepreneurship and human development - A capability approach
T. Gries, W. Naudé, Journal of Public Economics 95 (2011) 216–224.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 2954
Entrepreneurship, Structural Change and a Global Economic Crisis
T. Gries, W. Naudé, Entrepreneurship Research Journal 1 (2011).
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 2955
SME performance in transition economies: The financial regulation and firm level corruption nexus
T. Gries, A. Wieneke, Journal of Comparative Economics 39 (2011) 221–229.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 2985
Hardness and Non-Approximability of Bregman Clustering Problems.
M.R. Ackermann, J. Blömer, C. Scholz, (2011).
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 2986
How to Share a Secret
J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 159–168.
LibreCat | DOI
 

2011 | Preprint | LibreCat-ID: 2987
Solving the Closest Vector Problem with respect to Lp Norms
J. Blömer, S. Naewe, ArXiv:1104.3720 (2011).
LibreCat
 

2011 | Journal Article | LibreCat-ID: 3052
Income Determination and Income Discrimination in Shenzhen
T. Gries, S. Gravemeyer, J. Xue, Urban Studies 48 (2011) 1457–1475.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3053
Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean
T. Gries, M. Kraft, D. Meierrieks, Applied Economics 43 (2011) 4729–4739.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3054
Causal Linkages Between Domestic Terrorism and Economic Growth
T. Gries, T. Krieger, D. Meierrieks, Defence and Peace Economics 22 (2011) 493–508.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3058
Interregional Migration, Self-selection and the Returns to Education in Brazil
T. Gries, M. Kraft, C. Piek, The Annals of Regional Science 46 (2011) 707–732.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3137
Short Signatures from Weaker Assumptions
D. Hofheinz, T. Jager, E. Kiltz, in: Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3138
How to break XML encryption
T. Jager, J. Somorovsky, in: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
ReL: {A} Generic Refactoring Language for Specification and Execution
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
Verifying Linearisability with Potential Linearisation Points
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
Sound and Complete Abstract Graph Transformation
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
A {CSP} Account of Event-B Refinement
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 26981
Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs
C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische Zuverlässigkeit –TTZ, 2011.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 26982
Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)
R. Krol, Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 27010
Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood
K. Diethelm, T. Remer, H. Jilani, C. Kunz, A. Buyken, Clinical Nutrition (2011) 640–646.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27011
Dietary glycaemic index and glycaemic load among Australian children and adolescents
J. Chun Yu Louie, A. Buyken, K. Heyer, V.M. Flood, British Journal of Nutrition (2011) 1273–1282.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27068 LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27069
24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study
U. Alexy, G. Cheng, L. Libuda, A. Hilbig, M. Kersting, Clinical Nutrition (2011) 78–84.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27076
Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule
R. Muckelbauer, L. Libuda, K. Clausen, M. Kersting, Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz (2011) 339–348.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 2725
International integration and the determinants of regional development in China
T. Gries, M. Redlin, Economic Change and Restructuring 44 (2011) 149–177.
LibreCat | DOI
 

2011 | Working Paper | LibreCat-ID: 2734 | OA
Trade Openness and Economic Growth: A Panel Causality Analysis
T. Gries, M. Redlin, Trade Openness and Economic Growth: A Panel Causality Analysis, Paderborn University, CIE Center for International Economics, 2011.
LibreCat | Download (ext.)
 

2011 | Journal Article | LibreCat-ID: 27466
Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts
B. Bohl, J. Kepper, D. Röwenstrunk, DIE TONKUNST 5 (2011) 270–276.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 27576
24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study
U. Alexy, G. Cheng, L. Libuda, A. Hilbig, M. Kersting, Clinical Nutrition (2011) 78–84.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 27589
Fluids and children’s health.
R. Muckelbauer, L. Libuda, M. Kersting, in: Developing Children´s Food Products., Woodhead Publishing Limited , 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27622
Multi-touch, tangible and pen-based interaction in incident planning
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27623
Virtual Learning Spaces for Co-Active Learning
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27624
Multi-Touch Interaction for Disaster Management.}
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27625
Hypothesis- guided technology design as the basis of contextual computer science
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27626 LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27627
User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27628
KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
LibreCat
 

Filters and Search Terms

year=2011

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed