| 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 |
| Some nonstandard methods applied to distributive lattices M Gehrke, M Insall, K Kaiser Mathematical Logic Quarterly 36 (2), 123-131, 1990 | 19 | 1990 |
| Nonstandard methods and finiteness conditions in algebra EM Insall Dept. of Mathematics.University of Houston, 1989 | 18 | 1989 |
| End compactifications and general compactifications M Insall, PA Loeb, MA Marciniak Journal of Logic and Analysis 6, 2014 | 17 | 2014 |
| Some finiteness conditions in lattices—using nonstandard proof methods M Insall Journal of the Australian Mathematical Society 53 (2), 266-280, 1992 | 13 | 1992 |
| Some finiteness conditions in lattices—using nonstandard proof methods M Insall Journal of the Australian Mathematical Society 53 (2), 266-280, 1992 | 13 | 1992 |
| 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 | 12 | 1995 |
| Nonstandard Analysis M Insall, EW Weisstein From MathWorld--A Wolfram Web Resource. http://mathworld. wolfram. com …, 0 | 11 | |
| Absolute differentiation in metric spaces WJ Charatonik, M Insall University of Houston, 2012 | 9 | 2012 |
| 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 |
| Constructing an Interval Temporal Logic for Real-Time System G Tsai, M Insall, B McMillin IFAC Proceedings Volumes 29 (6), 43-49, 1996 | 8 | 1996 |
| Connectedness of the representation space for continua WJ Charatonik, M Insall, JR Prajs Topology Proceedings 40, 331-336, 2012 | 6 | 2012 |
| Is it more profitable to acquire cleaner or dirtier firms? MG Fikru, M Insall Environmental Economics and Policy Studies 18, 443-457, 2016 | 5 | 2016 |
| 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 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 | 2 | 2020 |
| 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 |
mai gehrkeCNRS et Université Côte d'AzurVerified email at unice.fr
