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.

9697 Publications


2016 | Conference Paper | LibreCat-ID: 20726
@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={10.1007/978-3-662-49635-0_7}, booktitle={Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings}, publisher={Springer Berlin Heidelberg}, author={Falzon, Kevin and Bodden, Eric}, editor={Piessens, Frank and Vigan’o, Luca}, year={2016}, pages={116–138} }
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 208
@inproceedings{Blömer_Liske_2016, series={LNCS}, title={Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes}, DOI={10.1007/978-3-319-29485-8_25}, booktitle={Proceedings of the CT-RSA 2016}, author={Blömer, Johannes and Liske, Gennadij}, year={2016}, pages={431–447}, collection={LNCS} }
LibreCat | Files available | DOI
 

2016 | Report | LibreCat-ID: 20822
@book{Dziwok_Pohlmann_Piskachev_Schubert_Thiele_Gerking_2016, place={Zukunftsmeile 1, 33102 Paderborn, Germany}, title={The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling}, author={Dziwok, Stefan and Pohlmann, Uwe and Piskachev, Goran and Schubert, David and Thiele, Sebastian and Gerking, Christopher}, year={2016} }
LibreCat
 

2016 | Journal Article | LibreCat-ID: 20867
@article{Sievers_Schlüter_Busch_Hartmann-Wendels_2016, title={Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking?}, volume={49}, DOI={10.3790/ccm.49.1.93}, number={1}, journal={ Credit and Capital Markets – Kredit und Kapital (VHB-JOURQUAL 3 Ranking C)}, author={Sievers, Sönke and Schlüter, Tobias and Busch, Ramona and Hartmann-Wendels, Thomas}, year={2016}, pages={93–125} }
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 209
@inproceedings{Feldotto_Leder_Skopalik_2016, series={LNCS}, title={Congestion Games with Mixed Objectives}, DOI={10.1007/978-3-319-48749-6_47}, booktitle={Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}, year={2016}, pages={655--669}, collection={LNCS} }
LibreCat | Files available | DOI | arXiv
 

2016 | Mastersthesis | LibreCat-ID: 181
@book{Stanco_2016, title={Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen}, publisher={Universität Paderborn}, author={Stanco, Stefan}, year={2016} }
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 1836
@inproceedings{Derakhshandeh_Gmyr_Porter_W. Richa_Scheideler_Strothmann_2016, series={Lecture Notes in Computer Science}, title={On the Runtime of Universal Coating for Programmable Matter}, volume={9818}, DOI={10.1007/978-3-319-43994-5_10}, booktitle={DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings}, author={Derakhshandeh, Zahra and Gmyr, Robert and Porter, Alexandra and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2016}, pages={148--164}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 184
@inproceedings{Melnikov_Hüllermeier_2016, series={LNCS}, title={Learning to Aggregate Using Uninorms}, DOI={10.1007/978-3-319-46227-1_47}, booktitle={Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)}, author={Melnikov, Vitaly and Hüllermeier, Eyke}, year={2016}, pages={756–771}, collection={LNCS} }
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 186
@inproceedings{Czech_Jakobs_Wehrheim_2016, series={Lecture Notes in Informatics}, title={Just test what you cannot verify!}, booktitle={Software Engineering 2016}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Jens Knoop, Uwe ZdunEditor}, year={2016}, pages={17–18}, collection={Lecture Notes in Informatics} }
LibreCat | Files available
 

2016 | Report | LibreCat-ID: 221
@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title={An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 22107
@inproceedings{Brüggemann_Reschetnik_Richard_Kullmer_Schramm_2016, title={Festigkeits- und leichtbauoptimierte Konstruktion und Auslegung eines additiv gefertigten Fahrradvorbaus}, DOI={10.3139/9783446450608.025}, booktitle={Rapid Tech - International Trade Show & Conference for Additive Manufacturing}, author={Brüggemann, J.P. and Reschetnik, W. and Richard, H.A. and Kullmer, G. and Schramm, B.}, year={2016}, pages={290–300} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 22190
@inproceedings{Delfs_Schmid_2016, title={Extended Analysis of the Surface Topography of Laser Sintered Polymer Parts }, volume={3}, DOI={https://www.bookshop.fraunhofer.de/buch/fraunhofer-direct-digital-manufacturing-conference-ddmc-2016/245111#}, booktitle={Fraunhofer Direct Digital Manufacturing Conference}, author={Delfs, Patrick and Schmid, Hans-Joachim}, year={2016}, pages={411–414} }
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 222
@article{Wiersema_Bockhorn_Platzner_2016, title={An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip}, DOI={10.1016/j.compeleceng.2016.04.005}, journal={Computers & Electrical Engineering}, publisher={Elsevier}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}, year={2016}, pages={112--122} }
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 22200
@inproceedings{Josupeit_Delfs_Lieneke_Adam_Gessler_Pfisterer_Schmid_2016, title={Dimensional accuracy of polymer laser sintered parts: Influences and measures}, DOI={10.3139/9783446450608.009}, booktitle={Rapid Tech - International Trade Show & Conference for Additive Manufacturing }, author={Josupeit, Stefan and Delfs, Patrick and Lieneke, Tobias and Adam, Guido and Gessler, Monika and Pfisterer, H. and Schmid, Hans-Joachim}, year={2016}, pages={107–120} }
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 224
@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A short survey on using software error localization for service compositions}, DOI={10.1007/978-3-319-44482-6_16}, booktitle={Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={248--262}, collection={LNCS} }
LibreCat | Files available | DOI
 

2016 | Dissertation | LibreCat-ID: 22417
@book{Kücükyavuz_2016, title={Optimierung von Planetengetriebemotoren - Einfluss des Übersetzungsverhältnisses auf das Kosten-, Gewichts-, Verlust-, Dynamik- und Zuverlässigkeitsverhalten von Planetengetriebemotoren}, publisher={Der Andere Verlag}, author={Kücükyavuz, Ali Kemal}, year={2016} }
LibreCat
 

2016 | Dissertation | LibreCat-ID: 22418
@book{Nolte_2016, title={Beitrag zur Reduzierung der Verluste von fluidabdichtenden Wellendichtsystemen}, publisher={Der Andere Verlag}, author={Nolte, Karsten}, year={2016} }
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 225
@inproceedings{Jungmann_Kleinjohann_2016, title={A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality}, DOI={10.1109/ETFA.2016.7733522}, booktitle={Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={1--8} }
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 226
@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A Formal Approach to Error Localization and Correction in Service Compositions}, DOI={10.1007/978-3-319-50230-4_35}, booktitle={Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={445--457}, collection={LNCS} }
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 227
@inproceedings{Töws_Wehrheim_2016, series={LNCS}, title={A CEGAR Scheme for Information Flow Analysis}, DOI={10.1007/978-3-319-47846-3_29}, booktitle={Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)}, author={Töws, Manuel and Wehrheim, Heike}, year={2016}, pages={466--483}, collection={LNCS} }
LibreCat | Files available | DOI
 

Filters and Search Terms

isbn%3D978-3-319-25257-5

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed