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.
11770 Publications
    2017 |  Report | LibreCat-ID: 72 
    
      Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Competitions.; 2017.
    
    
LibreCat
  
  | Files available
  
  
  
  
  
  
  
  
  
  
    2017 |  Conference Paper | LibreCat-ID: 723 |  
    
 
    
      Peuster M, Dräxler S, Razzaghi Kouchaksaraei H, van Rossem S, Tavernier W, Karl H. A flexible multi-pop infrastructure emulator for carrier-grade MANO systems. In: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017. ; 2017:1--3. doi:10.1109/NETSOFT.2017.8004250
    
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  
    2017 |  Conference Paper | LibreCat-ID: 73 
    
      Jakobs M-C. PART_PW: From Partial Analysis Results to a Proof Witness. In: Cimatti A, Sirjani M, eds. Software Engineering and Formal Methods. Lecture Notes in Computer Science. ; 2017:120-135. doi:10.1007/978-3-319-66197-1_8
    
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  
    2017 |  Mastersthesis | LibreCat-ID: 74 
    
      Knorr C. OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn; 2017.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Book Chapter | LibreCat-ID: 7454 
    
      Frehe P, Kremer H-H. Inklusive Bildung zwischen Beruflichkeit und Subjektorientierung - Eine Analyse ausbildungsvorbereitender Bildungsgänge. In: Veber M, Benölken R, Pfitzner M, eds. Potenzialorientierte Förderung in den Fachdidakten. ; 2017.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Journal Article | LibreCat-ID: 7481 
    
      Riefer A, Weber N, Mund J, et al. Zn–VI quasiparticle gaps and optical spectra from many-body calculations. Journal of Physics: Condensed Matter. 2017;29(21). doi:10.1088/1361-648x/aa6b2a
    
    
LibreCat
  
  | Files available
  
  
   | DOI
  
   | WoS
   | PubMed | Europe PMC
  
  
  
  
    2017 |  Conference Paper | LibreCat-ID: 84 
    
      Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In: Tagungsband Software Engineering. Lecture Notes in Informatics (LNI). ; 2017:81--82.
    
    
LibreCat
  
  | Files available
  
  
  
  
  
  
  
  
  
  
    2017 |  Bachelorsthesis | LibreCat-ID: 85 
    
      Lohrsträter L. Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture. Universität Paderborn; 2017.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Conference Paper | LibreCat-ID: 8559 
    
      Liebendörfer M, Hochmuth R. Perceived Competence and Incompetence in the First Year of Mathematics Studies: Forms and Situations. In: Göller R, Biehler R, Hochmuth R, Rück H-G, eds. Didactics of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings. Kassel: Universität Kassel; 2017:286-293.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Journal Article | LibreCat-ID: 8564 
    
      Liebendörfer M, Schukajlow S. Interest development during the first year at university: do mathematical beliefs predict interest in mathematics? ZDM. 2017;49(3):355-366. doi:10.1007/s11858-016-0827-3
    
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  
    2017 |  Bachelorsthesis | LibreCat-ID: 86 
    
      Niggemeyer L. Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland. Universität Paderborn; 2017.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Conference Paper | LibreCat-ID: 87 |  
    
 
    
      Dräxler S, Karl H, Mann ZA. Joint Optimization of Scaling and Placement of Virtual Network Services. In: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017). ; 2017. doi:10.1109/CCGRID.2017.25
    
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  
    2017 |  Conference Paper | LibreCat-ID: 8752 
    
      Peitz S, Dellnitz M. Gradient-Based Multiobjective Optimization with Uncertainties. In: NEO 2016. Cham; 2017:159-182. doi:10.1007/978-3-319-64063-1_7
    
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  
    2017 |  Bachelorsthesis | LibreCat-ID: 88 
    
      Ganesh Athreya A. Instantiating a Predicate Encryption Scheme via Pair Encodings. Universität Paderborn; 2017.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Journal Article | LibreCat-ID: 8804 
    
      Schulze Darup M, Redder A, Shames I, Farokhi F, Quevedo D. Towards Encrypted MPC for Linear Constrained Systems. IEEE Control Systems Letters. 2017:195-200. doi:10.1109/lcsys.2017.2779473
    
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  
    2017 |  Misc | LibreCat-ID: 8843 
    
      Jovanovikj I. Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases. Berlin; 2017.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Journal Article | LibreCat-ID: 8877 
    
      Beutner M, Rüscher FA. Acceptance of Mobile Learning at SMEs of the Service Sector. Proceedings of the 13th International Conference Mobile Learning 2017. 2017:63-72.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Journal Article | LibreCat-ID: 8878 
    
      Beutner M, Rüscher FA. Die Unterstützung von Entrepreneurship im Kultur- und Kreativsektor durch Berufsbildung. Kölner Zeitschrift für Wirtschaft und Pädagogik. 2017:3-34.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Journal Article | LibreCat-ID: 8879 
    
      Beutner M, Rüscher FA. Green Economy und Green Entrepreneurship fördern – GET-UP Ergebnisse. Kölner Zeitschrift für Wirtschaft und Pädagogik. 2017:35-62.
    
    
LibreCat
  
  
  
  
  
  
  
  
  
  
    2017 |  Journal Article | LibreCat-ID: 8881 
    
      Beutner M, Eggert D, Rüscher FA. YES – Ein Online Gruppen-Deck-Card-Game zu European Citizenship. Hochschultage 2017. 2017:1-16.
    
    
LibreCat
  
  
  
   | Download (ext.)
  
  
  
  
  
  