Mitja Kulczynski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | s2s: An Eager SMT Solver for Strings. | Kevin Lotz, Mitja Kulczynski, Dirk Nowotka |
| 2021 | CAV | An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. | Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh |
| 2021 | DLT | Weighted Prefix Normal Words: Mind the Gap. | Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka |
| 2021 | FM | Z3str4: A Multi-armed String Solver. | Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh |
| 2020 | ICSE | Rule-based Word Equation Solving. | Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bgsted Poulsen |
| 2020 | ICSE | The Power of String Solving: Simplicity of Comparison. | Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bgsted Poulsen |
| 2020 | LATA | On Collapsing Prefix Normal Words. | Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bgsted Poulsen |