Publications ORCID0000-0002-0241-7729Google Scholarhttps://scholar.google.de/citations?hl=en&user=0ic62YwAAAAJDBLPhttps://dblp.uni-trier.de/pers/d/D=uuml=dder:BorisSCOPUShttps://www.scopus.com/authid/detail.uri?authorId=55794748200 AI Blockchain Blockchain storage Combinatory Logic Coq Distributed Distributed Ledger Technology Ethics Features Formal Method Formal Verification Intersection Types Logistic Material Flow Material Flow System Mechanical Engineering Mixin Model Checking Modular Object-oriented Process Synthesis Product Line Program Synthesis published Software Staged Composition Synthesis Trait Type theory Workflow All years 202420232022202120202019201820172016201520142013201220080000 All types Journal ArticlesBachelor ThesesBook ChaptersProceedings ArticlesMasters ThesesPhD ThesesreportTechnical Reports All authors Amann, Julia Avital, Michel Bager, Simon Bassett, Matthew Eric Bech, Martin Beck, Roman Bessai, Jan Boutup, Søren Brodersen, John Bruneault, Frédérick Brusseau, James Chen, Tzu-Chun Coffee, Megan de'Liguoro, Ugo Debois, Søren Düdder, Boris Dudenhefner, Andrej Eichhorn, Timo Feng, Xia Follert, Guido Fomin, Vladislav Gallucci, Alessio Garbe, Oliver Gilbert, Thomas Krendl Gralla, Mike Guerpinar, Tan Gürpinar, Tan Hagendorff, Thilo Halem, Irmhildvan Halem, Irmhild Hebert, Juan Manuel Heineman, George T Heineman, George T. Henglein, Fritz Henke, Michael Hickman, Eleanore Hildebrandt, Thomas Hildebrandt, Thomas Troels Hildt, Elisabeth Holm, Sune Ioannidis, Philipp Asterios Iqbal, Mubashar Ivanov, Todor Janavicene, Viktorija Janaviciene, Viktorija Jiang, Shunrong Jiang, Xikun Kararigas, Georgios Kienzler, Romeo Kringen, Pedro Lenz, Lisa Li, Lei Luo, Yuan Luo1, Yuan Madai, Vince I. Martens, Moritz Mathez, Emilie Wiinblad Matulevicius, Raimundas McCullough, Melissa Möslein, Florian Mushtaq, Naveed Rehof, JakobJulia Amann Roberto V. Zicari, Frédérick Bruneault Roidl, Moritz Roig, Gemma Ross, Omri Shao, Jianhua Slaats, Tijs Straub, Natalia Stürtz, Norman Tan, Chee-Wee Tithi, Jesmin Jahan Tolle, Karsten Urzyczyn, Paweł Vetter, Dennis Wang, Liangmin Wang, Qiong Westerlund, Magnus Wu, Haiqin Wurth, Renee Xu, Yibin Ying, Chenhao Zhao, Ran Zheng, Jingyi Zhou, Jun Zhou, Yongluan Zicari, Roberto V Zicari, Roberto V. Zuckmantel, Tilman All users BorisDuedder 51 entries « ‹ 2 of 2 › » 0000[No title] Bachelor Thesis 0000.BibTeX | Tags: @bachelorthesis{nokey, title = {[No title]}, keywords = {}, pubstate = {published}, tppubtype = {bachelorthesis} } Close51 entries « ‹ 2 of 2 › »
