--- _id: '52379' author: - first_name: Sven full_name: Hüsing, Sven id: '58465' last_name: Hüsing - first_name: Carsten full_name: Schulte, Carsten id: '60311' last_name: Schulte - first_name: Sören full_name: Sparmann, Sören id: '63216' last_name: Sparmann - first_name: Mario full_name: Bolte, Mario last_name: Bolte citation: ama: 'Hüsing S, Schulte C, Sparmann S, Bolte M. Using Worked Examples for Engaging in Epistemic Programming Projects. In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. ACM; 2024. doi:10.1145/3626252.3630961' apa: Hüsing, S., Schulte, C., Sparmann, S., & Bolte, M. (2024). Using Worked Examples for Engaging in Epistemic Programming Projects. Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. https://doi.org/10.1145/3626252.3630961 bibtex: '@inproceedings{Hüsing_Schulte_Sparmann_Bolte_2024, title={Using Worked Examples for Engaging in Epistemic Programming Projects}, DOI={10.1145/3626252.3630961}, booktitle={Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1}, publisher={ACM}, author={Hüsing, Sven and Schulte, Carsten and Sparmann, Sören and Bolte, Mario}, year={2024} }' chicago: Hüsing, Sven, Carsten Schulte, Sören Sparmann, and Mario Bolte. “Using Worked Examples for Engaging in Epistemic Programming Projects.” In Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. ACM, 2024. https://doi.org/10.1145/3626252.3630961. ieee: 'S. Hüsing, C. Schulte, S. Sparmann, and M. Bolte, “Using Worked Examples for Engaging in Epistemic Programming Projects,” 2024, doi: 10.1145/3626252.3630961.' mla: Hüsing, Sven, et al. “Using Worked Examples for Engaging in Epistemic Programming Projects.” Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, ACM, 2024, doi:10.1145/3626252.3630961. short: 'S. Hüsing, C. Schulte, S. Sparmann, M. Bolte, in: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, ACM, 2024.' date_created: 2024-03-08T08:01:50Z date_updated: 2024-03-21T23:19:04Z department: - _id: '67' doi: 10.1145/3626252.3630961 language: - iso: eng publication: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1 publication_status: published publisher: ACM status: public title: Using Worked Examples for Engaging in Epistemic Programming Projects type: conference user_id: '58465' year: '2024' ... --- _id: '52827' author: - first_name: Lijie full_name: Hu, Lijie last_name: Hu - first_name: Ivan full_name: Habernal, Ivan id: '101881' last_name: Habernal - first_name: Lei full_name: Shen, Lei last_name: Shen - first_name: Di full_name: Wang, Di last_name: Wang citation: ama: 'Hu L, Habernal I, Shen L, Wang D. Differentially Private Natural Language Models: Recent Advances and Future Directions. In: Graham Y, Purver M, eds. Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024. Association for Computational Linguistics; 2024:478–499.' apa: 'Hu, L., Habernal, I., Shen, L., & Wang, D. (2024). Differentially Private Natural Language Models: Recent Advances and Future Directions. In Y. Graham & M. Purver (Eds.), Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024 (pp. 478–499). Association for Computational Linguistics.' bibtex: '@inproceedings{Hu_Habernal_Shen_Wang_2024, title={Differentially Private Natural Language Models: Recent Advances and Future Directions}, booktitle={Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024}, publisher={Association for Computational Linguistics}, author={Hu, Lijie and Habernal, Ivan and Shen, Lei and Wang, Di}, editor={Graham, Yvette and Purver, Matthew}, year={2024}, pages={478–499} }' chicago: 'Hu, Lijie, Ivan Habernal, Lei Shen, and Di Wang. “Differentially Private Natural Language Models: Recent Advances and Future Directions.” In Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024, edited by Yvette Graham and Matthew Purver, 478–499. Association for Computational Linguistics, 2024.' ieee: 'L. Hu, I. Habernal, L. Shen, and D. Wang, “Differentially Private Natural Language Models: Recent Advances and Future Directions,” in Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024, 2024, pp. 478–499.' mla: 'Hu, Lijie, et al. “Differentially Private Natural Language Models: Recent Advances and Future Directions.” Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024, edited by Yvette Graham and Matthew Purver, Association for Computational Linguistics, 2024, pp. 478–499.' short: 'L. Hu, I. Habernal, L. Shen, D. Wang, in: Y. Graham, M. Purver (Eds.), Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024, Association for Computational Linguistics, 2024, pp. 478–499.' date_created: 2024-03-25T10:30:32Z date_updated: 2024-03-25T10:31:30Z department: - _id: '820' editor: - first_name: Yvette full_name: Graham, Yvette last_name: Graham - first_name: Matthew full_name: Purver, Matthew last_name: Purver language: - iso: eng page: 478–499 publication: 'Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024' publisher: Association for Computational Linguistics status: public title: 'Differentially Private Natural Language Models: Recent Advances and Future Directions' type: conference user_id: '15504' year: '2024' ... --- _id: '52842' abstract: - lang: eng text: Neural machine translation (NMT) is a widely popular text generation task, yet there is a considerable research gap in the development of privacy-preserving NMT models, despite significant data privacy concerns for NMT systems. Differentially private stochastic gradient descent (DP-SGD) is a popular method for training machine learning models with concrete privacy guarantees; however, the implementation specifics of training a model with DP-SGD are not always clarified in existing models, with differing software libraries used and code bases not always being public, leading to reproducibility issues. To tackle this, we introduce DP-NMT, an open-source framework for carrying out research on privacy-preserving NMT with DP-SGD, bringing together numerous models, datasets, and evaluation metrics in one systematic software package. Our goal is to provide a platform for researchers to advance the development of privacy-preserving NMT systems, keeping the specific details of the DP-SGD algorithm transparent and intuitive to implement. We run a set of experiments on datasets from both general and privacy-related domains to demonstrate our framework in use. We make our framework publicly available and welcome feedback from the community. author: - first_name: Timour full_name: Igamberdiev, Timour last_name: Igamberdiev - first_name: Doan Nam Long full_name: Vu, Doan Nam Long last_name: Vu - first_name: Felix full_name: Kuennecke, Felix last_name: Kuennecke - first_name: Zhuo full_name: Yu, Zhuo last_name: Yu - first_name: Jannik full_name: Holmer, Jannik last_name: Holmer - first_name: Ivan full_name: Habernal, Ivan id: '101881' last_name: Habernal citation: ama: 'Igamberdiev T, Vu DNL, Kuennecke F, Yu Z, Holmer J, Habernal I. DP-NMT: Scalable Differentially Private Machine Translation. In: Aletras N, De Clercq O, eds. Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations. Association for Computational Linguistics; 2024:94–105.' apa: 'Igamberdiev, T., Vu, D. N. L., Kuennecke, F., Yu, Z., Holmer, J., & Habernal, I. (2024). DP-NMT: Scalable Differentially Private Machine Translation. In N. Aletras & O. De Clercq (Eds.), Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations (pp. 94–105). Association for Computational Linguistics.' bibtex: '@inproceedings{Igamberdiev_Vu_Kuennecke_Yu_Holmer_Habernal_2024, place={St. Julians, Malta}, title={DP-NMT: Scalable Differentially Private Machine Translation}, booktitle={Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations}, publisher={Association for Computational Linguistics}, author={Igamberdiev, Timour and Vu, Doan Nam Long and Kuennecke, Felix and Yu, Zhuo and Holmer, Jannik and Habernal, Ivan}, editor={Aletras, Nikolaos and De Clercq, Orphee}, year={2024}, pages={94–105} }' chicago: 'Igamberdiev, Timour, Doan Nam Long Vu, Felix Kuennecke, Zhuo Yu, Jannik Holmer, and Ivan Habernal. “DP-NMT: Scalable Differentially Private Machine Translation.” In Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, edited by Nikolaos Aletras and Orphee De Clercq, 94–105. St. Julians, Malta: Association for Computational Linguistics, 2024.' ieee: 'T. Igamberdiev, D. N. L. Vu, F. Kuennecke, Z. Yu, J. Holmer, and I. Habernal, “DP-NMT: Scalable Differentially Private Machine Translation,” in Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, 2024, pp. 94–105.' mla: 'Igamberdiev, Timour, et al. “DP-NMT: Scalable Differentially Private Machine Translation.” Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, edited by Nikolaos Aletras and Orphee De Clercq, Association for Computational Linguistics, 2024, pp. 94–105.' short: 'T. Igamberdiev, D.N.L. Vu, F. Kuennecke, Z. Yu, J. Holmer, I. Habernal, in: N. Aletras, O. De Clercq (Eds.), Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, Association for Computational Linguistics, St. Julians, Malta, 2024, pp. 94–105.' date_created: 2024-03-25T11:30:44Z date_updated: 2024-03-25T11:31:12Z department: - _id: '820' editor: - first_name: Nikolaos full_name: Aletras, Nikolaos last_name: Aletras - first_name: Orphee full_name: De Clercq, Orphee last_name: De Clercq language: - iso: eng page: 94–105 place: St. Julians, Malta publication: 'Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations' publisher: Association for Computational Linguistics status: public title: 'DP-NMT: Scalable Differentially Private Machine Translation' type: conference user_id: '15504' year: '2024' ... --- _id: '53095' author: - first_name: Kamran full_name: Razavi, Kamran last_name: Razavi - first_name: Saeid full_name: Ghafouri, Saeid last_name: Ghafouri - first_name: Max full_name: Mühlhäuser, Max last_name: Mühlhäuser - first_name: Pooyan full_name: Jamshidi, Pooyan last_name: Jamshidi - first_name: Lin full_name: Wang, Lin id: '102868' last_name: Wang citation: ama: 'Razavi K, Ghafouri S, Mühlhäuser M, Jamshidi P, Wang L. Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling. In: Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024. ACM; 2024.' apa: 'Razavi, K., Ghafouri, S., Mühlhäuser, M., Jamshidi, P., & Wang, L. (2024). Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling. Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024. The 4th Workshop on Machine Learning and Systems (EuroMLSys), colocated with EuroSys 2024, Athens, Greece.' bibtex: '@inproceedings{Razavi_Ghafouri_Mühlhäuser_Jamshidi_Wang_2024, title={Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling}, booktitle={Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), colocated with EuroSys 2024}, publisher={ACM}, author={Razavi, Kamran and Ghafouri, Saeid and Mühlhäuser, Max and Jamshidi, Pooyan and Wang, Lin}, year={2024} }' chicago: 'Razavi, Kamran, Saeid Ghafouri, Max Mühlhäuser, Pooyan Jamshidi, and Lin Wang. “Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling.” In Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024. ACM, 2024.' ieee: 'K. Razavi, S. Ghafouri, M. Mühlhäuser, P. Jamshidi, and L. Wang, “Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling,” presented at the The 4th Workshop on Machine Learning and Systems (EuroMLSys), colocated with EuroSys 2024, Athens, Greece, 2024.' mla: 'Razavi, Kamran, et al. “Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling.” Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024, ACM, 2024.' short: 'K. Razavi, S. Ghafouri, M. Mühlhäuser, P. Jamshidi, L. Wang, in: Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024, ACM, 2024.' conference: end_date: 2024-04-22 location: Athens, Greece name: The 4th Workshop on Machine Learning and Systems (EuroMLSys), colocated with EuroSys 2024 start_date: 2024-04-22 date_created: 2024-03-28T12:00:49Z date_updated: 2024-03-28T12:02:23Z department: - _id: '34' - _id: '7' - _id: '75' language: - iso: eng publication: Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), colocated with EuroSys 2024 publisher: ACM status: public title: 'Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling' type: conference user_id: '102868' year: '2024' ... --- _id: '35083' author: - first_name: Andreas Peter full_name: Dann, Andreas Peter id: '26886' last_name: Dann - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 'Dann AP, Hermann B, Bodden E. UpCy: Safely Updating Outdated Dependencies. Published online 2023.' apa: 'Dann, A. P., Hermann, B., & Bodden, E. (2023). UpCy: Safely Updating Outdated Dependencies.' bibtex: '@article{Dann_Hermann_Bodden_2023, series={International Conference on Software Engineering (ICSE)}, title={UpCy: Safely Updating Outdated Dependencies}, author={Dann, Andreas Peter and Hermann, Ben and Bodden, Eric}, year={2023}, collection={International Conference on Software Engineering (ICSE)} }' chicago: 'Dann, Andreas Peter, Ben Hermann, and Eric Bodden. “UpCy: Safely Updating Outdated Dependencies.” International Conference on Software Engineering (ICSE), 2023.' ieee: 'A. P. Dann, B. Hermann, and E. Bodden, “UpCy: Safely Updating Outdated Dependencies.” 2023.' mla: 'Dann, Andreas Peter, et al. UpCy: Safely Updating Outdated Dependencies. 2023.' short: A.P. Dann, B. Hermann, E. Bodden, (2023). date_created: 2023-01-02T09:26:50Z date_updated: 2023-01-02T09:28:32Z department: - _id: '76' language: - iso: eng series_title: International Conference on Software Engineering (ICSE) status: public title: 'UpCy: Safely Updating Outdated Dependencies' type: conference user_id: '15249' year: '2023' ... --- _id: '21199' abstract: - lang: eng text: "As in almost every other branch of science, the major advances in data\r\nscience and machine learning have also resulted in significant improvements\r\nregarding the modeling and simulation of nonlinear dynamical systems. It is\r\nnowadays possible to make accurate medium to long-term predictions of highly\r\ncomplex systems such as the weather, the dynamics within a nuclear fusion\r\nreactor, of disease models or the stock market in a very efficient manner. In\r\nmany cases, predictive methods are advertised to ultimately be useful for\r\ncontrol, as the control of high-dimensional nonlinear systems is an engineering\r\ngrand challenge with huge potential in areas such as clean and efficient energy\r\nproduction, or the development of advanced medical devices. However, the\r\nquestion of how to use a predictive model for control is often left unanswered\r\ndue to the associated challenges, namely a significantly higher system\r\ncomplexity, the requirement of much larger data sets and an increased and often\r\nproblem-specific modeling effort. To solve these issues, we present a universal\r\nframework (which we call QuaSiModO:\r\nQuantization-Simulation-Modeling-Optimization) to transform arbitrary\r\npredictive models into control systems and use them for feedback control. The\r\nadvantages of our approach are a linear increase in data requirements with\r\nrespect to the control dimension, performance guarantees that rely exclusively\r\non the accuracy of the predictive model, and only little prior knowledge\r\nrequirements in control theory to solve complex control problems. In particular\r\nthe latter point is of key importance to enable a large number of researchers\r\nand practitioners to exploit the ever increasing capabilities of predictive\r\nmodels for control in a straight-forward and systematic fashion." article_number: '110840' author: - first_name: Sebastian full_name: Peitz, Sebastian id: '47427' last_name: Peitz orcid: 0000-0002-3389-793X - first_name: Katharina full_name: Bieker, Katharina id: '32829' last_name: Bieker citation: ama: Peitz S, Bieker K. On the Universal Transformation of Data-Driven Models to Control Systems. Automatica. 2023;149. doi:10.1016/j.automatica.2022.110840 apa: Peitz, S., & Bieker, K. (2023). On the Universal Transformation of Data-Driven Models to Control Systems. Automatica, 149, Article 110840. https://doi.org/10.1016/j.automatica.2022.110840 bibtex: '@article{Peitz_Bieker_2023, title={On the Universal Transformation of Data-Driven Models to Control Systems}, volume={149}, DOI={10.1016/j.automatica.2022.110840}, number={110840}, journal={Automatica}, publisher={Elsevier}, author={Peitz, Sebastian and Bieker, Katharina}, year={2023} }' chicago: Peitz, Sebastian, and Katharina Bieker. “On the Universal Transformation of Data-Driven Models to Control Systems.” Automatica 149 (2023). https://doi.org/10.1016/j.automatica.2022.110840. ieee: 'S. Peitz and K. Bieker, “On the Universal Transformation of Data-Driven Models to Control Systems,” Automatica, vol. 149, Art. no. 110840, 2023, doi: 10.1016/j.automatica.2022.110840.' mla: Peitz, Sebastian, and Katharina Bieker. “On the Universal Transformation of Data-Driven Models to Control Systems.” Automatica, vol. 149, 110840, Elsevier, 2023, doi:10.1016/j.automatica.2022.110840. short: S. Peitz, K. Bieker, Automatica 149 (2023). date_created: 2021-02-10T07:04:15Z date_updated: 2023-01-07T12:01:58Z department: - _id: '101' - _id: '655' doi: 10.1016/j.automatica.2022.110840 intvolume: ' 149' language: - iso: eng main_file_link: - open_access: '1' url: https://www.sciencedirect.com/science/article/pii/S0005109822007075/pdfft?isDTMRedir=true&download=true oa: '1' project: - _id: '52' name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing' publication: Automatica publication_status: published publisher: Elsevier status: public title: On the Universal Transformation of Data-Driven Models to Control Systems type: journal_article user_id: '47427' volume: 149 year: '2023' ... --- _id: '37553' author: - first_name: Elena full_name: Schrader, Elena last_name: Schrader - first_name: Ruslan full_name: Bernijazov, Ruslan last_name: Bernijazov - first_name: Marc full_name: Foullois, Marc last_name: Foullois - first_name: Michael full_name: Hillebrand, Michael last_name: Hillebrand - first_name: Lydia full_name: Kaiser, Lydia last_name: Kaiser - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu citation: ama: 'Schrader E, Bernijazov R, Foullois M, Hillebrand M, Kaiser L, Dumitrescu R. Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering. In: 2022 IEEE International Symposium on Systems Engineering (ISSE). IEEE; 2023. doi:10.1109/isse54508.2022.10005487' apa: Schrader, E., Bernijazov, R., Foullois, M., Hillebrand, M., Kaiser, L., & Dumitrescu, R. (2023). Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering. 2022 IEEE International Symposium on Systems Engineering (ISSE). https://doi.org/10.1109/isse54508.2022.10005487 bibtex: '@inproceedings{Schrader_Bernijazov_Foullois_Hillebrand_Kaiser_Dumitrescu_2023, title={Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering}, DOI={10.1109/isse54508.2022.10005487}, booktitle={2022 IEEE International Symposium on Systems Engineering (ISSE)}, publisher={IEEE}, author={Schrader, Elena and Bernijazov, Ruslan and Foullois, Marc and Hillebrand, Michael and Kaiser, Lydia and Dumitrescu, Roman}, year={2023} }' chicago: Schrader, Elena, Ruslan Bernijazov, Marc Foullois, Michael Hillebrand, Lydia Kaiser, and Roman Dumitrescu. “Examples of AI-Based Assistance Systems in Context of Model-Based Systems Engineering.” In 2022 IEEE International Symposium on Systems Engineering (ISSE). IEEE, 2023. https://doi.org/10.1109/isse54508.2022.10005487. ieee: 'E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, and R. Dumitrescu, “Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering,” 2023, doi: 10.1109/isse54508.2022.10005487.' mla: Schrader, Elena, et al. “Examples of AI-Based Assistance Systems in Context of Model-Based Systems Engineering.” 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023, doi:10.1109/isse54508.2022.10005487. short: 'E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.' date_created: 2023-01-19T10:39:14Z date_updated: 2023-01-19T10:43:05Z department: - _id: '563' doi: 10.1109/isse54508.2022.10005487 language: - iso: eng publication: 2022 IEEE International Symposium on Systems Engineering (ISSE) publication_status: published publisher: IEEE status: public title: Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering type: conference user_id: '15782' year: '2023' ... --- _id: '35426' author: - first_name: Cedric full_name: Richter, Cedric id: '50003' last_name: Richter - first_name: Jan Frederik full_name: Haltermann, Jan Frederik id: '44413' last_name: Haltermann - first_name: Marie-Christine full_name: Jakobs, Marie-Christine last_name: Jakobs - first_name: Felix full_name: Pauck, Felix id: '22398' last_name: Pauck - first_name: Stefan full_name: Schott, Stefan id: '54847' last_name: Schott - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: 'Richter C, Haltermann JF, Jakobs M-C, Pauck F, Schott S, Wehrheim H. Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? In: 37th IEEE/ACM International Conference on Automated Software Engineering. ACM; 2023. doi:10.1145/3551349.3561156' apa: Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., & Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561156 bibtex: '@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?}, DOI={10.1145/3551349.3561156}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike}, year={2023} }' chicago: Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561156. ieee: 'C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,” 2023, doi: 10.1145/3551349.3561156.' mla: Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561156. short: 'C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.' date_created: 2023-01-09T06:28:44Z date_updated: 2023-01-19T13:50:18Z department: - _id: '77' doi: 10.1145/3551349.3561156 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1145/3551349.3561156 oa: '1' project: - _id: '3' name: 'SFB 901 - B: SFB 901 - Project Area B' - _id: '12' name: 'SFB 901 - B4: SFB 901 - Subproject B4' - _id: '1' name: 'SFB 901: SFB 901' publication: 37th IEEE/ACM International Conference on Automated Software Engineering publication_status: published publisher: ACM status: public title: Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? type: conference user_id: '477' year: '2023' ... --- _id: '36848' author: - first_name: Stefan full_name: Schott, Stefan id: '54847' last_name: Schott - first_name: Felix full_name: Pauck, Felix id: '22398' last_name: Pauck citation: ama: 'Schott S, Pauck F. Benchmark Fuzzing for Android Taint Analyses. In: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE; 2023. doi:10.1109/scam55253.2022.00007' apa: Schott, S., & Pauck, F. (2023). Benchmark Fuzzing for Android Taint Analyses. 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). https://doi.org/10.1109/scam55253.2022.00007 bibtex: '@inproceedings{Schott_Pauck_2023, title={Benchmark Fuzzing for Android Taint Analyses}, DOI={10.1109/scam55253.2022.00007}, booktitle={2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)}, publisher={IEEE}, author={Schott, Stefan and Pauck, Felix}, year={2023} }' chicago: Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” In 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2023. https://doi.org/10.1109/scam55253.2022.00007. ieee: 'S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,” 2023, doi: 10.1109/scam55253.2022.00007.' mla: Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023, doi:10.1109/scam55253.2022.00007. short: 'S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.' date_created: 2023-01-16T07:17:12Z date_updated: 2023-01-19T13:49:06Z department: - _id: '77' doi: 10.1109/scam55253.2022.00007 language: - iso: eng main_file_link: - url: https://ieeexplore.ieee.org/document/10006876 project: - _id: '107' name: 'SFB 901 - T3: SFB 901 -Subproject T3' - _id: '82' name: 'SFB 901 - T: SFB 901 - Project Area T' - _id: '1' name: 'SFB 901: SFB 901' publication: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM) publication_status: published publisher: IEEE status: public title: Benchmark Fuzzing for Android Taint Analyses type: conference user_id: '477' year: '2023' ... --- _id: '35427' author: - first_name: Felix full_name: Pauck, Felix id: '22398' last_name: Pauck citation: ama: 'Pauck F. Scaling Arbitrary Android App Analyses. In: 37th IEEE/ACM International Conference on Automated Software Engineering. ACM; 2023. doi:10.1145/3551349.3561339' apa: Pauck, F. (2023). Scaling Arbitrary Android App Analyses. 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561339 bibtex: '@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses}, DOI={10.1145/3551349.3561339}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Pauck, Felix}, year={2023} }' chicago: Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561339. ieee: 'F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: 10.1145/3551349.3561339.' mla: Pauck, Felix. “Scaling Arbitrary Android App Analyses.” 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339. short: 'F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.' date_created: 2023-01-09T06:32:33Z date_updated: 2023-01-19T13:49:52Z department: - _id: '77' doi: 10.1145/3551349.3561339 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1145/3551349.3561339 oa: '1' project: - _id: '1' name: 'SFB 901: SFB 901' - _id: '3' name: 'SFB 901 - B: SFB 901 - Project Area B' - _id: '12' name: 'SFB 901 - B4: SFB 901 - Subproject B4' publication: 37th IEEE/ACM International Conference on Automated Software Engineering publication_status: published publisher: ACM status: public title: Scaling Arbitrary Android App Analyses type: conference user_id: '477' year: '2023' ... --- _id: '38031' abstract: - lang: eng text: "We consider the data-driven approximation of the Koopman operator for\r\nstochastic differential equations on reproducing kernel Hilbert spaces (RKHS).\r\nOur focus is on the estimation error if the data are collected from long-term\r\nergodic simulations. We derive both an exact expression for the variance of the\r\nkernel cross-covariance operator, measured in the Hilbert-Schmidt norm, and\r\nprobabilistic bounds for the finite-data estimation error. Moreover, we derive\r\na bound on the prediction error of observables in the RKHS using a finite\r\nMercer series expansion. Further, assuming Koopman-invariance of the RKHS, we\r\nprovide bounds on the full approximation error. Numerical experiments using the\r\nOrnstein-Uhlenbeck process illustrate our results." author: - first_name: Friedrich full_name: Philipp, Friedrich last_name: Philipp - first_name: Manuel full_name: Schaller, Manuel last_name: Schaller - first_name: Karl full_name: Worthmann, Karl last_name: Worthmann - first_name: Sebastian full_name: Peitz, Sebastian id: '47427' last_name: Peitz orcid: 0000-0002-3389-793X - first_name: Feliks full_name: Nüske, Feliks last_name: Nüske citation: ama: Philipp F, Schaller M, Worthmann K, Peitz S, Nüske F. Error bounds for kernel-based approximations of the Koopman operator. arXiv:230108637. Published online 2023. apa: Philipp, F., Schaller, M., Worthmann, K., Peitz, S., & Nüske, F. (2023). Error bounds for kernel-based approximations of the Koopman operator. In arXiv:2301.08637. bibtex: '@article{Philipp_Schaller_Worthmann_Peitz_Nüske_2023, title={Error bounds for kernel-based approximations of the Koopman operator}, journal={arXiv:2301.08637}, author={Philipp, Friedrich and Schaller, Manuel and Worthmann, Karl and Peitz, Sebastian and Nüske, Feliks}, year={2023} }' chicago: Philipp, Friedrich, Manuel Schaller, Karl Worthmann, Sebastian Peitz, and Feliks Nüske. “Error Bounds for Kernel-Based Approximations of the Koopman Operator.” ArXiv:2301.08637, 2023. ieee: F. Philipp, M. Schaller, K. Worthmann, S. Peitz, and F. Nüske, “Error bounds for kernel-based approximations of the Koopman operator,” arXiv:2301.08637. 2023. mla: Philipp, Friedrich, et al. “Error Bounds for Kernel-Based Approximations of the Koopman Operator.” ArXiv:2301.08637, 2023. short: F. Philipp, M. Schaller, K. Worthmann, S. Peitz, F. Nüske, ArXiv:2301.08637 (2023). date_created: 2023-01-23T07:03:39Z date_updated: 2023-01-23T07:04:12Z department: - _id: '655' external_id: arxiv: - '2301.08637' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/pdf/2301.08637 oa: '1' publication: arXiv:2301.08637 status: public title: Error bounds for kernel-based approximations of the Koopman operator type: preprint user_id: '47427' year: '2023' ... --- _id: '40440' author: - first_name: Matthias full_name: Pilot, Matthias last_name: Pilot citation: ama: Pilot M. Updatable Privacy-Preserving Reputation System Based on Blockchain.; 2023. apa: Pilot, M. (2023). Updatable Privacy-Preserving Reputation System based on Blockchain. bibtex: '@book{Pilot_2023, title={Updatable Privacy-Preserving Reputation System based on Blockchain}, author={Pilot, Matthias}, year={2023} }' chicago: Pilot, Matthias. Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023. ieee: M. Pilot, Updatable Privacy-Preserving Reputation System based on Blockchain. 2023. mla: Pilot, Matthias. Updatable Privacy-Preserving Reputation System Based on Blockchain. 2023. short: M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023. date_created: 2023-01-26T16:07:19Z date_updated: 2023-01-26T16:08:11Z department: - _id: '7' - _id: '64' extern: '1' language: - iso: eng project: - _id: '1' name: 'SFB 901: SFB 901' - _id: '4' name: 'SFB 901 - C: SFB 901 - Project Area C' - _id: '13' name: 'SFB 901 - C1: SFB 901 - Subproject C1' status: public supervisor: - first_name: Johannes full_name: Blömer, Johannes id: '23' last_name: Blömer title: Updatable Privacy-Preserving Reputation System based on Blockchain type: mastersthesis user_id: '27207' year: '2023' ... --- _id: '40511' author: - first_name: Sven full_name: Hüsing, Sven id: '58465' last_name: Hüsing - first_name: Carsten full_name: Schulte, Carsten id: '60311' last_name: Schulte - first_name: Felix full_name: Winkelnkemper, Felix id: '3117' last_name: Winkelnkemper citation: ama: 'Hüsing S, Schulte C, Winkelnkemper F. Epistemic Programming. In: Computer Science Education. Bloomsbury Academic; 2023. doi:10.5040/9781350296947.ch-022' apa: Hüsing, S., Schulte, C., & Winkelnkemper, F. (2023). Epistemic Programming. In Computer Science Education. Bloomsbury Academic. https://doi.org/10.5040/9781350296947.ch-022 bibtex: '@inbook{Hüsing_Schulte_Winkelnkemper_2023, title={Epistemic Programming}, DOI={10.5040/9781350296947.ch-022}, booktitle={Computer Science Education}, publisher={Bloomsbury Academic}, author={Hüsing, Sven and Schulte, Carsten and Winkelnkemper, Felix}, year={2023} }' chicago: Hüsing, Sven, Carsten Schulte, and Felix Winkelnkemper. “Epistemic Programming.” In Computer Science Education. Bloomsbury Academic, 2023. https://doi.org/10.5040/9781350296947.ch-022. ieee: S. Hüsing, C. Schulte, and F. Winkelnkemper, “Epistemic Programming,” in Computer Science Education, Bloomsbury Academic, 2023. mla: Hüsing, Sven, et al. “Epistemic Programming.” Computer Science Education, Bloomsbury Academic, 2023, doi:10.5040/9781350296947.ch-022. short: 'S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.' date_created: 2023-01-27T12:25:37Z date_updated: 2023-01-27T12:26:06Z department: - _id: '67' doi: 10.5040/9781350296947.ch-022 language: - iso: eng publication: Computer Science Education publication_identifier: isbn: - '9781350296916' - '9781350296909' - '9781350296930' - '9781350296923' - '9781350296947' publication_status: published publisher: Bloomsbury Academic status: public title: Epistemic Programming type: book_chapter user_id: '58465' year: '2023' ... --- _id: '33947' article_type: original author: - first_name: Jannik full_name: Castenow, Jannik id: '38705' last_name: Castenow - first_name: Jonas full_name: Harbig, Jonas id: '47213' last_name: Harbig - first_name: Daniel full_name: Jung, Daniel id: '37827' last_name: Jung - first_name: Till full_name: Knollmann, Till id: '39241' last_name: Knollmann orcid: 0000-0003-2014-4696 - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide citation: ama: Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. Theoretical Computer Science. 2023;939:261-291. doi:10.1016/j.tcs.2022.10.031 apa: Castenow, J., Harbig, J., Jung, D., Knollmann, T., & Meyer auf der Heide, F. (2023). Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. Theoretical Computer Science, 939, 261–291. https://doi.org/10.1016/j.tcs.2022.10.031 bibtex: '@article{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2023, title={Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation}, volume={939}, DOI={10.1016/j.tcs.2022.10.031}, journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, year={2023}, pages={261–291} }' chicago: 'Castenow, Jannik, Jonas Harbig, Daniel Jung, Till Knollmann, and Friedhelm Meyer auf der Heide. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science 939 (2023): 261–91. https://doi.org/10.1016/j.tcs.2022.10.031.' ieee: 'J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide, “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation,” Theoretical Computer Science, vol. 939, pp. 261–291, 2023, doi: 10.1016/j.tcs.2022.10.031.' mla: Castenow, Jannik, et al. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science, vol. 939, Elsevier BV, 2023, pp. 261–91, doi:10.1016/j.tcs.2022.10.031. short: J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291. date_created: 2022-10-28T05:11:16Z date_updated: 2023-01-30T09:20:09Z department: - _id: '63' doi: 10.1016/j.tcs.2022.10.031 external_id: arxiv: - '2010.04424 ' intvolume: ' 939' keyword: - General Computer Science - Theoretical Computer Science language: - iso: eng page: 261-291 project: - _id: '106' name: 'Algorithmen für Schwarmrobotik: Verteiltes Rechnen trifft Dynamische Systeme' publication: Theoretical Computer Science publication_identifier: issn: - 0304-3975 publication_status: published publisher: Elsevier BV status: public title: Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation type: journal_article user_id: '38705' volume: 939 year: '2023' ... --- _id: '41812' author: - first_name: Linghui full_name: Luo, Linghui last_name: Luo - first_name: Goran full_name: Piskachev, Goran id: '41936' last_name: Piskachev orcid: 0000-0003-4424-5838 - first_name: Ranjith full_name: Krishnamurthy, Ranjith id: '78060' last_name: Krishnamurthy orcid: 0000-0002-0906-5463 - first_name: Julian full_name: Dolby, Julian last_name: Dolby - first_name: Martin full_name: Schäf, Martin last_name: Schäf - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 'Luo L, Piskachev G, Krishnamurthy R, Dolby J, Schäf M, Bodden E. Model Generation For Java Frameworks. In: IEEE International Conference on Software Testing, Verification and Validation (ICST). ; 2023.' apa: Luo, L., Piskachev, G., Krishnamurthy, R., Dolby, J., Schäf, M., & Bodden, E. (2023). Model Generation For Java Frameworks. IEEE International Conference on Software Testing, Verification and Validation (ICST). bibtex: '@inproceedings{Luo_Piskachev_Krishnamurthy_Dolby_Schäf_Bodden_2023, title={Model Generation For Java Frameworks}, booktitle={IEEE International Conference on Software Testing, Verification and Validation (ICST)}, author={Luo, Linghui and Piskachev, Goran and Krishnamurthy, Ranjith and Dolby, Julian and Schäf, Martin and Bodden, Eric}, year={2023} }' chicago: Luo, Linghui, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Martin Schäf, and Eric Bodden. “Model Generation For Java Frameworks.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023. ieee: L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, and E. Bodden, “Model Generation For Java Frameworks,” 2023. mla: Luo, Linghui, et al. “Model Generation For Java Frameworks.” IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023. short: 'L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, E. Bodden, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.' date_created: 2023-02-06T10:37:23Z date_updated: 2023-02-06T10:42:29Z department: - _id: '76' - _id: '662' language: - iso: eng publication: IEEE International Conference on Software Testing, Verification and Validation (ICST) status: public title: Model Generation For Java Frameworks type: conference user_id: '15249' year: '2023' ... --- _id: '41813' author: - first_name: Ashwin Prasad full_name: Shivarpatna Venkatesh, Ashwin Prasad id: '66637' last_name: Shivarpatna Venkatesh - first_name: Jiawei full_name: Wang, Jiawei last_name: Wang - first_name: Li full_name: Li, Li last_name: Li - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 'Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2023.' apa: Shivarpatna Venkatesh, A. P., Wang, J., Li, L., & Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). bibtex: '@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }' chicago: Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” In IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023. ieee: A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” 2023. mla: Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023. short: 'A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.' date_created: 2023-02-06T10:44:08Z date_updated: 2023-02-06T10:46:00Z department: - _id: '76' language: - iso: eng publication: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) status: public title: Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis type: conference user_id: '15249' year: '2023' ... --- _id: '34402' author: - first_name: Enes full_name: Yigitbas, Enes id: '8447' last_name: Yigitbas orcid: 0000-0002-5967-833X - first_name: Jonas full_name: Klauke, Jonas id: '40915' last_name: Klauke orcid: 0000-0001-9160-9636 - first_name: Sebastian full_name: Gottschalk, Sebastian id: '47208' last_name: Gottschalk - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: Yigitbas E, Klauke J, Gottschalk S, Engels G. End-User Development of Interactive Web-Based Virtual Reality Scenes. Journal on Computer Languages (COLA) . Published online 2023. apa: Yigitbas, E., Klauke, J., Gottschalk, S., & Engels, G. (2023). End-User Development of Interactive Web-Based Virtual Reality Scenes. Journal on Computer Languages (COLA) . bibtex: '@article{Yigitbas_Klauke_Gottschalk_Engels_2023, title={End-User Development of Interactive Web-Based Virtual Reality Scenes}, journal={Journal on Computer Languages (COLA) }, publisher={Elsevier}, author={Yigitbas, Enes and Klauke, Jonas and Gottschalk, Sebastian and Engels, Gregor}, year={2023} }' chicago: Yigitbas, Enes, Jonas Klauke, Sebastian Gottschalk, and Gregor Engels. “End-User Development of Interactive Web-Based Virtual Reality Scenes.” Journal on Computer Languages (COLA) , 2023. ieee: E. Yigitbas, J. Klauke, S. Gottschalk, and G. Engels, “End-User Development of Interactive Web-Based Virtual Reality Scenes,” Journal on Computer Languages (COLA) , 2023. mla: Yigitbas, Enes, et al. “End-User Development of Interactive Web-Based Virtual Reality Scenes.” Journal on Computer Languages (COLA) , Elsevier, 2023. short: E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages (COLA) (2023). date_created: 2022-12-12T20:04:29Z date_updated: 2023-02-14T10:48:12Z department: - _id: '66' - _id: '534' language: - iso: eng publication: 'Journal on Computer Languages (COLA) ' publisher: Elsevier status: public title: End-User Development of Interactive Web-Based Virtual Reality Scenes type: journal_article user_id: '8447' year: '2023' ... --- _id: '33511' author: - first_name: Enes full_name: Yigitbas, Enes id: '8447' last_name: Yigitbas orcid: 0000-0002-5967-833X - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Yigitbas E, Engels G. Enhancing Robot Programming through Digital Twin and Augmented Reality . In: 56th Hawaii International Conference on System Science (HICSS 2023) . ScholarSpace; 2023.' apa: Yigitbas, E., & Engels, G. (2023). Enhancing Robot Programming through Digital Twin and Augmented Reality . 56th Hawaii International Conference on System Science (HICSS 2023) . bibtex: '@inproceedings{Yigitbas_Engels_2023, title={Enhancing Robot Programming through Digital Twin and Augmented Reality }, booktitle={56th Hawaii International Conference on System Science (HICSS 2023) }, publisher={ScholarSpace}, author={Yigitbas, Enes and Engels, Gregor}, year={2023} }' chicago: Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through Digital Twin and Augmented Reality .” In 56th Hawaii International Conference on System Science (HICSS 2023) . ScholarSpace, 2023. ieee: E. Yigitbas and G. Engels, “Enhancing Robot Programming through Digital Twin and Augmented Reality ,” 2023. mla: Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through Digital Twin and Augmented Reality .” 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023. short: 'E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.' date_created: 2022-10-04T13:30:06Z date_updated: 2023-02-14T10:49:19Z department: - _id: '66' - _id: '534' language: - iso: eng publication: '56th Hawaii International Conference on System Science (HICSS 2023) ' publisher: ScholarSpace status: public title: 'Enhancing Robot Programming through Digital Twin and Augmented Reality ' type: conference user_id: '8447' year: '2023' ... --- _id: '34401' author: - first_name: Enes full_name: Yigitbas, Enes id: '8447' last_name: Yigitbas orcid: 0000-0002-5967-833X - first_name: Sebastian full_name: Krois, Sebastian last_name: Krois - first_name: Sebastian full_name: Gottschalk, Sebastian id: '47208' last_name: Gottschalk - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Yigitbas E, Krois S, Gottschalk S, Engels G. Towards Enhanced Guiding Mechanisms in VR Training through Process Mining. In: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) . ; 2023.' apa: Yigitbas, E., Krois, S., Gottschalk, S., & Engels, G. (2023). Towards Enhanced Guiding Mechanisms in VR Training through Process Mining. Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) . bibtex: '@inproceedings{Yigitbas_Krois_Gottschalk_Engels_2023, title={Towards Enhanced Guiding Mechanisms in VR Training through Process Mining}, booktitle={Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) }, author={Yigitbas, Enes and Krois, Sebastian and Gottschalk, Sebastian and Engels, Gregor}, year={2023} }' chicago: Yigitbas, Enes, Sebastian Krois, Sebastian Gottschalk, and Gregor Engels. “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining.” In Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023. ieee: E. Yigitbas, S. Krois, S. Gottschalk, and G. Engels, “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining,” 2023. mla: Yigitbas, Enes, et al. “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining.” Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023. short: 'E. Yigitbas, S. Krois, S. Gottschalk, G. Engels, in: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.' date_created: 2022-12-12T20:02:01Z date_updated: 2023-02-14T10:49:40Z department: - _id: '66' - _id: '534' language: - iso: eng publication: 'Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP''23) ' status: public title: Towards Enhanced Guiding Mechanisms in VR Training through Process Mining type: conference user_id: '8447' year: '2023' ... --- _id: '34008' author: - first_name: Jannik full_name: Castenow, Jannik id: '38705' last_name: Castenow - first_name: Jonas full_name: Harbig, Jonas id: '47213' last_name: Harbig - first_name: Daniel full_name: Jung, Daniel id: '37827' last_name: Jung - first_name: Peter full_name: Kling, Peter last_name: Kling - first_name: Till full_name: Knollmann, Till id: '39241' last_name: Knollmann orcid: 0000-0003-2014-4696 - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide citation: ama: 'Castenow J, Harbig J, Jung D, Kling P, Knollmann T, Meyer auf der Heide F. A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In: Hillel E, Palmieri R, Riviére E, eds. Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) . Vol 253. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz Zentrum für Informatik; 2023:15:1–15:25. doi:10.4230/LIPIcs.OPODIS.2022.15' apa: Castenow, J., Harbig, J., Jung, D., Kling, P., Knollmann, T., & Meyer auf der Heide, F. (2023). A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In E. Hillel, R. Palmieri, & E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) (Vol. 253, p. 15:1–15:25). Schloss Dagstuhl – Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2022.15 bibtex: '@inproceedings{Castenow_Harbig_Jung_Kling_Knollmann_Meyer auf der Heide_2023, place={Brussels}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility }, volume={253}, DOI={10.4230/LIPIcs.OPODIS.2022.15}, booktitle={Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) }, publisher={Schloss Dagstuhl – Leibniz Zentrum für Informatik}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Hillel, Eshcar and Palmieri, Roberto and Riviére, Etienne}, year={2023}, pages={15:1–15:25}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }' chicago: 'Castenow, Jannik, Jonas Harbig, Daniel Jung, Peter Kling, Till Knollmann, and Friedhelm Meyer auf der Heide. “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility .” In Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , edited by Eshcar Hillel, Roberto Palmieri, and Etienne Riviére, 253:15:1–15:25. Leibniz International Proceedings in Informatics (LIPIcs). Brussels: Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.OPODIS.2022.15.' ieee: 'J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, and F. Meyer auf der Heide, “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility ,” in Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Brussels, 2023, vol. 253, p. 15:1–15:25, doi: 10.4230/LIPIcs.OPODIS.2022.15.' mla: Castenow, Jannik, et al. “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility .” Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , edited by Eshcar Hillel et al., vol. 253, Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023, p. 15:1–15:25, doi:10.4230/LIPIcs.OPODIS.2022.15. short: 'J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: E. Hillel, R. Palmieri, E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Schloss Dagstuhl – Leibniz Zentrum für Informatik, Brussels, 2023, p. 15:1–15:25.' conference: end_date: 2022-12-15 location: Brussels name: 26th International Conference on Principles of Distributed Systems (OPODIS) start_date: 2022-12-13 date_created: 2022-11-04T09:41:30Z date_updated: 2023-02-15T14:53:12Z department: - _id: '63' doi: 10.4230/LIPIcs.OPODIS.2022.15 editor: - first_name: Eshcar full_name: Hillel, Eshcar last_name: Hillel - first_name: Roberto full_name: Palmieri, Roberto last_name: Palmieri - first_name: Etienne full_name: Riviére, Etienne last_name: Riviére external_id: arxiv: - '2206.07567 ' intvolume: ' 253' language: - iso: eng page: 15:1–15:25 place: Brussels project: - _id: '106' name: 'Algorithmen für Schwarmrobotik: Verteiltes Rechnen trifft Dynamische Systeme' publication: 'Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) ' publication_identifier: isbn: - 978-3-95977-265-5 issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl – Leibniz Zentrum für Informatik series_title: Leibniz International Proceedings in Informatics (LIPIcs) status: public title: 'A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility ' type: conference user_id: '38705' volume: 253 year: '2023' ...