Concepedia

Mitja Kulczynski

MK

Statistics

Publications

4

Citations

49

H-Index

4

Active since

2020

Affiliations

University of Göttingen(Current)

Christian-Albrechts-Universität zu Kiel

Aalborg University

Loughborough University

Mitja Kulczynski is an author at University of Göttingen specializing in engineering, computational complexity, and computer science.

ORCID

Top concepts

Publications per year

2020–2022

4

Publications

4

Towards more efficient methods for solving regular-expression heavy string constraints

Murphy Berzish, Joel D. Day, Vijay Ganesh et al. · Theoretical Computer Science · 2022 · 19 citations

, , +8

Rule-based Word Equation Solving

Joel D. Day, Mitja Kulczynski, Florín Manea et al. · 2020 · 10 citations · Full text

The Power of String Solving

Mitja Kulczynski, Florín Manea, Dirk Nowotka et al. · 2020 · 10 citations · Full text

, , +20

ZaligVinder: A generic test framework for string solvers

Mitja Kulczynski, Florín Manea, Dirk Nowotka et al. · Journal of Software Evolution and Process · 2021 · 10 citations · Full text

1–4 of 4