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.

9763 Publications


2013 | Conference Paper | LibreCat-ID: 27175
Klompmaker F, Paelke V, Fischer HG. A Taxonomy-Based Approach Towards NUI Interaction Design. Published online 2013:32-41.
LibreCat
 

2013 | Dissertation | LibreCat-ID: 11619
Kaufmann P. Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH; 2013.
LibreCat
 

2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe M. Das Verteilungsproblem Für Mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf für Elektrofahrzeuge. In: 8. Dortmunder Autotag. ; 2013.
LibreCat
 

2013 | Mastersthesis | LibreCat-ID: 20985
Koch T. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn; 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 17439
Petring R, Eikel B, Jähn C, Fischer M, Meyer auf der Heide F. Darstellung heterogener 3-D-Szenen in Echtzeit. In: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Paderborn; 2013:49--60.
LibreCat
 

2013 | Dissertation | LibreCat-ID: 17440
Eikel B. Spherical Visibility Sampling : Preprocessed Visibility for Occlusion Culling in Complex 3D Scenes. Universität Paderborn; 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 17442
Meyer auf der Heide F. Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen. In: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:7-16.
LibreCat
 

2013 | Conference (Editor) | LibreCat-ID: 17443
Gausemeier J, Grafe M, Meyer auf der Heide F, eds. 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung. Vol 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 17663
Cohen R, Nudelman I, Polevoy G. On the Admission of Dependent Flows in Powerful Sensor Networks. Networking, IEEE/ACM Transactions on. 2013;21(5):1461-1471. doi:10.1109/TNET.2012.2227792
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1783
Grynko Y, Shkuratov Y, Förstner J. Light scattering by randomly irregular dielectric particles larger than the wavelength. Optical Letters. 2013;38(23):5153-5156. doi:10.1364/OL.38.005153
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 1785
Rammig F, Stahl K, Vaz GF. A framework for enhancing dependability in self-x systems by Artificial Immune Systems. In: IEEE Int. Symp. on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE; 2013:1-10. doi:10.1109/ISORC.2013.6913240
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 1786
Kasap S, Redif S. FPGA Implementation of a Second-Order Convolutive Blind Signal Separation Algorithm. In: Proc. IEEE Signal Processing and Communications Conf. (SUI). IEEE; 2013. doi:10.1109/SIU.2013.6531530
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1792
Kasap S, Redif S. Novel Field-Programmable Gate Array Architecture for Computing the Eigenvalue Decomposition of Para-Hermitian Polynomial Matrices. IEEE Trans on Very Large Scale Integration (VLSI) Systems. 2013;22(3):522-536. doi:10.1109/TVLSI.2013.2248069
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1868
W. Richa A, Scheideler C, Schmid S, Zhang J. Competitive throughput in multi-hop wireless networks despite adaptive jamming. Distributed Computing. 2013;(3):159--171. doi:10.1007/s00446-012-0180-x
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1870
Mohd Nor R, Nesterenko M, Scheideler C. Corona:  A stabilizing deterministic message-passing skip list. Theor Comput Sci. 2013:119--129. doi:10.1016/j.tcs.2012.08.029
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1871
W. Richa A, Scheideler C, Schmid S, Zhang J. An Efficient and Fair MAC Protocol Robust to Reactive Interference. IEEE/ACM Trans Netw. 2013;(3):760--771. doi:10.1109/TNET.2012.2210241
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 20831
Geismann J. Quelltextgenerierung für LEGO Mindstorms-Roboter. In: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten. Vol 12. GI-Edition - Lecture Notes in Informatics (LNI). Köllen Verlag; 2013:71-74.
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 20913
Frieben J, Heutger H, Meyer M, Becker S. Modulare Leistungsprognose von Kompaktsteuerungen. In: 9. Paderborner Workshop Entwurf Mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 1798
Keller M, Robbert C, Peuster M. An evaluation testbed for adaptive, topology-aware deployment of elastic applications. In: Proceedings of the ACM SIGCOMM 2013 Conference on SIGCOMM . ; 2013.
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 1799
Ali-Ahmad H, Cicconetti C, de la Oliva A, et al. CROWD: An SDN Approach for DenseNets. In: 2013 Second European Workshop on Software Defined Networks. IEEE; 2013. doi:10.1109/ewsdn.2013.11
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 1800
Blanckenstein J, Garcia-Jimenez J, Klaue J, Karl H. A Scalable Redundant TDMA Protocol for High-Density WSNs Inside an Aircraft. In: Lecture Notes in Electrical Engineering. Cham: Springer International Publishing; 2013:165-177. doi:10.1007/978-3-319-03071-5_18
LibreCat | DOI
 

2013 | Bachelorsthesis | LibreCat-ID: 18000
Blumentritt F. Cliquenbildung in Verteilten Systemen. Universität Paderborn; 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 1802
Wette P, Graffi K. Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables. In: 2013 Conference on Networked Systems. IEEE; 2013. doi:10.1109/netsys.2013.9
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 1803
Dannewitz C, Herlich M, Karl H. OpenNetInf - prototyping an information-centric Network Architecture. In: 37th Annual IEEE Conference on Local Computer Networks -- Workshops. IEEE; 2013. doi:10.1109/lcnw.2012.6424044
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 1804
de la Oliva A, Morelli A, Mancuso V, et al. Denser Networks for the Future Internet, the CROWD Approach. In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:28-41. doi:10.1007/978-3-642-37935-2_3
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 22932
Dumitrescu R, Kühn A. Intelligenz in der Produktion - Spitzencluster it’s OWL als Wegbereiter für Industrie 4.0. In: Markt&Technik Summit Industrie 4.0, München, 16. - 17. Okt. 2013. ; 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 22933
Schmitt N, Kaiser L, Dumitrescu R, Hofmann M. Von der Anforderungserfassung bis zur Funktionsstruktur - Ein Systems Engineering-Vorgehen für die industrielle Praxis. In: Maurer M, Schulze S-O, eds. Tag des Systems Engineering. München: Carl Hanser Verlag; 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 22934
Low CY, Kasim MAA, Koch T, et al. Hybrid-Actuated Finger Prosthesis with Tactile Sensing. In: International Journal of Advanced Robotic Systems. Vol Band 10. ; 2013.
LibreCat
 

2013 | Newspaper Article | LibreCat-ID: 22935
Low C, Aldemir M, Aziz N, Dumitrescu R, Anacker H. Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution. Journal of Production Engineering Research & Development (PERE) 7. 2013:23-34.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 21748
Joel WJ. The Need to Start Research Education Early. IEEE Computer Graphics and Applications. 2013;33(5):79-81. doi:10.1109/MCG.2013.79
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 21752
Kerren A. Information Visualization Courses for Students with a Computer Science Background. IEEE Computer Graphics and Applications. 2013;33(2):12-15. doi:10.1109/MCG.2013.27
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 21807
Schell J, Klug C. Building Virtual Worlds Carrying on the Legacy of Randy Pausch’s “Head Fake.” IEEE Computer Graphics and Applications. 2013;33(3):12-15. doi:10.1109/MCG.2013.42
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 21935
Noé F, Nüske F. A Variational Approach to Modeling Slow Processes in Stochastic Dynamical Systems. Multiscale Modeling & Simulation. 2013:635-655. doi:10.1137/110858616
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 770
Dannewitz C, Kutscher D, Ohlman B, Farrell S, Ahlgren B, Karl H. Network of Information (NetInf) - An information-centric networking architecture. Computer Communications. 2013;(7):721--735. doi:10.1016/j.comcom.2013.01.009
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 771
Dräxler M, Biermann T, Karl H. Improving Cooperative Transmission Feasibility by Network Reconfiguration in Limited Backhaul Networks. International Journal of Wireless Information Networks. 2013;(3):183--194. doi:10.1007/s10776-013-0207-7
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 772
Hohenberger T, Herlich M, Karl H. Trade-off between latency and coverage in cooperative radio access networks. In: IEEE International Conference on Advanced Networks and Telecommunications Systems, ANTS 2013, Kattankulathur, India, December 15-18, 2013. ; 2013:1--6. doi:10.1109/ANTS.2013.6802869
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 773
M. Facca F, Salvadori E, Karl H, et al. NetIDE: First Steps towards an Integrated Development Environment for Portable Network Apps. In: Second European Workshop on Software Defined Networks, EWSDN 2013, Berlin, Germany, October 10-11, 2013. ; 2013:105--110. doi:10.1109/EWSDN.2013.24
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 774
Cicconetti C, Morelli A, Dräxler M, et al. The playground of Wireless Dense networks of the future. In: 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013. ; 2013:1--4.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 775
Keller M, Peuster M, Robbert C, Karl H. A topology-aware adaptive deployment framework for elastic applications. In: 17th International Conference on Intelligence in Next Generation Networks, {ICIN} 2013, Venice, Italy, October 15-16, 2013. ; 2013:61--69. doi:10.1109/ICIN.2013.6670895
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 776
Herlich M, Karl H. Energy-Efficient Assignment of User Equipment to Cooperative Base Stations. In: ISWCS 2013, The Tenth International Symposium on Wireless Communication Systems, Ilmenau, Germany, August 27-30, 2013. ; 2013:1--5.
LibreCat
 

2013 | Conference (Editor) | LibreCat-ID: 7762
Fazal-Baqaie M, ed. Vorgehensmodelle 2013: Vorgehensmodelle - Anspruch Und Wirklichkeit - Proceedings Der 20. Tagung Der Fachgruppe Vorgehensmodelle Im Fachgebiet Wirtschaftsinformatik (WI-VM) Der Gesellschaft Für Informatik e.V., Lörrach (Germany). Vol P-224. GI, Köllen Druck+Verlag GmbH, Bonn; 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 777
Dräxler M, Karl H. Cross-layer scheduling for multi-quality video streaming in cellular wireless networks. In: 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Sardinia, Italy, July 1-5, 2013. ; 2013:1181--1186. doi:10.1109/IWCMC.2013.6583724
LibreCat | DOI
 

2013 | Preprint | LibreCat-ID: 781
Dräxler M, Blobel J, Dreimann P, Valentin S, Karl H. Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming. CoRR. 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 8057
Nagel B, Gerth C, Post J, Engels G. Ensuring Consistency Among Business Goals and Business Process Models. In: Proceedings of the 17th IEEE International EDOC Conference (EDOC’13). IEEE Computer Society; 2013:17-26.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8058
Schumacher C, Engels G, Güldali B, Niehammer M, Hamburg M. Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern. In: Kowalewski S, Rumpe B, eds. Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany). Vol P-213. Lecture Notes in Informatics (LNI). Bonn: Gesellschaft für Informatik (GI); 2013:331-344.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8059
Engels G. On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft. In: Software Engineering 2013. Vol P-213. LNI. ; 2013:17-18.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8060
Huma Z, Gerth C, Engels G, Juwig O. Automated Service Composition for On-the-Fly SOAs. In: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13). Vol 8274. LNCS . Berlin/Heidelberg: Springer-Verlag; 2013:524-532.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8061
Luckey M, Engels G. High-­Quality Specification of Self-­Adaptive Software Systems. In: Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS ’13. New York, NY, USA: ACM; 2013:143-152.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 8062
Brüseke F, Becker S, Engels G. Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis. In: Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic). ACM New York, NY, USA; 2013:77-88.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8063
Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In: Ninth International ACM Sigsoft Conference on the Quality of Software Architectures. QoSA 2013. New York, NY, USA: ACM New York, NY, USA; 2013:43-52.
LibreCat
 

2013 | Report | LibreCat-ID: 8222
Küster J, Kovács D, Bauer E, Gerth C. Integrating Coverage Analysis into Test-Driven Development of Model Transformations. Zurich: IBM Research; 2013.
LibreCat
 

2013 | Report | LibreCat-ID: 8223
Huma Z, Gerth C, Engels G. Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany; 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 5752
Yigitbas E, Gerth C, Sauer S. Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme. In: Informatik 2013, 43. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Informatik Angepasst an Mensch, Organisation Und Umwelt, 16.-20. September 2013, Koblenz, Deutschland. ; 2013:2714-2723.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 6276
Klompmaker F, Paelke V, Fischer HG. A Taxonomy-Based Approach towards NUI Interaction Design. In: Distributed, Ambient, and Pervasive Interactions. Vol 8028. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:32-41. doi:10.1007/978-3-642-39351-8_4
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 6279
Fischer HG, Strenge B, Nebe K. Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. In: Design, User Experience, and Usability. Design Philosophy, Methods, and Tools. Vol 8012. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:252-261. doi:10.1007/978-3-642-39229-0_28
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 6284
Fischer HG, Geis T, Molich R, Kluge O, Heimgärtner R, Hunkirchen P. Do You Speak Usability? - Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA. In: Jahresband Usability Professionals. German UPA; 2013:28-34.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 469
Wonisch D, Schremmer A, Wehrheim H. Zero Overhead Runtime Monitoring. In: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM). LNCS. ; 2013:244-258. doi:10.1007/978-3-642-40561-7_17
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 470
Wette P, Karl H. Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In: Proceedings of the ACM SIGCOMM ’13. Digital Library. ; 2013:541-542. doi:10.1145/2486001.2491710
LibreCat | Files available | DOI
 

2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer A. Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn; 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 476
Kolman P, Scheideler C. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems. 2013;(2):341-363. doi:10.1007/s00224-013-9454-3
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 477
Abshoff S, Benter M, Cord-Landwehr A, Malatyali M, Meyer auf der Heide F. Token Dissemination in Geometric Dynamic Networks. In: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers. Lecture Notes in Computer Science. ; 2013:22-34. doi:10.1007/978-3-642-45346-5_3
LibreCat | Files available | DOI
 

2013 | Dissertation | LibreCat-ID: 478
Timm N. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn; 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 481
Graffi K, Bremer L. Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case. In: Proceedings of the International Conference on Communications (ICC’13). ; 2013:3444-3449. doi:10.1109/ICC.2013.6655082
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 484
Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 485
Mohr F, Kleine Büning H. Semi-Automated Software Composition Through Generated Components. In: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS). ; 2013:676-680. doi:10.1145/2539150.2539235
LibreCat | Files available | DOI
 

2013 | Bachelorsthesis | LibreCat-ID: 486
Otte O. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn; 2013.
LibreCat
 

2013 | Bachelorsthesis | LibreCat-ID: 487 | OA
Bobolz J. Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn; 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 488
Blömer J, Günther P, Krummel V. Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study. In: Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS). ; 2013:98-105.
LibreCat | Files available
 

2013 | Bachelorsthesis | LibreCat-ID: 490
Wallaschek F. Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn; 2013.
LibreCat
 

2013 | Bachelorsthesis | LibreCat-ID: 492
Robbert C. Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn; 2013.
LibreCat
 

2013 | Dissertation | LibreCat-ID: 494
von Detten M. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn; 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 495
Mohr F, Lettmann T, Kleine Büning H. Reducing Nondeterminism in Automated Service Composition. In: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). ; 2013:154-161. doi:10.1109/SOCA.2013.25
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 496
Benter M, Neumann F, Frey H. Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks. In: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM). ; 2013:2193-2201. doi:10.1109/INFCOM.2013.6567022
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 498
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs – A PCC Alternative. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV). LNCS. ; 2013:912-927. doi:10.1007/978-3-642-39799-8_65
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 499
Kling P, Pietrzyk P. Profitable Scheduling on Multiple Speed-Scalable Processors. In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2013:251-260. doi:10.1145/2486159.2486183
LibreCat | Files available | DOI
 

2013 | Journal Article | LibreCat-ID: 7271
de Lemos R, Giese H, A. Müller H, et al. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II. 2013:1-32. doi:10.1007/978-3-642-35813-5_1
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 7272
Bouillon E, Güldali B, Herrmann A, Keuler T, Moldt D, Riebisch M. Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum. Softwaretechnik-Trends. 2013;33(1):29-30.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7273
Grieger M, Güldali B, Sauer S, Mlynarski M. Testen bei Migrationsprojekten. OBJEKTspektrum (Online Themenspecials). 2013:1-4.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7274
Fazal-Baqaie M, Güldali B, Luckey M, Sauer S, Spijkerman M. Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden. OBJEKTspektrum (Online Themenspecials). 2013;(RE/2013):1-5.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7275
Engels G, Luckey M. Editorial. Computer Science - Research and Development. 2013;28(1):1-2.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7276
Engels G, Gerth C, Kleinjohann B, Kleinjohann L, Müller W, Sauer S. Informationstechnik spart Ressourcen. Forschungsforum Paderborn. 2013;16/2013:54-61.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7277
Gerth C, Küster J, Luckey M, Engels G. Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. Software and Systems Modeling. 2013;12(3):517-535.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7278
Faragó D, Törsel A-M, Mlynarski M, Weißleder S, Güldali B, Brandes C. Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt. OBJEKTspektrum. 2013;4:32-38.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 7523
Engels G, Sauer S. Object-oriented Modeling of Multimedia Applications. In: Chang SK, ed. Handbook of Software Engineering and Knowledge Engineering. Vol 2. Singapore: World Scientific Publishing Company; 2013:21--53. doi:https://doi.org/10.1142/4603
LibreCat | DOI
 

2013 | Dissertation | LibreCat-ID: 7569
Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat | DOI
 

2013 | Dissertation | LibreCat-ID: 7571
Gerth C. Business Process Models - Change Management.; 2013.
LibreCat | Files available
 

2013 | Journal Article | LibreCat-ID: 769
Biermann T, Scalia L, Choi C, Kellerer W, Karl H. How backhaul networks influence the feasibility of coordinated multipoint in cellular networks. {IEEE} Communications Magazine. 2013;(8). doi:10.1109/MCOM.2013.6576356
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 8485
Spijkerman M. Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. In: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear). Vol 215. LNI. GI; 2013:425--434.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8486
Nagel B, Gerth C, Post J, Engels G. Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. In: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13). Vol 998. CEUR Workshop Proceedings. CEUR-WS.org; 2013:9--16.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8487
Kehrer T, Gerth C. CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models. In: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13). Vol 33. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI); 2013:32-34.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8488
Grieger M, Sauer S. Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung. In: Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:189-200.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8489
Nagel B, Gerth C, Engels G. Goal-driven Composition of Business Process Models. In: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application). ; 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8490
Fazal-Baqaie M, Luckey M, Engels G. Assembly-based Method Engineering with Method Patterns. In: Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:435-444.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 8547
Göller R, Kortemeyer J, Liebendörfer M, et al. Instrumentenentwicklung zur Messung von Lernstrategien in mathematikhaltigen Studiengängen. In: Greefrath G, ed. Beiträge Zum Mathematikunterricht 2013: Vorträge Auf Der 47. Tagung Für Didaktik Der Mathematik. Münster: WTM-Verlag; 2013:360-363.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8549
Kolter J, Liebendörfer M. Mathe – nein danke? Interesse im und am Mathematikstudium bei Grundschullehramtsstudierenden mit Pflichtfach. In: Mathematik Im Übergang Schule / Hochschule Und Im Ersten Studienjahr. Kassel; 2013:101-102.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 8551
Liebendörfer M, Hochmuth R. Interest and Self-Determination in the Transition to Studying Mathematics. In: Lindmeier A, Heinze A, eds. Proceedings of the 37th Conference of the International Group for the Psychology of Mathematics Education. Vol 5. Kiel; 2013:240.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8553
Liebendörfer M, Hochmuth R. Interest in Mathematics and the First Steps at the University. In: Ubuz B, Haser Ç, Mariotti MA, eds. Proceedings of the 8th {Conference} of European Research in Mathematics Education. Ankara: Middle East Technical University; 2013:2386-2395.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 4098
Brassat K, Assion F, Hilleringmann U, Lindner J. Self-organization of nanospheres in trenches on silicon surfaces. physica status solidi (a). 2013;210(8):1485-1489. doi:10.1002/pssa.201200899
LibreCat | Files available | DOI
 

2013 | Dissertation | LibreCat-ID: 501
Happe M. Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores. Berlin: Logos Verlag Berlin GmbH; 2013.
LibreCat | Files available
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed