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.

20957 Publications


2017 | Conference Paper | LibreCat-ID: 20558
@inproceedings{Krüger_Nadi_Reif_Ali_Mezini_Bodden_Göpfert_Günther_Weinert_Demmler_et al._2017, title={CogniCrypt: Supporting Developers in using Cryptography}, booktitle={International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track}, author={Krüger, Stefan and Nadi, Sarah and Reif, Michael and Ali, Karim and Mezini, Mira and Bodden, Eric and Göpfert, Florian and Günther, Felix and Weinert, Christian and Demmler, Daniel and et al.}, year={2017} }
LibreCat | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 20559
@inproceedings{Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, place={New York, NY, USA}, series={ISSTA 2017}, title={Just-in-time Static Analysis}, DOI={10.1145/3092703.3092705}, booktitle={Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2017}, pages={307–317}, collection={ISSTA 2017} }
LibreCat | DOI | Download (ext.)
 

2017 | Conference Abstract | LibreCat-ID: 20659
@article{An_DiTrani Lobacz_Lehmann_Baumeister_Swanik_2017, series={Med Sci Sports Exerx}, title={Altered brain activity during joint loading after anterior cruciate ligament reconstruction}, volume={49}, number={5S}, author={An, YW and DiTrani Lobacz, A and Lehmann, T and Baumeister, Jochen and Swanik, CB}, year={2017}, pages={360}, collection={Med Sci Sports Exerx} }
LibreCat
 

2017 | Conference Abstract | LibreCat-ID: 20660
@article{An_DiTrani Lobacz_Lehmann_Baumeister_Swanik_2017, series={J Athl Train}, title={Altered cortical activation patterns following anterior cruciate ligament reconstruction during joint loading}, volume={52}, number={6}, author={An, YW and DiTrani Lobacz, A and Lehmann, T and Baumeister, Jochen and Swanik, CB}, year={2017}, pages={136}, collection={J Athl Train} }
LibreCat
 

2017 | Conference Abstract | LibreCat-ID: 20661
@article{Anders_Lehmann_Müller_Molde_Gronvik_SkaeretMaroni_Vereijken_Baumeister_2017, series={Gait & Posture}, title={Balance exergames increase cortical activity in frontal areas of the brain}, volume={57}, number={1}, author={Anders, P and Lehmann, T and Müller, H and Molde, I and Gronvik, KB and SkaeretMaroni, N and Vereijken, B and Baumeister, Jochen}, year={2017}, pages={351}, collection={Gait & Posture} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 20715
@inproceedings{Nguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, title={Cheetah: Just-in-Time Taint Analysis for Android Apps}, booktitle={International Conference for Software Engineering (ICSE), Tool Demonstrations Track}, author={Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2017} }
LibreCat | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 20791
@inproceedings{Schmitz_Fockel_2017, title={Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien}, booktitle={ Tag des Systems Engineering 2017}, publisher={Gesellschaft f{\"u}r Systems Engineering e.V.}, author={Schmitz, Joachim and Fockel, Markus}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 20792
@inproceedings{Schivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017, place={Changsha}, series={Lecture Notes in Computer Science}, title={How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach}, DOI={10.1007/978-3-319-69483-2_19}, number={10606}, booktitle={Dependable Software Engineering, 3rd International Symposium (SETTA 2017)}, publisher={Springer}, author={Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle}, editor={Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji}, year={2017}, pages={319–336}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2017 | Report | LibreCat-ID: 20793
@book{Fockel_Holtmann_Koch_Schmelter_2017, place={Paderborn, Germany}, title={Model-based Requirement Pattern Catalog}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2017} }
LibreCat
 

2017 | Dissertation | LibreCat-ID: 20794
@book{Dziwok_2017, title={Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems}, publisher={Paderborn University}, author={Dziwok, Stefan}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 20795
@inproceedings{Schmelter_Greenyer_Holtmann_2017, place={Lisbon, Portugal}, title={Toward Learning Realizable Scenario-based, Formal Requirements Specifications}, DOI={10.1109/REW.2017.14}, booktitle={4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)}, publisher={IEEE}, author={Schmelter, David and Greenyer, Joel and Holtmann, Jörg}, year={2017} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 20796
@inproceedings{Wohlers_Dziwok_Bremer_Schmelter_Lorenz_2017, title={Improving the Product Control of Mechatronic Systems Using Key Performance Indicators}, booktitle={Proceedings of the 24th International Conference on Production Research (ICPR)}, publisher={DEStech Publications, Inc.}, author={Wohlers, Benedict and Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 20797
@inproceedings{Gerking_Schubert_Budde_2017, place={Marburg}, series={Lecture Notes in Computer Science}, title={Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities}, number={10374}, booktitle={Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)}, publisher={Springer}, author={Gerking, Christopher and Schubert, David and Budde, Ingo}, editor={Guerra, Esther and van den Brand, Mark}, year={2017}, pages={19–34}, collection={Lecture Notes in Computer Science} }
LibreCat | Download (ext.)
 

2017 | Preprint | LibreCat-ID: 20798
@article{Ghassemi_Meyer_Pohlmann_Priesterjahn_2017, title={Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme}, author={Ghassemi, Faezeh and Meyer, Matthias and Pohlmann, Uwe and Priesterjahn, Claudia}, year={2017} }
LibreCat
 

2017 | Report | LibreCat-ID: 20799
@book{Hüwe_Pohlmann_2017, place={Zukunftsmeile 1, 33102 Paderborn, Germany}, title={Formal Definition and Proofs for the MechatronicUML Allocation Specification Language}, author={Hüwe, Marcus and Pohlmann, Uwe}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 20801
@inproceedings{Koch_Holtmann_Lindemann_2017, title={Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities}, DOI={10.5220/0006137400530064}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}, author={Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo}, year={2017} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 20802
@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series={Lecture Notes in Informatics (LNI)}, title={Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)}, volume={P-267}, booktitle={Proceedings of the Software Engineering 2017}, publisher={Gesellschaft fuer Informatik}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, editor={Jürjens, Jan and Schneider, KurtEditors}, year={2017}, pages={109–110}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 20803
@inproceedings{Pohlmann_Hüwe_2017, title={Model-Driven Allocation Engineering – Abridged Version}, booktitle={GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings}, author={Pohlmann, Uwe and Hüwe, Marcus}, editor={Jürjens, Jan and Schneider, KurtEditors}, year={2017} }
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 20804
@inproceedings{Geismann_Pohlmann_Schmelter_2017, title={Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}, author={Geismann, Johannes and Pohlmann, Uwe and Schmelter, David}, year={2017} }
LibreCat
 

2017 | Dissertation | LibreCat-ID: 20805
@book{Becker_2017, title={Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction}, publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Becker, Matthias}, year={2017} }
LibreCat
 

2017 | Working Paper | LibreCat-ID: 20868
@book{Sievers_Klobucnik_Miersch_2017, title={Predicting Early Warning Signals of Financial Distress: Theory and Empirical Evidence}, DOI={10.2139/ssrn.2237757}, author={Sievers, Sönke and Klobucnik, Jan and Miersch, David}, year={2017} }
LibreCat | DOI | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 18
@article{Riebler_Lass_Mittendorf_Löcke_Plessl_2017, title={Efficient Branch and Bound on FPGAs Using Work Stealing and Instance-Specific Designs}, volume={10}, DOI={10.1145/3053687}, number={3}, journal={ACM Transactions on Reconfigurable Technology and Systems (TRETS)}, publisher={Association for Computing Machinery (ACM)}, author={Riebler, Heinrich and Lass, Michael and Mittendorf, Robert and Löcke, Thomas and Plessl, Christian}, year={2017}, pages={24:1-24:23} }
LibreCat | Files available | DOI
 

2017 | Book | LibreCat-ID: 18010
@book{Meister_Oevel_2017, place={Paderborn}, title={E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW}, author={Meister, Dorothee M. and Oevel, Gudrun}, year={2017} }
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 18026
@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität Paderborn}, author={Burkhardt, Michél }, year={2017} }
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 18027
@book{Banh_2017, title={An Asynchronous Adaption of a Churn-resistant Overlay Network}, publisher={Universität Paderborn}, author={Banh, Ngoc Chi}, year={2017} }
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 18028
@book{Schenk_2017, title={Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen}, publisher={Universität Paderborn}, author={Schenk, Andreas}, year={2017} }
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 18029
@book{Beckendorf_2017, title={Visualisierung zu Algorithmen verteilter Netzwerksysteme}, publisher={Universität Paderborn}, author={Beckendorf, Björn}, year={2017} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18044
@inbook{Meise_Meister_2017, place={Handorf}, title={Aufwachsen und lernen mit Medien}, booktitle={Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven. Kongress „Musikunterricht und Multimedia“ an der Niedersächsischen Landesmusikakademie Wolfenbüttel 20.-21. Mai 2016}, publisher={Lugert Verlag GmbH & Co. KG}, author={Meise, Bianca and Meister, Dorothee M.}, editor={Rheinländer, M. and Weber, B.Editors}, year={2017}, pages={9–26} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 18045
@article{Meise_Meister_2017, title={Digitale Transformationen. Zum Einfluss der Digitalisierung auf die musikwissenschaftliche Editionsarbeit}, volume={61 Jg., 6}, journal={medien + erziehung (merz)}, publisher={merz}, author={Meise, Bianca and Meister, Dorothee M.}, year={2017}, pages={42–51} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18046
@inbook{Meister_2017, place={München}, series={Schriften zur Medienpädagogik }, title={Medienarbeit mit Gelüchteten}, volume={53}, booktitle={Software takes command. Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie und Praxis}, publisher={kopaed}, author={Meister, Dorothee M.}, editor={Eder, S. and Mikat, C. and Tillmann, A.Editors}, year={2017}, pages={219–229}, collection={Schriften zur Medienpädagogik } }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 18047
@article{Knaus_Meister_Tulodziecki_2017, title={"Futurelab Medienpädagogik: Qualitätsentwicklung - Professionalisierung - Standards. Thesenpapier zum Forum Kommunikationskultur der GMK}, DOI={doi:10.21240/mpaed/00/2017.10.24.X}, journal={MedienPädagogik, (24. Oktober)}, author={Knaus, Thomas and Meister, Dorothee M. and Tulodziecki, Gerhard}, year={2017}, pages={1–23} }
LibreCat | DOI
 

2017 | Book Chapter | LibreCat-ID: 18048
@inbook{Meister_2017, series={Dossier 6}, title={Medienpädagogik: Herausforderungen der Digitalisierung}, booktitle={Kulturelle Bildung digital - Vermittlungsformen, ästhetische Praxis und Aus- und Weiterbildung, Dossier 6}, author={Meister, Dorothee M.}, year={2017}, collection={Dossier 6} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18049
@inbook{Kamin_Meister_2017, place={München}, title={Berufliche Bildung}, booktitle={Grundbegriffe Medienpädagogik}, publisher={kopaed}, author={Kamin, Anna-Maria and Meister, Dorothee M.}, editor={Schorb, B. and Hartung-Griemberg, Anja and Dallmann, ChristineEditors}, year={2017}, pages={37–41} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18050
@inbook{von Gross_Meister_Sander_2017, place={Oberhausen}, title={Medienpädagogik}, booktitle={Lexikon der Kunstpädagogik}, publisher={ATHENA-Verlag}, author={von Gross, F. and Meister, Dorothee M. and Sander, U.}, editor={Bering, K. and Niehoff, R. and Pauls, K.Editors}, year={2017}, pages={340–343} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18051
@inbook{Kamin_Meister_2017, place={Wiesbaden}, title={Digital unterstütztes Lernen in Pflegeberufen unter entgrenzten Bedingungen – Ein gestaltungs- und entwicklungsorientiertes Forschungsprojekt}, booktitle={Digital und vernetzt: Lernen heute. Gestaltung von Lernumgebungen mit digitalen Medien unter entgrenzten Bedingungen}, publisher={Springer VS}, author={Kamin, A.-M. and Meister, Dorothee M.}, editor={Mayrberger, K. and Fromme, J. and Grell, P. and Hug, T.Editors}, year={2017}, pages={213–229} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 1812
@article{Koutsopoulos_Scheideler_Strothmann_2017, title={Towards a universal approach for the finite departure problem in overlay networks}, DOI={10.1016/j.ic.2016.12.006}, journal={Inf. Comput.}, author={Koutsopoulos, Andreas and Scheideler, Christian and Strothmann, Thim Frederik}, year={2017}, pages={408--424} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 1813
@article{P. Fekete_W. Richa_Römer_Scheideler_2017, title={Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271}, DOI={10.1145/3106700.3106713}, number={2}, journal={SIGACT News}, author={P. Fekete, Sandor and W. Richa, Andrea and Römer, Kay and Scheideler, Christian}, year={2017}, pages={87--94} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 1814
@article{Derakhshandeh_Gmyr_W. Richa_Scheideler_Strothmann_2017, title={Universal coating for programmable matter}, DOI={10.1016/j.tcs.2016.02.039}, journal={Theor. Comput. Sci.}, author={Derakhshandeh, Zahra and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2017}, pages={56--68} }
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 1815
@inproceedings{J. Daymude_Gmyr_W. Richa_Scheideler_Strothmann_2017, title={Improved Leader Election for Self-organizing Programmable Matter}, DOI={10.1007/978-3-319-72751-6_10}, booktitle={Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers}, author={J. Daymude, Joshua and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2017}, pages={127--140} }
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 18164
@article{Tophinke_2017, title={Der Zeilenumbruch als lyrisches Zeichen bei Brecht}, volume={266}, journal={Praxis Deutsch }, author={Tophinke, Doris}, year={2017}, pages={45–50} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18165
@inbook{Tophinke_2017, place={Stuttgart}, title={Erzählen im Internet}, booktitle={Erzählen. Ein interdisziplinäres Handbuch}, publisher={Metzler}, author={Tophinke, Doris}, editor={Martinez, MatiasEditor}, year={2017} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18167
@inbook{Seemann_Merten_Geierhos_Tophinke_Hlüllermeier_2017, title={Annotation Challenges for Reconstructing the Structural Elaboration of Middle Low German}, booktitle={Proceedings of Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature}, author={Seemann, Nina and Merten, Marie-Luis and Geierhos, Michaela and Tophinke, Doris and Hlüllermeier, Eyke}, year={2017} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18170
@inbook{Tophinke_2017, place={Baltmannsweiler}, title={Minimalismus als Konzept: Schrift-Bild-Konstruktionen im Graffiti}, booktitle={Gestaltungsraum Deutschunterricht. Literatur - Kultur - Sprache}, publisher={Schneider}, author={Tophinke, Doris}, editor={Wrobel, u. a., DieterEditor}, year={2017}, pages={161–173} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18171
@inbook{Tophinke_2017, place={Seelze}, title={Inhaltswörter als Lerngegenstand}, booktitle={Handbuch Deutschunterricht}, publisher={Klett/Kallmeyer}, author={Tophinke, Doris}, editor={Baumann u. a., JürgenEditor}, year={2017}, pages={312–316} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18172
@inbook{Tophinke_2017, place={Seelze}, title={Funktionswörter als Lerngegenstand}, booktitle={Handbuch Deutschunterricht}, publisher={Klett/Kallmeyer}, author={Tophinke, Doris}, editor={Baumann u. a., JürgenEditor}, year={2017}, pages={317–321} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18174
@inbook{Tophinke_2017, place={Seelze}, title={Sprachvergleich II: Dialekte und Soziolekte}, booktitle={Handbuch Deutschunterricht}, publisher={Klett/Kallmeyer}, author={Tophinke, Doris}, editor={Baumann u. a., JürgenEditor}, year={2017}, pages={337–341} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18175
@inbook{Tophinke_2017, place={Seelze}, title={Sprachwandel}, booktitle={Handbuch Deutschunterricht}, publisher={Klett/Kallmeyer}, author={Tophinke, Doris}, editor={Baumann u. a., JürgenEditor}, year={2017}, pages={342–347} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18178
@inbook{Tophinke_2017, place={Seelze}, title={Medialer Wandel}, booktitle={Handbuch Deutschunterricht}, publisher={Klett/Kallmeyer}, author={Tophinke, Doris}, editor={Baumann u. a., JürgenEditor}, year={2017}, pages={347–350} }
LibreCat
 

2017 | Journal Article | LibreCat-ID: 18180
@article{Feilke_Tophinke_2017, title={Materialgestütztes Argumentieren (Basisartikel)}, volume={262}, journal={Praxis Deutsch }, author={Feilke, Helmuth and Tophinke, Doris}, year={2017}, pages={4–13} }
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 18181
@inbook{Tophinke_2017, place={Berlin}, title={Rechnungsbuch}, booktitle={Wörterbücher zur Sprach- und Kommunikationswissenschaft. Bd. 3: Historische Sprachwissenschaft}, publisher={de Gruyter}, author={Tophinke, Doris}, editor={Habermann, MechthildEditor}, year={2017} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed