Neil D. Jones | Academic Influence

Neil D. Jones's AcademicInfluence.com Rankings

Neil D. Jones

Computer Science

#2000

World Rank

#2079

Historical Rank

Database

#500

World Rank

#524

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Neil D. Jones's Degrees

PhD Computer Science Carnegie Mellon University
Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Why Is Neil D. Jones Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Neil D. Jones was an American computer scientist. He was a Professor Emeritus in computer science at University of Copenhagen. His work spanned both programming languages and the theory of computation. Within programming languages he was particularly known for his work on partial evaluation and for pioneering work within both data-flow analysis, control-flow analysis and termination analysis. Within the theory of computation, he was among the pioneers of the study of Log-space reductions and P-completeness.

(See a Problem?)

Neil D. Jones's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Partial evaluation and automatic program generation (1993) (1748)
Clinical Exercise Testing (1982) (977)
Muscle strength, symptom intensity, and exercise capacity in patients with cardiorespiratory disorders. (1995) (571)
Exercise capacity and ventilatory, circulatory, and symptom limitation in patients with chronic airflow limitation. (1992) (543)
The size-change principle for program termination (2001) (457)
Difference between end-tidal and arterial PCO2 in exercise. (1979) (388)
Flow analysis and optimization of LISP-like structures (1979) (374)
Space-Bounded Reducibility among Combinatorial Problems (1975) (349)
Effects on quality of life with comprehensive rehabilitation after acute myocardial infarction. (1991) (344)
Program Flow Analysis: Theory and Application (1981) (340)
Randomised controlled trial of weightlifting exercise in patients with chronic airflow limitation. (1992) (332)
Complete problems for deterministic polynomial time (1974) (322)
An introduction to partial evaluation (1996) (320)
Pulmonary mechanics during exercise in subjects with chronic airflow obstruction. (1980) (310)
Muscle glycogenolysis and H+ concentration during maximal intermittent cycling. (1989) (297)
An experiment in partial evaluation: the generation of a compiler generator (1985) (273)
Mix: A self-applicable partial evaluator for experiments in compiler generation (1989) (268)
Effect of PH on muscle glycolysis during exercise. (1981) (266)
Computability and complexity - from a programming perspective (1997) (257)
Muscle power and metabolism in maximal intermittent exercise. (1986) (256)
Complexity of Some Problems in Petri Nets (1977) (251)
Effect of pH on cardiorespiratory and metabolic responses to exercise. (1977) (233)
Regulation of skeletal muscle glycogen phosphorylase and PDH during maximal intermittent exercise. (1999) (223)
A flexible approach to interprocedural data flow analysis and programs with recursive data structures (1982) (223)
Breathlessness during exercise with and without resistive loading. (1986) (209)
Abstract interpretation: a semantics-based tool for program analysis (1995) (199)
Effects of menstrual cycle on blood lactate, O2 delivery, and performance during exercise. (1981) (195)
Uptake and release of free fatty acids and other metabolites in the legs of exercising men. (1967) (195)
A positive supercompiler (1996) (194)
Pyruvate dehydrogenase activity and acetyl group accumulation during exercise after different diets. (1993) (193)
Factors influencing hydrogen ion concentration in muscle after intense exercise. (1988) (193)
Program flow analysis - theory and applications (1981) (180)
Respiratory muscles and dyspnea. (1988) (180)
Calculation of whole blood CO2 content. (1988) (180)
Regulation of skeletal muscle glycogen phosphorylase and PDH at varying exercise power outputs. (1998) (172)
Asthma induced by cold air and its relation to nonspecific bronchial responsiveness to methacholine. (2015) (170)
Power output and fatigue of human muscle in maximal cycling exercise. (1983) (162)
Blood ion regulation during repeated maximal exercise and recovery in humans. (1992) (162)
Exercise limitation in health and disease. (2000) (155)
Ovarian hormonal responses to exercise. (1978) (153)
Effect of induced metabolic acidosis on human skeletal muscle metabolism during exercise. (1999) (150)
A partial evaluator for the untyped lambda-calculus (1991) (149)
Fat metabolism in heavy exercise. (1980) (148)
Reasons for dropout from exercise programs in post-coronary patients. (1981) (147)
Data flow analysis of applicative programs using minimal function graphs (1986) (143)
Muscle performance and metabolism in maximal isokinetic cycling at slow and fast speeds. (1985) (139)
The estimation of carbon dioxide pressure of mixed venous blood during exercise. (1967) (139)
Bronchial responsiveness to inhaled histamine and exercise. (1979) (138)
Analysis of factors limiting maximal exercise performance in cystic fibrosis. (1992) (138)
Short-term training increases human muscle MCT1 and femoral venous lactate in relation to muscle lactate. (1998) (138)
Symptom intensity and subjective limitation to exercise in patients with cardiorespiratory disorders. (1996) (137)
Breathlessness and exercise in patients with cardiorespiratory disease. (2015) (135)
Physiological dead space and alveolar-arterial gas pressure differences during exercise. (1966) (133)
Partial Evaluation and Mixed Computation (1987) (133)
Pulmonary mechanics during exercise in normal males. (1980) (133)
Effect of glycogen depletion on the ventilatory response to exercise. (1983) (132)
Skeletal muscle pyruvate dehydrogenase activity during maximal exercise in humans. (1995) (132)
Stepwise Development of Operational and Denotational Semantics for Prolog (1984) (128)
Arm cranking and wheelchair ergometry in elite spinal cord-injured athletes. (1983) (128)
Usefulness of weightlifting training in improving strength and maximal power output in coronary artery disease. (1991) (126)
Turing machines and the spectra of first-order formulas with equality (1972) (125)
Effect of inspired O2 on cardiopulmonary and metabolic responses to exercise in man. (1968) (125)
Economic evaluation of cardiac rehabilitation soon after acute myocardial infarction. (1994) (119)
High-intensity endurance training in 20- to 30- and 60- to 70-yr-old healthy men. (1990) (118)
Predictors of health-related quality of life with cardiac rehabilitation after acute myocardial infarction. (1998) (117)
Sprint training enhances ionic regulation during intense exercise in men (1997) (116)
Effect of induced metabolic alkalosis on human skeletal muscle metabolism during exercise. (2000) (116)
Economic evaluation of cardiac rehabilitation soon after acute myocardial infarction (1993) (114)
Human muscle power (1986) (113)
Pulmonary gas exchange during exercise in patients with chronic airway obstruction. (1966) (111)
Effects of pH on maximal power output and fatigue during short-term dynamic exercise. (1983) (109)
Dyspnea and leg effort during incremental cycle ergometry. (1992) (104)
Effect of pH on metabolic and cardiorespiratory responses during progressive exercise. (1984) (101)
Proving correctness of compiler optimizations by temporal logic (2002) (100)
Relation of exercise to the recurrence rate of myocardial infarction in men. Ontario Exercise-Heart Collaborative Study. (1983) (99)
Denotational abstract interpretation of logic programs (1994) (97)
Programs as Data Objects (1986) (94)
Inspiratory muscles during exercise: a problem of supply and demand. (1988) (94)
A self-applicable partial evaluator for the lambda calculus (1990) (93)
Effects of short-term submaximal training in humans on muscle metabolism in exercise. (1998) (88)
The expressive power of higher-order types or, life without CONS (2001) (88)
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (1994) (87)
Flow Analysis of Lambda Expressions (Preliminary Version) (1981) (85)
Predictors of dropout from cardiac exercise rehabilitation. Ontario Exercise-Heart Collaborative Study. (1983) (85)
LOGSPACE and PTIME Characterized by Programming Languages (1999) (84)
A constant-velocity cycle ergometer for the study of dynamic muscle function. (1983) (83)
Respiratory and peripheral muscle function in cystic fibrosis. (1993) (82)
Role of lungs and inactive muscle in acid-base control after maximal exercise. (1988) (79)
Noncompliance in an exercise rehabilitation program for men who have suffered a myocardial infarction. (1978) (78)
Regulation of glycogen phosphorylase and PDH during exercise in human skeletal muscle during hypoxia. (2000) (77)
Effects of acidosis on rat muscle metabolism and performance during heavy exercise. (1985) (76)
Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra (1980) (75)
A relational framework for abstract interpretation (1985) (73)
Enhanced pulmonary and active skeletal muscle gas exchange during intense exercise after sprint training in men (1997) (70)
Endogenous triacylglycerol utilization by rat skeletal muscle during tetanic stimulation. (1986) (70)
Evaluation of a microprocessor-controlled exercise testing system. (1984) (69)
Effects of alkalosis on skeletal muscle metabolism and performance during exercise. (1986) (68)
Plasma volume and ion regulation during exercise after low- and high-carbohydrate diets. (1994) (67)
Regulation of skeletal muscle glycogen phosphorylase and PDH during maximal intermittent exercise. (1999) (67)
Alveolar-to-blood PCO2 difference during rebreathing in exercise. (1969) (66)
Pattern of breathing during exercise in patients with interstitial lung disease. (1983) (65)
Effects of physical training on cardiovascular function following myocardial infarction. (1979) (65)
New problems complete for nondeterministic log space (1976) (64)
Hydrogen ion balance during exercise. (1980) (64)
Ventilatory response to exercise and to CO 2 rebreathing in normal subjects. (1972) (63)
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987 (1988) (62)
The use of exercise testing and other methods in the investigation of dyspnea. (1984) (60)
The Essence of Program Transformation by Partial Evaluation and Driving (1999) (60)
Contribution of erythrocytes to the control of the electrolyte changes of exercise. (1991) (59)
Comparison of the Electrocardiographic Changes Induced by Maximum Exercise Testing with Treadmill and Cycle Ergometer (1978) (58)
Even simple programs are hard to analyze (1977) (58)
Flow analysis of lazy higher-order functional programs (2007) (57)
The use of multistage exercise testing with wheelchair ergometry and arm cranking in subjects with spinal cord lesions (1977) (56)
Role of nonworking muscle on blood metabolites and ions with intense intermittent exercise. (1990) (56)
Growth hormone secretion in acid-base alterations at rest and during exercise. (1976) (56)
Effects of PDH activation by dichloroacetate in human skeletal muscle during exercise in hypoxia. (2000) (55)
Exercise rehabilitation of female patients with coronary heart disease. (1980) (55)
Improving Patient Compliance in Cardiac Exercise Rehabilitation: Effects of Written Agreement and Self-Monitoring (1983) (55)
Maximal short term exercise capacity in healthy subjects aged 15-70 years. (1985) (55)
Body carbon dioxide storage capacity in exercise. (1979) (54)
Termination Analysis of Higher-Order Functional Programs (2005) (53)
What Not to Do When Writing an Interpreter for Specialisation (1996) (52)
Ventricular performance in acute normovolemic anemia and effects of beta blockade. (1966) (52)
Semantics-Directed Compiler Generation (1980) (52)
Compiler generation from denotational semantics (1980) (51)
Effects of short‐term training on plasma acid‐base balance during incremental exercise in man (2003) (50)
Metabolism of free fatty acids and chylomicron triglycerides during exercise in rats. (1967) (49)
Effect of respiratory acidosis on metabolism in exercise. (1982) (49)
Inspiratory muscle forces and endurance in maximum resistive loading. (1985) (48)
Binding time optimization in programming languages: Some thoughts toward the design of an ideal language (1976) (48)
Exercise at altitude. (1983) (48)
Rebreathing equilibration of CO2 during exercise. (1973) (48)
Compiler Generation by Partial Evaluation: A Case Study (1991) (48)
Constant time factors do matter (1993) (47)
Quantification of intensity of sensations during muscular work by normal subjects. (1996) (47)
Flow Analysis of Lambda Expressions (1981) (47)
Effect of hypoxia on free fatty acid metabolism during exercise. (1972) (47)
Pyruvate overrides inhibition of PDH during exercise after a low-carbohydrate diet. (2000) (45)
A controlled prospective study of the effect of endurance training on the recurrence rate of myocardial infarction. A description of the experimental design. (1975) (42)
Compiler Optimization Correctness by Temporal Logic (2004) (42)
Transformation by interpreter specialisation (2004) (41)
Obfuscation by partial evaluation of distorted interpreters (2012) (41)
Determinants of Gas Exchange and Acid–Base Balance During Exercise (2011) (40)
Arterialized capillary blood gases in exercise studies. (1975) (40)
Computability and complexity (1997) (40)
Goal attainment in a randomized controlled trial of rehabilitation after myocardial infarction. (1999) (39)
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation (1996) (39)
Changes in ventilation, gas exchange and circulation during exercise in normal subjects. (1967) (39)
Quality control of exercise test measurements. (1979) (38)
Tidal volume during exercise in patients with diffuse fibrosing alveolitis. (1979) (38)
Breathing during prolonged exercise in humans. (1991) (37)
Mixed Venous and Arterial Pco2 (1974) (36)
Factors contributing to dyspnoea during bronchoconstriction and exercise in asthmatic subjects. (1993) (36)
Measurement of mixed venous carbon dioxide pressure by rebreathing during exercise. (1985) (36)
Measurements of cardiac output in seriously ill patients using a CO2 rebreathing method. (1978) (35)
Metabolism of infused L(+)-lactate during exercise. (1979) (35)
A flow calculus of mwp-bounds for complexity analysis (2009) (35)
Reduction of intrinsic sinoatrial frequency and norepinephrine response of the exercised rat. (1977) (35)
Effect of acetazolamide on gas exchange and acid-base control after maximal exercise. (1991) (35)
A comparison of exercise responses in stairclimbing and cycling. (1979) (34)
The effect of added dead space on the pulmonary response to exercise. (1971) (34)
Effect of Controlled Oxygen Therapy on Arterial Blood Gases in Acute Respiratory Failure (1970) (34)
An obsession with CO2. (2008) (34)
Effort and dyspnoea during work of varying intensity and duration. (1991) (34)
A Formal Type System for Comparing Partial Evaluators (1988) (33)
Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time (2008) (33)
Effects of respiratory alkalosis on human skeletal muscle metabolism at the onset of submaximal exercise (2002) (33)
Effect of P CO2 level on alveolar-arterial P CO2 difference during rebreathing. (1972) (32)
Mechanisms of exertional dyspnea. (1994) (31)
The Flow of Data and the Complexity of Algorithms (2005) (31)
Activation by exercise of human skeletal muscle pyruvate dehydrogenase in vivo. (1982) (31)
Cardiac output determination during progressive exercise in cystic fibrosis. (1992) (31)
Getting rid of carbon dioxide during exercise. (1996) (31)
Muscle metabolism and performance in perfused rat hindquarter during heavy exercise. (1985) (30)
Size-Change Termination and Transition Invariants (2010) (29)
Hypoxia, man at altitude (1982) (29)
Combining abstract interpretation and partial evaluation (1997) (29)
Mix ten years later (1995) (28)
Measurement of cardiac output by carbon dioxide rebreathing methods. (1989) (28)
Selective and Nonselective Beta‐adrenoceptor Blockade in Hypertension: Responses to Changes in Posture, Cold and Exercise (1982) (27)
Dyspnea in exercise. (1984) (27)
Program generation, termination, and binding-time analysis (2002) (26)
Compiler generation by partial evaluation (1989) (26)
Distillation with labelled transition systems (2012) (26)
Attribute-influenced LR parsing (1980) (26)
Interaction of mental factors with hypercapnic ventilatory drive in man. (1977) (26)
Partial Evaluation, Self-Application and Types (1990) (26)
The responses to exercise in boys aged 9-15 years. (1969) (26)
Comparison of two rebreathing methods for the determination of mixed venous partial pressure of carbon dioxide during exercise. (1979) (25)
Termination Analysis of the Untyped lamba-Calculus (2004) (25)
Ventilation in exercise studied with circulatory occlusion. (1981) (25)
Control of pulmonary ventilation during exercise and mediators in the blood: CO2 and hydrogen ion. (1979) (25)
Experiments with Implementations of Two Theoretical Constructions (1989) (25)
Combining Abstract Interpretation and Partial Evaluation (Brief Overview) (1997) (25)
Termination analysis and specialization-point insertion in offline partial evaluation (2005) (24)
Activation of human muscle pyruvate dehydrogenase with activity and immobilization. (1986) (24)
Measurement of cardiac output by CO2 rebreathing in unsteady state exercise. (1987) (24)
Comparison of three techniques for body composition analysis in cystic fibrosis. (1993) (24)
A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata (1977) (24)
Call-by-Value Termination in the Untyped lambda-Calculus (2008) (24)
Fifty years of the spectrum problem: survey and new results (2009) (23)
Effects of short-term submaximal training in humans on muscle metabolism in exercise. (1998) (23)
The reduction by training of CO2 output during exercise. (1979) (23)
Erythrocyte ion regulation across inactive muscle during leg exercise. (1992) (23)
Control Flow Treatment in a Simple Semantics-Directed Compiler Generator (1981) (23)
Rate of change of alveolar carbon dioxide and the control of ventilation during exercise. (1984) (23)
Hemodynamic effects of two beta-adrenergic blocking drugs in anesthetized intact dogs. (1966) (22)
Higher-Order Minimal Function Graphs (1994) (22)
Comparison of cardiac output during exercise by single-breath and CO2-rebreathing methods. (1985) (22)
Renal responses to exercise-induced lactic acidosis. (1989) (22)
Rat skeletal muscle triacylglycerol utilization during exhaustive swimming. (1985) (22)
Redundant Call Elimination via Tupling (2006) (22)
Improvement in maximal isokinetic cycle ergometry with cardiac rehabilitation. (1989) (21)
Semantics-Directed Compiler Generation: Proceedings (1980) (21)
Effect of chronic acetazolamide administration on gas exchange and acid-base control after maximal exercise. (1994) (20)
The effect of terbutaline in exercise-induced asthma. (1976) (19)
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages (1978) (19)
A fixed-program machine for combinator expression evaluation (1982) (19)
The Complexity of Finite Memory Programs with Recursion (1976) (18)
Preventive use of exercise rehabilitation after myocardial infarction. (2009) (18)
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 (2004) (18)
THE EFFECT OF HYPOXIA ON GAS EXCHANGE AND ARTERIAL LACTATE AND PYRUVATE CONCENTRATION DURING MODERATE EXERCISE IN MAN. (1965) (17)
Generalizing Cook's Transformation to Imperative Stack Programs (1994) (17)
Is there a conflict between minimizing effort and energy expenditure with increasing velocities of muscle contraction in humans? (1999) (17)
Effects of changes in topographical distribution of lung blood flow on gas exchange. (1965) (17)
The response to exercise before and after treatment of myxedema with thyroxine. (1971) (17)
Effect of a meal on cardiopulmonary and metabolic changes during exercise. (1973) (17)
Resting and exercise heart rate with apnea and facial immersion in female swimmers. (1978) (16)
Use of exercise in testing respiratory control mechanisms. (1976) (16)
Recirculation time during exercise. (1968) (16)
Blindfold Games are Harder than Games with Perfect Information (1977) (16)
Complexity of Some Problems Concerning L Systems (1977) (16)
Computer Implementation and Applications of Kleene’s S-M-N and Recursion Theorems (1992) (15)
Short-term training increases human muscle MCT1 and femoral venous lactate in relation to muscle lactate. (1998) (15)
Clinical assessment of respiratory function. (1978) (15)
Recognition of Deterministic ETOL Languages in Logarathimic Space (1977) (15)
The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones (2002) (14)
Alveolar gas exchange during exercise: a single-breath analysis. (1984) (14)
Computational complexity via programming languages: constant factors do matter (2000) (14)
Alveolar-arterial PCO2 difference during rebreathing in patients with chronic hypercapnia. (1973) (14)
Influence of muscle power on aerobic performance and the effects of training. (2009) (14)
Graphical analysis of carbon dioxide transport during exercise. (1967) (14)
I – MATHEMATICAL BASIS (1973) (13)
Maximal isokinetic cycle ergometry in patients with coronary artery disease. (1989) (13)
Characteristics that predicted recurrence of infarction within 3 years in the Ontario Exercise-Heart Collaborative Study. (1983) (13)
Assessment of disability. (1990) (12)
Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 (1988) (11)
Termination analysis of the untyped λ-calculus (2004) (11)
Challenging problems in partial evaluation and mixed computation (1988) (10)
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract) (1987) (10)
Reduced heart rate response to exercise in ischemic heart disease: the fallacy of the target heart rate in exercise testing. (1979) (10)
Cold air induced asthma: Relationship to non-specific bronchial responsiveness to methacholine (1982) (10)
Acid-base and respiratory properties of a buffered bovine erythrocyte perfusion medium. (1986) (10)
Cardiopulmonary exercise testing. (1989) (9)
Pulmonary recirculation time: influence of posture and exercise. (1968) (9)
New tests to assess lung function. Exercise testing in pulmonary evaluation: rationale, methods and the normal respiratory response to exercise. (1975) (9)
Pyruvate dehydrogenase activation in inactive muscle during and after maximal exercise in men. (1999) (9)
Interrelation of responses during progressive exercise in trained and untrained subjects. (1969) (9)
The thorax in exercise (1985) (9)
Accuracy of measurements of small changes in soft tissue mass by use of dual-photon absorptiometry. (1991) (9)
Efficient Algebraic Operations on Programs (1991) (9)
Effect of induced metabolic acidosis on human skeletal muscle metabolism during exercise. (1999) (8)
Classes of Automata and Transitive Closure (1967) (8)
A Precise Version of a Time Hierarchy Theorem (1999) (8)
Supraspinal locomotor centers do/do not contribute significantly to the hyperpnea of dynamic exercise in humans. (2006) (8)
The CO2 responsiveness and ventilatory response to leg and arm exercise in female swimmers. (1983) (8)
Factors contributing to increased muscle fatigue with β-blockers (1991) (8)
Oral and intravenous propranolol during exercise (1977) (8)
New tests to asses lung function. Exercise tesing in pulmonary evaluation: clinical applications. (1975) (7)
Static Semantics, Types, and Binding Time Analysis (1991) (7)
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation (2011) (7)
Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation (2011) (7)
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming (1994) (7)
Factors contributing to increased muscle fatigue with beta-blockers. (1991) (7)
Automatic Program Specialization by Partial Evaluation: an Introduction (1996) (6)
A Note on the Complexity of General D0L Membership (1981) (6)
Exercise testing in health and disease. (1974) (6)
Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof (1980) (6)
Impaired cardiac "acceleration" at the onset of exercise in patients with coronary disease. (1982) (6)
Reduced heart rate response to exercise. (1980) (6)
The Mac Family of Physiological Models (1979) (6)
Abstraction interpretation and partial evaluation in functional and logic programming (1994) (5)
Cardiovascular and Respiratory Aspects of Exercise – Endurance Training (2008) (5)
Determinants of breathing patterns in exercise (1991) (5)
Context-free languages and rudimentary attributes (1969) (5)
Effect of progressive incremental exercise and β-adrenergic blockade on erythrocyte ion concentrations (1997) (5)
A method for detecting structure in polyhedra (1984) (5)
Proceedings of the 3rd European Symposium on Programming (1990) (5)
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper) (2017) (5)
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (1995) (5)
Regulation of Glycogenolysis and Pyruvate Oxidation in Human Skeletal Muscle In Vivo (1979) (5)
MAXIMUM OXYGEN UPTAKE OF WHEELCHAIR ATHLETES COMPETING AT THE 1976 OLYMPIAD FOR THE PHYSICALLY DISABLED (1977) (4)
Program Termination Analysis by Size-Change Graphs (Abstract) (2001) (4)
A Note on the Index of a Context-Free Language (1970) (4)
Effect of progressive incremental exercise and beta-adrenergic blockade on erythrocyte ion concentrations. (1997) (4)
A pocket calculator program for noninvasive assessment of cardiorespiratory function. (1982) (4)
VO2max and lactate production are not normal in all patients with chronic fatigue. (2002) (4)
A Swiss Pocket Knife for Computability (2013) (4)
Hypoxia, exercise, and altitude. Proceedings of the Third Banff International Hypoxia Symposium, Banff, Alberta, Canada, January 25-28, 1983. (1983) (4)
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer (2007) (4)
On Modeling and Programming (2018) (4)
Corrigendum: Space-Bounded Reducibility among Combinatorial Problems (1977) (3)
Program Speedups in Theory and Practice (1994) (3)
Another "great trans-Atlantic acid-base debate" (1)? (2008) (3)
Programming Languages and Systems (2016) (3)
Maximal short-term exercise performance and ion regulation in cystic fibrosis. (1993) (3)
Program Analysis for Implicit Computational Complexity (2001) (3)
GAS EXCHANGE AND METABOLISM DURING MAXIMAL SHORT-TERM CONSTANT VELOCITY CYCLE ERGOMETER EXERCISE (1984) (3)
What's in exercise? (1980) (3)
Program control via transition matrices: a novel application of micro-programming (1976) (3)
Parsers for indexed grammars (1978) (3)
Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (1985) (3)
Automata: a teaching aid for mathematical machines (1971) (3)
Determination Of Thigh Muscle Volume By Computed Tomography (1983) (3)
Substrate Utilization during Heavy Exercise after Different Diets (1994) (3)
Computational Biology: A Programming Perspective (2011) (2)
Lower Bounds on the Complexity of Some Problems: Concerning L Systems (1977) (2)
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (1990) (2)
Mathematical Foundation of A Semantic Directed Compiler Generator (1982) (2)
Open-circuit method for measuring carbon dioxide tension in venous blood. (1977) (2)
The place of exercise testing in the investigation of patients with respiratory disorders. (1977) (2)
Complexity of some problems concerningL systems (1979) (2)
Estimation of Cardiac Output by C0(2) Rebreathing during Incremental Exercise in Patients with Coronary Artery Disease (1989) (2)
Special Address: MIX ten years after. (1995) (2)
Partial Evaluation for the Lambda Calculus (1998) (2)
Programming in Biomolecular Computation (2010) (2)
CONTROL OF BREATHING DURING EXERCISE (1999) (2)
Weight Training In Cardiac Patients (1988) (2)
Program generation, termination, and binding-time analysis: Invited paper (2002) (2)
Supraspinal locomotor centers do/do not contribute significantly to the hyperpnea of dynamic exercise in humans. (2006) (2)
Complexity of some Problems Concerning L Systems. (Preliminary report) (1976) (1)
Quadriceps Strength Relative To Body Weight (2011) (1)
Control Flow Aspects of an Algebraic Approach to Compiler Generation (Mathematical Studies of Information Processing) (1982) (1)
Even Simple Programs Are Hard To Analyze (1977) (1)
EFFECT OF ACIDOSIS ON MUSCLE GLYCOLYSIS (1976) (1)
ACTIVATION RATE OF GLYCOGEN PHOSPHORYLASE AND PYRUVATE DEHYDROGENASE IN HUMAN SKELETAL MUSCLE DURING INTENSE EXERCISE 588 (1996) (1)
Proceedings of the third European symposium on programming on ESOP '90 (1990) (1)
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis (2002) (1)
Preface to a special section on verification, model checking, and abstract interpretation (2011) (1)
Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (1980) (1)
FACTORS CONTRIBUTING TO DYSPNEA DURING MAXIMAL EXERCISE (1984) (1)
Programs=data=first-class citizens in a computational world (2012) (1)
Quality of Life After Acute Myocardial Infarction (2018) (1)
Mixed venous carbon dioxide tension measured by rebreathing. (1978) (1)
Origins of arterial and femoral venous acid-base responses during moderate-intensity bicycling exercise after glycogen depletion in men (2007) (1)
EXERCISE PERFORMANCE AND BLOOD LACTATE LEVELS IN RELATION TO THE MENSTRUAL CYCLE (1977) (1)
Pyruvate dehydrogenase activation in inactive muscle during and after maximal exercise in men. (1999) (1)
Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2008) (1)
EFFECTS OF HYPEROXIA ON SHORT-TERM POWER OUTPUT AND FATIGUE IN HUMAN MUSCLE (1982) (1)
Aerobic Capacity, Short-Term Dynamic Muscle Power and Effects of Exercise Rehabilitation in Cardiac Patients (1988) (1)
Interpretive Overhead and Optimal Specialisation . Or : Life without the Pending List (2008) (1)
ACIDOSIS IN THE PERFUSED RAT HINDQUARTER DURING EXERCISE: PERFORMANCE AND LACTATE EFFLUX (1983) (1)
Breathlessness : the cmpbell symposium May 16-19, 1991 McMaster university Hamilton, Ontario, Canada (1992) (1)
COMPARISON OF CURVE ANALYSIS FOR THE DETERMINATION OF MIXED VENOUS PCO2 BY THE DEFARES REBREATHING METHOD (1984) (0)
Stanley M. Rogoff, 1922-1979. (1979) (0)
Festschrift for Sir John McMichael (0)
Muscle performance and fatigue: overview. (1983) (0)
Exercise Tests (1968) (0)
after a low-carbohydrate diet Pyruvate overrides inhibition of PDH during exercise (2016) (0)
980 THE MAGNITUDE OF DISCRIMINABLE SENSATIONS DURING INCREMENTAL CYCLE ERGOMETRY CONTINUED TO LIMITATION (1993) (0)
Foreword (Selected Papers of ESOP '90) (1991) (0)
Central Cardiovascular Function Before and After Four Years of Exercise Following Myocardial Infarction (1986) (0)
Breathing during exercise in airway obstruction. (1981) (0)
Machine efficiency & programmer convenience (1978) (0)
731 WEIGHTLIFTING TRAINING IN CHRONIC AIRFLOW OBSTRUCTION (1990) (0)
Superlinear speedup by program transformation (extended abstract) (2012) (0)
Automatie Program Speeialization by Partial Evaluation: an Introduetion (1996) (0)
Proceedings of the 8th Scandinavian Logic Symposium (2012) (0)
Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009, proceedings (2009) (0)
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress) (2014) (0)
L:: ..'r'i dhuuubcal investigations Measurement of Cardiac Output by CO2 RebreathinginUnsteadyStateExercise* (2017) (0)
Pyruvate Dehydrogenase Activity and Acetyl-Group Accumulation in Human Vastus Lateralis during Maximal Intermittent Isokinetic Cycling (1994) (0)
Constant velocity cycle ergometer (1981) (0)
Complexity and computability from a programming language perspective (1995) (0)
Selected papers from the symposium on 3rd European symposium on programming (1991) (0)
Logic, Language and Computation (1994) (0)
Binding times in some current programming languages (1978) (0)
Programs: Improvements, Complexity, and Meanings (Dagstuhl Seminar 98231) (2021) (0)
DESCRIPTION OF TURING MACHINES BY PREDICATES (1973) (0)
THE EFFECT OF ACID-BASE DISTURBANCES ON VENTILATORY AND METABOLIC RESPONSES TO PROGRESSIVE EXERCISE (1983) (0)
The Respiratory Quotient During Maximal Incremental Exercise: A Graphical Analysis (2019) (0)
Lemma 4 given 0 = S 0 0 S 0 #cell #nodes #time(sec) Trans. #reachable States #cell #nodes #time(sec) Trans. #reachable States (1994) (0)
#10: A CONSTANT VELOCITY CYCLE ERGOMETER (1981) (0)
EAPLS: the European Association for Programming Languages and Systems (1999) (0)
Scientific foreword (1988) (0)
Computability Theory: An Introduction (2014) (0)
Program generation, termination, and binding-time analysis (abstract and conclusions of pli invited paper) (2002) (0)
Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluation (2016) (0)
Effects of hypoxia on fat metabolism in exercising humans. (1972) (0)
THE NORMAL FORM THEOREMS AND CONSEQUENCES (1973) (0)
Effect ofencouragement onwalking test performance (1984) (0)
Improvements to increase machine efficiency (1978) (0)
A Normalization Code in Standard Ml Datatype 'a Option = None | Some of 'a 7 Conclusion and Future Work (1995) (0)
28 A RANDOMIZED CLINICAL TRIAL OF CARDIAC REHABILITATION TO IMPROVE HEALTH-RELATED QUALITY OF LIFE (1990) (0)
Usefulness of Weightlifting Training in Improving Strength and Maximal Power Output in Coronary Artery Disease (1992) (0)
Projection Factorisations in Partial Evaluation. By Launchbury John. Distinguished Dissertations in Computer Science, Vol. 1. Cambridge University Press, 1991. ISBN 0 521 41497 0 (1992) (0)
INTRODUCTION TO COMPUTABILITY (1973) (0)
Parameter passing and reference variables (1978) (0)
Effort tolerance and exercise responses in men with chronic diffuse airways obstruction. (1969) (0)
ESSLLI 98 Lecture Notes : Computability and Complexity from a Programming Perspective (1998) (0)
Examples from TEMPO and some current programming languanges (1978) (0)
DAT V Programmeringssprog (3): Programs as Data Objects (2002) (0)
OTHER FORMULATIONS OF COMPUTABILITY (1973) (0)
Complexity of Some Problems Concerning Lindenmayer Systems. (Revised version) (1979) (0)
Program termination analysis by size-change graphs (2001) (0)
Semantics of TEMPO (1978) (0)
ACIDOSIS IN THE PERFUSED RAT HINDQUARTER DURING EXERCISE MUSCLE METABOLITES (1983) (0)
HEALTH-RELATED QUALITY OF LIFE & MYOCARDIAL INFARCTION 493 (1996) (0)
Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation (1987) (0)
Cons-free Programs and Complexity Classes between LOGSPACE and PTIME (2020) (0)
439 EFFECTS OF EXERCISE AND TRAINING ON NEUTROPHIL NUMBER AND FUNCTION (1993) (0)
150 ERYTHROCYTE (RBC) POTASSIUM ([K+]) AND LACTATE ([La-]) CONCENTRATION DURING INCREMENTAL EXERCISE (1990) (0)
DECISION OF PREDICATES BY TURING MACHINES (1973) (0)
Recognition of Deterministic ET0L Languages in Polynomial Time (1976) (0)
Priority Paging Algorithms and the Extension Problem (1971) (0)
Obfuscation by Partial Evaluation of Distorted Interpreters ( Invited Talk ) (2012) (0)
Partial Evaluation and the Generation of Program Generators (2005) (0)
Comparison oftheElectrocardiogra phic Changes Induced byMaximumExercise Testing withTreadmill andCycleErgometer (1978) (0)
Pyruvate Dehydrogenase Activity and Acetyl-Group Accumulation in Inactive Muscle during Maximal Intermittent Isokinetic Cycling (1994) (0)
Logic, Language, and Computation: Festschrift in Honor of Satoru Takasu (1994) (0)
Economic Evaluation Of Cardiac Rehabilitation: 12 (1992) (0)
A Perspective on Metacomputing (2001) (0)
Lung Volume and Flow Rates: Interaction of Obesity and Respiratory Muscle Strength. (2009) (0)
First announcement of an Workshop on Partial and Mixed Computation (2009) (0)
Computability and Complexity from a Programming Perspective (MFPS Draft preview) (1995) (0)
Corrigendum: Context free languages and rudimentary attributes (1977) (0)
The Contribution of MIP and MEP to VC, FEV1, PEFR, FEF50, FEF75, PIFR, VA and MBC (2020) (0)
Impaired Cardiovascular Acceleration At the Onset of Exercise in Patients with Coronary-Artery Disease (1981) (0)
Syntax of TEMPO (1978) (0)
Noninvasive measurement of mixed venous PCO2. (1984) (0)
DAT V Programmeringssprog (4): Partial Evaluation, Compiling, and Compiler Generation (2003) (0)
Exercise Testi ng In (2008) (0)
DLCO/TLCO Reliably Predicts Arterial Oxygen Desaturation During Exercise (2020) (0)
Static Complexity Analysis of Programs (0)
THE REGULATION OF HUMAN MUSCLE GLYCOGENOLYSIS DURING EXERCISE: THE ROLE OF GLYCOGEN PHOSPHORYLASE (1976) (0)
Implementation techniques for TEMPO (1978) (0)
The major limitation to exercise performance in COPD is inadequate energy supply to the respiratory and locomotor muscles vs. lower limb muscle dysfunction vs. dynamic hyperinflation. Measurements, estimates, interpretations, myths. (2008) (0)
ADHERENCE TO A PROGRAMME OF PHYSICAL CONDITIONING FOR POST MYOCARDIAL INFARCTION PATIENTS (1976) (0)
An Early Study of the Oxygen Cost of Breathing (2011) (0)
Models and Computability: Computability and Complexity Revisited (1999) (0)
MAXIMAL CARDIAC FREQUENCY RESPONSE IN RATS (1977) (0)
CTL as an Intermediate Language (2008) (0)
ENDOGENOUS TRIACYLGLYCEROL UTILIZATION BY RAT SKELETAL MUSCLE DURING HEAVY EXERCISE (1984) (0)
ACID-BASE BALANCE ACROSS PREVIOUSLY ACTIVE AND INACTIVE MUSCLE FOLLOWING SHORT-TERM, HIGH INTENSITY EXERCISE (1985) (0)
10: 30 a.m.: H+ ION CONTROL FOLLOWING HIGH INTENSITY EXERCISE IN ATHLETES AND UNTRAINED SUBJECTS (1981) (0)

This paper list is powered by the following services:

Other Resources About Neil D. Jones

en.wikipedia.org

What Schools Are Affiliated With Neil D. Jones?

Neil D. Jones is affiliated with the following schools:

Image Attributions

Image Source for Neil D. Jones