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 accounts 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 2025202420232022202120202019201820172016201520142013201220080000 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 Lin, Zibin 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 Shi, Long Slaats, Tijs Straub, Natalia Stürtz, Norman Tan, Chee-Wee Tithi, Jesmin Jahan Tolle, Karsten Urzyczyn, Paweł Vetter, Dennis Wang, Liangmin Wang, Qiong Wang, Taotao Westerlund, Magnus Wu, Haiqin Wurth, Renee Xu, Yibin Yang, Qing Ying, Chenhao Zhang, Shengli Zhao, Ran Zheng, Jingyi Zhou, Jun Zhou, Yongluan Zicari, Roberto V Zicari, Roberto V. Zuckmantel, Tilman All users BorisDuedder 52 entries « ‹ 2 of 2 › » 2008 Düdder, BorisFormale Verifikation mittels Model Checking in Materialflusssystemen Masters Thesis TU Dortmund, 2008.BibTeX | Tags: Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking@mastersthesis{Duedder08, title = {Formale Verifikation mittels Model Checking in Materialflusssystemen}, author = {Boris Düdder}, year = {2008}, date = {2008-01-01}, pages = {1--98}, school = {TU Dortmund}, keywords = {Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking}, pubstate = {published}, tppubtype = {mastersthesis} } Close0000[No title] Bachelor Thesis 0000.BibTeX | Tags: @bachelorthesis{nokey, title = {[No title]}, keywords = {}, pubstate = {published}, tppubtype = {bachelorthesis} } Close52 entries « ‹ 2 of 2 › »
