---
_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'
...