×
Edit Profile (opens in new tab)

Goel, Amit

Co-Author Distance
Author ID: goel.amit Recent zbMATH articles by "Goel, Amit"
Published as: Goel, Amit
Documents Indexed: 11 Publications since 2000
Co-Authors: 20 Co-Authors with 10 Joint Publications
493 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
6 Krstic, Sava A.
5 Tinelli, Cesare
3 Grundy, Jim
2 Bryant, Randal E.
2 Fuchs, Alexander
1 Barrett, Clark W.
1 Deters, Morgan
1 Dutertre, Bruno
1 Kamke, Frederick A.
1 Kiesl-Reiter, Benjamin
1 Kong, Soonho
1 Lahiri, Shuvendu Kumar
1 Lotz, Kevin
1 Nowotka, Dirk
1 Phanouriou, Constantinos
1 Reynolds, Andrew
1 Ribbens, Calvin J.
1 Shaffer, Clifford A.
1 Talupur, Muralidhar
1 Watson, Layne Terry

Serials

1 Algorithmica
1 Logical Methods in Computer Science

Fields

10 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

8 Publications have been cited 75 times in 62 Documents Cited by ▼ Year ▼
Quantifier instantiation techniques for finite model finding in SMT. Zbl 1381.68275
Reynolds, Andrew; Tinelli, Cesare; Goel, Amit; Krstić, Sava; Deters, Morgan; Barrett, Clark
17
2013
Architecting solvers for SAT modulo theories: Nelson-Oppen with DPLL. Zbl 1148.68466
Krstić, Sava; Goel, Amit
16
2007
Combined satisfiability modulo parametric theories. Zbl 1186.68297
Krstić, Sava; Goel, Amit; Grundy, Jim; Tinelli, Cesare
13
2007
Ground interpolation for the theory of equality. Zbl 1234.68257
Fuchs, Alexander; Goel, Amit; Grundy, Jim; Krstić, Sava; Tinelli, Cesare
12
2009
Ground interpolation for combined theories. Zbl 1250.68188
Goel, Amit; Krstić, Sava; Tinelli, Cesare
12
2009
Revisiting positive equality. Zbl 1126.68570
Lahiri, Shuvendu K.; Bryant, Randal E.; Goel, Amit; Talupur, Muralidhar
3
2004
Ground interpolation for the theory of equality. Zbl 1239.03022
Fuchs, Alexander; Goel, Amit; Grundy, Jim; Krstić, Sava; Tinelli, Cesare
2
2012
Extending greedy multicast routing to delay sensitive applications. Zbl 0994.68181
Goel, A.; Munagala, K.
1
2002
Quantifier instantiation techniques for finite model finding in SMT. Zbl 1381.68275
Reynolds, Andrew; Tinelli, Cesare; Goel, Amit; Krstić, Sava; Deters, Morgan; Barrett, Clark
17
2013
Ground interpolation for the theory of equality. Zbl 1239.03022
Fuchs, Alexander; Goel, Amit; Grundy, Jim; Krstić, Sava; Tinelli, Cesare
2
2012
Ground interpolation for the theory of equality. Zbl 1234.68257
Fuchs, Alexander; Goel, Amit; Grundy, Jim; Krstić, Sava; Tinelli, Cesare
12
2009
Ground interpolation for combined theories. Zbl 1250.68188
Goel, Amit; Krstić, Sava; Tinelli, Cesare
12
2009
Architecting solvers for SAT modulo theories: Nelson-Oppen with DPLL. Zbl 1148.68466
Krstić, Sava; Goel, Amit
16
2007
Combined satisfiability modulo parametric theories. Zbl 1186.68297
Krstić, Sava; Goel, Amit; Grundy, Jim; Tinelli, Cesare
13
2007
Revisiting positive equality. Zbl 1126.68570
Lahiri, Shuvendu K.; Bryant, Randal E.; Goel, Amit; Talupur, Muralidhar
3
2004
Extending greedy multicast routing to delay sensitive applications. Zbl 0994.68181
Goel, A.; Munagala, K.
1
2002
all cited Publications top 5 cited Publications
all top 5

Cited by 110 Authors

11 Barrett, Clark W.
11 Reynolds, Andrew
10 Tinelli, Cesare
6 Bonacina, Maria Paola
5 Blanchette, Jasmin Christian
5 Bruttomesso, Roberto
5 Zohar, Yoni
4 de Moura, Leonardo
4 Ringeissen, Christophe
4 Sheng, Ying
3 Cimatti, Alessandro
3 Fontaine, Pascal
3 Ghilardi, Silvio
3 Griggio, Alberto
3 Johansson, Moa
3 Kuncak, Viktor
3 Marić, Filip
3 Meseguer Guaita, José
3 Sebastiani, Roberto
3 Wies, Thomas
2 Banković, Milan
2 Barbosa, Haniel
2 Bjørner, Nikolaj S.
2 Graham-Lengrand, Stéphane
2 Lange, Jane
2 Piskac, Ruzica
2 Ranise, Silvio
2 Rümmer, Philipp
2 Shankar, Natarajan
2 Sharygina, Natasha
2 Skeirik, Stephen
2 Stump, Aaron
2 Totla, Nishant
1 Abed, Sa’ed
1 Aït Mohamed, Otmane
1 Alberti, Francesco
1 Artale, Alessandro
1 Backeman, Peter
1 Bodirsky, Manuel
1 Brillout, Angelo
1 Chechik, Marsha
1 Cheng, Xi
1 Cristiá, Maximiliano
1 Cruanes, Simon
1 Deters, Morgan
1 Drecun, Ivan
1 Ebner, Gabriel
1 Echenim, Mnacho
1 El Ouraoui, Daniel
1 Feldman, Yotam M. Y.
1 Feng, Nick
1 Fleury, Mathias
1 Franzén, Anders
1 Goel, Amit
1 Greiner, Johannes
1 Groves, Lindsay J.
1 Hadarean, Liana
1 Hanaoka, Goichiro
1 Hartung, Gunnar
1 Hu, Alan J.
1 Immerman, Neil
1 Jovanović, Dejan
1 Jung, Jean Christoph
1 Kaidel, Björn
1 Kitagawa, Fuyuki
1 Koch, Alexander K.
1 Koch, Jessica
1 Kröning, Daniel
1 Krstic, Sava A.
1 Lammich, Peter
1 Le, Thi Thieu Hoa
1 Marsso, Lina
1 Matsuda, Takahiro
1 Mazzullo, Andrea
1 Mokhtari, Yassine
1 Niemetz, Aina
1 Oe, Duckki
1 Ozaki, Ana
1 Padon, Oded
1 Pearce, David J.
1 Preiner, Mathias
1 Rakamarić, Zvonimir
1 Rodeh, Yoav
1 Rollini, Simone Fulvio
1 Rossi, Gianfranco
1 Rupp, Andy
1 Rybalchenko, Andrey
1 Rydval, Jakub
1 Sabetzadeh, Mehrdad
1 Sagiv, Mooly
1 Schlaipfer, Matthias
1 Shoham, Sharon
1 Sofronie-Stokkermans, Viorica
1 Song, Xiaoyu
1 Steiger, Robin
1 Strichman, Ofer
1 Sun, Jiaguang
1 Suter, Philippe
1 Tahar, Sofiène
1 Tanaka, Keisuke
...and 10 more Authors
all top 5

Cited in 13 Serials

16 Journal of Automated Reasoning
4 Formal Methods in System Design
2 Journal of Symbolic Computation
2 ACM Transactions on Computational Logic
2 Logical Methods in Computer Science
1 Artificial Intelligence
1 Theoretical Computer Science
1 Journal of Computer Science and Technology
1 Information and Computation
1 Annals of Mathematics and Artificial Intelligence
1 Constraints
1 Theory and Practice of Logic Programming
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 8 Fields

59 Computer science (68-XX)
29 Mathematical logic and foundations (03-XX)
3 Category theory; homological algebra (18-XX)
2 Information and communication theory, circuits (94-XX)
1 Combinatorics (05-XX)
1 General algebraic systems (08-XX)
1 Field theory and polynomials (12-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year