[{"date_created":"2017-10-17T12:42:13Z","type":"bachelorsthesis","department":[{"_id":"64"}],"supervisor":[{"id":"23","full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes"}],"citation":{"bibtex":"@book{Bemmann_2014, title={Group Signature Schemes with Strong Exculpability}, publisher={Universität Paderborn}, author={Bemmann, Pascal}, year={2014} }","ama":"Bemmann P. <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn; 2014.","mla":"Bemmann, Pascal. <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn, 2014.","short":"P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.","chicago":"Bemmann, Pascal. <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn, 2014.","ieee":"P. Bemmann, <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn, 2014.","apa":"Bemmann, P. (2014). <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"13","name":"SFB 901 - Subprojekt C1"},{"name":"SFB 901 - Project Area C","_id":"4"}],"publisher":"Universität Paderborn","_id":"416","user_id":"25078","status":"public","title":"Group Signature Schemes with Strong Exculpability","year":"2014","author":[{"id":"32571","full_name":"Bemmann, Pascal","first_name":"Pascal","last_name":"Bemmann"}],"date_updated":"2022-01-06T07:00:26Z"},{"citation":{"chicago":"Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.” In <i>Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)</i>, 1601–10, 2014. <a href=\"https://doi.org/10.1016/j.cl.2015.05.003\">https://doi.org/10.1016/j.cl.2015.05.003</a>.","short":"G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.","apa":"Besova, G., Steenke, D., &#38; Wehrheim, H. (2014). Grammar-based model transformations. In <i>Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)</i> (pp. 1601–1610). <a href=\"https://doi.org/10.1016/j.cl.2015.05.003\">https://doi.org/10.1016/j.cl.2015.05.003</a>","ieee":"G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,” in <i>Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)</i>, 2014, pp. 1601–1610.","ama":"Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: <i>Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)</i>. ; 2014:1601-1610. doi:<a href=\"https://doi.org/10.1016/j.cl.2015.05.003\">10.1016/j.cl.2015.05.003</a>","bibtex":"@inproceedings{Besova_Steenke_Wehrheim_2014, title={Grammar-based model transformations}, DOI={<a href=\"https://doi.org/10.1016/j.cl.2015.05.003\">10.1016/j.cl.2015.05.003</a>}, booktitle={Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)}, author={Besova, Galina and Steenke, Dominik and Wehrheim, Heike}, year={2014}, pages={1601–1610} }","mla":"Besova, Galina, et al. “Grammar-Based Model Transformations.” <i>Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)</i>, 2014, pp. 1601–10, doi:<a href=\"https://doi.org/10.1016/j.cl.2015.05.003\">10.1016/j.cl.2015.05.003</a>."},"file_date_updated":"2018-03-16T11:33:33Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"417","page":"1601-1610","ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1","date_created":"2017-10-17T12:42:13Z","file":[{"date_created":"2018-03-16T11:33:33Z","creator":"florida","file_id":"1360","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-16T11:33:33Z","file_name":"417-main.pdf","file_size":643382,"access_level":"closed"}],"department":[{"_id":"77"}],"type":"conference","publication":"Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)","abstract":[{"lang":"eng","text":"Model transformation is a key concept in modeldrivensoftware engineering. The definition of model transformationsis usually based on meta-models describing the abstractsyntax of languages. While meta-models are thereby able to abstractfrom superfluous details of concrete syntax, they often loosestructural information inherent in languages, like information onmodel elements always occurring together in particular shapes.As a consequence, model transformations cannot naturally re-uselanguage structures, thus leading to unnecessary complexity intheir development as well as analysis.In this paper, we propose a new approach to model transformationdevelopment which allows to simplify and improve thequality of the developed transformations via the exploitation ofthe languages’ structures. The approach is based on context-freegrammars and transformations defined by pairing productions ofsource and target grammars. We show that such transformationsexhibit three important characteristics: they are sound, completeand deterministic."}],"language":[{"iso":"eng"}],"doi":"10.1016/j.cl.2015.05.003","author":[{"full_name":"Besova, Galina","last_name":"Besova","first_name":"Galina"},{"last_name":"Steenke","first_name":"Dominik","full_name":"Steenke, Dominik"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"year":"2014","title":"Grammar-based model transformations","date_updated":"2022-01-06T07:00:28Z"},{"has_accepted_license":"1","date_updated":"2022-01-06T07:00:30Z","author":[{"first_name":"Felix","last_name":"Pauck","full_name":"Pauck, Felix","id":"22398"}],"status":"public","title":"Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren","year":"2014","ddc":["000"],"user_id":"22398","publisher":"Universität Paderborn","_id":"418","language":[{"iso":"ger"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"supervisor":[{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"citation":{"ama":"Pauck F. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn; 2014.","bibtex":"@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }","mla":"Pauck, Felix. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014.","short":"F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.","chicago":"Pauck, Felix. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014.","apa":"Pauck, F. (2014). <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn.","ieee":"F. Pauck, <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014."},"file_date_updated":"2019-08-07T09:05:38Z","oa":"1","department":[{"_id":"77"}],"type":"bachelorsthesis","date_created":"2017-10-17T12:42:13Z","file":[{"content_type":"application/pdf","file_id":"12906","title":"Bachelorarbeit","file_size":3191756,"access_level":"open_access","file_name":"fpauck_2014.pdf","date_updated":"2019-08-07T09:05:38Z","relation":"main_file","date_created":"2019-08-07T09:00:20Z","creator":"fpauck"}]},{"user_id":"25078","publisher":"Universität Paderborn","_id":"421","date_updated":"2022-01-06T07:00:36Z","status":"public","title":"Fujisaki-Okamoto Transformation","year":"2014","author":[{"first_name":"Jan","last_name":"Lippert","full_name":"Lippert, Jan"}],"type":"bachelorsthesis","department":[{"_id":"64"}],"date_created":"2017-10-17T12:42:14Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"Securing the Financial Cloud","_id":"43"}],"supervisor":[{"first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes","id":"23"}],"citation":{"ieee":"J. Lippert, <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn, 2014.","apa":"Lippert, J. (2014). <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn.","short":"J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.","chicago":"Lippert, Jan. <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn, 2014.","mla":"Lippert, Jan. <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn, 2014.","bibtex":"@book{Lippert_2014, title={Fujisaki-Okamoto Transformation}, publisher={Universität Paderborn}, author={Lippert, Jan}, year={2014} }","ama":"Lippert J. <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn; 2014."}},{"title":"Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network","year":"2014","status":"public","author":[{"first_name":"Veit","last_name":"Dornseifer","full_name":"Dornseifer, Veit"}],"date_updated":"2022-01-06T07:00:43Z","publisher":"Universität Paderborn","_id":"426","user_id":"15504","citation":{"ieee":"V. Dornseifer, <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn, 2014.","apa":"Dornseifer, V. (2014). <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn.","short":"V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.","chicago":"Dornseifer, Veit. <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn, 2014.","mla":"Dornseifer, Veit. <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn, 2014.","bibtex":"@book{Dornseifer_2014, title={Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network}, publisher={Universität Paderborn}, author={Dornseifer, Veit}, year={2014} }","ama":"Dornseifer V. <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn; 2014."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A2","_id":"6"},{"_id":"2","name":"SFB 901 - Project Area A"}],"date_created":"2017-10-17T12:42:15Z","type":"mastersthesis","department":[{"_id":"75"}]},{"project":[{"name":"SFB 901","_id":"1"},{"_id":"10","name":"SFB 901 - Subprojekt B2"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-16T11:32:02Z","citation":{"short":"F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.","chicago":"Mohr, Felix. “Estimating Functional Reusability of Services.” In <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)</i>, 411–18. LNCS, 2014.","ieee":"F. Mohr, “Estimating Functional Reusability of Services,” in <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)</i>, 2014, pp. 411–418.","apa":"Mohr, F. (2014). Estimating Functional Reusability of Services. In <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)</i> (pp. 411–418).","bibtex":"@inproceedings{Mohr_2014, series={LNCS}, title={Estimating Functional Reusability of Services}, booktitle={Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)}, author={Mohr, Felix}, year={2014}, pages={411–418}, collection={LNCS} }","ama":"Mohr F. Estimating Functional Reusability of Services. In: <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)</i>. LNCS. ; 2014:411-418.","mla":"Mohr, Felix. “Estimating Functional Reusability of Services.” <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)</i>, 2014, pp. 411–18."},"has_accepted_license":"1","status":"public","ddc":["040"],"user_id":"477","page":"411-418","_id":"428","abstract":[{"text":"Services are self-contained software components that can be used platform independent and that aim at maximizing software reuse. A basic concern in service oriented architectures is to measure the reusability of services. One of the most important qualities is the functional reusability, which indicates how relevant the task is that a service solves. Current metrics for functional reusability of software, however, either require source code analysis or have very little explanatory power. This paper gives a formally described vision statement for the estimation of functional reusability of services and sketches an exemplary reusability metric that is based on the service descriptions.","lang":"eng"}],"publication":"Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)","type":"conference","department":[{"_id":"355"}],"file":[{"file_id":"1357","content_type":"application/pdf","success":1,"file_name":"428-ICSOC14.pdf","file_size":200063,"access_level":"closed","relation":"main_file","date_updated":"2018-03-16T11:32:02Z","date_created":"2018-03-16T11:32:02Z","creator":"florida"}],"date_created":"2017-10-17T12:42:15Z","date_updated":"2022-01-06T07:00:47Z","title":"Estimating Functional Reusability of Services","year":"2014","author":[{"full_name":"Mohr, Felix","last_name":"Mohr","first_name":"Felix"}],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007%2F978-3-662-45391-9_31"}],"language":[{"iso":"eng"}],"series_title":"LNCS"},{"author":[{"last_name":"Kling","first_name":"Peter","full_name":"Kling, Peter"}],"status":"public","title":"Energy-efficient Scheduling Algorithms","year":"2014","has_accepted_license":"1","date_updated":"2022-01-06T07:00:52Z","publisher":"Universität Paderborn","_id":"431","user_id":"477","ddc":["040"],"citation":{"bibtex":"@book{Kling_2014, title={Energy-efficient Scheduling Algorithms}, publisher={Universität Paderborn}, author={Kling, Peter}, year={2014} }","ama":"Kling P. <i>Energy-Efficient Scheduling Algorithms</i>. Universität Paderborn; 2014.","mla":"Kling, Peter. <i>Energy-Efficient Scheduling Algorithms</i>. Universität Paderborn, 2014.","short":"P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.","chicago":"Kling, Peter. <i>Energy-Efficient Scheduling Algorithms</i>. Universität Paderborn, 2014.","ieee":"P. Kling, <i>Energy-efficient Scheduling Algorithms</i>. Universität Paderborn, 2014.","apa":"Kling, P. (2014). <i>Energy-efficient Scheduling Algorithms</i>. Universität Paderborn."},"supervisor":[{"full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide","id":"15523"}],"file_date_updated":"2018-03-16T11:31:29Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"14","name":"SFB 901 - Subprojekt C2"},{"name":"SFB 901 - Project Area C","_id":"4"}],"abstract":[{"lang":"eng","text":"In meiner Dissertation besch{\\\"a}ftige ich mich mit dem Entwurf und der Analyse energieeffizienter Schedulingalgorithmen, insbesondere f{\\\"u}r sogenannte Speed-Scaling Modelle. Diese stellen das theoretische Pendant von Techniken wie AMDs PowerNOW! und Intels SpeedStep dar, welche es erlauben die Geschwindigkeit von Prozessoren zur Laufzeit an die derzeitigen Bedingungen anzupassen. Theoretische Untersuchungen solcher Modelle sind auf eine Arbeit von Yao, Demers und Shenker (FOCS'95) zur{\\\"u}ckzuf{\\\"u}hren. Hier kombinieren die Autoren klassisches Deadline-Scheduling mit einem Prozessor der Speed-Scaling beherrscht. Es gilt Jobs verschiedener Gr{\\\"o}ße fristgerecht abzuarbeiten und die dabei verwendete Energie zu minimieren. Der Energieverbrauch des Prozessors wird durch eine konvexe Funktion $\\POW\\colon\\R_{\\geq0}\\to\\R_{\\geq0}$ modelliert, welche die Geschwindigkeit auf den Energieverbrauch abbildet.Meine Dissertation betrachtet verschiedene Varianten des urspr{\\\"u}nglichen Speed-Scaling Modells. Forschungsrelevante Ergebnisse sind in den Kapiteln 3 bis 6 zu finden und erstrecken sich {\\\"u}ber die im Folgenden beschriebenen Aspekte:- Kapitel 3 und 4 betrachten verschiedene \\emph{Price-Collecting} Varianten des Originalproblems. Hier d{\\\"u}rfen einzelne Deadlines verfehlt werden, sofern eine jobabh{\\\"a}ngige Strafe gezahlt wird. Ich entwerfe insbesondere Online-Algorithmen mit einer beweisbar guten Competitiveness. Dabei liefern meine Ergebnisse substantielle Verbesserungen bestehender Arbeiten und erweitern diese unter Anderem auf Szenarien mit mehreren Prozessoren.- In Kapitel 5 wird statt des klassischen Deadline-Schedulings eine Linearkombination der durchschnittlichen Antwortzeit und des Energieverbrauchs betrachtet. Die Frage, ob dieses Problem NP-schwer ist, stellt eine der zentralen Forschungsfragen in diesem Gebiet dar. F{\\\"u}r eine relaxierte Form dieser Frage entwerfe ich einen effizienter Algorithmus und beweise seine Optimalit{\\\"a}t.- Das letzte Kapitel betrachtet ein Modell, welches – auf den ersten Blick – nicht direkt zur Speed-Scaling Literatur z{\\\"a}hlt. Hier geht es stattdessen um ein allgemeines Resource-Constrained Scheduling, in dem sich die Prozessoren zusammen eine gemeinsame, beliebig aufteilbare Ressource teilen. Ich untersuche die Komplexit{\\\"a}t des Problems und entwerfe verschiedene Approximationsalgorithmen."}],"date_created":"2017-10-17T12:42:15Z","file":[{"date_created":"2018-03-16T11:31:29Z","creator":"florida","file_id":"1356","content_type":"application/pdf","success":1,"file_name":"431-Peter_Kling_PhDThesis_01.pdf","access_level":"closed","file_size":792106,"relation":"main_file","date_updated":"2018-03-16T11:31:29Z"}],"department":[{"_id":"63"}],"type":"dissertation"},{"user_id":"15504","_id":"432","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:00:54Z","author":[{"first_name":"Nico","last_name":"Bredenbals","full_name":"Bredenbals, Nico"}],"status":"public","title":"Energy-Efficient Queuing with Delayed Deactivation","year":"2014","department":[{"_id":"75"}],"type":"mastersthesis","date_created":"2017-10-17T12:42:16Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"6","name":"SFB 901 - Subprojekt A2"},{"name":"SFB 901 - Project Area A","_id":"2"}],"citation":{"ieee":"N. Bredenbals, <i>Energy-Efficient Queuing with Delayed Deactivation</i>. Universität Paderborn, 2014.","apa":"Bredenbals, N. (2014). <i>Energy-Efficient Queuing with Delayed Deactivation</i>. Universität Paderborn.","chicago":"Bredenbals, Nico. <i>Energy-Efficient Queuing with Delayed Deactivation</i>. Universität Paderborn, 2014.","short":"N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.","mla":"Bredenbals, Nico. <i>Energy-Efficient Queuing with Delayed Deactivation</i>. Universität Paderborn, 2014.","bibtex":"@book{Bredenbals_2014, title={Energy-Efficient Queuing with Delayed Deactivation}, publisher={Universität Paderborn}, author={Bredenbals, Nico}, year={2014} }","ama":"Bredenbals N. <i>Energy-Efficient Queuing with Delayed Deactivation</i>. Universität Paderborn; 2014."}},{"language":[{"iso":"eng"}],"doi":"10.1109/ReConFig.2014.7032514","title":"Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA","year":"2014","author":[{"full_name":"Wiersema, Tobias","first_name":"Tobias","last_name":"Wiersema","id":"3118"},{"first_name":"Arne","last_name":"Bockhorn","full_name":"Bockhorn, Arne"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"date_updated":"2022-01-06T07:00:56Z","file":[{"success":1,"content_type":"application/pdf","file_id":"1355","date_updated":"2018-03-16T11:30:58Z","relation":"main_file","file_size":369333,"access_level":"closed","file_name":"433-wiersema14_reconfig_IEEE_approved.pdf","date_created":"2018-03-16T11:30:58Z","creator":"florida"}],"date_created":"2017-10-17T12:42:16Z","type":"conference","department":[{"_id":"78"}],"publication":"Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)","abstract":[{"text":"Virtual FPGAs are overlay architectures realized on top of physical FPGAs. They are proposed to enhance or abstract away from the physical FPGA for experimenting with novel architectures and design tool flows. In this paper, we present an embedding of a ZUMA-based virtual FPGA fabric into a complete configurable system-on-chip. Such an embedding is required to fully harness the potential of virtual FPGAs, in particular to give the virtual circuits access to main memory and operating system services, and to enable a concurrent operation of virtualized and non-virtualized circuitry. We discuss our extension to ZUMA and its embedding into the ReconOS operating system for hardware/software systems. Furthermore, we present an open source tool flow to synthesize configurations for the virtual FPGA.","lang":"eng"}],"page":"1-6 ","_id":"433","user_id":"477","ddc":["040"],"status":"public","has_accepted_license":"1","file_date_updated":"2018-03-16T11:30:58Z","citation":{"short":"T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.","chicago":"Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.” In <i>Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>, 1–6, 2014. <a href=\"https://doi.org/10.1109/ReConFig.2014.7032514\">https://doi.org/10.1109/ReConFig.2014.7032514</a>.","ieee":"T. Wiersema, A. Bockhorn, and M. Platzner, “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA,” in <i>Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>, 2014, pp. 1–6.","apa":"Wiersema, T., Bockhorn, A., &#38; Platzner, M. (2014). Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In <i>Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)</i> (pp. 1–6). <a href=\"https://doi.org/10.1109/ReConFig.2014.7032514\">https://doi.org/10.1109/ReConFig.2014.7032514</a>","bibtex":"@inproceedings{Wiersema_Bockhorn_Platzner_2014, title={Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA}, DOI={<a href=\"https://doi.org/10.1109/ReConFig.2014.7032514\">10.1109/ReConFig.2014.7032514</a>}, booktitle={Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}, year={2014}, pages={1–6} }","ama":"Wiersema T, Bockhorn A, Platzner M. Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In: <i>Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>. ; 2014:1-6. doi:<a href=\"https://doi.org/10.1109/ReConFig.2014.7032514\">10.1109/ReConFig.2014.7032514</a>","mla":"Wiersema, Tobias, et al. “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS Meets ZUMA.” <i>Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>, 2014, pp. 1–6, doi:<a href=\"https://doi.org/10.1109/ReConFig.2014.7032514\">10.1109/ReConFig.2014.7032514</a>."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}]},{"date_updated":"2022-01-06T07:00:58Z","year":"2014","title":"Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules","author":[{"first_name":"Antonios","last_name":"Antoniadis","full_name":"Antoniadis, Antonios"},{"full_name":"Barcelo, Neal","last_name":"Barcelo","first_name":"Neal"},{"full_name":"Consuegra, Mario","first_name":"Mario","last_name":"Consuegra"},{"last_name":"Kling","first_name":"Peer","full_name":"Kling, Peer"},{"full_name":"Nugent, Michael","first_name":"Michael","last_name":"Nugent"},{"full_name":"Pruhs, Kirk","first_name":"Kirk","last_name":"Pruhs"},{"full_name":"Scquizzato, Michele","last_name":"Scquizzato","first_name":"Michele"}],"doi":"10.4230/LIPIcs.STACS.2014.63","series_title":"LIPIcs","language":[{"iso":"eng"}],"abstract":[{"text":"We give a polynomial time algorithm to compute an optimal energy and fractional weighted flow trade-off schedule for a speed-scalable processor with discrete speeds.Our algorithm uses a geometric approach that is based on structural properties obtained from a primal-dual formulation of the problem.","lang":"eng"}],"publication":"Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)","type":"conference","department":[{"_id":"63"}],"file":[{"file_id":"1354","content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-16T11:30:23Z","file_name":"435-Kling_C2_STACS2014.pdf","file_size":525851,"access_level":"closed","date_created":"2018-03-16T11:30:23Z","creator":"florida"}],"date_created":"2017-10-17T12:42:16Z","has_accepted_license":"1","status":"public","ddc":["040"],"user_id":"477","page":"63--74","_id":"435","project":[{"name":"SFB 901","_id":"1"},{"_id":"16","name":"SFB 901 - Subprojekt C4"},{"name":"SFB 901 - Subproject C2","_id":"14"},{"name":"SFB 901 - Project Area C","_id":"4"}],"file_date_updated":"2018-03-16T11:30:23Z","citation":{"short":"A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs, M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.","chicago":"Antoniadis, Antonios, Neal Barcelo, Mario Consuegra, Peer Kling, Michael Nugent, Kirk Pruhs, and Michele Scquizzato. “Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules.” In <i>Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)</i>, 63--74. LIPIcs, 2014. <a href=\"https://doi.org/10.4230/LIPIcs.STACS.2014.63\">https://doi.org/10.4230/LIPIcs.STACS.2014.63</a>.","apa":"Antoniadis, A., Barcelo, N., Consuegra, M., Kling, P., Nugent, M., Pruhs, K., &#38; Scquizzato, M. (2014). Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules. In <i>Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)</i> (pp. 63--74). <a href=\"https://doi.org/10.4230/LIPIcs.STACS.2014.63\">https://doi.org/10.4230/LIPIcs.STACS.2014.63</a>","ieee":"A. Antoniadis <i>et al.</i>, “Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules,” in <i>Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)</i>, 2014, pp. 63--74.","ama":"Antoniadis A, Barcelo N, Consuegra M, et al. Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules. In: <i>Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)</i>. LIPIcs. ; 2014:63--74. doi:<a href=\"https://doi.org/10.4230/LIPIcs.STACS.2014.63\">10.4230/LIPIcs.STACS.2014.63</a>","bibtex":"@inproceedings{Antoniadis_Barcelo_Consuegra_Kling_Nugent_Pruhs_Scquizzato_2014, series={LIPIcs}, title={Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.STACS.2014.63\">10.4230/LIPIcs.STACS.2014.63</a>}, booktitle={Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)}, author={Antoniadis, Antonios and Barcelo, Neal and Consuegra, Mario and Kling, Peer and Nugent, Michael and Pruhs, Kirk and Scquizzato, Michele}, year={2014}, pages={63--74}, collection={LIPIcs} }","mla":"Antoniadis, Antonios, et al. “Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules.” <i>Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)</i>, 2014, pp. 63--74, doi:<a href=\"https://doi.org/10.4230/LIPIcs.STACS.2014.63\">10.4230/LIPIcs.STACS.2014.63</a>."}},{"status":"public","has_accepted_license":"1","_id":"5189","publisher":"ACM Press","user_id":"477","ddc":["000"],"file_date_updated":"2018-11-02T13:59:33Z","citation":{"ieee":"S. Arzt <i>et al.</i>, “FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps,” in <i>Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14</i>, 2014.","apa":"Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel, P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In <i>Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14</i>. ACM Press. <a href=\"https://doi.org/10.1145/2594291.2594299\">https://doi.org/10.1145/2594291.2594299</a>","short":"S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.","chicago":"Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis for Android Apps.” In <i>Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14</i>. ACM Press, 2014. <a href=\"https://doi.org/10.1145/2594291.2594299\">https://doi.org/10.1145/2594291.2594299</a>.","mla":"Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis for Android Apps.” <i>Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14</i>, ACM Press, 2014, doi:<a href=\"https://doi.org/10.1145/2594291.2594299\">10.1145/2594291.2594299</a>.","bibtex":"@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014, title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps}, DOI={<a href=\"https://doi.org/10.1145/2594291.2594299\">10.1145/2594291.2594299</a>}, booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick}, year={2014} }","ama":"Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: <i>Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14</i>. ACM Press; 2014. doi:<a href=\"https://doi.org/10.1145/2594291.2594299\">10.1145/2594291.2594299</a>"},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"year":"2014","title":"FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps","publication_identifier":{"isbn":["9781450327848"]},"author":[{"last_name":"Arzt","first_name":"Steven","full_name":"Arzt, Steven"},{"first_name":"Siegfried","last_name":"Rasthofer","full_name":"Rasthofer, Siegfried"},{"full_name":"Fritz, Christian","last_name":"Fritz","first_name":"Christian"},{"id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric"},{"full_name":"Bartel, Alexandre","last_name":"Bartel","first_name":"Alexandre"},{"last_name":"Klein","first_name":"Jacques","full_name":"Klein, Jacques"},{"full_name":"Le Traon, Yves","last_name":"Le Traon","first_name":"Yves"},{"last_name":"Octeau","first_name":"Damien","full_name":"Octeau, Damien"},{"first_name":"Patrick","last_name":"McDaniel","full_name":"McDaniel, Patrick"}],"publication_status":"published","date_updated":"2022-01-06T07:01:42Z","main_file_link":[{"url":"http://www.bodden.de/pubs/far+14flowdroid.pdf"}],"language":[{"iso":"eng"}],"doi":"10.1145/2594291.2594299","publication":"Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14","extern":"1","file":[{"content_type":"application/pdf","success":1,"file_id":"5258","date_updated":"2018-11-02T13:59:33Z","relation":"main_file","file_size":406920,"access_level":"closed","file_name":"p259-arzt.pdf","date_created":"2018-11-02T13:59:33Z","creator":"ups"}],"date_created":"2018-10-31T10:55:28Z","type":"conference","department":[{"_id":"76"}]},{"page":"40-49","_id":"5190","publisher":"IEEE","ddc":["004"],"user_id":"477","status":"public","has_accepted_license":"1","file_date_updated":"2018-11-02T13:21:13Z","citation":{"ieee":"S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android,” in <i>International Conference on Availability, Reliability and Security (ARES 2014)</i>, 2014, pp. 40–49.","apa":"Arzt, S., Rasthofer, S., Lovat, E., &#38; Bodden, E. (2014). DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In <i>International Conference on Availability, Reliability and Security (ARES 2014)</i> (pp. 40–49). IEEE.","mla":"Arzt, Steven, et al. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” <i>International Conference on Availability, Reliability and Security (ARES 2014)</i>, IEEE, 2014, pp. 40–49.","bibtex":"@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE}, author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric}, year={2014}, pages={40–49} }","ama":"Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In: <i>International Conference on Availability, Reliability and Security (ARES 2014)</i>. IEEE; 2014:40-49.","short":"S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.","chicago":"Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In <i>International Conference on Availability, Reliability and Security (ARES 2014)</i>, 40–49. IEEE, 2014."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"main_file_link":[{"url":"http://www.bodden.de/pubs/ralb14droidforce.pdf"}],"language":[{"iso":"eng"}],"year":"2014","title":"DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android","author":[{"last_name":"Arzt","first_name":"Steven","full_name":"Arzt, Steven"},{"first_name":"Siegfried","last_name":"Rasthofer","full_name":"Rasthofer, Siegfried"},{"first_name":"Enrico","last_name":"Lovat","full_name":"Lovat, Enrico"},{"id":"59256","last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric"}],"date_updated":"2022-01-06T07:01:43Z","file":[{"date_updated":"2018-11-02T13:21:13Z","relation":"main_file","access_level":"closed","file_size":661565,"file_name":"ralb14droidforce.pdf","content_type":"application/pdf","file_id":"5247","creator":"ups","date_created":"2018-11-02T13:21:13Z"}],"date_created":"2018-10-31T11:04:43Z","type":"conference","department":[{"_id":"76"}],"publication":"International Conference on Availability, Reliability and Security (ARES 2014)","extern":"1"},{"date_updated":"2022-01-06T07:03:17Z","author":[{"full_name":"van Rooijen, Lorijn","last_name":"van Rooijen","first_name":"Lorijn","id":"58843"}],"title":"A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)","year":"2014","status":"public","user_id":"58843","_id":"6727","language":[{"iso":"eng"}],"publisher":"University of Bordeaux, France","extern":"1","citation":{"short":"L. van Rooijen, A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers), University of Bordeaux, France, 2014.","chicago":"Rooijen, Lorijn van. <i>A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers)</i>. University of Bordeaux, France, 2014.","ieee":"L. van Rooijen, <i>A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)</i>. University of Bordeaux, France, 2014.","apa":"van Rooijen, L. (2014). <i>A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)</i>. University of Bordeaux, France.","bibtex":"@book{van Rooijen_2014, title={A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)}, publisher={University of Bordeaux, France}, author={van Rooijen, Lorijn}, year={2014} }","ama":"van Rooijen L. <i>A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers)</i>. University of Bordeaux, France; 2014.","mla":"van Rooijen, Lorijn. <i>A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers)</i>. University of Bordeaux, France, 2014."},"department":[{"_id":"66"}],"type":"dissertation","date_created":"2019-01-15T10:05:42Z"},{"citation":{"ieee":"T. Place, L. van Rooijen, and M. Zeitoun, “On Separation by Locally Testable and Locally Threshold Testable Languages,” <i>Logical Methods in Computer Science</i>, vol. 10, no. 3, 2014.","apa":"Place, T., van Rooijen, L., &#38; Zeitoun, M. (2014). On Separation by Locally Testable and Locally Threshold Testable Languages. <i>Logical Methods in Computer Science</i>, <i>10</i>(3). <a href=\"https://doi.org/10.2168/lmcs-10(3:24)2014\">https://doi.org/10.2168/lmcs-10(3:24)2014</a>","chicago":"Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by Locally Testable and Locally Threshold Testable Languages.” <i>Logical Methods in Computer Science</i> 10, no. 3 (2014). <a href=\"https://doi.org/10.2168/lmcs-10(3:24)2014\">https://doi.org/10.2168/lmcs-10(3:24)2014</a>.","short":"T. Place, L. van Rooijen, M. Zeitoun, Logical Methods in Computer Science 10 (2014).","mla":"Place, Thomas, et al. “On Separation by Locally Testable and Locally Threshold Testable Languages.” <i>Logical Methods in Computer Science</i>, vol. 10, no. 3, Logical Methods in Computer Science e.V., 2014, doi:<a href=\"https://doi.org/10.2168/lmcs-10(3:24)2014\">10.2168/lmcs-10(3:24)2014</a>.","bibtex":"@article{Place_van Rooijen_Zeitoun_2014, title={On Separation by Locally Testable and Locally Threshold Testable Languages}, volume={10}, DOI={<a href=\"https://doi.org/10.2168/lmcs-10(3:24)2014\">10.2168/lmcs-10(3:24)2014</a>}, number={3}, journal={Logical Methods in Computer Science}, publisher={Logical Methods in Computer Science e.V.}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2014} }","ama":"Place T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally Threshold Testable Languages. <i>Logical Methods in Computer Science</i>. 2014;10(3). doi:<a href=\"https://doi.org/10.2168/lmcs-10(3:24)2014\">10.2168/lmcs-10(3:24)2014</a>"},"status":"public","user_id":"58843","volume":10,"_id":"6728","publisher":"Logical Methods in Computer Science e.V.","extern":"1","publication":"Logical Methods in Computer Science","issue":"3","type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-15T10:07:47Z","publication_status":"published","date_updated":"2022-01-06T07:03:17Z","intvolume":"        10","year":"2014","title":"On Separation by Locally Testable and Locally Threshold Testable Languages","author":[{"first_name":"Thomas","last_name":"Place","full_name":"Place, Thomas"},{"full_name":"van Rooijen, Lorijn","first_name":"Lorijn","last_name":"van Rooijen","id":"58843"},{"full_name":"Zeitoun, Marc","first_name":"Marc","last_name":"Zeitoun"}],"publication_identifier":{"issn":["1860-5974"]},"doi":"10.2168/lmcs-10(3:24)2014","language":[{"iso":"eng"}]},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-01-15T14:49:31Z","publication":"12th International Conference on Business Process Management (BPM 2014)","doi":"10.1007/978-3-319-10172-9_23","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","date_updated":"2022-01-06T07:03:17Z","publication_status":"published","intvolume":"      8659","title":"Use Your Best Device! Enabling Device Changes at Runtime","year":"2014","publication_identifier":{"isbn":["9783319101712","9783319101729"],"issn":["0302-9743","1611-3349"]},"author":[{"id":"11308","first_name":"Dennis","last_name":"Bokermann","full_name":"Bokermann, Dennis"},{"full_name":"Gerth, Christian","last_name":"Gerth","first_name":"Christian"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"citation":{"bibtex":"@inproceedings{Bokermann_Gerth_Engels_2014, series={Lecture Notes in Computer Science}, title={Use Your Best Device! Enabling Device Changes at Runtime}, volume={8659}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-10172-9_23\">10.1007/978-3-319-10172-9_23</a>}, booktitle={12th International Conference on Business Process Management (BPM 2014)}, publisher={Springer International Publishing}, author={Bokermann, Dennis and Gerth, Christian and Engels, Gregor}, year={2014}, pages={357–365}, collection={Lecture Notes in Computer Science} }","ama":"Bokermann D, Gerth C, Engels G. Use Your Best Device! Enabling Device Changes at Runtime. In: <i>12th International Conference on Business Process Management (BPM 2014)</i>. Vol 8659. Lecture Notes in Computer Science. Springer International Publishing; 2014:357-365. doi:<a href=\"https://doi.org/10.1007/978-3-319-10172-9_23\">10.1007/978-3-319-10172-9_23</a>","mla":"Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at Runtime.” <i>12th International Conference on Business Process Management (BPM 2014)</i>, vol. 8659, Springer International Publishing, 2014, pp. 357–65, doi:<a href=\"https://doi.org/10.1007/978-3-319-10172-9_23\">10.1007/978-3-319-10172-9_23</a>.","short":"D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on Business Process Management (BPM 2014), Springer International Publishing, 2014, pp. 357–365.","chicago":"Bokermann, Dennis, Christian Gerth, and Gregor Engels. “Use Your Best Device! Enabling Device Changes at Runtime.” In <i>12th International Conference on Business Process Management (BPM 2014)</i>, 8659:357–65. Lecture Notes in Computer Science. Springer International Publishing, 2014. <a href=\"https://doi.org/10.1007/978-3-319-10172-9_23\">https://doi.org/10.1007/978-3-319-10172-9_23</a>.","ieee":"D. Bokermann, C. Gerth, and G. Engels, “Use Your Best Device! Enabling Device Changes at Runtime,” in <i>12th International Conference on Business Process Management (BPM 2014)</i>, 2014, vol. 8659, pp. 357–365.","apa":"Bokermann, D., Gerth, C., &#38; Engels, G. (2014). Use Your Best Device! Enabling Device Changes at Runtime. In <i>12th International Conference on Business Process Management (BPM 2014)</i> (Vol. 8659, pp. 357–365). Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-10172-9_23\">https://doi.org/10.1007/978-3-319-10172-9_23</a>"},"user_id":"11308","volume":8659,"page":"357-365","_id":"6741","publisher":"Springer International Publishing","status":"public"},{"author":[{"full_name":"Dräxler, Martin","last_name":"Dräxler","first_name":"Martin"},{"id":"126","last_name":"Karl","first_name":"Holger","full_name":"Karl, Holger"}],"title":"Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity","year":"2014","status":"public","date_updated":"2022-01-06T06:52:50Z","_id":"1647","main_file_link":[{"url":"http://ieeexplore.ieee.org/document/6843063/?arnumber=6843063&sortType%3Dasc_p_Sequence%26filter%3DAND(p_IS_Number:6843048)"}],"user_id":"15572","citation":{"bibtex":"@inproceedings{Dräxler_Karl_2014, title={Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity}, booktitle={Proceedings of 20th European Wireless Conference }, author={Dräxler, Martin and Karl, Holger}, year={2014} }","ama":"Dräxler M, Karl H. Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity. In: <i>Proceedings of 20th European Wireless Conference </i>. ; 2014.","mla":"Dräxler, Martin, and Holger Karl. “Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity.” <i>Proceedings of 20th European Wireless Conference </i>, 2014.","chicago":"Dräxler, Martin, and Holger Karl. “Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity.” In <i>Proceedings of 20th European Wireless Conference </i>, 2014.","short":"M. Dräxler, H. Karl, in: Proceedings of 20th European Wireless Conference , 2014.","ieee":"M. Dräxler and H. Karl, “Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity,” in <i>Proceedings of 20th European Wireless Conference </i>, 2014.","apa":"Dräxler, M., &#38; Karl, H. (2014). Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity. In <i>Proceedings of 20th European Wireless Conference </i>."},"ec_funded":"1","publication":"Proceedings of 20th European Wireless Conference ","project":[{"name":"Connectivity management for eneRgy Optimised Wireless Dense works","grant_number":"318115","_id":"22","call_identifier":"FP7-ICT-2011-C"}],"related_material":{"link":[{"relation":"confirmation","url":"http://ieeexplore.ieee.org/document/6843063/?arnumber=6843063&sortType%3Dasc_p_Sequence%26filter%3DAND(p_IS_Number:6843048)"}]},"date_created":"2018-03-22T14:10:02Z","department":[{"_id":"75"}],"type":"conference"},{"date_created":"2018-03-22T14:28:06Z","department":[{"_id":"75"}],"type":"conference","citation":{"ieee":"M. Herlich and H. Karl, “Analytic quantification of outage probability and radiated power of cooperative base stations,” in <i>12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014</i>, 2014.","apa":"Herlich, M., &#38; Karl, H. (2014). Analytic quantification of outage probability and radiated power of cooperative base stations. In <i>12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014</i>. IEEE. <a href=\"https://doi.org/10.1109/wiopt.2014.6850365\">https://doi.org/10.1109/wiopt.2014.6850365</a>","short":"M. Herlich, H. Karl, in: 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014, IEEE, 2014.","chicago":"Herlich, Matthias, and Holger Karl. “Analytic Quantification of Outage Probability and Radiated Power of Cooperative Base Stations.” In <i>12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014</i>. IEEE, 2014. <a href=\"https://doi.org/10.1109/wiopt.2014.6850365\">https://doi.org/10.1109/wiopt.2014.6850365</a>.","mla":"Herlich, Matthias, and Holger Karl. “Analytic Quantification of Outage Probability and Radiated Power of Cooperative Base Stations.” <i>12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014</i>, IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/wiopt.2014.6850365\">10.1109/wiopt.2014.6850365</a>.","bibtex":"@inproceedings{Herlich_Karl_2014, title={Analytic quantification of outage probability and radiated power of cooperative base stations}, DOI={<a href=\"https://doi.org/10.1109/wiopt.2014.6850365\">10.1109/wiopt.2014.6850365</a>}, booktitle={12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014}, publisher={IEEE}, author={Herlich, Matthias and Karl, Holger}, year={2014} }","ama":"Herlich M, Karl H. Analytic quantification of outage probability and radiated power of cooperative base stations. In: <i>12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014</i>. IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/wiopt.2014.6850365\">10.1109/wiopt.2014.6850365</a>"},"publication":"12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014","_id":"1654","publisher":"IEEE","doi":"10.1109/wiopt.2014.6850365","user_id":"15572","publication_identifier":{"isbn":["9783901882630"]},"author":[{"full_name":"Herlich, Matthias","last_name":"Herlich","first_name":"Matthias"},{"full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl","id":"126"}],"status":"public","title":"Analytic quantification of outage probability and radiated power of cooperative base stations","year":"2014","date_updated":"2022-01-06T06:52:52Z","publication_status":"published"},{"citation":{"mla":"Arens, S., et al. <i>Optimierte 3D Morphologiedarstellung Tomographischer Datensätze Des Herzens</i>. 2014.","ama":"Arens S, Domik G, Weise R, Holzinger J, Burchert W. Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens. 2014.","bibtex":"@article{Arens_Domik_Weise_Holzinger_Burchert_2014, place={Hannover}, series={53. Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin}, title={Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens}, author={Arens, S. and Domik, Gitta and Weise, R. and Holzinger, J.  and Burchert, W.}, year={2014}, collection={53. Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin} }","apa":"Arens, S., Domik, G., Weise, R., Holzinger, J., &#38; Burchert, W. (2014). Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens. Presented at the 53 Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin, Hannover.","ieee":"S. Arens, G. Domik, R. Weise, J. Holzinger, and W. Burchert, “Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens.” Hannover, 2014.","chicago":"Arens, S., Gitta Domik, R. Weise, J.  Holzinger, and W. Burchert. “Optimierte 3D Morphologiedarstellung Tomographischer Datensätze Des Herzens.” 53. Jahrestagung Der Deutschen Gesellschaft Für Nuklearmedizin. Hannover, 2014.","short":"S. Arens, G. Domik, R. Weise, J. Holzinger, W. Burchert, (2014)."},"place":"Hannover","date_created":"2020-04-21T07:16:25Z","type":"conference","department":[{"_id":"65"}],"title":"Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens","year":"2014","status":"public","conference":{"location":"Hannover","name":"53 Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin"},"author":[{"last_name":"Arens","first_name":"S.","full_name":"Arens, S."},{"id":"90","last_name":"Domik","first_name":"Gitta","full_name":"Domik, Gitta"},{"last_name":"Weise","first_name":"R.","full_name":"Weise, R."},{"full_name":"Holzinger, J. ","last_name":"Holzinger","first_name":"J. "},{"last_name":"Burchert","first_name":"W.","full_name":"Burchert, W."}],"date_updated":"2022-01-06T06:52:55Z","_id":"16760","series_title":"53. Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin","language":[{"iso":"eng"}],"user_id":"90"},{"series_title":"Lecture Notes in Computer Science","_id":"16870","publisher":"Springer","language":[{"iso":"eng"}],"doi":"10.1007/978-3-642-45346-5","user_id":"15415","editor":[{"last_name":"Flocchini","first_name":"Paola","full_name":"Flocchini, Paola"},{"full_name":"Gao, Jie","last_name":"Gao","first_name":"Jie"},{"last_name":"Kranakis","first_name":"Evangelos","full_name":"Kranakis, Evangelos"},{"last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"}],"volume":8243,"title":"Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013","year":"2014","status":"public","publication_identifier":{"isbn":["9783642453458","9783642453465"],"issn":["0302-9743","1611-3349"]},"date_updated":"2022-01-06T06:52:58Z","publication_status":"published","intvolume":"      8243","place":"Berlin, Heidelberg","date_created":"2020-04-27T10:31:57Z","type":"book_editor","department":[{"_id":"63"}],"citation":{"ama":"Flocchini P, Gao J, Kranakis E, Meyer auf der Heide F, eds. <i>Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013</i>. Vol 8243. Berlin, Heidelberg: Springer; 2014. doi:<a href=\"https://doi.org/10.1007/978-3-642-45346-5\">10.1007/978-3-642-45346-5</a>","bibtex":"@book{Flocchini_Gao_Kranakis_Meyer auf der Heide_2014, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013}, volume={8243}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-45346-5\">10.1007/978-3-642-45346-5</a>}, publisher={Springer}, year={2014}, collection={Lecture Notes in Computer Science} }","mla":"Flocchini, Paola, et al., editors. <i>Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013</i>. Vol. 8243, Springer, 2014, doi:<a href=\"https://doi.org/10.1007/978-3-642-45346-5\">10.1007/978-3-642-45346-5</a>.","short":"P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Springer, Berlin, Heidelberg, 2014.","chicago":"Flocchini, Paola, Jie Gao, Evangelos Kranakis, and Friedhelm Meyer auf der Heide, eds. <i>Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013</i>. Vol. 8243. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-642-45346-5\">https://doi.org/10.1007/978-3-642-45346-5</a>.","apa":"Flocchini, P., Gao, J., Kranakis, E., &#38; Meyer auf der Heide, F. (Eds.). (2014). <i>Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013</i> (Vol. 8243). Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/978-3-642-45346-5\">https://doi.org/10.1007/978-3-642-45346-5</a>","ieee":"P. Flocchini, J. Gao, E. Kranakis, and F. Meyer auf der Heide, Eds., <i>Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013</i>, vol. 8243. Berlin, Heidelberg: Springer, 2014."}},{"date_created":"2019-07-10T09:22:43Z","department":[{"_id":"78"}],"type":"journal_article","citation":{"mla":"Schaefers, Lars, and Marco Platzner. “A Novel Technique and Its Application to Computer Go.” <i>IEEE Transactions on Computational Intelligence and AI in Games</i>, vol. 6, no. 3, 2014, pp. 361–74, doi:<a href=\"https://doi.org/10.1109/TCIAIG.2014.2346997\">10.1109/TCIAIG.2014.2346997</a>.","apa":"Schaefers, L., &#38; Platzner, M. (2014). A Novel Technique and its Application to Computer Go. <i>IEEE Transactions on Computational Intelligence and AI in Games</i>, <i>6</i>(3), 361–374. <a href=\"https://doi.org/10.1109/TCIAIG.2014.2346997\">https://doi.org/10.1109/TCIAIG.2014.2346997</a>","ieee":"L. Schaefers and M. Platzner, “A Novel Technique and its Application to Computer Go,” <i>IEEE Transactions on Computational Intelligence and AI in Games</i>, vol. 6, no. 3, pp. 361–374, 2014.","ama":"Schaefers L, Platzner M. A Novel Technique and its Application to Computer Go. <i>IEEE Transactions on Computational Intelligence and AI in Games</i>. 2014;6(3):361-374. doi:<a href=\"https://doi.org/10.1109/TCIAIG.2014.2346997\">10.1109/TCIAIG.2014.2346997</a>","short":"L. Schaefers, M. Platzner, IEEE Transactions on Computational Intelligence and AI in Games 6 (2014) 361–374.","chicago":"Schaefers, Lars, and Marco Platzner. “A Novel Technique and Its Application to Computer Go.” <i>IEEE Transactions on Computational Intelligence and AI in Games</i> 6, no. 3 (2014): 361–74. <a href=\"https://doi.org/10.1109/TCIAIG.2014.2346997\">https://doi.org/10.1109/TCIAIG.2014.2346997</a>.","bibtex":"@article{Schaefers_Platzner_2014, title={A Novel Technique and its Application to Computer Go}, volume={6}, DOI={<a href=\"https://doi.org/10.1109/TCIAIG.2014.2346997\">10.1109/TCIAIG.2014.2346997</a>}, number={3}, journal={IEEE Transactions on Computational Intelligence and AI in Games}, author={Schaefers, Lars and Platzner, Marco}, year={2014}, pages={361–374} }"},"issue":"3","publication":"IEEE Transactions on Computational Intelligence and AI in Games","_id":"10602","language":[{"iso":"eng"}],"page":"361-374","volume":6,"doi":"10.1109/TCIAIG.2014.2346997","user_id":"3118","author":[{"full_name":"Schaefers, Lars","last_name":"Schaefers","first_name":"Lars"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"}],"title":"A Novel Technique and its Application to Computer Go","status":"public","year":"2014","intvolume":"         6","date_updated":"2022-01-06T06:50:47Z"}]