Edit Profile (opens in new tab) Hickey, Jason J. Compute Distance To: Compute Author ID: hickey.jason-j Published as: Hickey, Jason; Hickey, Jason J. Documents Indexed: 11 Publications since 1997 Co-Authors: 9 Co-Authors with 10 Joint Publications 245 Co-Co-Authors all top 5 Co-Authors 1 single-authored 6 Nogin, Aleksey 2 Yu, Xin 1 Bar-Sinai, Yohai 1 Brenner, Michael P. 1 Constable, Robert Lee 1 Granicz, Adam 1 Hoyer, Stephan 1 Ţăpuş, Cristian 1 Zimmerman, Daniel M. Serials 1 Proceedings of the National Academy of Sciences of the United States of America 1 Distributed Computing 1 Higher-Order and Symbolic Computation Fields 11 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 43 times in 41 Documents Cited by ▼ Year ▼ Learning data-driven discretizations for partial differential equations. Zbl 1431.65195Bar-Sinai, Yohai; Hoyer, Stephan; Hickey, Jason; Brenner, Michael P. 33 2019 Nuprl’s class theory and its applications. Zbl 0995.68014Constable, Robert L.; Hickey, Jason 4 2000 Sequent schema for derived rules. Zbl 1013.68199Nogin, Aleksey; Hickey, Jason 2 2002 Formal compiler construction in a logical framework. Zbl 1105.68020Hickey, Jason; Nogin, Aleksey 1 2006 Fast tactic-based theorem proving. Zbl 0974.68534Hickey, Jason; Nogin, Aleksey 1 2000 Mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and reflection. Zbl 1321.68194Hickey, Jason; Nogin, Aleksey; Yu, Xin; Kopylov, Alexei 1 2006 Extensible hierarchical tactic construction in a logical framework. Zbl 1099.68727Hickey, Jason; Nogin, Aleksey 1 2004 Learning data-driven discretizations for partial differential equations. Zbl 1431.65195Bar-Sinai, Yohai; Hoyer, Stephan; Hickey, Jason; Brenner, Michael P. 33 2019 Formal compiler construction in a logical framework. Zbl 1105.68020Hickey, Jason; Nogin, Aleksey 1 2006 Mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and reflection. Zbl 1321.68194Hickey, Jason; Nogin, Aleksey; Yu, Xin; Kopylov, Alexei 1 2006 Extensible hierarchical tactic construction in a logical framework. Zbl 1099.68727Hickey, Jason; Nogin, Aleksey 1 2004 Sequent schema for derived rules. Zbl 1013.68199Nogin, Aleksey; Hickey, Jason 2 2002 Nuprl’s class theory and its applications. Zbl 0995.68014Constable, Robert L.; Hickey, Jason 4 2000 Fast tactic-based theorem proving. Zbl 0974.68534Hickey, Jason; Nogin, Aleksey 1 2000 all cited Publications top 5 cited Publications all top 5 Cited by 114 Authors 3 Wang, Li 3 Yan, Zhenya 2 Bickford, Mark 2 Brunton, Steven L. 2 Haghighat, Ehsan 2 Juanes, Ruben 2 Kutz, J. Nathan 2 Nogin, Aleksey 2 Stuart, Andrew M. 2 Ye, Felix X.-F. 1 Adams, Nikolaus A. 1 Allen, Stuart F. 1 Bekar, Ali Can 1 Bertalan, Tom S. 1 Bezgin, Deniz A. 1 Botsas, Themistoklis 1 Bramburger, Jason J. 1 Budišić, Marko 1 Byrne, Helen Mary 1 Cai, Zhiqiang 1 Chattopadhyay, Ashesh 1 Chen, Bailian 1 Chen, Jingshuang 1 Chen, Yifan 1 Constable, Robert Lee 1 Cripps, Edward 1 Cyr, Eric C. 1 Dahmen, Manuel 1 Dai, Chaoqing 1 de Lara, Fernando Manrique 1 Dietrich, Felix 1 Doncevic, Danimir T. 1 Dong, Bin 1 Du, Qiuwan 1 Duffin, Connor 1 Eaton, Richard 1 Fang, Yin 1 Felty, Amy P. 1 Ferrer, Esteban 1 Gibou, Frédéric 1 Girolami, Mark A. 1 Gómez, Héctor J. 1 Guan, Yifei 1 Günther, Michael 1 Guo, Yue 1 Harp, Dylan Robert 1 Hassanzadeh, Pedram 1 Hickey, Jason J. 1 Hosseini, Bamdad 1 Hoteit, Hussein 1 Huang, Xun 1 Kaiser, Eurika 1 Kevrekidis, Ioannis George 1 Kim, Cheolwoong 1 Kohlhase, Michael 1 Kossaczká, Tatiana 1 Kreitz, Christoph 1 Larios-Cárdenas, Luis Ángel 1 Lee, Jaewook 1 Lessig, Christian 1 Li, Liangliang 1 Li, Qianxiao 1 Li, Xingjie 1 Li, Xingjie Helen 1 Li, Yunzhu 1 Liu, Min 1 Liu, Tianyuan 1 Liu, Yang 1 Long, Zichao 1 Lorigo, Lori 1 Luo, Zhaohui 1 Madenci, Erdogan 1 Margenberg, Nils 1 Mason, Lachlan R. 1 Momigliano, Alberto 1 Moore, J Strother 1 Moran, E. 1 Moure, Adrian 1 Nadathur, Gopalan 1 Nelsen, Nicholas H. 1 Owhadi, Houman 1 Pan, Indranil 1 Park, Kevin Min Seong 1 Patel, Ravi G. 1 Pawar, Rajesh J. 1 Pawar, Suraj 1 Rabe, Florian 1 Rahli, Vincent 1 Raissi, Maziar 1 Rao, Chengping 1 Rasheed, Adil 1 Ren, Pu 1 San, Omer 1 Schmidt, Steffen J. 1 Shen, Ziju 1 Stemler, Thomas 1 Stinchcombe, Adam R. 1 Subel, Adam 1 Taghizadeh, Ehsan 1 Tao, Molei ...and 14 more Authors all top 5 Cited in 22 Serials 9 Journal of Computational Physics 6 Computer Methods in Applied Mechanics and Engineering 2 Physics Letters. A 2 Physica D 2 SIAM Journal on Scientific Computing 1 Computers and Fluids 1 Physica A 1 Chaos, Solitons and Fractals 1 Applied Numerical Mathematics 1 Information and Computation 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 SIAM Review 1 ETNA. Electronic Transactions on Numerical Analysis 1 Higher-Order and Symbolic Computation 1 Journal of Applied Logic 1 Communications in Computational Physics 1 Discrete and Continuous Dynamical Systems. Series S 1 Statistics and Computing 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Results in Applied Mathematics all top 5 Cited in 17 Fields 22 Computer science (68-XX) 18 Numerical analysis (65-XX) 11 Partial differential equations (35-XX) 10 Fluid mechanics (76-XX) 5 Mathematical logic and foundations (03-XX) 5 Statistics (62-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Mechanics of deformable solids (74-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Probability theory and stochastic processes (60-XX) 2 Biology and other natural sciences (92-XX) 1 Ordinary differential equations (34-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Citations by Year