[{"user_id":"25078","publisher":"Universität Paderborn","_id":"416","date_updated":"2022-01-06T07:00:26Z","status":"public","title":"Group Signature Schemes with Strong Exculpability","year":"2014","author":[{"full_name":"Bemmann, Pascal","first_name":"Pascal","last_name":"Bemmann","id":"32571"}],"type":"bachelorsthesis","department":[{"_id":"64"}],"date_created":"2017-10-17T12:42:13Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"_id":"4","name":"SFB 901 - Project Area C"}],"supervisor":[{"last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes","id":"23"}],"citation":{"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.","apa":"Bemmann, P. (2014). <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn.","ieee":"P. Bemmann, <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn, 2014.","ama":"Bemmann P. <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn; 2014.","bibtex":"@book{Bemmann_2014, title={Group Signature Schemes with Strong Exculpability}, publisher={Universität Paderborn}, author={Bemmann, Pascal}, year={2014} }","mla":"Bemmann, Pascal. <i>Group Signature Schemes with Strong Exculpability</i>. Universität Paderborn, 2014."}},{"project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-16T11:33:33Z","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>."},"has_accepted_license":"1","status":"public","user_id":"477","ddc":["040"],"page":"1601-1610","_id":"417","abstract":[{"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.","lang":"eng"}],"publication":"Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)","type":"conference","department":[{"_id":"77"}],"file":[{"creator":"florida","date_created":"2018-03-16T11:33:33Z","access_level":"closed","file_size":643382,"file_name":"417-main.pdf","date_updated":"2018-03-16T11:33:33Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"1360"}],"date_created":"2017-10-17T12:42:13Z","date_updated":"2022-01-06T07:00:28Z","year":"2014","title":"Grammar-based model transformations","author":[{"first_name":"Galina","last_name":"Besova","full_name":"Besova, Galina"},{"last_name":"Steenke","first_name":"Dominik","full_name":"Steenke, Dominik"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"doi":"10.1016/j.cl.2015.05.003","language":[{"iso":"eng"}]},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2019-08-07T09:05:38Z","supervisor":[{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"citation":{"chicago":"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.","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.","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."},"type":"bachelorsthesis","oa":"1","department":[{"_id":"77"}],"file":[{"date_created":"2019-08-07T09:00:20Z","creator":"fpauck","title":"Bachelorarbeit","content_type":"application/pdf","file_id":"12906","date_updated":"2019-08-07T09:05:38Z","relation":"main_file","file_size":3191756,"access_level":"open_access","file_name":"fpauck_2014.pdf"}],"date_created":"2017-10-17T12:42:13Z","date_updated":"2022-01-06T07:00:30Z","has_accepted_license":"1","title":"Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren","year":"2014","status":"public","author":[{"first_name":"Felix","last_name":"Pauck","full_name":"Pauck, Felix","id":"22398"}],"ddc":["000"],"user_id":"22398","language":[{"iso":"ger"}],"_id":"418","publisher":"Universität Paderborn"},{"department":[{"_id":"64"}],"type":"bachelorsthesis","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"},{"_id":"43","name":"Securing the Financial Cloud"}],"citation":{"chicago":"Lippert, Jan. <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn, 2014.","short":"J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.","apa":"Lippert, J. (2014). <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn.","ieee":"J. Lippert, <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn, 2014.","ama":"Lippert J. <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} }","mla":"Lippert, Jan. <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn, 2014."},"supervisor":[{"last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes","id":"23"}],"user_id":"25078","publisher":"Universität Paderborn","_id":"421","date_updated":"2022-01-06T07:00:36Z","author":[{"last_name":"Lippert","first_name":"Jan","full_name":"Lippert, Jan"}],"title":"Fujisaki-Okamoto Transformation","status":"public","year":"2014"},{"date_updated":"2022-01-06T07:00:43Z","year":"2014","title":"Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network","status":"public","author":[{"first_name":"Veit","last_name":"Dornseifer","full_name":"Dornseifer, Veit"}],"user_id":"15504","_id":"426","publisher":"Universität Paderborn","project":[{"name":"SFB 901","_id":"1"},{"_id":"6","name":"SFB 901 - Subprojekt A2"},{"_id":"2","name":"SFB 901 - Project Area A"}],"citation":{"apa":"Dornseifer, V. (2014). <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn.","ieee":"V. Dornseifer, <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn, 2014.","chicago":"Dornseifer, Veit. <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn, 2014.","short":"V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.","mla":"Dornseifer, Veit. <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network</i>. Universität Paderborn, 2014.","ama":"Dornseifer V. <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} }"},"type":"mastersthesis","department":[{"_id":"75"}],"date_created":"2017-10-17T12:42:15Z"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B2","_id":"10"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-16T11:32:02Z","citation":{"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.","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.","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} }","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).","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.","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.","short":"F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418."},"has_accepted_license":"1","status":"public","user_id":"477","ddc":["040"],"page":"411-418","_id":"428","abstract":[{"lang":"eng","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."}],"publication":"Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)","type":"conference","department":[{"_id":"355"}],"file":[{"file_size":200063,"access_level":"closed","file_name":"428-ICSOC14.pdf","date_updated":"2018-03-16T11:32:02Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"1357","creator":"florida","date_created":"2018-03-16T11:32:02Z"}],"date_created":"2017-10-17T12:42:15Z","date_updated":"2022-01-06T07:00:47Z","year":"2014","title":"Estimating Functional Reusability of Services","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"},{"type":"dissertation","department":[{"_id":"63"}],"file":[{"file_id":"1356","success":1,"content_type":"application/pdf","file_name":"431-Peter_Kling_PhDThesis_01.pdf","file_size":792106,"access_level":"closed","relation":"main_file","date_updated":"2018-03-16T11:31:29Z","date_created":"2018-03-16T11:31:29Z","creator":"florida"}],"date_created":"2017-10-17T12:42:15Z","abstract":[{"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.","lang":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"14","name":"SFB 901 - Subprojekt C2"},{"_id":"4","name":"SFB 901 - Project Area C"}],"file_date_updated":"2018-03-16T11:31:29Z","citation":{"chicago":"Kling, Peter. <i>Energy-Efficient Scheduling Algorithms</i>. Universität Paderborn, 2014.","short":"P. Kling, Energy-Efficient Scheduling Algorithms, 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.","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."},"supervisor":[{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"user_id":"477","ddc":["040"],"_id":"431","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:00:52Z","has_accepted_license":"1","year":"2014","title":"Energy-efficient Scheduling Algorithms","status":"public","author":[{"first_name":"Peter","last_name":"Kling","full_name":"Kling, Peter"}]},{"citation":{"mla":"Grynko, Yevgen, and Evgenij Zubko. <i>Light Scattering By Random Irregular Particles With Different Morphology</i>. 2014.","bibtex":"@inproceedings{Grynko_Zubko_2014, title={Light Scattering By Random Irregular Particles With Different Morphology}, author={Grynko, Yevgen and Zubko, Evgenij}, year={2014} }","ama":"Grynko Y, Zubko E. Light Scattering By Random Irregular Particles With Different Morphology. In: ; 2014.","ieee":"Y. Grynko and E. Zubko, “Light Scattering By Random Irregular Particles With Different Morphology,” presented at the 10th International Conference on Laser-Light and Interactions with Particles, Marseille (France), 2014.","apa":"Grynko, Y., &#38; Zubko, E. (2014). Light Scattering By Random Irregular Particles With Different Morphology. Presented at the 10th International Conference on Laser-Light and Interactions with Particles, Marseille (France).","short":"Y. Grynko, E. Zubko, in: 2014.","chicago":"Grynko, Yevgen, and Evgenij Zubko. “Light Scattering By Random Irregular Particles With Different Morphology,” 2014."},"file_date_updated":"2018-08-30T09:28:00Z","abstract":[{"text":"We simulate numerically light scattering by random irregular particles of two classes of shape: Gaussian random field particles and agglomerated debri particles. Comparison of the angular dependencies of the scattering matrix elements for the case of non-absorbing material shows qualitative similarity of optical properties of both types despite different morphology of scatterers. Absorbing particles result in the difference in linear polarization. However, a strong similarty remains for the intensity curves.","lang":"eng"}],"date_created":"2018-08-30T09:29:24Z","file":[{"date_created":"2018-08-30T09:28:00Z","creator":"hclaudia","file_id":"4316","success":1,"content_type":"application/pdf","file_name":"2014-08 Grynko,Zubko_Light Scattering by Radndom irregular particles with different morphology.pdf","file_size":794798,"access_level":"closed","relation":"main_file","date_updated":"2018-08-30T09:28:00Z"}],"department":[{"_id":"61"}],"type":"conference","conference":{"start_date":"2014-08-25","name":"10th International Conference on Laser-Light and Interactions with Particles","location":"Marseille (France)","end_date":"2014-08-29"},"author":[{"first_name":"Yevgen","last_name":"Grynko","full_name":"Grynko, Yevgen","id":"26059"},{"last_name":"Zubko","first_name":"Evgenij","full_name":"Zubko, Evgenij"}],"year":"2014","status":"public","title":"Light Scattering By Random Irregular Particles With Different Morphology","has_accepted_license":"1","date_updated":"2022-01-06T07:00:53Z","publication_status":"published","_id":"4315","language":[{"iso":"eng"}],"ddc":["530"],"user_id":"55706"},{"_id":"432","publisher":"Universität Paderborn","user_id":"15504","title":"Energy-Efficient Queuing with Delayed Deactivation","year":"2014","status":"public","author":[{"first_name":"Nico","last_name":"Bredenbals","full_name":"Bredenbals, Nico"}],"date_updated":"2022-01-06T07:00:54Z","date_created":"2017-10-17T12:42:16Z","type":"mastersthesis","department":[{"_id":"75"}],"citation":{"short":"N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.","chicago":"Bredenbals, Nico. <i>Energy-Efficient Queuing with Delayed Deactivation</i>. Universität Paderborn, 2014.","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.","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.","mla":"Bredenbals, Nico. <i>Energy-Efficient Queuing with Delayed Deactivation</i>. Universität Paderborn, 2014."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A2","_id":"6"},{"name":"SFB 901 - Project Area A","_id":"2"}]},{"author":[{"id":"3118","full_name":"Wiersema, Tobias","first_name":"Tobias","last_name":"Wiersema"},{"full_name":"Bockhorn, Arne","last_name":"Bockhorn","first_name":"Arne"},{"id":"398","full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner"}],"year":"2014","title":"Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA","date_updated":"2022-01-06T07:00:56Z","language":[{"iso":"eng"}],"doi":"10.1109/ReConFig.2014.7032514","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"}],"date_created":"2017-10-17T12:42:16Z","file":[{"creator":"florida","date_created":"2018-03-16T11:30:58Z","relation":"main_file","date_updated":"2018-03-16T11:30:58Z","file_name":"433-wiersema14_reconfig_IEEE_approved.pdf","access_level":"closed","file_size":369333,"file_id":"1355","success":1,"content_type":"application/pdf"}],"department":[{"_id":"78"}],"type":"conference","status":"public","has_accepted_license":"1","_id":"433","page":"1-6 ","ddc":["040"],"user_id":"477","citation":{"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>.","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>","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>","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>."},"file_date_updated":"2018-03-16T11:30:58Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}]},{"department":[{"_id":"63"}],"type":"conference","date_created":"2017-10-17T12:42:16Z","file":[{"file_name":"435-Kling_C2_STACS2014.pdf","file_size":525851,"access_level":"closed","relation":"main_file","date_updated":"2018-03-16T11:30:23Z","file_id":"1354","success":1,"content_type":"application/pdf","creator":"florida","date_created":"2018-03-16T11:30:23Z"}],"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)","doi":"10.4230/LIPIcs.STACS.2014.63","language":[{"iso":"eng"}],"series_title":"LIPIcs","date_updated":"2022-01-06T07:00:58Z","author":[{"first_name":"Antonios","last_name":"Antoniadis","full_name":"Antoniadis, Antonios"},{"full_name":"Barcelo, Neal","first_name":"Neal","last_name":"Barcelo"},{"full_name":"Consuegra, Mario","first_name":"Mario","last_name":"Consuegra"},{"full_name":"Kling, Peer","first_name":"Peer","last_name":"Kling"},{"last_name":"Nugent","first_name":"Michael","full_name":"Nugent, Michael"},{"first_name":"Kirk","last_name":"Pruhs","full_name":"Pruhs, Kirk"},{"full_name":"Scquizzato, Michele","first_name":"Michele","last_name":"Scquizzato"}],"title":"Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules","year":"2014","project":[{"name":"SFB 901","_id":"1"},{"_id":"16","name":"SFB 901 - Subprojekt C4"},{"_id":"14","name":"SFB 901 - Subproject C2"},{"_id":"4","name":"SFB 901 - Project Area C"}],"citation":{"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>.","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} }","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>","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.","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>","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>.","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."},"file_date_updated":"2018-03-16T11:30:23Z","user_id":"477","ddc":["040"],"_id":"435","page":"63--74","has_accepted_license":"1","status":"public"},{"year":"2014","title":"FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps","publication_identifier":{"isbn":["9781450327848"]},"author":[{"full_name":"Arzt, Steven","first_name":"Steven","last_name":"Arzt"},{"full_name":"Rasthofer, Siegfried","last_name":"Rasthofer","first_name":"Siegfried"},{"full_name":"Fritz, Christian","first_name":"Christian","last_name":"Fritz"},{"orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric","id":"59256"},{"first_name":"Alexandre","last_name":"Bartel","full_name":"Bartel, Alexandre"},{"full_name":"Klein, Jacques","last_name":"Klein","first_name":"Jacques"},{"last_name":"Le Traon","first_name":"Yves","full_name":"Le Traon, 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":[{"creator":"ups","date_created":"2018-11-02T13:59:33Z","relation":"main_file","date_updated":"2018-11-02T13:59:33Z","file_name":"p259-arzt.pdf","access_level":"closed","file_size":406920,"file_id":"5258","success":1,"content_type":"application/pdf"}],"date_created":"2018-10-31T10:55:28Z","type":"conference","department":[{"_id":"76"}],"status":"public","has_accepted_license":"1","publisher":"ACM Press","_id":"5189","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>","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>.","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.","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":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}]},{"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.","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.","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.","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} }","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.","short":"S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 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."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"main_file_link":[{"url":"http://www.bodden.de/pubs/ralb14droidforce.pdf"}],"language":[{"iso":"eng"}],"title":"DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android","year":"2014","author":[{"full_name":"Arzt, Steven","first_name":"Steven","last_name":"Arzt"},{"full_name":"Rasthofer, Siegfried","last_name":"Rasthofer","first_name":"Siegfried"},{"last_name":"Lovat","first_name":"Enrico","full_name":"Lovat, Enrico"},{"id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric"}],"date_updated":"2022-01-06T07:01:43Z","file":[{"date_created":"2018-11-02T13:21:13Z","creator":"ups","content_type":"application/pdf","file_id":"5247","date_updated":"2018-11-02T13:21:13Z","relation":"main_file","file_size":661565,"access_level":"closed","file_name":"ralb14droidforce.pdf"}],"date_created":"2018-10-31T11:04:43Z","type":"conference","department":[{"_id":"76"}],"publication":"International Conference on Availability, Reliability and Security (ARES 2014)","extern":"1"},{"language":[{"iso":"ger"}],"_id":"6550","user_id":"11829","volume":8,"title":"Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale","status":"public","year":"2014","author":[{"full_name":"Bause, Fabian","first_name":"Fabian","last_name":"Bause"},{"full_name":"Rautenberg, Jens","last_name":"Rautenberg","first_name":"Jens"},{"id":"23082","last_name":"Feldmann","first_name":"Nadine","full_name":"Feldmann, Nadine"},{"full_name":"Claes, Leander","orcid":"0000-0002-4393-268X","last_name":"Claes","first_name":"Leander","id":"11829"},{"id":"213","full_name":"Henning, Bernd","last_name":"Henning","first_name":"Bernd"}],"date_updated":"2022-01-06T07:03:11Z","intvolume":"         8","place":"DEGA-Symposium, Bad Honnef","date_created":"2019-01-09T14:36:55Z","type":"misc","department":[{"_id":"49"}],"citation":{"mla":"Bause, Fabian, et al. <i>Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale</i>. Vol. 8, 2014.","bibtex":"@book{Bause_Rautenberg_Feldmann_Claes_Henning_2014, place={DEGA-Symposium, Bad Honnef}, title={Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale}, volume={8}, author={Bause, Fabian and Rautenberg, Jens and Feldmann, Nadine and Claes, Leander and Henning, Bernd}, year={2014} }","ama":"Bause F, Rautenberg J, Feldmann N, Claes L, Henning B. <i>Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale</i>. Vol 8. DEGA-Symposium, Bad Honnef; 2014.","ieee":"F. Bause, J. Rautenberg, N. Feldmann, L. Claes, and B. Henning, <i>Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale</i>, vol. 8. DEGA-Symposium, Bad Honnef, 2014.","apa":"Bause, F., Rautenberg, J., Feldmann, N., Claes, L., &#38; Henning, B. (2014). <i>Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale</i> (Vol. 8). DEGA-Symposium, Bad Honnef.","chicago":"Bause, Fabian, Jens Rautenberg, Nadine Feldmann, Leander Claes, and Bernd Henning. <i>Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale</i>. Vol. 8. DEGA-Symposium, Bad Honnef, 2014.","short":"F. Bause, J. Rautenberg, N. Feldmann, L. Claes, B. Henning, Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale, DEGA-Symposium, Bad Honnef, 2014."},"project":[{"_id":"87","grant_number":"222271124","name":"Bestimmung komplexer akustischer Materialkenngrößen"}]},{"department":[{"_id":"49"}],"type":"conference","date_created":"2019-01-09T14:37:24Z","citation":{"ieee":"S. Olfert, L. Claes, and B. Henning, “Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren,” in <i>Fortschritte der Akustik - DAGA 2014</i>, 2014, pp. 541–542.","apa":"Olfert, S., Claes, L., &#38; Henning, B. (2014). Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren. In <i>Fortschritte der Akustik - DAGA 2014</i> (pp. 541–542).","short":"S. Olfert, L. Claes, B. Henning, in: Fortschritte Der Akustik - DAGA 2014, 2014, pp. 541–542.","chicago":"Olfert, Sergei, Leander Claes, and Bernd Henning. “Rekonstruktion Der Räumlichen Schallwechseldruckverteilung Unter Berücksichtigung Der Orthogonalität Optischer Und Akustischer Achsen Beim Schlierenverfahren.” In <i>Fortschritte Der Akustik - DAGA 2014</i>, 541–42, 2014.","mla":"Olfert, Sergei, et al. “Rekonstruktion Der Räumlichen Schallwechseldruckverteilung Unter Berücksichtigung Der Orthogonalität Optischer Und Akustischer Achsen Beim Schlierenverfahren.” <i>Fortschritte Der Akustik - DAGA 2014</i>, 2014, pp. 541–42.","bibtex":"@inproceedings{Olfert_Claes_Henning_2014, title={Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren}, booktitle={Fortschritte der Akustik - DAGA 2014}, author={Olfert, Sergei and Claes, Leander and Henning, Bernd}, year={2014}, pages={541–542} }","ama":"Olfert S, Claes L, Henning B. Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren. In: <i>Fortschritte Der Akustik - DAGA 2014</i>. ; 2014:541-542."},"publication":"Fortschritte der Akustik - DAGA 2014","user_id":"11829","language":[{"iso":"eng"}],"_id":"6574","page":"541-542","date_updated":"2022-01-06T07:03:12Z","author":[{"last_name":"Olfert","first_name":"Sergei","full_name":"Olfert, Sergei"},{"last_name":"Claes","first_name":"Leander","orcid":"0000-0002-4393-268X","full_name":"Claes, Leander","id":"11829"},{"first_name":"Bernd","last_name":"Henning","full_name":"Henning, Bernd","id":"213"}],"year":"2014","status":"public","title":"Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren"},{"extern":"1","citation":{"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.","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} }","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.","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.","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.","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.","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."},"department":[{"_id":"66"}],"type":"dissertation","date_created":"2019-01-15T10:05:42Z","date_updated":"2022-01-06T07:03:17Z","author":[{"first_name":"Lorijn","last_name":"van Rooijen","full_name":"van Rooijen, Lorijn","id":"58843"}],"year":"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)","status":"public","user_id":"58843","language":[{"iso":"eng"}],"_id":"6727","publisher":"University of Bordeaux, France"},{"intvolume":"        10","publication_status":"published","date_updated":"2022-01-06T07:03:17Z","author":[{"last_name":"Place","first_name":"Thomas","full_name":"Place, Thomas"},{"last_name":"van Rooijen","first_name":"Lorijn","full_name":"van Rooijen, Lorijn","id":"58843"},{"last_name":"Zeitoun","first_name":"Marc","full_name":"Zeitoun, Marc"}],"publication_identifier":{"issn":["1860-5974"]},"year":"2014","title":"On Separation by Locally Testable and Locally Threshold Testable Languages","doi":"10.2168/lmcs-10(3:24)2014","language":[{"iso":"eng"}],"extern":"1","publication":"Logical Methods in Computer Science","issue":"3","department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-15T10:07:47Z","status":"public","volume":10,"user_id":"58843","_id":"6728","publisher":"Logical Methods in Computer Science e.V.","citation":{"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).","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>","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.","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>","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} }","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>."}},{"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783319101712","9783319101729"]},"author":[{"id":"11308","full_name":"Bokermann, Dennis","last_name":"Bokermann","first_name":"Dennis"},{"last_name":"Gerth","first_name":"Christian","full_name":"Gerth, Christian"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"}],"year":"2014","title":"Use Your Best Device! Enabling Device Changes at Runtime","intvolume":"      8659","publication_status":"published","date_updated":"2022-01-06T07:03:17Z","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-10172-9_23","publication":"12th International Conference on Business Process Management (BPM 2014)","date_created":"2019-01-15T14:49:31Z","department":[{"_id":"66"}],"type":"conference","status":"public","publisher":"Springer International Publishing","_id":"6741","page":"357-365","volume":8659,"user_id":"11308","citation":{"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>","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.","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>.","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>.","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>","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} }"}},{"date_created":"2019-01-21T10:11:42Z","type":"conference","department":[{"_id":"53"}],"publication":"14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014","citation":{"bibtex":"@inproceedings{Bouyraaman_Bendfeld_Krauter_2014, title={Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision}, booktitle={14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014}, author={Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan}, year={2014} }","ama":"Bouyraaman Y, Bendfeld J, Krauter S. Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision. In: <i>14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014</i>. ; 2014.","mla":"Bouyraaman, Yassin, et al. “Integration of Offshore Wind Energy into the Grid System in Germany: Modelling of a Market Oriented Energy Provision.” <i>14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014</i>, 2014.","short":"Y. Bouyraaman, J. Bendfeld, S. Krauter, in: 14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014, 2014.","chicago":"Bouyraaman, Yassin, Jörg Bendfeld, and Stefan Krauter. “Integration of Offshore Wind Energy into the Grid System in Germany: Modelling of a Market Oriented Energy Provision.” In <i>14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014</i>, 2014.","ieee":"Y. Bouyraaman, J. Bendfeld, and S. Krauter, “Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision,” in <i>14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014</i>, 2014.","apa":"Bouyraaman, Y., Bendfeld, J., &#38; Krauter, S. (2014). Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision. In <i>14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014</i>."},"_id":"6927","language":[{"iso":"eng"}],"user_id":"16148","year":"2014","status":"public","title":"Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision","author":[{"first_name":"Yassin","last_name":"Bouyraaman","full_name":"Bouyraaman, Yassin"},{"last_name":"Bendfeld","first_name":"Jörg","full_name":"Bendfeld, Jörg","id":"16148"},{"id":"28836","orcid":"0000-0002-3594-260X","last_name":"Krauter","first_name":"Stefan","full_name":"Krauter, Stefan"}],"conference":{"name":"14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014"},"date_updated":"2022-01-06T07:03:23Z"},{"user_id":"16148","_id":"6928","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:23Z","author":[{"last_name":"Bouyraaman","first_name":"Yassin","full_name":"Bouyraaman, Yassin"},{"id":"16148","full_name":"Bendfeld, Jörg","first_name":"Jörg","last_name":"Bendfeld"},{"id":"28836","full_name":"Krauter, Stefan","last_name":"Krauter","orcid":"0000-0002-3594-260X","first_name":"Stefan"},{"full_name":"Breymann, P.","last_name":"Breymann","first_name":"P."}],"conference":{"name":"World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 "},"title":"Integration of wind energy in power systems: Modeling of a market-orientated energy concept","year":"2014","status":"public","department":[{"_id":"53"}],"type":"conference","date_created":"2019-01-21T10:13:18Z","citation":{"chicago":"Bouyraaman, Yassin, Jörg Bendfeld, Stefan Krauter, and P. Breymann. “Integration of Wind Energy in Power Systems: Modeling of a Market-Orientated Energy Concept.” In <i>Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 </i>, 2014.","short":"Y. Bouyraaman, J. Bendfeld, S. Krauter, P. Breymann, in: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.","apa":"Bouyraaman, Y., Bendfeld, J., Krauter, S., &#38; Breymann, P. (2014). Integration of wind energy in power systems: Modeling of a market-orientated energy concept. In <i>Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 </i>.","ieee":"Y. Bouyraaman, J. Bendfeld, S. Krauter, and P. Breymann, “Integration of wind energy in power systems: Modeling of a market-orientated energy concept,” in <i>Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 </i>, 2014.","ama":"Bouyraaman Y, Bendfeld J, Krauter S, Breymann P. Integration of wind energy in power systems: Modeling of a market-orientated energy concept. In: <i>Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 </i>. ; 2014.","bibtex":"@inproceedings{Bouyraaman_Bendfeld_Krauter_Breymann_2014, title={Integration of wind energy in power systems: Modeling of a market-orientated energy concept}, booktitle={Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 }, author={Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan and Breymann, P.}, year={2014} }","mla":"Bouyraaman, Yassin, et al. “Integration of Wind Energy in Power Systems: Modeling of a Market-Orientated Energy Concept.” <i>Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 </i>, 2014."},"publication":"Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 "}]