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.

9737 Publications


2013 | Journal Article | LibreCat-ID: 25740
D. He and W. Müller, “ A heuristic energy-aware approach for hard real-time systems on multi-core platforms,” Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), pp. 845–857, 2013.
LibreCat
 

2013 | Book (Editor) | LibreCat-ID: 25741
G. Schirner, M. Götz, A. Rettberg, M. C. Zanella, and F.-J. Rammig, Eds., Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25742
L. Khaluf and F.-J. Rammig, “Organic Programming of Real-Time Operating Systems,” 2013.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 25743
H. Anacker et al., “Methods for the Design and Development,” in Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Heidelberg: Springer-Verlag, 2013, pp. 187–356.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 3813
H. Wachsmuth, B. Stein, and G. Engels, “Learning Efficient Information Extraction on Heterogeneous Texts,” in Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013, pp. 534–542.
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 3814
H. Wachsmuth, B. Stein, and G. Engels, “Information Extraction as a Filtering Task,” in Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management, 2013, pp. 2049–2058.
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 3876
H. Wachsmuth, M. Rose, and G. Engels, “Automatic Pipeline Construction for Real-Time Annotation,” in 14th International Conference on Intelligent Text Processing and Computational Linguistics, 2013, pp. 38–49.
LibreCat | Download (ext.)
 

2013 | Dissertation | LibreCat-ID: 2909
D. Kuntze, Practical algorithms for clustering and modeling large data sets - Analysis and improvements. Universität Paderborn, 2013.
LibreCat | Download (ext.)
 

2013 | Report | LibreCat-ID: 2917
J. Juhnke, H. Lefmann, and V. Strehl, An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI, 2013.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 2979
J. Blömer, P. Günther, and G. Liske, “Improved Side Channel Attacks on Pairing Based Cryptography,” in Constructive Side-Channel Analysis and Secure Design, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 154–168.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 3129
T. Jager and J. Schwenk, “On the Analysis of Cryptographic Assumptions in the Generic Ring Model,” J. Cryptology, no. 2, pp. 225--245, 2013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3130
F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, and C. Striecks, “Practical Signatures from Standard Assumptions,” in Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings, 2013, pp. 461--485.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3131
T. Jager, K. G. Paterson, and J. Somorovsky, “One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography,” in 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 3176
T. Isenberg, D. Steenken, and H. Wehrheim, “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving,” in Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178--192.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3177
O. Travkin, A. Mütze, and H. Wehrheim, “{SPIN} as a Linearizability Checker under Weak Memory Models,” in Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3178
B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, “A High-Level Semantics for Program Execution under Total Store Order Memory,” in Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3179
S. Ziegert and H. Wehrheim, “Temporal Reconfiguration Plans for Self-Adaptive Systems,” in Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 27054
J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, “11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung,” 2013, vol. 311.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 27168
R. Keil and F. Winkelnkemper, “Approaches for an informational separation of powers in learning platforms,” 2013, pp. 131–142.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 27169
H. G. Fischer et al., “„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA,” 2013, pp. 28–34.
LibreCat
 

2013 | Dissertation | LibreCat-ID: 27171
B. K {\ "u} hnel, Contextual tagging in the coactive knowledge organization. Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 27172
H. G. Fischer, B. Strenge, and Karsten Nebe, “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” Springer Verlag, pp. 252–261, 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 27173
Reinhard Keil, H. Selke, and F. Winkelnkemper, “Computer science and education - A struggle for creative sovereignty in society?,” FIfF-Kommunikation, pp. 61–65, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 27174
R. Keil, “Media contexts - context media,” 2013, pp. 217–226.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 27175
F. Klompmaker, V. Paelke, and H. G. Fischer, “A Taxonomy-Based Approach Towards NUI Interaction Design.” Springer Verlag, pp. 32–41, 2013.
LibreCat
 

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

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

2013 | Conference Paper | LibreCat-ID: 20980
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
 

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

2013 | Conference Paper | LibreCat-ID: 17439
R. Petring, B. Eikel, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Darstellung heterogener 3-D-Szenen in Echtzeit,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311, pp. 49--60.
LibreCat
 

2013 | Dissertation | LibreCat-ID: 17440
B. Eikel, 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
F. Meyer auf der Heide, “Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311, pp. 7–16.
LibreCat
 

2013 | Conference (Editor) | LibreCat-ID: 17443
J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, 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
R. Cohen, I. Nudelman, and G. Polevoy, “On the Admission of Dependent Flows in Powerful Sensor Networks,” Networking, IEEE/ACM Transactions on, vol. 21, no. 5, pp. 1461–1471, 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1783
Y. Grynko, Y. Shkuratov, and J. Förstner, “Light scattering by randomly irregular dielectric particles larger than the wavelength,” Optical Letters, vol. 38, no. 23, pp. 5153–5156, 2013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 1785
F. Rammig, K. Stahl, and G. F. Vaz, “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), 2013, pp. 1–10.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 1786
S. Kasap and S. Redif, “FPGA Implementation of a Second-Order Convolutive Blind Signal Separation Algorithm,” in Proc. IEEE Signal Processing and Communications Conf. (SUI), 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1792
S. Kasap and S. Redif, “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, vol. 22, no. 3, pp. 522–536, 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1868
A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Competitive throughput in multi-hop wireless networks despite adaptive jamming,” Distributed Computing, no. 3, pp. 159--171, 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1870
R. Mohd Nor, M. Nesterenko, and C. Scheideler, “Corona:  A stabilizing deterministic message-passing skip list,” Theor. Comput. Sci., pp. 119--129, 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1871
A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “An Efficient and Fair MAC Protocol Robust to Reactive Interference,” IEEE/ACM Trans. Netw., no. 3, pp. 760--771, 2013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 20831
J. Geismann, “Quelltextgenerierung für LEGO Mindstorms-Roboter,” in Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten, 2013, vol. 12, pp. 71–74.
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 20913
J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose von Kompaktsteuerungen,” in 9. Paderborner Workshop Entwurf mechatronischer Systeme, 2013, pp. 147–160.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 1798
M. Keller, C. Robbert, and M. Peuster, “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
H. Ali-Ahmad et al., “CROWD: An SDN Approach for DenseNets,” in 2013 Second European Workshop on Software Defined Networks, 2013.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 1800
J. Blanckenstein, J. Garcia-Jimenez, J. Klaue, and H. Karl, “A Scalable Redundant TDMA Protocol for High-Density WSNs Inside an Aircraft,” in Lecture Notes in Electrical Engineering, Cham: Springer International Publishing, 2013, pp. 165–177.
LibreCat | DOI
 

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

2013 | Conference Paper | LibreCat-ID: 1802
P. Wette and K. Graffi, “Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables,” in 2013 Conference on Networked Systems, 2013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 1803
C. Dannewitz, M. Herlich, and H. Karl, “OpenNetInf - prototyping an information-centric Network Architecture,” in 37th Annual IEEE Conference on Local Computer Networks -- Workshops, 2013.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 1804
A. de la Oliva 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, pp. 28–41.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed