[{"publication":"Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)","citation":{"ieee":"H. Wachsmuth, P. Prettenhofer, and B. Stein, “Efficient Statement Identification for Automatic Market Forecasting,” in <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i>, 2010, pp. 1128–1136.","apa":"Wachsmuth, H., Prettenhofer, P., &#38; Stein, B. (2010). Efficient Statement Identification for Automatic Market Forecasting. In <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i> (pp. 1128–1136).","short":"H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.","chicago":"Wachsmuth, Henning, Peter Prettenhofer, and Benno Stein. “Efficient Statement Identification for Automatic Market Forecasting.” In <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i>, 1128–36, 2010.","mla":"Wachsmuth, Henning, et al. “Efficient Statement Identification for Automatic Market Forecasting.” <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i>, 2010, pp. 1128–36.","bibtex":"@inproceedings{Wachsmuth_Prettenhofer_Stein_2010, title={Efficient Statement Identification for Automatic Market Forecasting}, booktitle={Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)}, author={Wachsmuth, Henning and Prettenhofer, Peter and Stein, Benno}, year={2010}, pages={1128–1136} }","ama":"Wachsmuth H, Prettenhofer P, Stein B. Efficient Statement Identification for Automatic Market Forecasting. In: <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i>. ; 2010:1128-1136."},"type":"conference","department":[{"_id":"600"}],"date_created":"2018-08-02T13:38:35Z","date_updated":"2022-01-06T06:59:37Z","title":"Efficient Statement Identification for Automatic Market Forecasting","status":"public","year":"2010","author":[{"id":"3900","full_name":"Wachsmuth, Henning","first_name":"Henning","last_name":"Wachsmuth"},{"full_name":"Prettenhofer, Peter","last_name":"Prettenhofer","first_name":"Peter"},{"full_name":"Stein, Benno","first_name":"Benno","last_name":"Stein"}],"user_id":"82920","main_file_link":[{"url":"https://www.aclweb.org/anthology/C10-1127.pdf"}],"page":"1128-1136","language":[{"iso":"eng"}],"_id":"3810"},{"citation":{"ama":"Ackermann MR, Blömer J. Bregman Clustering for Separable Instances. In: <i>SWAT 2010</i>. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:212-223. doi:<a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">10.1007/978-3-642-13731-0_21</a>","bibtex":"@inbook{Ackermann_Blömer_2010, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Bregman Clustering for Separable Instances}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">10.1007/978-3-642-13731-0_21</a>}, booktitle={SWAT 2010}, publisher={Springer Berlin Heidelberg}, author={Ackermann, Marcel R. and Blömer, Johannes}, year={2010}, pages={212–223}, collection={Lecture Notes in Computer Science} }","mla":"Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” <i>SWAT 2010</i>, Springer Berlin Heidelberg, 2010, pp. 212–23, doi:<a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">10.1007/978-3-642-13731-0_21</a>.","short":"M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.","chicago":"Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” In <i>SWAT 2010</i>, 212–23. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. <a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">https://doi.org/10.1007/978-3-642-13731-0_21</a>.","apa":"Ackermann, M. R., &#38; Blömer, J. (2010). Bregman Clustering for Separable Instances. In <i>SWAT 2010</i> (pp. 212–223). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">https://doi.org/10.1007/978-3-642-13731-0_21</a>","ieee":"M. R. Ackermann and J. Blömer, “Bregman Clustering for Separable Instances,” in <i>SWAT 2010</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 212–223."},"publication":"SWAT 2010","date_created":"2018-06-05T07:51:51Z","place":"Berlin, Heidelberg","department":[{"_id":"64"}],"type":"book_chapter","author":[{"full_name":"Ackermann, Marcel R.","last_name":"Ackermann","first_name":"Marcel R."},{"id":"23","first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642137303","9783642137310"]},"status":"public","year":"2010","title":"Bregman Clustering for Separable Instances","publication_status":"published","date_updated":"2022-01-06T06:58:50Z","publisher":"Springer Berlin Heidelberg","_id":"2988","series_title":"Lecture Notes in Computer Science","page":"212-223","user_id":"25078","doi":"10.1007/978-3-642-13731-0_21"},{"_id":"2990","page":"59:1--59:26","user_id":"25078","doi":"10.1145/1824777.1824779","publication_identifier":{"issn":["1549-6325"]},"author":[{"full_name":"Ackermann, Marcel R.","first_name":"Marcel R.","last_name":"Ackermann"},{"full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes","id":"23"},{"full_name":"Sohler, Christian","first_name":"Christian","last_name":"Sohler"}],"status":"public","year":"2010","title":"Clustering for Metric and Nonmetric Distance Measures","publication_status":"published","date_updated":"2022-01-06T06:58:50Z","date_created":"2018-06-05T07:52:41Z","department":[{"_id":"64"}],"keyword":["k-means clustering","k-median clustering","Approximation algorithm","Bregman divergences","Itakura-Saito divergence","Kullback-Leibler divergence","Mahalanobis distance","random sampling"],"type":"journal_article","citation":{"ieee":"M. R. Ackermann, J. Blömer, and C. Sohler, “Clustering for Metric and Nonmetric Distance Measures,” <i>ACM Trans. Algorithms</i>, no. 4, pp. 59:1--59:26, 2010.","apa":"Ackermann, M. R., Blömer, J., &#38; Sohler, C. (2010). Clustering for Metric and Nonmetric Distance Measures. <i>ACM Trans. Algorithms</i>, (4), 59:1--59:26. <a href=\"https://doi.org/10.1145/1824777.1824779\">https://doi.org/10.1145/1824777.1824779</a>","short":"M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.","chicago":"Ackermann, Marcel R., Johannes Blömer, and Christian Sohler. “Clustering for Metric and Nonmetric Distance Measures.” <i>ACM Trans. Algorithms</i>, no. 4 (2010): 59:1--59:26. <a href=\"https://doi.org/10.1145/1824777.1824779\">https://doi.org/10.1145/1824777.1824779</a>.","mla":"Ackermann, Marcel R., et al. “Clustering for Metric and Nonmetric Distance Measures.” <i>ACM Trans. Algorithms</i>, no. 4, 2010, pp. 59:1--59:26, doi:<a href=\"https://doi.org/10.1145/1824777.1824779\">10.1145/1824777.1824779</a>.","bibtex":"@article{Ackermann_Blömer_Sohler_2010, title={Clustering for Metric and Nonmetric Distance Measures}, DOI={<a href=\"https://doi.org/10.1145/1824777.1824779\">10.1145/1824777.1824779</a>}, number={4}, journal={ACM Trans. Algorithms}, author={Ackermann, Marcel R. and Blömer, Johannes and Sohler, Christian}, year={2010}, pages={59:1--59:26} }","ama":"Ackermann MR, Blömer J, Sohler C. Clustering for Metric and Nonmetric Distance Measures. <i>ACM Trans Algorithms</i>. 2010;(4):59:1--59:26. doi:<a href=\"https://doi.org/10.1145/1824777.1824779\">10.1145/1824777.1824779</a>"},"issue":"4","publication":"ACM Trans. Algorithms"},{"publication":"Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany","citation":{"chicago":"Krueger, Alexander, Volker Leutnant, Reinhold Haeb-Umbach, Marcel Ackermann, and Johannes Blömer. “On the Initialization of Dynamic Models for Speech Features.” <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>, 2010.","short":"A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).","apa":"Krueger, A., Leutnant, V., Haeb-Umbach, R., Ackermann, M., &#38; Blömer, J. (2010). On the initialization of dynamic models for speech features. <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>.","ieee":"A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, and J. Blömer, “On the initialization of dynamic models for speech features,” <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>, 2010.","ama":"Krueger A, Leutnant V, Haeb-Umbach R, Ackermann M, Blömer J. On the initialization of dynamic models for speech features. <i>Proc of ITG Fachtagung Sprachkommunikation ITG, Bochum, Germany</i>. 2010.","bibtex":"@article{Krueger_Leutnant_Haeb-Umbach_Ackermann_Blömer_2010, title={On the initialization of dynamic models for speech features}, journal={Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany}, author={Krueger, Alexander and Leutnant, Volker and Haeb-Umbach, Reinhold and Ackermann, Marcel and Blömer, Johannes}, year={2010} }","mla":"Krueger, Alexander, et al. “On the Initialization of Dynamic Models for Speech Features.” <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>, 2010."},"date_created":"2018-06-05T07:53:41Z","type":"journal_article","department":[{"_id":"64"}],"title":"On the initialization of dynamic models for speech features","status":"public","year":"2010","author":[{"full_name":"Krueger, Alexander","last_name":"Krueger","first_name":"Alexander"},{"full_name":"Leutnant, Volker","last_name":"Leutnant","first_name":"Volker"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold"},{"first_name":"Marcel","last_name":"Ackermann","full_name":"Ackermann, Marcel"},{"id":"23","last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes"}],"publication_status":"published","date_updated":"2022-01-06T06:58:50Z","_id":"2991","user_id":"25078"},{"date_updated":"2022-01-06T06:58:50Z","author":[{"full_name":"Schrieb, Jonas","first_name":"Jonas","last_name":"Schrieb"}],"title":"Efficient and Compact CCA Security from Partitioned IBKEM","year":"2010","status":"public","user_id":"25078","series_title":"Proceedings of the 3rd Western European Workshop on Research in Cryptology","_id":"2993","citation":{"chicago":"Schrieb, Jonas. “Efficient and Compact CCA Security from Partitioned IBKEM.” Proceedings of the 3rd Western European Workshop on Research in Cryptology, 2010.","short":"J. Schrieb, (2010).","apa":"Schrieb, J. (2010). Efficient and Compact CCA Security from Partitioned IBKEM.","ieee":"J. Schrieb, “Efficient and Compact CCA Security from Partitioned IBKEM.” 2010.","ama":"Schrieb J. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.","bibtex":"@article{Schrieb_2010, series={Proceedings of the 3rd Western European Workshop on Research in Cryptology}, title={Efficient and Compact CCA Security from Partitioned IBKEM}, author={Schrieb, Jonas}, year={2010}, collection={Proceedings of the 3rd Western European Workshop on Research in Cryptology} }","mla":"Schrieb, Jonas. <i>Efficient and Compact CCA Security from Partitioned IBKEM</i>. 2010."},"department":[{"_id":"64"}],"type":"conference","date_created":"2018-06-05T08:02:25Z"},{"_id":"2994","publisher":"ACM Press","user_id":"25078","doi":"10.1145/1882362.1882428","status":"public","year":"2010","title":"Engineering self-coordinating software intensive systems","author":[{"full_name":"Schäfer, Wilhelm","first_name":"Wilhelm","last_name":"Schäfer"},{"full_name":"Trächtler, Ansgar","last_name":"Trächtler","first_name":"Ansgar"},{"first_name":"Mauro","last_name":"Birattari","full_name":"Birattari, Mauro"},{"id":"23","full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer"},{"first_name":"Marco","last_name":"Dorigo","full_name":"Dorigo, Marco"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"full_name":"O'Grady, Rehan","first_name":"Rehan","last_name":"O'Grady"},{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco","id":"398"},{"first_name":"Franz","last_name":"Rammig","full_name":"Rammig, Franz"},{"last_name":"Reif","first_name":"Wolfgang","full_name":"Reif, Wolfgang"}],"publication_identifier":{"isbn":["9781450304276"]},"publication_status":"published","date_updated":"2022-01-06T06:58:50Z","date_created":"2018-06-05T08:03:49Z","type":"conference","department":[{"_id":"64"}],"publication":"Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10","citation":{"chicago":"Schäfer, Wilhelm, Ansgar Trächtler, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O’Grady, Marco Platzner, Franz Rammig, and Wolfgang Reif. “Engineering Self-Coordinating Software Intensive Systems.” In <i>Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10</i>. ACM Press, 2010. <a href=\"https://doi.org/10.1145/1882362.1882428\">https://doi.org/10.1145/1882362.1882428</a>.","short":"W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.","ieee":"W. Schäfer <i>et al.</i>, “Engineering self-coordinating software intensive systems,” in <i>Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10</i>, 2010.","apa":"Schäfer, W., Trächtler, A., Birattari, M., Blömer, J., Dorigo, M., Engels, G., … Reif, W. (2010). Engineering self-coordinating software intensive systems. In <i>Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10</i>. ACM Press. <a href=\"https://doi.org/10.1145/1882362.1882428\">https://doi.org/10.1145/1882362.1882428</a>","bibtex":"@inproceedings{Schäfer_Trächtler_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_2010, title={Engineering self-coordinating software intensive systems}, DOI={<a href=\"https://doi.org/10.1145/1882362.1882428\">10.1145/1882362.1882428</a>}, booktitle={Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10}, publisher={ACM Press}, author={Schäfer, Wilhelm and Trächtler, Ansgar and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels, Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz and Reif, Wolfgang}, year={2010} }","ama":"Schäfer W, Trächtler A, Birattari M, et al. Engineering self-coordinating software intensive systems. In: <i>Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10</i>. ACM Press; 2010. doi:<a href=\"https://doi.org/10.1145/1882362.1882428\">10.1145/1882362.1882428</a>","mla":"Schäfer, Wilhelm, et al. “Engineering Self-Coordinating Software Intensive Systems.” <i>Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10</i>, ACM Press, 2010, doi:<a href=\"https://doi.org/10.1145/1882362.1882428\">10.1145/1882362.1882428</a>."}},{"date_created":"2018-06-07T09:28:51Z","type":"conference","department":[{"_id":"558"}],"publication":"Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings","citation":{"ieee":"T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “Generic Compilers for Authenticated Key Exchange,” in <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 232--249.","apa":"Jager, T., Kohlar, F., Schäge, S., &#38; Schwenk, J. (2010). Generic Compilers for Authenticated Key Exchange. In <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i> (pp. 232--249). <a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">https://doi.org/10.1007/978-3-642-17373-8_14</a>","short":"T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249.","chicago":"Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “Generic Compilers for Authenticated Key Exchange.” In <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 232--249, 2010. <a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">https://doi.org/10.1007/978-3-642-17373-8_14</a>.","mla":"Jager, Tibor, et al. “Generic Compilers for Authenticated Key Exchange.” <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 232--249, doi:<a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">10.1007/978-3-642-17373-8_14</a>.","bibtex":"@inproceedings{Jager_Kohlar_Schäge_Schwenk_2010, title={Generic Compilers for Authenticated Key Exchange}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">10.1007/978-3-642-17373-8_14</a>}, booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}, author={Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}, year={2010}, pages={232--249} }","ama":"Jager T, Kohlar F, Schäge S, Schwenk J. Generic Compilers for Authenticated Key Exchange. In: <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>. ; 2010:232--249. doi:<a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">10.1007/978-3-642-17373-8_14</a>"},"extern":"1","page":"232--249","_id":"3139","user_id":"38235","doi":"10.1007/978-3-642-17373-8_14","year":"2010","title":"Generic Compilers for Authenticated Key Exchange","status":"public","author":[{"id":"64669","first_name":"Tibor","last_name":"Jager","full_name":"Jager, Tibor"},{"full_name":"Kohlar, Florian","last_name":"Kohlar","first_name":"Florian"},{"full_name":"Schäge, Sven","first_name":"Sven","last_name":"Schäge"},{"full_name":"Schwenk, Jörg","last_name":"Schwenk","first_name":"Jörg"}],"date_updated":"2022-01-06T06:58:58Z"},{"publication":"Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings","citation":{"ama":"Jager T, Rupp A. The Semi-Generic Group Model and Applications to Pairing-Based Cryptography. In: <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>. ; 2010:539--556. doi:<a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">10.1007/978-3-642-17373-8_31</a>","bibtex":"@inproceedings{Jager_Rupp_2010, title={The Semi-Generic Group Model and Applications to Pairing-Based Cryptography}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">10.1007/978-3-642-17373-8_31</a>}, booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}, author={Jager, Tibor and Rupp, Andy}, year={2010}, pages={539--556} }","mla":"Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 539--556, doi:<a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">10.1007/978-3-642-17373-8_31</a>.","chicago":"Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” In <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 539--556, 2010. <a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">https://doi.org/10.1007/978-3-642-17373-8_31</a>.","short":"T. Jager, A. Rupp, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.","apa":"Jager, T., &#38; Rupp, A. (2010). The Semi-Generic Group Model and Applications to Pairing-Based Cryptography. In <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i> (pp. 539--556). <a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">https://doi.org/10.1007/978-3-642-17373-8_31</a>","ieee":"T. Jager and A. Rupp, “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography,” in <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 539--556."},"extern":"1","date_created":"2018-06-07T09:29:23Z","type":"conference","department":[{"_id":"558"}],"title":"The Semi-Generic Group Model and Applications to Pairing-Based Cryptography","status":"public","year":"2010","author":[{"last_name":"Jager","first_name":"Tibor","full_name":"Jager, Tibor","id":"64669"},{"full_name":"Rupp, Andy","last_name":"Rupp","first_name":"Andy"}],"date_updated":"2022-01-06T06:58:58Z","page":"539--556","_id":"3140","doi":"10.1007/978-3-642-17373-8_31","user_id":"38235"},{"extern":"1","publication":"Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings","citation":{"mla":"Haralambiev, Kristiyan, et al. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>, 2010, pp. 1--18, doi:<a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">10.1007/978-3-642-13013-7_1</a>.","ama":"Haralambiev K, Jager T, Kiltz E, Shoup V. Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. In: <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>. ; 2010:1--18. doi:<a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">10.1007/978-3-642-13013-7_1</a>","bibtex":"@inproceedings{Haralambiev_Jager_Kiltz_Shoup_2010, title={Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">10.1007/978-3-642-13013-7_1</a>}, booktitle={Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings}, author={Haralambiev, Kristiyan and Jager, Tibor and Kiltz, Eike and Shoup, Victor}, year={2010}, pages={1--18} }","apa":"Haralambiev, K., Jager, T., Kiltz, E., &#38; Shoup, V. (2010). Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. In <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i> (pp. 1--18). <a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">https://doi.org/10.1007/978-3-642-13013-7_1</a>","ieee":"K. Haralambiev, T. Jager, E. Kiltz, and V. Shoup, “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model,” in <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>, 2010, pp. 1--18.","short":"K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.","chicago":"Haralambiev, Kristiyan, Tibor Jager, Eike Kiltz, and Victor Shoup. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” In <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>, 1--18, 2010. <a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">https://doi.org/10.1007/978-3-642-13013-7_1</a>."},"type":"conference","department":[{"_id":"558"}],"date_created":"2018-06-07T09:29:52Z","date_updated":"2022-01-06T06:58:58Z","year":"2010","title":"Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model","status":"public","author":[{"first_name":"Kristiyan","last_name":"Haralambiev","full_name":"Haralambiev, Kristiyan"},{"id":"64669","last_name":"Jager","first_name":"Tibor","full_name":"Jager, Tibor"},{"last_name":"Kiltz","first_name":"Eike","full_name":"Kiltz, Eike"},{"full_name":"Shoup, Victor","last_name":"Shoup","first_name":"Victor"}],"doi":"10.1007/978-3-642-13013-7_1","user_id":"38235","page":"1--18","_id":"3141"},{"_id":"3189","page":"192--210","doi":"10.1016/j.scico.2009.11.004","user_id":"29719","author":[{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"year":"2010","status":"public","title":"Model transformations across views","date_updated":"2022-01-06T06:59:03Z","date_created":"2018-06-13T08:44:32Z","department":[{"_id":"77"}],"type":"journal_article","citation":{"chicago":"Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” <i>Sci. Comput. Program.</i>, no. 3 (2010): 192--210. <a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">https://doi.org/10.1016/j.scico.2009.11.004</a>.","short":"J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.","ieee":"J. Derrick and H. Wehrheim, “Model transformations across views,” <i>Sci. Comput. Program.</i>, no. 3, pp. 192--210, 2010.","apa":"Derrick, J., &#38; Wehrheim, H. (2010). Model transformations across views. <i>Sci. Comput. Program.</i>, (3), 192--210. <a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">https://doi.org/10.1016/j.scico.2009.11.004</a>","bibtex":"@article{Derrick_Wehrheim_2010, title={Model transformations across views}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>}, number={3}, journal={Sci. Comput. Program.}, author={Derrick, John and Wehrheim, Heike}, year={2010}, pages={192--210} }","ama":"Derrick J, Wehrheim H. Model transformations across views. <i>Sci Comput Program</i>. 2010;(3):192--210. doi:<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>","mla":"Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” <i>Sci. Comput. Program.</i>, no. 3, 2010, pp. 192--210, doi:<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>."},"publication":"Sci. Comput. Program.","issue":"3"},{"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-13T09:10:56Z","publication":"Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday","citation":{"apa":"Schäfer, W., &#38; Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. In G. Engels, C. Lewerentz, W. Sch{\\\"{a}}fer, A. Sch{\\\"{u}}rr, &#38; B. Westfechtel (Eds.), <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday</i> (pp. 533--554). <a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">https://doi.org/10.1007/978-3-642-17322-6_23</a>","mla":"Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>, edited by Gregor Engels et al., 2010, pp. 533--554, doi:<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>.","ieee":"W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},” in <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday</i>, 2010, pp. 533--554.","chicago":"Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” In <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch{\\\"{a}}fer, Andy Sch{\\\"{u}}rr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">https://doi.org/10.1007/978-3-642-17322-6_23</a>.","short":"W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\\\"{a}}fer, A. Sch{\\\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.","ama":"Schäfer W, Wehrheim H. Model-Driven Development with Mechatronic {UML}. In: Engels G, Lewerentz C, Sch{\\\"{a}}fer W, Sch{\\\"{u}}rr A, Westfechtel B, eds. <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>. Lecture Notes in Computer Science. ; 2010:533--554. doi:<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>","bibtex":"@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>}, booktitle={Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={Engels, Gregor and Lewerentz, Claus and Sch{\\\"{a}}fer, Wilhelm and Sch{\\\"{u}}rr, Andy and Westfechtel, BernhardEditors}, year={2010}, pages={533--554}, collection={Lecture Notes in Computer Science} }"},"user_id":"29719","doi":"10.1007/978-3-642-17322-6_23","editor":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"last_name":"Lewerentz","first_name":"Claus","full_name":"Lewerentz, Claus"},{"full_name":"Sch{\\\"{a}}fer, Wilhelm","last_name":"Sch{\\\"{a}}fer","first_name":"Wilhelm"},{"full_name":"Sch{\\\"{u}}rr, Andy","first_name":"Andy","last_name":"Sch{\\\"{u}}rr"},{"full_name":"Westfechtel, Bernhard","first_name":"Bernhard","last_name":"Westfechtel"}],"page":"533--554","_id":"3191","series_title":"Lecture Notes in Computer Science","date_updated":"2022-01-06T06:59:04Z","year":"2010","title":"Model-Driven Development with Mechatronic {UML}","status":"public","author":[{"full_name":"Schäfer, Wilhelm","first_name":"Wilhelm","last_name":"Schäfer"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}]},{"publication":"Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings","citation":{"chicago":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” In <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">https://doi.org/10.1007/978-3-642-16901-4_35</a>.","short":"N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.","ieee":"N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, 2010, pp. 534--548.","apa":"Timm, N., &#38; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong &#38; H. Zhu (Eds.), <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i> (pp. 534--548). <a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">https://doi.org/10.1007/978-3-642-16901-4_35</a>","bibtex":"@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>}, booktitle={Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong, Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture Notes in Computer Science} }","ama":"Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:534--548. doi:<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>","mla":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>."},"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-13T09:12:28Z","date_updated":"2022-01-06T06:59:04Z","status":"public","year":"2010","title":"On Symmetries and Spotlights - Verifying Parameterised Systems","author":[{"last_name":"Timm","first_name":"Nils","full_name":"Timm, Nils"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"doi":"10.1007/978-3-642-16901-4_35","user_id":"29719","editor":[{"full_name":"Song Dong, Jin","last_name":"Song Dong","first_name":"Jin"},{"full_name":"Zhu, Huibiao","last_name":"Zhu","first_name":"Huibiao"}],"page":"534--548","series_title":"Lecture Notes in Computer Science","_id":"3193"},{"author":[{"full_name":"Hülsbusch, Mathias","last_name":"Hülsbusch","first_name":"Mathias"},{"first_name":"Barbara","last_name":"König","full_name":"König, Barbara"},{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"},{"last_name":"Semenyak","first_name":"Maria","full_name":"Semenyak, Maria"},{"id":"1737","last_name":"Soltenborn","first_name":"Christian","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"status":"public","title":"Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques","year":"2010","date_updated":"2022-01-06T06:59:04Z","language":[{"iso":"eng"}],"_id":"3194","series_title":"Lecture Notes in Computer Science","page":"183--198","editor":[{"first_name":"Dominique","last_name":"M{\\'{e}}ry","full_name":"M{\\'{e}}ry, Dominique"},{"last_name":"Merz","first_name":"Stephan","full_name":"Merz, Stephan"}],"doi":"10.1007/978-3-642-16265-7_14","user_id":"14955","citation":{"apa":"Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i> (pp. 183--198). <a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">https://doi.org/10.1007/978-3-642-16265-7_14</a>","ieee":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques,” in <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 183--198.","short":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.","chicago":"Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” In <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">https://doi.org/10.1007/978-3-642-16265-7_14</a>.","mla":"Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>.","ama":"Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In: M{\\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:183--198. doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>","bibtex":"@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={M{\\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science} }"},"publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","date_created":"2018-06-13T09:19:33Z","department":[{"_id":"77"}],"type":"conference"},{"date_updated":"2022-01-06T06:57:35Z","publication_status":"published","author":[{"first_name":"Sufyan","last_name":"Samara","full_name":"Samara, Sufyan"},{"full_name":"Schomaker, Gunnar","last_name":"Schomaker","first_name":"Gunnar"}],"title":"Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip","year":"2010","status":"public","doi":"10.1109/cit.2010.304","user_id":"15415","_id":"27159","language":[{"iso":"eng"}],"citation":{"bibtex":"@inproceedings{Samara_Schomaker_2010, title={Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip}, DOI={<a href=\"https://doi.org/10.1109/cit.2010.304\">10.1109/cit.2010.304</a>}, booktitle={2010 10th IEEE International Conference on Computer and Information Technology}, author={Samara, Sufyan and Schomaker, Gunnar}, year={2010} }","ama":"Samara S, Schomaker G. Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. In: <i>2010 10th IEEE International Conference on Computer and Information Technology</i>. ; 2010. doi:<a href=\"https://doi.org/10.1109/cit.2010.304\">10.1109/cit.2010.304</a>","mla":"Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip.” <i>2010 10th IEEE International Conference on Computer and Information Technology</i>, 2010, doi:<a href=\"https://doi.org/10.1109/cit.2010.304\">10.1109/cit.2010.304</a>.","chicago":"Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip.” In <i>2010 10th IEEE International Conference on Computer and Information Technology</i>, 2010. <a href=\"https://doi.org/10.1109/cit.2010.304\">https://doi.org/10.1109/cit.2010.304</a>.","short":"S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on Computer and Information Technology, 2010.","ieee":"S. Samara and G. Schomaker, “Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip,” 2010, doi: <a href=\"https://doi.org/10.1109/cit.2010.304\">10.1109/cit.2010.304</a>.","apa":"Samara, S., &#38; Schomaker, G. (2010). Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. <i>2010 10th IEEE International Conference on Computer and Information Technology</i>. <a href=\"https://doi.org/10.1109/cit.2010.304\">https://doi.org/10.1109/cit.2010.304</a>"},"publication":"2010 10th IEEE International Conference on Computer and Information Technology","department":[{"_id":"63"},{"_id":"26"}],"type":"conference","date_created":"2021-11-04T15:53:55Z"},{"_id":"20934","publisher":"ACM Press","language":[{"iso":"eng"}],"page":"299 - 300","volume":2,"user_id":"5786","author":[{"full_name":"von Detten, Markus","last_name":"von Detten","first_name":"Markus"},{"full_name":"Meyer, Matthias","first_name":"Matthias","last_name":"Meyer","id":"683"},{"full_name":"Travkin, Dietrich","last_name":"Travkin","first_name":"Dietrich"}],"title":"Reverse Engineering with the Reclipse Tool Suite","year":"2010","status":"public","intvolume":"         2","date_updated":"2022-01-06T06:54:41Z","place":"New York, NY, USA","date_created":"2021-01-13T10:00:42Z","department":[{"_id":"76"}],"type":"conference","citation":{"bibtex":"@inproceedings{von Detten_Meyer_Travkin_2010, place={New York, NY, USA}, title={Reverse Engineering with the Reclipse Tool Suite}, volume={2}, booktitle={Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010}, publisher={ACM Press}, author={von Detten, Markus and Meyer, Matthias and Travkin, Dietrich}, year={2010}, pages={299–300} }","ama":"von Detten M, Meyer M, Travkin D. Reverse Engineering with the Reclipse Tool Suite. In: <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>. Vol 2. ACM Press; 2010:299-300.","mla":"von Detten, Markus, et al. “Reverse Engineering with the Reclipse Tool Suite.” <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>, vol. 2, ACM Press, 2010, pp. 299–300.","short":"M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.","chicago":"Detten, Markus von, Matthias Meyer, and Dietrich Travkin. “Reverse Engineering with the Reclipse Tool Suite.” In <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>, 2:299–300. New York, NY, USA: ACM Press, 2010.","ieee":"M. von Detten, M. Meyer, and D. Travkin, “Reverse Engineering with the Reclipse Tool Suite,” in <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>, 2010, vol. 2, pp. 299–300.","apa":"von Detten, M., Meyer, M., &#38; Travkin, D. (2010). Reverse Engineering with the Reclipse Tool Suite. <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>, <i>2</i>, 299–300."},"publication":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010"},{"abstract":[{"text":"Design pattern detection is a reverse engineering methodology that helps software engineers to analyze and understand legacy software by recovering design decisions and thereby providing deeper insight into software. In this report we present Reclipse, a reverse engineering tool suite based on Fujaba. Reclipse provides static and dynamic design pattern detection in combination with a pattern rating that is used to evaluate the quality of our detection results.","lang":"eng"}],"citation":{"chicago":"Detten, Markus von, Matthias Meyer, and Dietrich Travkin. <i>Reclipse - A Reverse Engineering Tool Suite</i>, 2010.","short":"M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.","apa":"von Detten, M., Meyer, M., &#38; Travkin, D. (2010). <i>Reclipse - A Reverse Engineering Tool Suite</i>.","ieee":"M. von Detten, M. Meyer, and D. Travkin, <i>Reclipse - A Reverse Engineering Tool Suite</i>. 2010.","ama":"von Detten M, Meyer M, Travkin D. <i>Reclipse - A Reverse Engineering Tool Suite</i>.; 2010.","bibtex":"@book{von Detten_Meyer_Travkin_2010, title={Reclipse - A Reverse Engineering Tool Suite}, author={von Detten, Markus and Meyer, Matthias and Travkin, Dietrich}, year={2010} }","mla":"von Detten, Markus, et al. <i>Reclipse - A Reverse Engineering Tool Suite</i>. 2010."},"type":"report","department":[{"_id":"76"}],"date_created":"2021-01-13T10:01:07Z","date_updated":"2022-01-06T06:54:41Z","year":"2010","status":"public","title":"Reclipse - A Reverse Engineering Tool Suite","author":[{"full_name":"von Detten, Markus","first_name":"Markus","last_name":"von Detten"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"},{"last_name":"Travkin","first_name":"Dietrich","full_name":"Travkin, Dietrich"}],"user_id":"5786","_id":"20935","language":[{"iso":"eng"}]},{"publication":"Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care","citation":{"ieee":"R. Löffler, M. Meyer, and M. Gottschalk, “Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications,” in <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 2010, pp. 57–67.","apa":"Löffler, R., Meyer, M., &#38; Gottschalk, M. (2010). Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 57–67.","mla":"Löffler, Renate, et al. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, ACM, 2010, pp. 57–67.","bibtex":"@inproceedings{Löffler_Meyer_Gottschalk_2010, place={New York, NY, USA}, title={Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications}, booktitle={Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care}, publisher={ACM}, author={Löffler, Renate and Meyer, Matthias and Gottschalk, Matthias}, year={2010}, pages={57–67} }","short":"R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.","ama":"Löffler R, Meyer M, Gottschalk M. Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. In: <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>. ACM; 2010:57-67.","chicago":"Löffler, Renate, Matthias Meyer, and Matthias Gottschalk. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” In <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 57–67. New York, NY, USA: ACM, 2010."},"place":"New York, NY, USA","date_created":"2021-01-13T10:01:49Z","type":"conference","department":[{"_id":"76"}],"title":"Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications","year":"2010","status":"public","author":[{"first_name":"Renate","last_name":"Löffler","full_name":"Löffler, Renate"},{"id":"683","full_name":"Meyer, Matthias","first_name":"Matthias","last_name":"Meyer"},{"full_name":"Gottschalk, Matthias","last_name":"Gottschalk","first_name":"Matthias"}],"date_updated":"2022-01-06T06:54:41Z","page":"57-67","language":[{"iso":"eng"}],"_id":"20936","publisher":"ACM","user_id":"5786"},{"abstract":[{"text":"Self-healing promises to improve the dependability of systems. In particular safety-critical systems like automotive systems are well suited application, since safe operation is required in these systems even in case of failures. Prerequisite for the improved dependability is the correct realization of the self-healing techniques. Consequently, self-healing activities should be rigorously specified and appropriately integrated with the rest of the system. In this paper, we present an approach for designing self-healing mechanisms in automotive systems. The approach contains a construction model which consist of a structural description as well as an extensive set of constraints. The constraints specify a correct system structure and are also used in the self-healing activities. We exemplify the self-healing approach using the adaptive cruise control system of modern cars.\r\n","lang":"eng"}],"citation":{"mla":"Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.” <i>Lecture Notes in Computer Science</i>, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">10.1007/978-3-642-16576-4_4</a>.","apa":"Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., &#38; Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In <i>Lecture Notes in Computer Science</i>. <a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">https://doi.org/10.1007/978-3-642-16576-4_4</a>","ieee":"H. Seebach <i>et al.</i>, “Designing Self-healing in Automotive Systems,” in <i>Lecture Notes in Computer Science</i>, Berlin, Heidelberg, 2010.","chicago":"Seebach, Hella, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, and Wilhelm Schäfer. “Designing Self-Healing in Automotive Systems.” In <i>Lecture Notes in Computer Science</i>. Berlin, Heidelberg, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">https://doi.org/10.1007/978-3-642-16576-4_4</a>.","ama":"Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive Systems. In: <i>Lecture Notes in Computer Science</i>. ; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">10.1007/978-3-642-16576-4_4</a>","short":"H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.","bibtex":"@inbook{Seebach_Nafz_Holtmann_Meyer_Tichy_Reif_Schäfer_2010, place={Berlin, Heidelberg}, title={Designing Self-healing in Automotive Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">10.1007/978-3-642-16576-4_4</a>}, booktitle={Lecture Notes in Computer Science}, author={Seebach, Hella and Nafz, Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang and Schäfer, Wilhelm}, year={2010} }"},"publication":"Lecture Notes in Computer Science","department":[{"_id":"76"}],"type":"book_chapter","place":"Berlin, Heidelberg","date_created":"2021-01-13T10:54:04Z","date_updated":"2022-01-06T06:54:42Z","publication_status":"published","author":[{"full_name":"Seebach, Hella","first_name":"Hella","last_name":"Seebach"},{"last_name":"Nafz","first_name":"Florian","full_name":"Nafz, Florian"},{"id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","first_name":"Jörg","orcid":"0000-0001-6141-4571"},{"last_name":"Meyer","first_name":"Jan","full_name":"Meyer, Jan"},{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"},{"full_name":"Reif, Wolfgang","first_name":"Wolfgang","last_name":"Reif"},{"full_name":"Schäfer, Wilhelm","first_name":"Wilhelm","last_name":"Schäfer"}],"publication_identifier":{"isbn":["9783642165757","9783642165764"],"issn":["0302-9743","1611-3349"]},"status":"public","year":"2010","title":"Designing Self-healing in Automotive Systems","doi":"10.1007/978-3-642-16576-4_4","user_id":"5786","_id":"20961","language":[{"iso":"eng"}]},{"abstract":[{"text":"Im Bereich der eingebetteten Systeme, beispielsweise im Automobilsektor, wird heutzutage immer mehr auf eine modellbasierte Entwicklung gesetzt. Die Anforderungen an die zu entwickelnden Systeme werden dagegen aus juristischen Gründen und zwecks einer guten Verständlichkeit nach wie vor rein textuell formuliert. Ein Prosatext lässt sich allerdings wegen der Fülle von Formulierungsmöglichkeiten nicht automatisiert verarbeiten. Dies führt dazu, dass die Qualitätsanalyse der Anforderungen und der Übergang von textuellen Anforderungen zu Systemmodellen auf manuelle Weise erfolgen müssen. Dies kostet Zeit und ist fehleranfällig. In diesem Beitrag wird ein Ansatz vorgestellt, mit dem Anforderungen auf Basis von Satzmustern weiterhin textuell, aber gleichzeitig auch automatisiert verarbeitbar formuliert werden können.","lang":"eng"}],"citation":{"short":"J. Holtmann, OBJEKTspektrum (2010).","chicago":"Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” <i>OBJEKTspektrum</i>, no. RE/2010 (2010).","ieee":"J. Holtmann, “Mit Satzmustern von textuellen Anforderungen zu Modellen,” <i>OBJEKTspektrum</i>, no. RE/2010, 2010.","apa":"Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen. <i>OBJEKTspektrum</i>, <i>RE/2010</i>.","bibtex":"@article{Holtmann_2010, title={Mit Satzmustern von textuellen Anforderungen zu Modellen}, number={RE/2010}, journal={OBJEKTspektrum}, author={Holtmann, Jörg}, year={2010} }","ama":"Holtmann J. Mit Satzmustern von textuellen Anforderungen zu Modellen. <i>OBJEKTspektrum</i>. 2010;(RE/2010).","mla":"Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” <i>OBJEKTspektrum</i>, no. RE/2010, 2010."},"issue":"RE/2010","publication":"OBJEKTspektrum","department":[{"_id":"76"}],"type":"journal_article","date_created":"2021-01-13T10:54:49Z","date_updated":"2022-01-06T06:54:42Z","author":[{"full_name":"Holtmann, Jörg","first_name":"Jörg","last_name":"Holtmann"}],"status":"public","title":"Mit Satzmustern von textuellen Anforderungen zu Modellen","year":"2010","user_id":"5786","language":[{"iso":"eng"}],"_id":"20962"},{"type":"conference","department":[{"_id":"76"}],"date_created":"2021-01-13T10:55:51Z","abstract":[{"text":"Heutige Transportsysteme, wie z.B. Automobile sind gekennzeichnet durch eine Vielzahl von Funktionalitaet, die sehr haeufig durch Software realisiert wird. Hiermit ist eine Zunahme der Komplexitaet festzustellen. Zur Beherrschung dieser Komplexitaet und damit einhergehend die Aufteilung des Systems in verschiedene Komponenten, ist eine Gesamtmodellierung des Systems inklusive des Verhaltens unerlaesslich. Ein besonderer Augenmerk liegt auf Grund der Echtzeitsysteme in dieser Domaene dabei auf der Modellierung von Zeiten auf Systemebene. Die derzeitigen Modellierungskonzepte, wie beispielsweise die Systems Modeling Language (SysML), sind dafuer aber noch nicht ausreichend. In dem hier vorgestellten Ansatz wird eine erweiterte Systemmodellierung vorgestellt, die zusaetzlich eine formale Spezifizierung von Zeiten erlaubt. Durch diese Modellierung sind weitere Analysemethoden, wie z.B. Simulationen oder Verifikationen moeglich, die zum einen die sicherheitsrelevante Funktionalitaet sicherstellen und zum anderen die Qualitaet der Software steigern.","lang":"ger"}],"publication":"Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)","citation":{"ieee":"J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,” in <i>Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)</i>, 2010, vol. P-160.","apa":"Meyer, J., Holtmann, J., Schäfer, W., &#38; Nickel, U. A. (2010). Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. <i>Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium)</i>, <i>P-160</i>.","short":"J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.","chicago":"Meyer, Jan, Jörg Holtmann, Wilhelm Schäfer, and Ulrich A. Nickel. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” In <i>Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium)</i>, Vol. P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2010.","mla":"Meyer, Jan, et al. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” <i>Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium)</i>, vol. P-160, Bonner Koellen Verlag, 2010.","bibtex":"@inproceedings{Meyer_Holtmann_Schäfer_Nickel_2010, series={GI-Edition - Lecture Notes in Informatics (LNI)}, title={Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie}, volume={P-160}, booktitle={Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)}, publisher={Bonner Koellen Verlag}, author={Meyer, Jan and Holtmann, Jörg and Schäfer, Wilhelm and Nickel, Ulrich A.}, year={2010}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }","ama":"Meyer J, Holtmann J, Schäfer W, Nickel UA. Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In: <i>Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium)</i>. Vol P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2010."},"user_id":"5786","volume":"P-160","_id":"20963","publisher":"Bonner Koellen Verlag","series_title":"GI-Edition - Lecture Notes in Informatics (LNI)","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:42Z","year":"2010","status":"public","title":"Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie","author":[{"full_name":"Meyer, Jan","first_name":"Jan","last_name":"Meyer"},{"id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","first_name":"Jörg","last_name":"Holtmann"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"full_name":"Nickel, Ulrich A.","last_name":"Nickel","first_name":"Ulrich A."}]}]