On Solving Word Equations Using SAT. - Joel D. Day; Thorsten Ehlers; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (RP, 2019)

Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka; Thomas Wilke (FMTea, 2019)

On Collapsing Prefix Normal Words. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka (CoRR, 2019)

Rule-based Word Equation Solving. - Joel D. Day; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (FormaliSE@ICSE, 2020)

The Power of String Solving: Simplicity of Comparison. - Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (AST@ICSE, 2020)

On Collapsing Prefix Normal Words. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen (LATA, 2020)

A Length-aware Regular Expression SMT Solver. - Murphy Berzish; Mitja Kulczynski; Federico Mora 002; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh 001 (CoRR, 2020)

Experimental Investigation of Sufficient Criteria for Relations to Have Kernels. - Rudolf Berghammer; Mitja Kulczynski (RAMiCS, 2021)

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. - Murphy Berzish; Mitja Kulczynski; Federico Mora 002; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh 001 (CAV (2), 2021)

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. - Murphy Berzish; Joel D. Day; Vijay Ganesh 001; Mitja Kulczynski; Florin Manea; Federico Mora 002; Dirk Nowotka (WORDS, 2021)

Weighted Prefix Normal Words: Mind the Gap. - Yannik Eikmeier; Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka (DLT, 2021)

Z3str4: A Multi-armed String Solver. - Federico Mora 002; Murphy Berzish; Mitja Kulczynski; Dirk Nowotka; Vijay Ganesh 001 (FM, 2021)

The Show Must Go On - Examination During a Pandemic. - Pamela Fleischmann; Mitja Kulczynski; Dirk Nowotka (CoRR, 2021)

Analysis of Source Code Using UPPAAL. - Mitja Kulczynski; Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen (F-IDE@NFM, 2021)

Solving String Theories Involving Regular Membership Predicates Using SAT. - Mitja Kulczynski; Kevin Lotz; Dirk Nowotka; Danny Bøgsted Poulsen (SPIN, 2022)

A Generic Information Extraction System for String Constraints. - Joel D. Day; Adrian Kröger; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (CoRR, 2022)

Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints. - Mitja Kulczynski (2022)

Verified Verifying: SMT-LIB for Strings in Isabelle. - Kevin Lotz; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen; Anders Schlichtkrull (CIAA, 2023)

Towards more efficient methods for solving regular-expression heavy string constraints. - Murphy Berzish; Joel D. Day; Vijay Ganesh 001; Mitja Kulczynski; Florin Manea; Federico Mora 002; Dirk Nowotka (Theor. Comput. Sci., 2023)

ZaligVinder: A generic test framework for string solvers. - Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (J. Softw. Evol. Process., 2023)

SMTQuery: Analysing SMT-LIB String Benchmarks. - Mitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-Cahn (SBMF, 2024)

Untersuchung von Erfolgsfaktoren für Co-Creation Plattformen für KMU. - Hanna Fritzke; Ann-Kristin Cordes; Mitja Kulczynski (Wirtschaftsinformatik, 2024)