default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMitja Kulczynski
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j2]Mitja Kulczynski
, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
ZaligVinder: A generic test framework for string solvers. J. Softw. Evol. Process. 35(4) (2023)- [j1]Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka:
Towards more efficient methods for solving regular-expression heavy string constraints. Theor. Comput. Sci. 943: 50-72 (2023) - [c13]Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull:
Verified Verifying: SMT-LIB for Strings in Isabelle. CIAA 2023: 206-217 - 2022
- [b1]Mitja Kulczynski:
Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints. University of Kiel, Germany, 2022 - [c12]Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen:
Solving String Theories Involving Regular Membership Predicates Using SAT. SPIN 2022: 134-151 - [i6]Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
A Generic Information Extraction System for String Constraints. CoRR abs/2208.08806 (2022) - 2021
- [c11]Rudolf Berghammer, Mitja Kulczynski:
Experimental Investigation of Sufficient Criteria for Relations to Have Kernels. RAMiCS 2021: 72-89 - [c10]Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh:
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. CAV (2) 2021: 289-312 - [c9]Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka:
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. WORDS 2021: 50-64 - [c8]Yannik Eikmeier, Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka:
Weighted Prefix Normal Words: Mind the Gap. DLT 2021: 143-154 - [c7]Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh:
Z3str4: A Multi-armed String Solver. FM 2021: 389-406 - [c6]Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen:
Analysis of Source Code Using UPPAAL. F-IDE@NFM 2021: 31-38 - [i5]Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka:
String Theories involving Regular Membership Predicates: From Practice to Theory and Back. CoRR abs/2105.07220 (2021) - [i4]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka:
The Show Must Go On - Examination During a Pandemic. CoRR abs/2107.04014 (2021) - 2020
- [c5]Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
The Power of String Solving: Simplicity of Comparison. AST@ICSE 2020: 85-88 - [c4]Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
Rule-based Word Equation Solving. FormaliSE@ICSE 2020: 87-97 - [c3]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen:
On Collapsing Prefix Normal Words. LATA 2020: 412-424 - [i3]Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh:
A Length-aware Regular Expression SMT Solver. CoRR abs/2010.07253 (2020)
2010 – 2019
- 2019
- [c2]Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
On Solving Word Equations Using SAT. RP 2019: 93-106 - [c1]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke:
Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. FMTea 2019: 181-195 - [i2]Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka:
On Collapsing Prefix Normal Words. CoRR abs/1905.11847 (2019) - [i1]Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
On Solving Word Equations Using SAT. CoRR abs/1906.11718 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
