Mitja Kulczynski

26 papers B 2C 5Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Certainty in Formalising SMT-LIB for Strings in Isabelle.
Int. J. Found. Comput. Sci.
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
2025 B conf
s2s: An Eager SMT Solver for Strings.
FMCAD
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka
2024 — conf
SMTQuery: Analysing SMT-LIB String Benchmarks.
SBMF
Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, Paul Sarnighausen-Cahn
2024 — conf
Untersuchung von Erfolgsfaktoren für Co-Creation Plattformen für KMU.
Wirtschaftsinformatik
Hanna Fritzke, Ann-Kristin Cordes, Mitja Kulczynski
2023 J jnl
Towards more efficient methods for solving regular-expression heavy string constraints.
Theor. Comput. Sci.
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2023 C conf
Verified Verifying: SMT-LIB for Strings in Isabelle.
CIAA
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
2023 J jnl
ZaligVinder: A generic test framework for string solvers.
J. Softw. Evol. Process.
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2022 J jnl
A Generic Information Extraction System for String Constraints.
CoRR
Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2022 — —
Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints.
Mitja Kulczynski
2022 — conf
Solving String Theories Involving Regular Membership Predicates Using SAT.
SPIN
Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen
2021 — conf
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.
CAV (2)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021 — conf
Analysis of Source Code Using UPPAAL.
F-IDE@NFM
Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
2021 C conf
Experimental Investigation of Sufficient Criteria for Relations to Have Kernels.
RAMiCS
Rudolf Berghammer, Mitja Kulczynski
2021 — conf
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.
WORDS
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 J jnl
String Theories involving Regular Membership Predicates: From Practice to Theory and Back.
CoRR
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 J jnl
The Show Must Go On - Examination During a Pandemic.
CoRR
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
2021 C conf
Weighted Prefix Normal Words: Mind the Gap.
DLT
Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
2021 B conf
Z3str4: A Multi-armed String Solver.
FM
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
2020 J jnl
A Length-aware Regular Expression SMT Solver.
CoRR
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2020 C conf
On Collapsing Prefix Normal Words.
LATA
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen
2020 — conf
Rule-based Word Equation Solving.
FormaliSE@ICSE
Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2020 C conf
The Power of String Solving: Simplicity of Comparison.
AST
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019 — conf
Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods.
FMTea
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke
2019 J jnl
On Collapsing Prefix Normal Words.
CoRR
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
2019 — conf
On Solving Word Equations Using SAT.
RP
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019 J jnl
On Solving Word Equations Using SAT.
CoRR
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen