Matches in SemOpenAlex for { <https://semopenalex.org/work/W2960739905> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2960739905 abstract "The paper titled Hampi: A Solver for String Constraints was published in the proceedings of the International Symposium on Software Testing and Analysis (ISSTA) 2009, and has been selected to receive the ISSTA 2019 Impact Paper Award. The paper describes HAMPI, one of the first practical solver aimed at solving the satisfiability problem for a theory of string (word) equations, operations over strings, predicates over regular expressions and context-free grammars. HAMPI has been used widely to solve many software engineering and security problems, and has inspired considerable research on string solving algorithms and their applications." @default.
- W2960739905 created "2019-07-23" @default.
- W2960739905 creator A5012785389 @default.
- W2960739905 creator A5019170764 @default.
- W2960739905 creator A5032068969 @default.
- W2960739905 creator A5052292970 @default.
- W2960739905 creator A5060695800 @default.
- W2960739905 date "2019-07-10" @default.
- W2960739905 modified "2023-10-18" @default.
- W2960739905 title "Theory and practice of string solvers (invited talk abstract)" @default.
- W2960739905 cites W1555798330 @default.
- W2960739905 cites W1952344271 @default.
- W2960739905 cites W1973650063 @default.
- W2960739905 cites W2008158744 @default.
- W2960739905 cites W2037286444 @default.
- W2960739905 cites W2070791239 @default.
- W2960739905 cites W2088181608 @default.
- W2960739905 cites W2094568767 @default.
- W2960739905 cites W2110318050 @default.
- W2960739905 cites W2113531724 @default.
- W2960739905 cites W2117402063 @default.
- W2960739905 cites W2132897303 @default.
- W2960739905 cites W2136579066 @default.
- W2960739905 cites W2162720432 @default.
- W2960739905 cites W254881558 @default.
- W2960739905 cites W2565985959 @default.
- W2960739905 cites W2889237106 @default.
- W2960739905 cites W4237492309 @default.
- W2960739905 cites W71975127 @default.
- W2960739905 doi "https://doi.org/10.1145/3293882.3338993" @default.
- W2960739905 hasPublicationYear "2019" @default.
- W2960739905 type Work @default.
- W2960739905 sameAs 2960739905 @default.
- W2960739905 citedByCount "1" @default.
- W2960739905 countsByYear W29607399052022 @default.
- W2960739905 crossrefType "proceedings-article" @default.
- W2960739905 hasAuthorship W2960739905A5012785389 @default.
- W2960739905 hasAuthorship W2960739905A5019170764 @default.
- W2960739905 hasAuthorship W2960739905A5032068969 @default.
- W2960739905 hasAuthorship W2960739905A5052292970 @default.
- W2960739905 hasAuthorship W2960739905A5060695800 @default.
- W2960739905 hasConcept C115903868 @default.
- W2960739905 hasConcept C151730666 @default.
- W2960739905 hasConcept C157486923 @default.
- W2960739905 hasConcept C168773769 @default.
- W2960739905 hasConcept C199360897 @default.
- W2960739905 hasConcept C2777904410 @default.
- W2960739905 hasConcept C2778770139 @default.
- W2960739905 hasConcept C2779343474 @default.
- W2960739905 hasConcept C33923547 @default.
- W2960739905 hasConcept C37914503 @default.
- W2960739905 hasConcept C41008148 @default.
- W2960739905 hasConcept C80444323 @default.
- W2960739905 hasConcept C86803240 @default.
- W2960739905 hasConceptScore W2960739905C115903868 @default.
- W2960739905 hasConceptScore W2960739905C151730666 @default.
- W2960739905 hasConceptScore W2960739905C157486923 @default.
- W2960739905 hasConceptScore W2960739905C168773769 @default.
- W2960739905 hasConceptScore W2960739905C199360897 @default.
- W2960739905 hasConceptScore W2960739905C2777904410 @default.
- W2960739905 hasConceptScore W2960739905C2778770139 @default.
- W2960739905 hasConceptScore W2960739905C2779343474 @default.
- W2960739905 hasConceptScore W2960739905C33923547 @default.
- W2960739905 hasConceptScore W2960739905C37914503 @default.
- W2960739905 hasConceptScore W2960739905C41008148 @default.
- W2960739905 hasConceptScore W2960739905C80444323 @default.
- W2960739905 hasConceptScore W2960739905C86803240 @default.
- W2960739905 hasLocation W29607399051 @default.
- W2960739905 hasOpenAccess W2960739905 @default.
- W2960739905 hasPrimaryLocation W29607399051 @default.
- W2960739905 hasRelatedWork W1555272910 @default.
- W2960739905 hasRelatedWork W1876167749 @default.
- W2960739905 hasRelatedWork W2050863593 @default.
- W2960739905 hasRelatedWork W2105167013 @default.
- W2960739905 hasRelatedWork W2160562204 @default.
- W2960739905 hasRelatedWork W2330747214 @default.
- W2960739905 hasRelatedWork W2626453174 @default.
- W2960739905 hasRelatedWork W2735287568 @default.
- W2960739905 hasRelatedWork W2883329459 @default.
- W2960739905 hasRelatedWork W4238877791 @default.
- W2960739905 isParatext "false" @default.
- W2960739905 isRetracted "false" @default.
- W2960739905 magId "2960739905" @default.
- W2960739905 workType "article" @default.