×
Edit Profile (opens in new tab)

Goel, Shubham

Co-Author Distance
Author ID: goel.shubham Recent zbMATH articles by "Goel, Shubham"
Published as: Goel, Shubham
Documents Indexed: 5 Publications since 1998
Co-Authors: 7 Co-Authors with 3 Joint Publications
266 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Akshay, S.
2 Chakraborty, Supratik
2 Kulal, Sumith
2 Shah, Shetal
1 Avni, Guy
1 Henzinger, Thomas A.
1 Katti, C. P.
1 Malhotra, K.
1 Rodriguez-Navas, Guillermo

Serials

1 Computers & Mathematics with Applications
1 Formal Methods in System Design
1 Malaysian Journal of Mathematical Sciences

Fields

3 Computer science (68-XX)
1 Ordinary differential equations (34-XX)
1 Numerical analysis (65-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 9 times in 8 Documents Cited by ▼ Year ▼
What’s hard about Boolean functional synthesis? Zbl 1511.68146
Akshay, S.; Chakraborty, Supratik; Goel, Shubham; Kulal, Sumith; Shah, Shetal
6
2018
A parallel mesh chopping algorithm for a class of two-point boundary value problems. Zbl 1002.65083
Katti, C. P.; Goel, S.
2
1998
Boolean functional synthesis: hardness and practical algorithms. Zbl 1519.68128
Akshay, S.; Chakraborty, Supratik; Goel, Shubham; Kulal, Sumith; Shah, Shetal
2
2021
Bi-objective flow shop scheduling with equipotential parallel machines. Zbl 1535.90062
Malhotra, K.; Gupta, D.; Goel, S.; Tripathi, A. K.
1
2022
Computing scores of forwarding schemes in switched networks with probabilistic faults. Zbl 1452.68021
Avni, Guy; Goel, Shubham; Henzinger, Thomas A.; Rodriguez-Navas, Guillermo
1
2017
Bi-objective flow shop scheduling with equipotential parallel machines. Zbl 1535.90062
Malhotra, K.; Gupta, D.; Goel, S.; Tripathi, A. K.
1
2022
Boolean functional synthesis: hardness and practical algorithms. Zbl 1519.68128
Akshay, S.; Chakraborty, Supratik; Goel, Shubham; Kulal, Sumith; Shah, Shetal
2
2021
What’s hard about Boolean functional synthesis? Zbl 1511.68146
Akshay, S.; Chakraborty, Supratik; Goel, Shubham; Kulal, Sumith; Shah, Shetal
6
2018
Computing scores of forwarding schemes in switched networks with probabilistic faults. Zbl 1452.68021
Avni, Guy; Goel, Shubham; Henzinger, Thomas A.; Rodriguez-Navas, Guillermo
1
2017
A parallel mesh chopping algorithm for a class of two-point boundary value problems. Zbl 1002.65083
Katti, C. P.; Goel, S.
2
1998
all cited Publications top 5 cited Publications
all top 5

Cited by 20 Authors

3 Chakraborty, Supratik
2 Tabajara, Lucas M.
2 Vardi, Moshe Ya’akov
1 Akshay, S.
1 Chockler, Hana
1 Dong, Qian
1 Fang, Liangda
1 Fried, Dror
1 Guan, Quanlong
1 Jain, Sahil
1 Lai, Zhao-Rong
1 Li, Wenqing
1 Qiu, Junming
1 Reichl, Franz-Xaver
1 Shikata, Junji
1 Slivovsky, Friedrich
1 Szeider, Stefan
1 Watanabe, Yohei
1 Weissenbacher, Georg
1 Xiao, Zhanhao

Cited in 2 Serials

2 Formal Methods in System Design
1 Artificial Intelligence

Cited in 4 Fields

7 Computer science (68-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Information and communication theory, circuits (94-XX)
1 General and overarching topics; collections (00-XX)

Citations by Year