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.

8187 Publications


2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.” Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek et al., 2016, pp. 189--204, doi:10.1007/978-3-319-45943-1_13.
LibreCat | Files available | DOI
 

2016 | Mastersthesis | LibreCat-ID: 3311
Amedick, Michaela. Informationsasymmetrien auf dem Spendenmarkt und Möglichkeiten ihrer Reduktion: Eine Prinzipal-Agenten-Perspektive von Online Spenden. Universität Paderborn, 2016.
LibreCat
 

2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 138
Riebler, Heinrich, et al. “Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems.” Proceedings of International Forum on Research and Technologies for Society and Industry (RTSI), IEEE, 2016, pp. 1–5, doi:10.1109/RTSI.2016.7740545.
LibreCat | Files available | DOI
 

2016 | Dissertation | LibreCat-ID: 140
Jungmann, Alexander. Towards On-The-Fly Image Processing. Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Journal Article | LibreCat-ID: 145
Feldotto, Matthias, and Kalman Graffi. “Systematic Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM.” Concurrency and Computation: Practice and Experience, vol. 28, no. 5, Wiley Online Library, 2016, pp. 1655–77, doi:10.1002/cpe.3716.
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 1454
Grynko, Yevgen, et al. “Simulations of High Harmonic Generation from Plasmonic Nanoparticles in the Terahertz Region.” Applied Physics B, vol. 122, no. 9, Springer Nature, 2016, doi:10.1007/s00340-016-6510-0.
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 1459
Chen, Shumei, et al. “Giant Nonlinear Optical Activity of Achiral Origin in Planar Metasurfaces with Quadratic and Cubic Nonlinearities.” Advanced Materials, vol. 28, no. 15, Wiley-Blackwell, 2016, pp. 2992–99, doi:10.1002/adma.201505640.
LibreCat | DOI
 

2016 | Bachelorsthesis | LibreCat-ID: 152
Dallmeier, Fynn. Short Randomizable Aggregatable Signatures: Constructions and Security Analysis. Universität Paderborn, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 157
König, Jürgen, et al. “Scheduling with Interjob Communication on Parallel Processors.” Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 563--577, doi:10.1007/978-3-319-48749-6_41.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 1632
Doriguzzi-Corin, Roberto, et al. “Empowering Network Operating Systems with Memory Management Techniques.” NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium, IEEE, 2016, doi:10.1109/noms.2016.7502889.
LibreCat | DOI
 

2016 | Mastersthesis | LibreCat-ID: 164
Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 171
Kenter, Tobias, et al. “Opportunities for Deferring Application Partitioning and Accelerator Synthesis to Runtime (Extended Abstract).” Workshop on Reconfigurable Computing (WRC), 2016.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 176
Dollmann, Markus, and Michaela Geierhos. “On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements.” Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics (ACL), 2016, pp. 1807–16.
LibreCat | Files available | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 1771
Hoppe, Thomas, et al. “Eigenkapitalverzehr und Substanzbesteuerung deutscher Unternehmen durch eine Vermögensteuer – eine empirische Analyse.” Schmalenbachs Zeitschrift für betriebswirtschaftliche Forschung, vol. 68, no. 1, Springer Nature, 2016, pp. 3–45, doi:10.1007/s41471-016-0005-x.
LibreCat | DOI | Download (ext.)
 

2016 | Bachelorsthesis | LibreCat-ID: 183
Jubrail, Ari. Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen. Universität Paderborn, 2016.
LibreCat
 

2016 | Dissertation | LibreCat-ID: 195
Platenius, Marie Christin. Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Journal Article | LibreCat-ID: 7419
Steinhoff, Lena, and Robert W. Palmatier. “Understanding Loyalty Program Effectiveness: Managing Target and Bystander Effects.” Journal of the Academy of Marketing Science, vol. 44, no. 1, 2016, pp. 88–107.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 7539
Meise, Bianca, et al. “Von Implizitem Wissen Zu Nachhaltigen Systemanforderungen.” Tagungsband Der Forschungsdaten in Den Geisteswissenschaften (FORGE), 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 7541
Senft, Björn, and Simon Oberthür. “Auf Dem Weg Zu Einer Experimentellen Und Evidenzbasierten Softwareentwicklung in Den Digital Humanities.” Konferenzabstracts Der 3. Tagung Des Verbands “Digital Humanities Im Deutschsprachigen Raum e. V.,” 2016.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: MLA

Export / Embed