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


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

2013 | Journal Article | LibreCat-ID: 476
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
P. Kolman, C. Scheideler, Theory of Computing Systems (2013) 341–363.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 477
Token Dissemination in Geometric Dynamic Networks
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, 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, 2013, pp. 22–34.
LibreCat | Files available | DOI
 

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

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

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

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

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

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

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

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

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

2013 | Dissertation | LibreCat-ID: 494
Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies
M. von Detten, 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
Reducing Nondeterminism in Automated Service Composition
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
LibreCat | Files available | DOI
 

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

2013 | Conference Paper | LibreCat-ID: 498
Programs from Proofs – A PCC Alternative
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat | Files available | DOI
 

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

2013 | Journal Article | LibreCat-ID: 7271
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
R. de Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. M. Göschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezzè, C. Prehofer, W. Schäfer, R. Schlichting, D. B. Smith, J. Pedro Sousa, L. Tahvildari, K. Wong, J. Wuttke, Software Engineering for Self-Adaptive Systems II (2013) 1–32.
LibreCat | DOI
 

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

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

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

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

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

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

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

2013 | Book Chapter | LibreCat-ID: 7523
Object-oriented Modeling of Multimedia Applications
G. Engels, S. Sauer, in: S.K. Chang (Ed.), Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Company, Singapore, 2013, pp. 21--53.
LibreCat | DOI
 

2013 | Dissertation | LibreCat-ID: 7569
Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
LibreCat | DOI
 

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

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

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

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

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

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

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

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

2013 | Book Chapter | LibreCat-ID: 8547
Instrumentenentwicklung zur Messung von Lernstrategien in mathematikhaltigen Studiengängen
R. Göller, J. Kortemeyer, M. Liebendörfer, R. Biehler, R. Hochmuth, J. Krämer, L. Ostsieker, S. Schreiber, in: G. Greefrath (Ed.), Beiträge Zum Mathematikunterricht 2013: Vorträge Auf Der 47. Tagung Für Didaktik Der Mathematik, WTM-Verlag, Münster, 2013, pp. 360–363.
LibreCat
 

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

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

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

2013 | Journal Article | LibreCat-ID: 4098
Self-organization of nanospheres in trenches on silicon surfaces
K. Brassat, F. Assion, U. Hilleringmann, J. Lindner, Physica Status Solidi (A) 210 (2013) 1485–1489.
LibreCat | Files available | DOI
 

2013 | Dissertation | LibreCat-ID: 501
Performance and thermal management on self-adaptive hybrid multi-cores
M. Happe, Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores, Logos Verlag Berlin GmbH, Berlin, 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 506
On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft
G. Engels, in: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 507
On Two-Party Communication Through Dynamic Networks
S. Abshoff, M. Benter, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 2013, pp. 11–22.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 508
On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks
P. Wette, H. Karl, in: Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 509
On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings
M. Autenrieth, H. Frey, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–131.
LibreCat | Files available | DOI
 

2013 | Bachelorsthesis | LibreCat-ID: 511
MapReduce in Software Defined Networks
M. Splietker, MapReduce in Software Defined Networks, Universität Paderborn, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 513
Locally Self-Adjusting Tree Networks
C. Avin, B. Häupler, Z. Lotker, C. Scheideler, S. Schmid, in: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2013, pp. 395–406.
LibreCat | Files available | DOI
 

2013 | Dissertation | LibreCat-ID: 514
Local and Online Algorithms for Facility Location
P. Pietrzyk, Local and Online Algorithms for Facility Location, Universität Paderborn, 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 517
Knowledge-Based Verification of Service Compositions - An SMT approach
S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 519
IRIS: A Robust Information System Against Insider DoS-Attacks
M. Eikel, C. Scheideler, in: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 119–129.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 520
Incorporating feedback from application layer into routing and wavelength assignment algorithms
P. Wette, H. Karl, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 51–52.
LibreCat | Files available | DOI | Download (ext.)
 

2013 | Mastersthesis | LibreCat-ID: 521
Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs
H. Riebler, Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs, Universität Paderborn, 2013.
LibreCat
 

2013 | Mastersthesis | LibreCat-ID: 522
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, Universität Paderborn, 2013.
LibreCat
 

2013 | Preprint | LibreCat-ID: 524
Hierarchies in Local Distributed Decision
F. Meyer auf der Heide, K. Swirkot, (2013).
LibreCat | Files available | arXiv
 

2013 | Bachelorsthesis | LibreCat-ID: 525
Haptics - Hadoop performance testing in concurrent job scenarios
T. Niklas Vinkemeier, Haptics - Hadoop Performance Testing in Concurrent Job Scenarios, Universität Paderborn, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 527
Fuzzy Service Matching in On-The-Fly Computing
M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
LibreCat | Files available | DOI
 

2013 | Mastersthesis | LibreCat-ID: 534
Emulating Wavelength Division Multiplexing using Openflow
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
LibreCat
 
 

2013 | Conference Paper | LibreCat-ID: 541
Continuous Gossip-based Aggregation through Dynamic Information Aging
K. Graffi, V. Rapp, in: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 542
CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 27th International Symposium on Distributed Computing (DISC), 2013, pp. 537–549.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 544
Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM
M. Feldotto, K. Graffi, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13), 2013, pp. 99–106.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 546
Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network
K. Graffi, M. Benter, M. Divband, S. Kniesburges, A. Koutsopoulos, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 27–34.
LibreCat | Files available | DOI
 

2013 | Dissertation | LibreCat-ID: 547
Business Process Models - Change Management
C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 548
Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks
K. Graffi, T. Klerx, in: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13), 2013, pp. 1–5.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 551
Automated Service Composition for On-the-Fly SOAs
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, pp. 524--532.
LibreCat | Files available | DOI
 

2013 | Bachelorsthesis | LibreCat-ID: 553
Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
LibreCat
 

2013 | Mastersthesis | LibreCat-ID: 555
Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs
A. Setzer, Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs, Universität Paderborn, 2013.
LibreCat
 

2013 | Conference (Editor) | LibreCat-ID: 558
Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 559
Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables
P. Wette, K. Graffi, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 35–42.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 560
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 562
A Local Heuristic for Latency-Optimized Distributed Cloud Deployment
M. Keller, S. Pawlik, P. Pietrzyk, H. Karl, in: Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) Workshop on Distributed Cloud Computing, 2013, pp. 429–434.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 563
A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks
C. Markarian, F. Meyer auf der Heide, M. Schubert, in: Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS), 2013, pp. 217–227.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 564
A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO), 2013, pp. 165–176.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 6573
Influence of angular radiated ultrasound waves on the Schlieren tomogram
S. Olfert, L. Claes, B. Henning, in: Proceedings of the International Conference on Acoustics, DEGA, Berlin, 2013, pp. 477–480.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 6729
Relational semantics for full linear logic
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 6730
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 6732
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 6913
Test Sequence Development for Evaluation of Potential Induced Degradation on Thin-Film Modules
T. Weber, J. Berghold, F. Heilmann, M. Roericht, S. Krauter, P. Grunow, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich, 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 6915
Energiewende mit Sonnenstrom
S. Krauter, Forschungsforum Paderborn, 16-2013, Februar 2013 (2013) 38–45.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 6916
Technical investigation of a photovoltaic module with integrated improved phase change material
E. Japs, G. Sonnenrein, J. Steube, J. Vrabec, E. Kenig, S. Krauter, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 6917
Foundation Monitoring – An Overview of Methods and Measurement Solutions
J. Bendfeld, J. Krieger, in: WINDFORCE 2013 Bremerhaven, 9. WAB Offshore-Windenergie Konferenz, Juni 2013, 2013.
LibreCat
 

2013 | Misc | LibreCat-ID: 6918
Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen?
Y. Bouyraaman, Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen? , Technologiezentrum-Lichtenau, Lichtenau, Germany, 2013.
LibreCat
 

2013 | Misc | LibreCat-ID: 6919
Erstellung Klimaschutzkonzept der Stadt Paderborn unter Nutzung Erneuerbarer Energien,
S. Krauter, Erstellung Klimaschutzkonzept Der Stadt Paderborn Unter Nutzung Erneuerbarer Energien, Paderborn, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 6920
7 YEARS METEOMAST AMRUMBANK WEST
J. Bendfeld, J. Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event,  Vienna, Austria, February 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 6921
FOG MEASURING AND SELECTED OFFSHORE FOG OCCURRENCES FOR THE OFFSHORE WIND ENERGY
J. Bendfeld, S. Balluff, Y. Bouyraaman, jens Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event,  Vienna, Austria, February 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 6922
FOUNDATION MONITORING FOR OFFSHORE WINDFARMS
J. Krieger, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event,  Vienna, Austria, February 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 6923
Optimisation of Offshore Wind farm Feed-in fluctuations via Power to Gas Storage Systems
Y. Bouyraaman, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event,  Vienna, Austria, February 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 6924
Measurements for PV-Module outdoor performance
J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 6925
Foundation monitoring for offshore windfarms
J. Krieger, J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
LibreCat
 

2013 | Misc | LibreCat-ID: 6926
Photovoltaics: Basics, Applications, Recent Developments
S. Krauter, Photovoltaics: Basics, Applications, Recent Developments, 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 16583
Asynchronous variational Lie group integration for geometrically exact beam dynamics
F. Demoures, F. Gay-Balmaz, T. Leitz, S. Leyendecker, S. Ober-Blöbaum, T.S. Ratiu, PAMM (2013) 45–46.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 16594
Discretized switching time optimization problems
K. Flasskamp, T. Murphey, S. Ober-Blobaum, in: 2013 European Control Conference (ECC), 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 16595
Optimization for discretized switched systems
K. Flaßkamp, T. Murphey, S. Ober-Blöbaum, PAMM (2013) 401–402.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 16599
Markov modelling for random dynamical systems
G. Froyland, in: Equadiff 99, 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 16608
Computing time investigations for variational multirate integration
T. Gail, S. Leyendecker, S. Ober-Blöbaum, PAMM (2013) 43–44.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 16643
A multiobjective optimization approach for optimal control problems of mechanical systems with uncertainties
S. Ober-Blöbaum, A. Seifried, in: 2013 European Control Conference (ECC), 2013.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 16670
Set Oriented Methods for the Numerical Treatment of Multiobjective Optimization Problems
O. Schütze, K. Witting, S. Ober-Blöbaum, M. Dellnitz, in: EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation, Berlin, Heidelberg, 2013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 16672
Discrete-time model of an IPMSM based on variational integrators
A. Specht, S. Ober-Blobaum, O. Wallscheid, C. Romaus, J. Bocker, in: 2013 International Electric Machines & Drives Conference, 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 16677
A variational approach to define robustness for parametric multiobjective optimization problems
K. Witting, S. Ober-Blöbaum, M. Dellnitz, Journal of Global Optimization (2013) 331–345.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 17048
Analysis of team and player performance using recorded trajectory data
R. Timmermann, M. Dellnitz, in: Performance Analysis of Sport IX, Part 8, Routledge, 2013.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed