E-LIB Suche - Ergebnisse für: Ganesh, Vijay

1

P575: The Rare Genomes Project: Improving access to genomic..:

Austin-Tse, Christina ; DiTroia, Stephanie ; O'Leary, Melanie...
Genetics in Medicine Open. 2 (2024) - p. 101481 , 2024

Link: https://doi.org/10.1016/..

2

Gas Gauge: A Security Analysis Tool for Smart Contract Out-..:

, In: Mathematical Research for Blockchain Economy; Lecture Notes in Operations Research,

Nassirzadeh, Behkish ; Sun, Huaiying ; Banescu, Sebastian. - p. 143-167 , 2023

Link: https://doi.org/10.1007/..

3

Towards more efficient methods for solving regular-expressi..:

Berzish, Murphy ; Day, Joel D. ; Ganesh, Vijay...
Theoretical Computer Science. 943 (2023) - p. 50-72 , 2023

Link: https://doi.org/10.1016/..

4

On the Expressive Power of String Constraints:

Day, Joel D. ; Ganesh, Vijay ; Grewal, Nathan.
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 278-308 , 2023

Link: https://doi.org/10.1145/..

5

Algorithm selection for SMT: MachSMT: machine learning driv..:

Scott, Joseph ; Niemetz, Aina ; Preiner, Mathias..
International Journal on Software Tools for Technology Transfer. 25 (2023) 2 - p. 219-239 , 2023

Link: https://doi.org/10.1007/..

6

A Closer Look at the Expressive Power of Logics Based on Wo..:

Day, Joel ; Ganesh, Vijay ; Grewal, Nathan..
Theory of Computing Systems. 68 (2023) 3 - p. 322-379 , 2023

Link: https://doi.org/10.1007/..

7

Publisher Correction: Algorithm selection for SMT:

Scott, Joseph ; Niemetz, Aina ; Preiner, Mathias..
International Journal on Software Tools for Technology Transfer. 25 (2023) 5-6 - p. 799-800 , 2023

Link: https://doi.org/10.1007/..

8

When satisfiability solving meets symbolic computation:

Bright, Curtis ; Kotsireas, Ilias ; Ganesh, Vijay
Communications of the ACM. 65 (2022) 7 - p. 64-72 , 2022

Link: https://doi.org/10.1145/..

9

Diversifying a Parallel SAT Solver with Bayesian Moment Mat..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Vallade, Vincent ; Nejati, Saeed ; Sopena, Julien.. - p. 227-233 , 2022

Link: https://doi.org/10.1007/..

10

Editorial:

Hóu, Zhé ; Ganesh, Vijay ; Sun, Jing
Innovations in Systems and Software Engineering. 18 (2022) 3 - p. 333-334 , 2022

Link: https://doi.org/10.1007/..

11

Machine learning and logic: a new frontier in artificial in..:

Ganesh, Vijay ; Seshia, Sanjit A. ; Jha, Somesh
Formal Methods in System Design. 60 (2022) 3 - p. 426-451 , 2022

Link: https://doi.org/10.1007/..

12

Z3str4: A Multi-armed String Solver:

, In: Formal Methods; Lecture Notes in Computer Science,

Mora, Federico ; Berzish, Murphy ; Kulczynski, Mitja.. - p. 389-406 , 2021

Link: https://doi.org/10.1007/..

13

Complex Golay pairs up to length 28: A search via computer ..:

Bright, Curtis ; Kotsireas, Ilias ; Heinle, Albert.
Journal of Symbolic Computation. 102 (2021) - p. 153-172 , 2021

Link: https://doi.org/10.1016/..

14

MachSMT: A Machine Learning-based Algorithm Selector for SM..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Scott, Joseph ; Niemetz, Aina ; Preiner, Mathias.. - p. 303-325 , 2021

Link: https://doi.org/10.1007/..

15

String Theories Involving Regular Membership Predicates: Fr..:

, In: Lecture Notes in Computer Science; Combinatorics on Words,

Berzish, Murphy ; Day, Joel D. ; Ganesh, Vijay... - p. 50-64 , 2021

Link: https://doi.org/10.1007/..