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.

5786 Publications


2018 | Conference Paper | LibreCat-ID: 26422
@inproceedings{Seng_Keil_Oevel_2018, place={Berlin, Bosten}, title={studiolo communis}, publisher={De Gruyter}, author={Seng, E.-M and Keil, Reinhard and Oevel, Gudrun}, editor={Seng, E.-M and Keil, Reinhard and Oevel, G}, year={2018}, pages={1–5} }
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 26423
@inproceedings{Keil_2018, place={Berlin, Bosten}, title={Unterst{\"u}tzung kontingenter Wissensarbeit. Ein Rahmenwerk f{\"u}r die Entwicklung digitaler Arbeitsumgebungen zur Unterst{\"u}tzung des Forschungsdiskurses in den Kulturwissenschaften}, publisher={De Gruyter}, author={Keil, Reinhard}, editor={Seng, E.-M and Keil, Reinhard and Oevel, G}, year={2018} }
LibreCat
 

2018 | Book | LibreCat-ID: 26424
@book{Seng_Keil_Oevel_2018, place={Berlin, Bosten}, title={STUDIOLO. Kooperative Forschungsumgebungen in den eHumanities}, publisher={De Gruyter}, author={Seng, E.-M and Keil, Reinhard and Oevel, Gudrun}, year={2018} }
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 26425
@inproceedings{Selke_2018, place={Paderborn}, title={Data science in schools from the perspective of contextual informatics}, publisher={Universit{\"a}tsbibliothek Paderborn}, author={Selke, Harald}, editor={Biehler, R and Budde, L and Frischemeier, D and Heinemann, B and Podworny, S and Schulte, Carsten and Wassong, T}, year={2018}, pages={107–109} }
LibreCat
 

2018 | Journal Article | LibreCat-ID: 2685
@article{Blömer_Kohn_2018, title={Voronoi Cells of Lattices with Respect to Arbitrary Norms}, volume={2}, DOI={10.1137/17M1132045}, number={2}, journal={SIAM Journal on Applied Algebra and Geometry.}, author={Blömer, Johannes and Kohn, Kathlén}, year={2018}, pages={314–338} }
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 3217
@inproceedings{Demirel_Ramaswamy_Quevedo_Karl_2018, title={DeepCAS: A Deep Reinforcement Learning Algorithm for Control-Aware Scheduling}, DOI={10.1109/LCSYS.2018.2847721}, author={Demirel, Burak and Ramaswamy, Arunselvan and Quevedo, Daniel and Karl, Holger}, year={2018} }
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 3265 | OA
@inproceedings{Bemmann_Blömer_Bobolz_Bröcher_Diemert_Eidens_Eilers_Haltermann_Juhnke_Otour_et al., place={New York, NY, USA}, title={Fully-Featured Anonymous Credentials with Reputation System}, DOI={10.1145/3230833.3234517}, booktitle={Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18}, publisher={ACM}, author={Bemmann, Kai and Blömer, Johannes and Bobolz, Jan and Bröcher, Henrik and Diemert, Denis Pascal and Eidens, Fabian and Eilers, Lukas and Haltermann, Jan Frederik and Juhnke, Jakob and Otour, Burhan and et al.} }
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Bachelorsthesis | LibreCat-ID: 3320
@book{Rautenberg_2018, title={Korrektheitsbeweise für Muster von Servicekompositionen}, publisher={Universität Paderborn}, author={Rautenberg, Kai}, year={2018} }
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 3345 | OA
@inproceedings{Peuster_Küttner_Karl, place={Montreal}, title={ Let the state follow its flows: An SDN-based flow handover protocol to support state migration}, DOI={10.1109/NETSOFT.2018.8460007}, booktitle={4th IEEE International Conference on Network Softwarization (NetSoft 2018)}, author={Peuster, Manuel and Küttner, Hannes and Karl, Holger} }
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 3346 | OA
@inproceedings{Peuster_Kampmeyer_Karl, place={Montreal}, title={Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains}, DOI={10.1109/NETSOFT.2018.8459905}, booktitle={4th IEEE International Conference on Network Softwarization (NetSoft 2018)}, author={Peuster, Manuel and Kampmeyer, Johannes and Karl, Holger} }
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 3347 | OA
@inproceedings{Peuster_Marchetti_Garcia de Blas_Karl, place={Ljubljana}, title={Emulation-based Smoke Testing of NFV Orchestrators in Large Multi-PoP Environments}, DOI={10.1109/EuCNC.2018.8442701}, booktitle={European Conference on Networks and Communications (EuCNC)}, author={Peuster, Manuel and Marchetti, Michael and Garcia de Blas, Gerado and Karl, Holger} }
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 3362
@inproceedings{Lösch_Wiens_Platzner_2018, place={Cham}, series={Lecture Notes in Computer Science}, title={Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes}, volume={10793}, DOI={10.1007/978-3-319-77610-1_6}, booktitle={Proceedings of the International Conference on Architecture of Computing Systems (ARCS)}, publisher={Springer International Publishing}, author={Lösch, Achim and Wiens, Alex and Platzner, Marco}, year={2018}, pages={73–84}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 3365
@book{Schnuer_2018, title={Static Scheduling Algorithms for Heterogeneous Compute Nodes}, publisher={Universität Paderborn}, author={Schnuer, Jan-Philip}, year={2018} }
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 3366
@book{Croce_2018, title={Evaluation of OpenCL-based Compilation for FPGAs}, publisher={Universität Paderborn}, author={Croce, Marcel}, year={2018} }
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 3373
@inproceedings{Hansmeier_Platzner_Andrews_2018, series={Lecture Notes in Computer Science}, title={An FPGA/HMC-Based Accelerator for Resolution Proof Checking}, volume={10824}, DOI={10.1007/978-3-319-78890-6_13}, booktitle={ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco and Andrews, David}, year={2018}, pages={153–165}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 3402
@article{Melnikov_Hüllermeier_2018, title={On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis}, DOI={10.1007/s10994-018-5733-1}, journal={Machine Learning}, author={Melnikov, Vitalik and Hüllermeier, Eyke}, year={2018} }
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 3414
@inproceedings{Börding_Haltermann_Jakobs_Wehrheim_2018, series={Lecture Notes in Computer Science}, title={JMCTest: Automatically Testing Inter-Method Contracts in Java}, volume={11146}, booktitle={Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)}, publisher={Springer}, author={Börding, Paul and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2018}, pages={39--55}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 3422
@inproceedings{Robinson_Scheideler_Setzer, title={Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary}, DOI={10.1145/3210377.3210399}, booktitle={Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Robinson, Peter and Scheideler, Christian and Setzer, Alexander} }
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 3510 | OA
@article{Mohr_Wever_Hüllermeier_2018, title={ML-Plan: Automated Machine Learning via Hierarchical Planning}, DOI={10.1007/s10994-018-5735-z}, journal={Machine Learning}, publisher={Springer}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2018}, pages={1495–1515} }
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Book Chapter | LibreCat-ID: 3536
@inbook{Schellhorn_Wedel_Travkin_König_Wehrheim_2018, place={Cham}, title={FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity}, DOI={10.1007/978-3-319-92970-5_7}, booktitle={Software Engineering and Formal Methods}, publisher={Springer International Publishing}, author={Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike}, year={2018}, pages={105–120} }
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed