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.

9720 Publications


2014 | Conference Paper | LibreCat-ID: 27167
F. Winkelnkemper and R. Keil, “Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design,” 2014, vol. 2014, pp. 255–264.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20983
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17659
G. Polevoy, S. Trajanovski, and M. M. de Weerdt, “Nash Equilibria in Shared Effort Games,” in Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, 2014, pp. 861–868.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17660
G. Polevoy and M. M. de Weerdt, “Improving Human Interaction in Crowdsensing,” in Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, 2014, pp. 1741–1742.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17661
T. C. King et al., “Request Driven Social Sensing,” in Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, 2014, pp. 1651–1652.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 17662
G. Polevoy, R. Smorodinsky, and M. Tennenholtz, “Signaling Competition and Social Welfare,” ACM Trans. Econ. Comput., vol. 2, no. 1, pp. 1:1-1:16, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1781
T. Steinle, J. Vrabec, and A. Walther, “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres,” in Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), 2014, pp. 233–243.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1782
T. Graf, L. Schaefers, and M. Platzner, “On Semeai Detection in Monte-Carlo Go,” in Proc. Conf. on Computers and Games (CG), 2014, no. 8427, pp. 14–25.
LibreCat | DOI
 

2014 | Dissertation | LibreCat-ID: 19039
R. Petring, Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit. Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 20905
U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20907
S. Becker et al., “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20908
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014.
LibreCat | Download (ext.)
 

2014 | Report | LibreCat-ID: 20909
S. Becker et al., The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20910
U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment,” in Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 2014, p. 23:23-23:30.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 18001
L. Luo, Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 18002
K. Hinnenthal, Formbildung selbstorganisierender Partikelsysteme. 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 1801
P. Wette and H. Karl, “Incorporating feedback from application layer into routing and wavelength assignment algorithms,” in 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 1858
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, and H. Täubig, “SKIP*: A Self-Stabilizing Skip Graph,” J. ACM, no. 6, pp. 36:1--36:26, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1863
Z. Derakhshandeh, S. Dolev, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann, “Brief announcement: amoebot - a new model for programmable matter,” in 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, 2014, pp. 220--222.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 22903
A. Kühn, C. Bremer, R. Dumitrescu, and J. Gausemeier, “Feature models supporting trade-off decisions in early mechatronic systems design,” in NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22904
J. Gausemeier, R. Dumitrescu, J. Jasperneite, A. Kühn, and H. Trsek, “Der Spitzencluster it’s OWL auf dem Weg zur Industrie 4.0,” ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb, pp. 336–346, 2014.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22905
K. A. Mahadhir, S. C. Tan, C. Low, R. Dumitrescu, A. T. M. Amin, and A. Jaffar, “Terrain Classification for Track-driven Agricultural Robots,” Procedia Technology, vol. Vol. 15, pp. 776–783, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 22906
R. Dorociak, R. Dumitrescu, J. Gausemeier, and P. Iwanek, “Specification Technique CONSENS for the Description of Self-optimizing Systems,” in Design Methodology for Intelligent Technichal Systems, J. Gausemeier, F.-J. Rammig, and W. Schäfer, Eds. Berlin: Springer, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22907
A. Kühn, D. Kliewe, R. Dumitrescu, and J. Gausemeier, “Strategy controlling for innovation clusters - the example of ‘it’s OWL,’” in ISPIM Conference 2014, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22908
R. Dumitrescu, C. Fechtelpeter, and A. Kühn, “Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering,” in Tag des Systems Engineering, Bremen, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22909
M. Rabe, H. Anacker, and R. Dumitrescu, “Methodology for the identification of solution patterns within mechatronic systems,” in Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22910
C. Tschirner, L. Kaiser, R. Dumitrescu, and J. Gausemeier, “Collaboration in Model-Based Systems Engineering based on Application Scenarios,” 2014.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22911
C. Jürgenhake, C. Fechtelpeter, R. Dumitrescu, and D. Heidsiek, “Optimized process sequences for prototyping of molded interconnect devices,” Advanced Materials Research, vol. Vol.1038, pp. 19–27, 2014.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22912
T. Schierbaum, J. Gausemeier, and R. Dumitrescu, “Method for the Identification and Comparison of Alternative Process Chains Focusing on Economics Efficiency Analysis during the Conceptual Design of Mechatronic Integrated Devices,” Advanced Materials Research, vol. Vol.1038, pp. 3–9, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 21741
M. Bailey and C. Law, “A Summer Blender Camp: Modeling, Rendering, and Animation for High School Students,” IEEE Computer Graphics and Applications, vol. 34, no. 1, pp. 65–67, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 21742
P. Dias, T. Sousa, J. Parracho, I. Cardoso, A. Monteiro, and B. S. Santos, “Student Projects Involving Novel Interaction with Large Displays,” IEEE Computer Graphics and Applications, vol. 34, no. 2, pp. 80–86, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 21743
A. Repenning et al., “Beyond Minecraft: Facilitating Computational Thinking through Modeling and Programming in 3D,” IEEE Computer Graphics and Applications, vol. 34, no. 3, pp. 68–71, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 21744
G. Reina, T. Müller, and T. Ertl, “Incorporating Modern OpenGL into Computer Graphics Education,” IEEE Computer Graphics and Applications, vol. 34, no. 4, pp. 16–21, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 21745
M. Cao et al., “Creative Educational Use of Virtual Reality: Working with Second Life,” Computer Graphics and Applications, IEEE, vol. 34, pp. 83–87, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 21746
B. DiSalvo, “Graphical Qualities of Educational Technology: Using Drag-and-Drop and Text-Based Programs for Introductory Computer Science,” IEEE Computer Graphics and Applications, vol. 34, no. 6, pp. 12–15, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 21936
F. Nüske, B. G. Keller, G. Pérez-Hernández, A. S. J. S. Mey, and F. Noé, “Variational Approach to Molecular Kinetics,” Journal of Chemical Theory and Computation, pp. 1739–1752, 2014.
LibreCat | DOI
 

2014 | Conference (Editor) | LibreCat-ID: 7761
C. Weskamp , T. John , D. Kundisch , A. Teetz, and M. Rose, Eds., Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market. Brussels, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 8064
F. Pittke, B. Nagel, G. Engels, and J. Mendling, “Linguistic Consistency of Goal Models,” in Proceedings of the 19th International EMMSAD Conference, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 8065
M. Fazal-Baqaie, C. Gerth, and G. Engels, “Breathing Life into Situational Software Engineering Methods,” in In Proceedings of the 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014), 2014, vol. 8892, pp. 281–284.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 8066
M. Fazal-Baqaie, S. Sauer, and T. Heuft, “Agile Entwicklung mit On- und Offshore-Partnern – Methodenverbesserung in der Praxis,” in Proceedings of Projektmanagement und Vorgehensmodelle 2014, 2014, pp. 59–69.
LibreCat
 

2014 | Report | LibreCat-ID: 8224
S. Arifulina, M. Christin Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, Configuration of Specification Language and Matching for Services in On-The-Fly Computing. Heinz Nixdorf Institute, University of Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 5749
E. Yigitbas, H. G. Fischer, and S. Sauer, “Model-Based User Interface Development for Adaptive Self-Service Systems,” in Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience - Third International Conference, {DUXU} 2014, Held as Part of {HCI} International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part {I}, 2014, pp. 206–213.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 5750
E. Yigitbas, H. G. Fischer, T. Kern, and V. Paelke, “Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems,” in Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014. Proceedings, 2014, pp. 267–274.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 5751
E. Yigitbas and S. Sauer, “Flexible & Adaptive UIs for Self-Service Systems,” in Mensch & Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz für Interaktive und Kooperative Medien - Interaktiv unterwegs - Freiräume gestalten, 31. August - 3. September 2014, München, Germany, 2014, pp. 167–175.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 6273
H. G. Fischer et al., “Qualität im Usability Engineering - Stand der Arbeiten am Qualitätsstandard Usability Engineering der German UPA,” in Jahresband Usability Professionals, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 6303
B. Senft, H. G. Fischer, and C. Sudbrock, “IT-Unterstützung im praktischen Ausbildungsbetrieb der Feuerwehr,” in Mensch & Computer 2014 - Workshopband, 2014, pp. 111–116.
LibreCat
 

2014 | Book | LibreCat-ID: 6428
C. Sommer and F. Dressler, Vehicular Networking. Cambridge University Press, 2014.
LibreCat | DOI
 

2014 | Preprint | LibreCat-ID: 442 | OA
J. Blömer and G. Liske, “Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions.” Universität Paderborn, 2014.
LibreCat | Files available | Download (ext.)
 

2014 | Conference Paper | LibreCat-ID: 446
A. Ogierman, A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Competitive MAC under adversarial SINR,” in Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751--2759.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 447
A. Jungmann, F. Mohr, and B. Kleinjohann, “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services,” in Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 449
M. Becker, M. C. Platenius, and S. Becker, “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!,” in Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 450
M.-C. Jakobs and H. Wehrheim, “Certification for Configurable Program Analysis,” in Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 451
M. Drees, S. Riechers, and A. Skopalik, “Budget-restricted utility games with ordered strategic decisions,” in Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, pp. 110–121.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 452
S. Abshoff, A. Cord-Landwehr, D. Jung, and A. Skopalik, “Brief Announcement: A Model for Multilevel Network Games,” in Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, p. 294.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 453
M. Feldotto, M. Gairing, and A. Skopalik, “Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 30–43.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 455
C. Hansknecht, M. Klimm, and A. Skopalik, “Approximate pure Nash equilibria in weighted congestion games,” in Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2014, pp. 242–257.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 456
M. Gairing, G. Kotsialou, and A. Skopalik, “Approximate pure Nash equilibria in Social Context Congestion Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 480–485.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 457
A. Jungmann, F. Mohr, and B. Kleinjohann, “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition,” in Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.
LibreCat | Files available | DOI
 

2014 | Mastersthesis | LibreCat-ID: 458
P. Dreimann, Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic. Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 459
S. Kniesburges, C. Markarian, F. Meyer auf der Heide, and C. Scheideler, “Algorithmic Aspects of Resource Management in the Cloud,” in Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2014, pp. 1–13.
LibreCat | Files available | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 461
S. Dräxler, Adaptive Placement of Programmable Virtual Network Function Chains. Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 462
M. Feldotto and A. Skopalik, “A Simulation Framework for Analyzing Complex Infinitely Repeated Games,” in Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), 2014, pp. 625–630.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 463
J. Blömer, R. Gomes da Silva, P. Günther, J. Krämer, and J.-P. Seifert, “A Practical Second-Order Fault Attack against a Real-World Pairing Implementation,” in Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 123--136.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 464
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, and H. Täubig, “A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization,” Theory of Computing Systems, no. 1, pp. 110–135, 2014.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 467
J. Künsemöller and H. Karl, “A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service,” Future Generation Computer Systems, pp. 44--52, 2014.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 7268
M. Klenke and M. Grieger, “Forms2ADF mal anders: Wie aus einer Oracle-Vision Praxis wird,” DOAG News, no. 3, pp. 38–42, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 7269
M. Grieger, M. Fazal-Baqaie, S. Sauer, and M. Klenke, “A Method to Systematically Improve the Effectiveness and Efficiency of the Semi-Automatic Migration of Legacy Systems,” Softwaretechnik-Trends, Proceedings of the 16th Workshop Software-Reengineering (WSRE), vol. 34, no. 2, pp. 77–78, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 7270
M. Grieger, S. Sauer, and M. Klenke, “Architectural Restructuring by Semi-Automatic Clustering to Facilitate Migration towards a Service-oriented Architecture,” Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM), vol. 34, no. 2, pp. 44–45, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 753
F. Beister, M. Dräxler, J. Aelken, and H. Karl, “Power model design for ICT systems -- A generic approach,” Computer Communications, pp. 77--85, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 754
R. Azeem M. Khan and H. Karl, “MAC Protocols for Cooperative Diversity in Wireless LANs and Wireless Sensor Networks,” IEEE Communications Surveys and Tutorials, no. 1, pp. 46--63, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 759
M. Dräxler, P. Dreimann, and H. Karl, “Anticipatory power cycling of mobile network equipment for high demand multimedia traffic,” in IEEE Online Conference on Green Communications, OnlineGreenComm 2014, November 12-14, 2014, 2014, pp. 1--7.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 760
S. Auroux and H. Karl, “Flow processing-aware controller placement in wireless DenseNets,” in 25th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, {PIMRC} 2014, Washington DC, USA, September 2-5, 2014, 2014, pp. 1294--1299.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 762
A. Schwabe and H. Karl, “Using MAC addresses as efficient routing labels in data centers,” in Proceedings of the third workshop on Hot topics in software defined networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115--120.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 763
J. Blanckenstein and H. Karl, “Energy-efficient clock synchronization using wake-up receivers,” in 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014, 2014, pp. 408--413.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 765
F. Beister and H. Karl, “Predicting mobile video inter-download times with Hidden Markov Models,” in IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014, 2014, pp. 359--364.
LibreCat | DOI
 

2014 | Preprint | LibreCat-ID: 766
S. Mehraghdam, M. Keller, and H. Karl, “Specifying and Placing Chains of Virtual Network Functions,” CoRR. 2014.
LibreCat
 

2014 | Preprint | LibreCat-ID: 767
P. Wette and H. Karl, “DCT2Gen: A Versatile TCP Traffic Generator for Data Centers,” CoRR. 2014.
LibreCat
 

2014 | Preprint | LibreCat-ID: 768
A. Schwabe and H. Karl, “Adding Geographical Embedding to AS Topology Generation,” CoRR. 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 8550
M. Liebendörfer and L. Ostsieker, “Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums,” in Mit Werkzeugen Mathematik und Stochastik lernen – Using Tools for Learning Mathematics and Statistics, T. Wassong, D. Frischemeier, P. R. Fischer, R. Hochmuth, and P. Bender, Eds. Wiesbaden: Springer Fachmedien Wiesbaden, 2014, pp. 453–462.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 8554
M. Liebendörfer, R. Hochmuth, J. Kolter, and S. Schukajlow, “The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers,” in Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education, 2014, vol. 6, p. 153.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 8557
M. Liebendörfer, “Self-determination and interest development of first-year mathematics students,” Oberwolfach Reports, vol. 11, no. 4, pp. 3132–3135, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 8561
M. Liebendörfer et al., “Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen,” in Beiträge zum Mathematikunterricht 2014, J. Roth and J. Ames, Eds. Münster: WTM-Verlag, 2014, pp. 739–742.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 8842
I. Jovanovikj, Detection and Resolution of Data-Flow Differences in Business Process Models. 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 393
D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, and T. F. Strothmann, “On Stabilizing Departures in Overlay Networks,” in Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3937
H. J. W. M. Hoekstra and M. Hammer, “General relation for group delay and the relevance of group delay for refractometric sensing,” Journal of the Optical Society of America B, vol. 31, no. 7, 2014.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 394
S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations,” in Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 395
S. Abshoff, A. Cord-Landwehr, D. Jung, and A. Skopalik, “Multilevel Network Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 397
C. Scheideler, M. Eikel, and A. Setzer, “Minimum Linear Arrangement of Series-Parallel Graphs,” in Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 399
T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 401
M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 402
S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 408
M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 409
M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers into a Service Market Architecture,” in Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 412
M. Feldotto, C. Scheideler, and K. Graffi, “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths,” in Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10.
LibreCat | Files available | DOI | arXiv
 

2014 | Mastersthesis | LibreCat-ID: 414
J. Jochheim, Hiding software components using functional encryption. Universität Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 416
P. Bemmann, Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 417
G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,” in Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat | Files available | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 418 | OA
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Bachelorsthesis | LibreCat-ID: 421
J. Lippert, Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 426
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn, 2014.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed