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.

965 Publications


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2011 | Conference Paper | LibreCat-ID: 26710
Becker, M., Zabel, H., Müller, W., Elfeky, A., & DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294, 315–327.
LibreCat
 

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

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

2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. Proceedings of Design, Automation, Test Europe - DATE2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, K., König, A., Müller, W., & Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011.
LibreCat
 

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

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

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

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

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

2011 | Book Chapter | LibreCat-ID: 26749
Hellmich, F. (2011). Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf die weiterführenden Schulen. In D. Kucharz, T. Irion, & B. Reinhoffer (Eds.), Grundlegende Bildung ohne Brüche (Vol. 15, pp. 215–218). Springer VS. https://doi.org/10.1007/978-3-531-94131-8_39
LibreCat | DOI
 

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

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

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

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

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

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

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

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

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

2011 | Book Chapter | LibreCat-ID: 26805
Jungmann, A., Kleinjohann, B., & Richert, W. (2011). A Fast Hierarchical Learning Approach for Autonomous Robots. In Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems (pp. 545–558). Springer Basel. https://doi.org/10.1007/978-3-0348-0130-0_36
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 26810
Jungmann, A., Kleinjohann, B., & Richert, W. (2011). Increasing Learning Speed by Imitation in Multi-robot Societies. In Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 (pp. 295–307). Springer Basel. https://doi.org/10.1007/978-3-0348-0130-0_19
LibreCat | DOI
 

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

2011 | Journal Article | LibreCat-ID: 26906
Bokhof, B., Buyken, A., Doğan, C., Karaboğa, A., Kaiser, J., Sonntag, A., & Kroke, A. (2011). Validation of protein and potassium intakes assessed from 24 h recalls against levels estimated from 24 h urine samples in children and adolescents of Turkish descent living in Germany: results from the EVET! Study. Public Health Nutrition, 640–647. https://doi.org/10.1017/s1368980011002734
LibreCat | DOI
 

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

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

2011 | Journal Article | LibreCat-ID: 3332
Lettmann, T., Baumann, M., Eberling, M., & Kemmerich, T. (2011). Modeling Agents and Agent Systems. Transactions on Computational Collective Intelligence V, 157–181. https://doi.org/10.1007/978-3-642-24016-4_9
LibreCat | DOI
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2011 | Conference Paper | LibreCat-ID: 3811
Wachsmuth, H., & Bujna, K. (2011). Back to the Roots of Genres: Text Classification by Language Function. 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 (pp. 632–640).
LibreCat | Download (ext.)
 

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

2011 | Book | LibreCat-ID: 28933
Davis, N., Eickelmann, B., Patru, M., Schulz-Zander, R., & Dzvimbo, P. (2011). EduSummIT 2011: Restructuring educational systems to move into the digital age. UNESCO/Kennisnet.
LibreCat
 

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

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

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

2011 | Journal Article | LibreCat-ID: 2953
Gries, T., & Naudé, W. (2011). Entrepreneurship and human development - A capability approach. Journal of Public Economics, 95(3–4), 216–224. https://doi.org/10.1016/j.jpubeco.2010.11.008
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 2954
Gries, T., & Naudé, W. (2011). Entrepreneurship, Structural Change and a Global Economic Crisis. Entrepreneurship Research Journal, 1(3). https://doi.org/10.2202/2157-5665.1029
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 2955
Gries, T., & Wieneke, A. (2011). SME performance in transition economies: The financial regulation and firm level corruption nexus. Journal of Comparative Economics, 39(2), 221–229. https://doi.org/10.1016/j.jce.2010.09.001
LibreCat | DOI
 

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

2011 | Book Chapter | LibreCat-ID: 2986
Blömer, J. (2011). How to Share a Secret. In Algorithms Unplugged (pp. 159–168). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15328-0_17
LibreCat | DOI
 

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

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

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

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

2011 | Journal Article | LibreCat-ID: 3058
Gries, T., Kraft, M., & Piek, C. (2011). Interregional Migration, Self-selection and the Returns to Education in Brazil. The Annals of Regional Science, 46(3), 707–732. https://doi.org/10.1007/s00168-009-0344-1
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz, D., Jager, T., & Kiltz, E. (2011). Short Signatures from Weaker Assumptions. 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 (pp. 647--666). https://doi.org/10.1007/978-3-642-25385-0_35
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3138
Jager, T., & Somorovsky, J. (2011). How to break XML encryption. In Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011 (pp. 413--422). https://doi.org/10.1145/2046707.2046756
LibreCat | DOI
 

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

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

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

2011 | Conference Paper | LibreCat-ID: 3186
Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler & W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337). https://doi.org/10.1007/978-3-642-21437-0_25
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
Steenken, D., Wehrheim, H., & Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. 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 (pp. 92--107). https://doi.org/10.1007/978-3-642-25032-3_7
LibreCat | DOI
 

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

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

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

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

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

2011 | Journal Article | LibreCat-ID: 27068
Libuda, L., Kersting, M., & Alexy, U. (2011). Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents. Public Health Nutrition, 433–441. https://doi.org/10.1017/s1368980011002138
LibreCat | DOI
 

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

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

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

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

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

2011 | Conference Paper | LibreCat-ID: 27622
Nebe, K., Fischer, H. G., Klompmaker, F., & Jung, H. (2011). Multi-touch, tangible and pen-based interaction in incident planning. 263–273.
LibreCat
 

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

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

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

2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, F., Nebe, Karsten, & Jung, H. (2011). Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns.
LibreCat
 

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

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

2011 | Conference Paper | LibreCat-ID: 27629
Schulte, J. (2011). WasabiBeans - Web Application Services and Business Integration. In R. Zhang, J. Cordeiro, X. Li, Z. Zhang, & J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China (pp. 348–357).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27630
Rudolph, S., & Niehus, D. (2011). Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27631
Schulte, J., Keil, R., Klaholt, D., & Sauer, J. (2011). Koi School - Towards the Next Level of Communication, Organization and Integration in Education. In R. Zhang, J. Cordeiro, X. Li, Z. Zhang, & J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China (pp. 43–52).
LibreCat
 

Filters and Search Terms

year=2011

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed