×
Edit Profile (opens in new tab)

Abraham, Jacob A.

Co-Author Distance
Author ID: abraham.jacob-a Recent zbMATH articles by "Abraham, Jacob A."
Published as: Abraham, Jacob A.; Abraham, J. A.; Abraham, Jacob
Documents Indexed: 28 Publications since 1974
Co-Authors: 32 Co-Authors with 20 Joint Publications
173 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
3 Magi, Vinicio
2 Bhadra, Jayanta
2 Fussell, Donald S.
2 Jain, Jawahar
2 Martin, Andrew K.
2 Thatte, Satish M.
2 Vasudevan, Shobha
1 Abadir, Magdy S.
1 Anders, Jonathan W.
1 Banerjee, Gaurab
1 Baumgartner, Jason
1 Bitner, James R.
1 Brahme, Dhananjay
1 Buie, R. N.
1 Chatterjee, Abhijit
1 Emerson, Ernest Allen
1 Fuchs, W. Kent
1 Gajski, Daniel D.
1 Gharpurey, Ranjit
1 Huang, Kuang-Hua
1 Iyer, V. A.
1 Kanawati, Ghani A.
1 Kanawati, Nasser A.
1 Kocan, Fatih
1 Kuehlmann, Andreas
1 Motheau, Emmanuel
1 Mukherjee, Rajarshi
1 Nair, Ravindra
1 Nair, V. S. S.
1 Saab, Daniel G.
1 Siewiorek, Daniel P.
1 Sumners, Robert W.
1 Takayama, Koichiro
1 Vemu, Ramtilak
1 Viswanath, Vinod
1 Wu, Kun-Lung
1 Zeidan, Mohamad A.
all top 5

Serials

12 IEEE Transactions on Computers
3 Formal Methods in System Design
1 Computers and Fluids
1 Computers & Mathematics with Applications
1 IEEE Transactions on Reliability
1 International Journal of Heat and Mass Transfer
1 Journal of Computational Physics
1 Journal of Optimization Theory and Applications
1 IEEE Transactions on Software Engineering
1 International Journal of Computational Fluid Dynamics
1 IEEE Transactions on Circuits and Systems I: Regular Papers
all top 5

Fields

14 Computer science (68-XX)
11 Information and communication theory, circuits (94-XX)
4 Fluid mechanics (76-XX)
2 Numerical analysis (65-XX)
2 Classical thermodynamics, heat transfer (80-XX)
2 Operations research, mathematical programming (90-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Probability theory and stochastic processes (60-XX)
1 Statistics (62-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

15 Publications have been cited 76 times in 76 Documents Cited by ▼ Year ▼
Algorithm-based fault tolerance for matrix operations. Zbl 0557.68027
Huang, Kuang-Hua; Abraham, Jacob A.
36
1984
An improved algorithm for network reliability. Zbl 0396.60080
Abraham, J. A.
20
1979
A high-order numerical algorithm for DNS of low-Mach-number reactive flows with detailed chemistry and quasi-spectral accuracy. Zbl 1349.65324
Motheau, E.; Abraham, J.
18
2016
Probabilistic verification of Boolean functions. Zbl 0777.94021
Jain, Jawahar; Abraham, Jacob A.; Bitner, James; Fussell, Donald S.
4
1992
Property checking via structural analysis. Zbl 1010.68514
Baumgartner, Jason; Kuehlmann, Andreas; Abraham, Jacob
4
2002
Exploring velocity and density ratio effects in a mixing layer using DNS. Zbl 0900.76356
Abraham, J.; Magi, V.
3
1997
Test generation for microprocessors. Zbl 0436.94044
Thatte, Satish M.; Abraham, Jacob A.
3
1980
Automatic verification of arithmetic circuits in RTL using stepwise refinement of term rewriting systems. Zbl 1391.94905
Vasudevan, Shobha; Viswanath, Vinod; Sumners, Robert W.; Abraham, Jacob A.
2
2007
Exploring injected droplet size effects on steady liquid penetration in a Diesel spray with a two-fluid model. Zbl 0988.76521
Iyer, V. A.; Abraham, J.; Magi, V.
2
2002
Using abstract specifications to verify \(\text{PowerPC}^{\text{TM}}\) custom memories by symbolic trajectory evaluation. Zbl 1003.68619
Bhadra, Jayanta; Martin, Andrew; Abraham, Jacob; Abadir, Magdy
2
2001
Design of testable structures defined by simple loops. Zbl 0467.94029
Abraham, Jacob A.; Gajski, Daniel D.
2
1981
Large eddy simulation in the near-field of a transient multi-component gas jet with density gradients. Zbl 1194.76077
Anders, J. W.; Magi, V.; Abraham, J.
2
2007
An algorithm for the accurate reliability evaluation of triple modular redundancy networks. Zbl 0279.94024
Abraham, Jacob A.; Siewiorek, Daniel P.
1
1974
Techniques for efficiently implementing totally self-checking checkers in MOS technology. Zbl 0641.94039
Jha, N. K.; Abraham, J. A.
1
1987
Comparison and diagnosis of large replicated files. Zbl 0603.68020
Fuchs, W. Kent; Wu, Kun-Lung; Abraham, Jacob A.
1
1987
A high-order numerical algorithm for DNS of low-Mach-number reactive flows with detailed chemistry and quasi-spectral accuracy. Zbl 1349.65324
Motheau, E.; Abraham, J.
18
2016
Automatic verification of arithmetic circuits in RTL using stepwise refinement of term rewriting systems. Zbl 1391.94905
Vasudevan, Shobha; Viswanath, Vinod; Sumners, Robert W.; Abraham, Jacob A.
2
2007
Large eddy simulation in the near-field of a transient multi-component gas jet with density gradients. Zbl 1194.76077
Anders, J. W.; Magi, V.; Abraham, J.
2
2007
Property checking via structural analysis. Zbl 1010.68514
Baumgartner, Jason; Kuehlmann, Andreas; Abraham, Jacob
4
2002
Exploring injected droplet size effects on steady liquid penetration in a Diesel spray with a two-fluid model. Zbl 0988.76521
Iyer, V. A.; Abraham, J.; Magi, V.
2
2002
Using abstract specifications to verify \(\text{PowerPC}^{\text{TM}}\) custom memories by symbolic trajectory evaluation. Zbl 1003.68619
Bhadra, Jayanta; Martin, Andrew; Abraham, Jacob; Abadir, Magdy
2
2001
Exploring velocity and density ratio effects in a mixing layer using DNS. Zbl 0900.76356
Abraham, J.; Magi, V.
3
1997
Probabilistic verification of Boolean functions. Zbl 0777.94021
Jain, Jawahar; Abraham, Jacob A.; Bitner, James; Fussell, Donald S.
4
1992
Techniques for efficiently implementing totally self-checking checkers in MOS technology. Zbl 0641.94039
Jha, N. K.; Abraham, J. A.
1
1987
Comparison and diagnosis of large replicated files. Zbl 0603.68020
Fuchs, W. Kent; Wu, Kun-Lung; Abraham, Jacob A.
1
1987
Algorithm-based fault tolerance for matrix operations. Zbl 0557.68027
Huang, Kuang-Hua; Abraham, Jacob A.
36
1984
Design of testable structures defined by simple loops. Zbl 0467.94029
Abraham, Jacob A.; Gajski, Daniel D.
2
1981
Test generation for microprocessors. Zbl 0436.94044
Thatte, Satish M.; Abraham, Jacob A.
3
1980
An improved algorithm for network reliability. Zbl 0396.60080
Abraham, J. A.
20
1979
An algorithm for the accurate reliability evaluation of triple modular redundancy networks. Zbl 0279.94024
Abraham, Jacob A.; Siewiorek, Daniel P.
1
1974
all cited Publications top 5 cited Publications
all top 5

Cited by 165 Authors

4 Agullo, Emmanuel
4 Giraud, Luc
4 Hadjicostis, Christoforos N.
3 Bollig, Beate
3 Monney, Paul-André
3 Pernet, Clément
3 Yetkin, Emrullah Fatih
3 Zounon, Mawussi
2 Abdulaziz, Mohammad
2 Abraham, Jacob A.
2 Aggarwal, K. K.
2 Ainsworth, Mark
2 Anrig, Bernhard
2 Becker, Bernd
2 Cools, Siegfried
2 Glusa, Christian
2 Gretton, Charles
2 Haenni, Rolf
2 Kröning, Daniel
2 Kumar, Vinod
2 Lin, Yi-Kuei
2 Milovanović, Emina I.
2 Milovanović, Igor Ž.
2 Norrish, Michael
2 Robert, Yves
2 Rüde, Ulrich
2 Salas, Pablo
2 Vanroose, Wim
2 Verghese, George C.
1 Abadir, Magdy S.
1 Ablaev, Farid M.
1 Agarwal, Manju Lata
1 Alam, S. S.
1 Altenbernd, Mirco
1 Arulmozhi, G.
1 Aupy, Guillaume
1 Ba-Rukab, Omar Mohammed
1 Bauer, Martin
1 Belkin, V. V.
1 Benaini, Abdelhamid
1 Benoit, Anne
1 Bertschy, R.
1 Bhadra, Jayanta
1 Bhuvaneswari, Kasi
1 Biere, Armin
1 Boley, Daniel L.
1 Bouvry, Pascal
1 Bozzano, Marco
1 Caşcaval, Petru
1 Cavelan, Aurlien
1 Chatterjee, Subhashis
1 Chen, Yuh-Shyan
1 Cimatti, Alessandro
1 Cui, Tao
1 Davis, Claude H. IV
1 DeBardeleben, Nathan
1 Drechsler, Rolf
1 Dreier, Nils-Arne
1 Düben, Peter D.
1 Dumas, Jean-Guillaume
1 Eibl, Sebastian
1 Elhay, Sylvan
1 Engwer, Christian
1 Fasi, Massimiliano
1 Gåsemyr, Jørund Inge
1 Girgis, Moheb R.
1 Gleich, David F.
1 Gmeiner, Björn
1 Göddeke, Dominik
1 Godenschwager, Christian
1 Golub, Gene Howard
1 Grama, Ananth Y.
1 Große, Daniel
1 Guan, Qiang
1 Guermouche, Abdou
1 Gutknecht, Martin H.
1 Hao, Zhifeng
1 Harding, Brendan
1 Hegland, Markus
1 Huber, Markus Q.
1 Ji, Hao
1 Jones, William M.
1 Jørgensen, Allan Grønlund
1 Kaltofen, Erich L.
1 Kaufmann, Daniela
1 Khan, Samee Ullah
1 Khonji, Majid
1 Kohl, Nils
1 Kohlas, Jürg
1 Köstler, Harald
1 Krishna, Hari
1 Kuron, Michael
1 Lavigne, Scott R.
1 Li, Duan
1 Li, Yaohang
1 Löbbing, Martin
1 Mahzoon, Alireza
1 Martin, Andrew K.
1 Mascagni, Michael V.
1 Mattarei, Cristian
...and 65 more Authors
all top 5

Cited in 37 Serials

6 Computers & Mathematics with Applications
6 SIAM Journal on Scientific Computing
4 International Journal of Computer Mathematics
3 International Journal of Approximate Reasoning
3 RAIRO. Theoretical Informatics and Applications
2 International Journal of Systems Science
2 Automatica
2 Computing
2 Mathematical and Computer Modelling
2 Numerical Algorithms
1 Acta Informatica
1 Artificial Intelligence
1 Journal of Computational Physics
1 Journal of the Franklin Institute
1 ACM Transactions on Mathematical Software
1 Applied Mathematics and Computation
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Kybernetika
1 Naval Research Logistics
1 Opsearch
1 Theoretical Computer Science
1 Cybernetics
1 Circuits, Systems, and Signal Processing
1 Computers & Operations Research
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 Annals of Operations Research
1 Journal of Global Optimization
1 Applied Mathematical Modelling
1 Automation and Remote Control
1 Formal Methods in System Design
1 Numerical Linear Algebra with Applications
1 Monte Carlo Methods and Applications
1 Complexity
1 Parallel Algorithms and Applications
1 Computing and Visualization in Science
all top 5

Cited in 18 Fields

41 Computer science (68-XX)
25 Numerical analysis (65-XX)
13 Operations research, mathematical programming (90-XX)
11 Information and communication theory, circuits (94-XX)
5 Systems theory; control (93-XX)
3 Mathematical logic and foundations (03-XX)
3 Statistics (62-XX)
2 Number theory (11-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Partial differential equations (35-XX)
2 Fluid mechanics (76-XX)
1 Field theory and polynomials (12-XX)
1 Special functions (33-XX)
1 Approximations and expansions (41-XX)
1 Operator theory (47-XX)
1 Probability theory and stochastic processes (60-XX)
1 Quantum theory (81-XX)
1 Geophysics (86-XX)

Citations by Year