Attraction and repulsion of nucleons: Sources of stellar energy O Manuel, C Bolon, A Katragada, M Insall Journal of fusion energy 19, 93-98, 2000 | 23 | 2000 |
End compactifications and general compactifications M Insall, PA Loeb, MA Marciniak Journal of Logic and Analysis 6, 2014 | 17 | 2014 |
Nonstandard methods and finiteness conditions in algebra EM Insall Dept. of Mathematics.University of Houston, 1989 | 17 | 1989 |
Some nonstandard methods applied to distributive lattices M Gehrke, M Insall, K Kaiser Mathematical Logic Quarterly 36 (2), 123-131, 1990 | 16 | 1990 |
Ensuring the satisfaction of a temporal specification at run-time G Tsai, M Insall, B McMillin Proceedings of First IEEE International Conference on Engineering of Complex …, 1995 | 11 | 1995 |
Some finiteness conditions in lattices—using nonstandard proof methods M Insall Journal of the Australian Mathematical Society 53 (2), 266-280, 1992 | 11 | 1992 |
Nonstandard Analysis M Insall, EW Weisstein From MathWorld--A Wolfram Web Resource. http://mathworld. wolfram. com …, 0 | 11 | |
Generating indexing functions of regularly sparse arrays for array compilers S Thibault, L Mullin, M Insall Technical Report, University of Missouri, Rolla, 1994, TR 94-08, 1994 | 9 | 1994 |
On the existence of perfect cuboids S Kitchen, M Insall OURE publication, Missouri University of Science and Technology, 2015 | 8 | 2015 |
Absolute differentiation in metric spaces WJ Charatonik, M Insall University of Houston, 2012 | 8 | 2012 |
Constructing an Interval Temporal Logic for Real-Time System G Tsai, M Insall, B McMillin IFAC Proceedings Volumes 29 (6), 43-49, 1996 | 7 | 1996 |
Is it more profitable to acquire cleaner or dirtier firms? MG Fikru, M Insall Environmental Economics and Policy Studies 18, 443-457, 2016 | 6 | 2016 |
Connectedness of the representation space for continua WJ Charatonik, M Insall, JR Prajs Topology Proceedings 40, 331-336, 2012 | 6 | 2012 |
Thermal effect of cold fluid injection on fracture integrity of host rock: a microscale analysis of single asperity C Zeng, W Deng, C Wu, M Insall Geothermics 87, 101872, 2020 | 4 | 2020 |
Ensuring value liveness of distributed software through changeling G Tsai, M Insall, BM McMillin University of Missouri--Rolla, 1993 | 4 | 1993 |
Nets defining ends of topological spaces M Insall, MA Marciniak Topology Proceedings 40, 343-353, 2012 | 3 | 2012 |
Metrics on hyperspaces: a practical approach WJ Charatonik, M Insall Topology Proc. 30 (1), 129-152, 2006 | 3 | 2006 |
Thermal stress effect on fracture integrity in enhanced geothermal systems C Zeng, W Deng, C Wu, M Insall Proceedings of GeoShanghai 2018 International Conference: Rock Mechanics and …, 2018 | 2 | 2018 |
Mathematical analysis of the complete iterative inversion method II D Grow, M Insall Differential Equations and Dynamical Systems 18, 249-270, 2010 | 2 | 2010 |
Mathematical analysis of the complete iterative inversion method—I D Grow, M Insall Differential Equations and Dynamical Systems 17, 419-433, 2009 | 2 | 2009 |