Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Vijay Ganesh

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mitja Kulczynski

> Home > Persons > Vijay Ganesh

Publications

2023
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BerzishDGKMMN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BerzishDGKMMN23
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)
2021
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BerzishKMMDNG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BerzishKMMDNG20
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
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/cwords/BerzishDGKMMN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cwords/BerzishDGKMMN21
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
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MoraBKNG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MoraBKNG21
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh:
Z3str4: A Multi-armed String Solver. FM 2021: 389-406
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-07220
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-07220
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)
2020
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-07253
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-07253
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)

a service of

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.