×

zbMATH — the first resource for mathematics

Jones, Neil D.

Compute Distance To:
Author ID: jones.neil-d Recent zbMATH articles by "Jones, Neil D."
Published as: Jones, N.; Jones, N. D.; Jones, Neil; Jones, Neil D.
Documents Indexed: 85 Publications since 1968, including 11 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

64 Publications have been cited 647 times in 522 Documents Cited by Year
Space-bounded reducibility among combinatorial problems. Zbl 0317.02039
Jones, Neil D.
97
1975
Partial evaluation and automatic program generation. Zbl 0875.68290
Jones, Neil D.; Gomard, Carsten K.; Sestoft, Peter
86
1993
Complete problems for deterministic polynomial time. Zbl 0352.68068
Jones, Neil D.; Laaser, William T.
79
1977
The size-change principle for program termination. Zbl 1323.68216
Lee, Chin Soon; Jones, Neil D.; Ben-Amram, Amir M.
41
2001
Complexity of some problems in Petri nets. Zbl 0357.68048
Jones, Neil D.; Landweber, Lawrence H.; Lien, Y. Edmund
36
1977
New problems complete for nondeterministic log space. Zbl 0341.68035
Jones, Neil D.; Lien, Y. Edmund; Laaser, William T.
33
1976
Turing machines and the spectra of first-order formulas. Zbl 0288.02021
Jones, Neil D.; Selman, Alan L.
29
1974
Computability and complexity. From a programming perspective. Zbl 0940.68050
Jones, Neil D.
26
1997
A positive supercompiler. Zbl 0870.68040
Sørensen, M. H.; Glück, R.; Jones, N. D.
15
1996
The expressive power of higher-order types or, life without CONS. Zbl 0988.68046
Jones, Neil D.
14
2001
LOGSPACE and PTIME characterized by programming languages. Zbl 0954.68075
Jones, Neil D.
11
1999
A partial evaluator for the untyped lambda-calculus. Zbl 1155.68350
Gomard, Carsten K.; Jones, Neil D.
10
1991
Program flow analysis: theory and applications. Zbl 0468.68002
Muchnick, Steven S.; Jones, Neil D.
10
1981
Even simple programs are hard to analyze. Zbl 0359.68014
Jones, Neil D.; Muchnick, Steven S.
10
1977
Context-free languages and rudimentary attributes. Zbl 0179.02202
Jones, N. D.
10
1969
Flow analysis of lazy higher-order functional programs. Zbl 1111.68017
Jones, Neil D.; Andersen, Nils
8
2007
Complexity of some problems concerning L systems. Zbl 0449.68038
Jones, Neil D.; Skyum, Sven
8
1979
Complete problems for deterministic polynomial time. Zbl 0376.68040
Jones, Neil D.; Laaser, William T.
8
1974
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
7
2012
A relational framework for abstract interpretation. Zbl 0585.68032
Mycroft, Alan; Jones, Neil D.
6
1986
Proving correctness of compiler optimizations by temporal logic. Zbl 1323.68380
Lacey, David; Jones, Neil D.; Van Wyk, Eric; Frederiksen, Carl Christian
5
2002
Mix: A self-applicable partial evaluator for experiments in compiler generation. Zbl 0644.68037
Jones, Neil D.; Sestoft, Peter; Søndergaard, Harald
5
1988
Turing machines and the spectra of first-order formulas with equality. Zbl 0381.03026
Jones, Neil D.; Selman, Alan L.
5
1972
Size-change termination and transition invariants. Zbl 1306.68028
Heizmann, Matthias; Jones, Neil D.; Podelski, Andreas
4
2010
A flow calculus of \(mwp\)-bounds for complexity analysis. Zbl 1351.68075
Jones, Neil D.; Kristiansen, Lars
4
2009
Transformation by interpreter specialisation. Zbl 1091.68018
Jones, Neil D.
4
2004
Experiments with implementations of two theoretical constructions. Zbl 0673.03035
Amtoft Hansen, Torben; Nikolajsen, Thomas; Träff, Jesper Larsson; Jones, Neil D.
4
1989
Recognition of deterministic ETOL languages in logarithmic space. Zbl 0374.68050
Jones, Neil D.; Skyum, Sven
4
1977
Linear, polynomial or exponential? Complexity inference in polynomial time. Zbl 1142.68369
Ben-Amram, Amir M.; Jones, Neil D.; Kristiansen, Lars
3
2008
Termination analysis of higher-order functional programs. Zbl 1159.68383
Sereni, Damien; Jones, Neil D.
3
2005
The flow of data and the complexity of algorithms. Zbl 1115.68052
Kristiansen, Lars; Jones, Neil D.
3
2005
Termination analysis of the untyped \(\lambda \)-calculus. Zbl 1187.68127
Jones, Neil D.; Bohr, Nina
3
2004
Compiler optimization correctness by temporal logic. Zbl 1075.68015
Lacey, David; Jones, Neil D.; Van Wyk, Eric; Frederiksen, Carl Christian
3
2004
Computational complexity via programming languages: Constant factors do matter. Zbl 0960.68079
Ben-Amram, Amir M.; Jones, Neil D.
3
2000
Flow analysis of lambda expressions (Preliminary version). Zbl 0481.68027
Jones, Neil D.
3
1981
TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages. Zbl 0387.68006
Jones, Neil D.; Muchnick, Steven S.
3
1978
The complexity of finite memory programs with recursion. Zbl 0371.68017
Jones, Neil D.; Muchnick, Steven S.
3
1978
A note on linear time simulation of deterministic two-way pushdown automata. Zbl 0375.68025
Jones, Neil D.
3
1977
Missing class groups and class number statistics for imaginary quadratic fields. Zbl 07068038
Holmin, S.; Jones, N.; Kurlberg, P.; McLeman, C.; Petersen, K.
2
2019
Redundant call elimination via tupling. Zbl 1096.68025
Chin, Wei-Ngan; Khoo, Siau-Cheng; Jones, Neil
2
2006
On dimensionless numbers for dynamic plastic response of structural members. Zbl 0966.74064
Li, Q. M.; Jones, N.
2
2000
Constant time factors do matter. Zbl 1310.68076
Jones, Neil D.
2
1993
Computer inplementation and applications of Kleene’s s-m-n and recursion theorems. Zbl 0754.03034
Jones, Neil D.
2
1992
Partial evaluation, self-application and types. Zbl 0765.68020
Jones, Neil D.
2
1990
Programs as data objects. Proceedings of a Workshop, Copenhagen, Denmark, October 17–19, 1985. Zbl 0578.00007
Ganzinger, Harald (ed.); Jones, Neil D. (ed.)
2
1986
Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002
Jones, Neil D. (ed.)
2
1980
Parsers for indexed grammars. Zbl 0402.68059
Sebesta, Robert W.; Jones, Neil D.
2
1978
Computability theory. An introduction. Zbl 0291.02025
Jones, Neil D.
2
1973
A note on the index of a context-free language. Zbl 0188.03203
Jones, N. D.
2
1970
Classes of automata and transitive closure. Zbl 0184.02302
Jones, N. D.
2
1968
Programs = data = first-class citizens in a computational world. Zbl 1328.68064
Jones, Neil D.; Simonsen, Jakob Grue
1
2012
Call-by-value termination in the untyped \(\lambda \)-calculus. Zbl 1149.68021
Jones, Neil D.; Bohr, Nina
1
2008
Program analysis for implicit computational complexity. Zbl 0984.68656
Jones, Neil D.
1
2001
The essence of program transformation by partial evaluation and driving. Zbl 0971.68031
Jones, Neil D.
1
2000
A theoretical analysis for the quasi-static axial crushing of top-hat and double-hat thin-walled sections. Zbl 0940.74052
White, M. D.; Jones, N.; Abramowicz, W.
1
1999
A precise version of a time hierarchy theorem. Zbl 0935.68029
Ben-Amram, Amir M.; Jones, Neil D.
1
1999
Higher-order minimal functions graph. Zbl 0924.68046
Jones, Neil D.; Rosendahl, Mads
1
1997
Logic, language and computation. Festschrift in Honor of Satoru Takasu. Zbl 0825.00045
Jones, Neil D. (ed.); Hagiya, Masami (ed.); Sato, Masahiko (ed.)
1
1994
Partial evaluation and mixed computation. Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 October 1987. Zbl 0744.68013
Bjoerner, Dines (ed.); Ershov, Andrei P. (ed.); Jones, Neil D. (ed.)
1
1988
A method for detecting structure in polyhedra. Zbl 0555.68060
Johansen, Peter; Jones, Neil; Clausen, Jens
1
1984
Control flow treatment in a simple semantics-directed compiler generator. Zbl 0512.68017
Christiansen, Henning; Jones, Neil
1
1983
A note on the complexity of general DOL membership. Zbl 0454.68094
Jones, Neil D.; Skyum, Sven
1
1981
Corrigendum: Space-bounded reducibility among combinatorial problems. Zbl 0362.02027
Jones, Neil D.
1
1977
Even simple programs are hard to analyze. Zbl 0361.68034
Jones, Neil D.; Muchnick, Steven S.
1
1975
Missing class groups and class number statistics for imaginary quadratic fields. Zbl 07068038
Holmin, S.; Jones, N.; Kurlberg, P.; McLeman, C.; Petersen, K.
2
2019
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
7
2012
Programs = data = first-class citizens in a computational world. Zbl 1328.68064
Jones, Neil D.; Simonsen, Jakob Grue
1
2012
Size-change termination and transition invariants. Zbl 1306.68028
Heizmann, Matthias; Jones, Neil D.; Podelski, Andreas
4
2010
A flow calculus of \(mwp\)-bounds for complexity analysis. Zbl 1351.68075
Jones, Neil D.; Kristiansen, Lars
4
2009
Linear, polynomial or exponential? Complexity inference in polynomial time. Zbl 1142.68369
Ben-Amram, Amir M.; Jones, Neil D.; Kristiansen, Lars
3
2008
Call-by-value termination in the untyped \(\lambda \)-calculus. Zbl 1149.68021
Jones, Neil D.; Bohr, Nina
1
2008
Flow analysis of lazy higher-order functional programs. Zbl 1111.68017
Jones, Neil D.; Andersen, Nils
8
2007
Redundant call elimination via tupling. Zbl 1096.68025
Chin, Wei-Ngan; Khoo, Siau-Cheng; Jones, Neil
2
2006
Termination analysis of higher-order functional programs. Zbl 1159.68383
Sereni, Damien; Jones, Neil D.
3
2005
The flow of data and the complexity of algorithms. Zbl 1115.68052
Kristiansen, Lars; Jones, Neil D.
3
2005
Transformation by interpreter specialisation. Zbl 1091.68018
Jones, Neil D.
4
2004
Termination analysis of the untyped \(\lambda \)-calculus. Zbl 1187.68127
Jones, Neil D.; Bohr, Nina
3
2004
Compiler optimization correctness by temporal logic. Zbl 1075.68015
Lacey, David; Jones, Neil D.; Van Wyk, Eric; Frederiksen, Carl Christian
3
2004
Proving correctness of compiler optimizations by temporal logic. Zbl 1323.68380
Lacey, David; Jones, Neil D.; Van Wyk, Eric; Frederiksen, Carl Christian
5
2002
The size-change principle for program termination. Zbl 1323.68216
Lee, Chin Soon; Jones, Neil D.; Ben-Amram, Amir M.
41
2001
The expressive power of higher-order types or, life without CONS. Zbl 0988.68046
Jones, Neil D.
14
2001
Program analysis for implicit computational complexity. Zbl 0984.68656
Jones, Neil D.
1
2001
Computational complexity via programming languages: Constant factors do matter. Zbl 0960.68079
Ben-Amram, Amir M.; Jones, Neil D.
3
2000
On dimensionless numbers for dynamic plastic response of structural members. Zbl 0966.74064
Li, Q. M.; Jones, N.
2
2000
The essence of program transformation by partial evaluation and driving. Zbl 0971.68031
Jones, Neil D.
1
2000
LOGSPACE and PTIME characterized by programming languages. Zbl 0954.68075
Jones, Neil D.
11
1999
A theoretical analysis for the quasi-static axial crushing of top-hat and double-hat thin-walled sections. Zbl 0940.74052
White, M. D.; Jones, N.; Abramowicz, W.
1
1999
A precise version of a time hierarchy theorem. Zbl 0935.68029
Ben-Amram, Amir M.; Jones, Neil D.
1
1999
Computability and complexity. From a programming perspective. Zbl 0940.68050
Jones, Neil D.
26
1997
Higher-order minimal functions graph. Zbl 0924.68046
Jones, Neil D.; Rosendahl, Mads
1
1997
A positive supercompiler. Zbl 0870.68040
Sørensen, M. H.; Glück, R.; Jones, N. D.
15
1996
Logic, language and computation. Festschrift in Honor of Satoru Takasu. Zbl 0825.00045
Jones, Neil D. (ed.); Hagiya, Masami (ed.); Sato, Masahiko (ed.)
1
1994
Partial evaluation and automatic program generation. Zbl 0875.68290
Jones, Neil D.; Gomard, Carsten K.; Sestoft, Peter
86
1993
Constant time factors do matter. Zbl 1310.68076
Jones, Neil D.
2
1993
Computer inplementation and applications of Kleene’s s-m-n and recursion theorems. Zbl 0754.03034
Jones, Neil D.
2
1992
A partial evaluator for the untyped lambda-calculus. Zbl 1155.68350
Gomard, Carsten K.; Jones, Neil D.
10
1991
Partial evaluation, self-application and types. Zbl 0765.68020
Jones, Neil D.
2
1990
Experiments with implementations of two theoretical constructions. Zbl 0673.03035
Amtoft Hansen, Torben; Nikolajsen, Thomas; Träff, Jesper Larsson; Jones, Neil D.
4
1989
Mix: A self-applicable partial evaluator for experiments in compiler generation. Zbl 0644.68037
Jones, Neil D.; Sestoft, Peter; Søndergaard, Harald
5
1988
Partial evaluation and mixed computation. Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 October 1987. Zbl 0744.68013
Bjoerner, Dines (ed.); Ershov, Andrei P. (ed.); Jones, Neil D. (ed.)
1
1988
A relational framework for abstract interpretation. Zbl 0585.68032
Mycroft, Alan; Jones, Neil D.
6
1986
Programs as data objects. Proceedings of a Workshop, Copenhagen, Denmark, October 17–19, 1985. Zbl 0578.00007
Ganzinger, Harald (ed.); Jones, Neil D. (ed.)
2
1986
A method for detecting structure in polyhedra. Zbl 0555.68060
Johansen, Peter; Jones, Neil; Clausen, Jens
1
1984
Control flow treatment in a simple semantics-directed compiler generator. Zbl 0512.68017
Christiansen, Henning; Jones, Neil
1
1983
Program flow analysis: theory and applications. Zbl 0468.68002
Muchnick, Steven S.; Jones, Neil D.
10
1981
Flow analysis of lambda expressions (Preliminary version). Zbl 0481.68027
Jones, Neil D.
3
1981
A note on the complexity of general DOL membership. Zbl 0454.68094
Jones, Neil D.; Skyum, Sven
1
1981
Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Zbl 0447.68002
Jones, Neil D. (ed.)
2
1980
Complexity of some problems concerning L systems. Zbl 0449.68038
Jones, Neil D.; Skyum, Sven
8
1979
TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages. Zbl 0387.68006
Jones, Neil D.; Muchnick, Steven S.
3
1978
The complexity of finite memory programs with recursion. Zbl 0371.68017
Jones, Neil D.; Muchnick, Steven S.
3
1978
Parsers for indexed grammars. Zbl 0402.68059
Sebesta, Robert W.; Jones, Neil D.
2
1978
Complete problems for deterministic polynomial time. Zbl 0352.68068
Jones, Neil D.; Laaser, William T.
79
1977
Complexity of some problems in Petri nets. Zbl 0357.68048
Jones, Neil D.; Landweber, Lawrence H.; Lien, Y. Edmund
36
1977
Even simple programs are hard to analyze. Zbl 0359.68014
Jones, Neil D.; Muchnick, Steven S.
10
1977
Recognition of deterministic ETOL languages in logarithmic space. Zbl 0374.68050
Jones, Neil D.; Skyum, Sven
4
1977
A note on linear time simulation of deterministic two-way pushdown automata. Zbl 0375.68025
Jones, Neil D.
3
1977
Corrigendum: Space-bounded reducibility among combinatorial problems. Zbl 0362.02027
Jones, Neil D.
1
1977
New problems complete for nondeterministic log space. Zbl 0341.68035
Jones, Neil D.; Lien, Y. Edmund; Laaser, William T.
33
1976
Space-bounded reducibility among combinatorial problems. Zbl 0317.02039
Jones, Neil D.
97
1975
Even simple programs are hard to analyze. Zbl 0361.68034
Jones, Neil D.; Muchnick, Steven S.
1
1975
Turing machines and the spectra of first-order formulas. Zbl 0288.02021
Jones, Neil D.; Selman, Alan L.
29
1974
Complete problems for deterministic polynomial time. Zbl 0376.68040
Jones, Neil D.; Laaser, William T.
8
1974
Computability theory. An introduction. Zbl 0291.02025
Jones, Neil D.
2
1973
Turing machines and the spectra of first-order formulas with equality. Zbl 0381.03026
Jones, Neil D.; Selman, Alan L.
5
1972
A note on the index of a context-free language. Zbl 0188.03203
Jones, N. D.
2
1970
Context-free languages and rudimentary attributes. Zbl 0179.02202
Jones, N. D.
10
1969
Classes of automata and transitive closure. Zbl 0184.02302
Jones, N. D.
2
1968
all top 5

Cited by 740 Authors

12 Jones, Neil D.
11 Vidal, Germán
10 Rosier, Louis E.
10 Yen, Hsu-Chun
8 Holzer, Markus
8 Howell, Rodney R.
7 Glück, Robert
6 Albert, Elvira
6 Ben-Amram, Amir M.
6 Puebla, Germán
6 Simonsen, Jakob Grue
5 Book, Ronald Vernon
5 Kupferman, Orna
5 Lewis, Harry R.
5 Sudborough, Ivan Hal
5 Vardi, Moshe Y.
5 Wrathall, Celia
4 Baillot, Patrick
4 Cucker, Felipe
4 Dal Lago, Ugo
4 Genaim, Samir
4 Grandjean, Etienne
4 Jakobi, Sebastian
4 Kutrib, Martin
4 Marion, Jean-Yves
4 McKenzie, Pierre
4 More, Malika
4 Moreno, Ginés
4 Reif, John H.
4 Stewart, Iain A.
3 Bergman, Clifford
3 Berwanger, Dietmar
3 Bonfante, Guillaume
3 Boros, Endre
3 Chlebus, Bogdan Stanislaw
3 Danvy, Olivier
3 de Naurois, Paulin Jacobé
3 Dobkin, David P.
3 Durand, Arnaud
3 Engelfriet, Joost
3 Gallagher, John P.
3 Genet, Thomas
3 Giesl, Jürgen
3 Goldschlager, Leslie M.
3 Ibarra, Oscar H.
3 Jay, C. Barry
3 Kasai, Takumi
3 Kopczyński, Eryk
3 Kristiansen, Lars
3 Lange, Martin
3 Leuschel, Michael
3 Malcher, Andreas
3 Minoux, Michel Andre
3 Pettorossi, Alberto
3 Proietti, Maurizio
3 Reps, Thomas W.
3 Royer, James S.
3 Rybalchenko, Andrey
3 Sakai, Masahiko
3 Schmidt, David A.
3 Selman, Alan L.
3 Slutzki, Giora
3 Steila, Silvia
3 Taha, Walid
3 Tan, Tony
2 Abiteboul, Serge
2 Abramsky, Samson
2 Adachi, Akeo
2 Agrawal, Manindra
2 Akshay, S.
2 Allender, Eric W.
2 Alpuente, María
2 Arenas, Puri
2 Beaudry, Martin
2 Berardi, Stefano
2 Blanqui, Frédéric
2 Boker, Udi
2 Bournez, Olivier
2 Buhrman, Harry
2 Carette, Jacques
2 Chen, Yu-Fang
2 Clemente, Lorenzo
2 Codish, Michael
2 Cook, Byron
2 Culik, Karel II
2 De Schreye, Danny
2 Demri, Stéphane P.
2 Dershowitz, Nachum
2 Drewes, Frank
2 Escobar, Santiago
2 Esparza, Javier
2 Fioravanti, Fabio
2 Fleischer, Lukas
2 Futamura, Yoshihiko
2 Gómez-Zamalloa, Miguel
2 Grädel, Erich
2 Gurari, Eitan M.
2 Hague, Matthew
2 Hammer, Peter Ladislaw
2 Hélouët, Loïc
...and 640 more Authors
all top 5

Cited in 84 Serials

105 Theoretical Computer Science
43 Information and Computation
39 Journal of Computer and System Sciences
34 Information Processing Letters
17 Mathematical Systems Theory
12 Acta Informatica
12 Theory of Computing Systems
9 Journal of Automated Reasoning
9 International Journal of Foundations of Computer Science
9 Higher-Order and Symbolic Computation
8 Annals of Pure and Applied Logic
8 Journal of Functional Programming
7 New Generation Computing
6 Journal of Logical and Algebraic Methods in Programming
5 Journal of Symbolic Computation
5 Logical Methods in Computer Science
4 Artificial Intelligence
4 The Journal of Symbolic Logic
4 Science of Computer Programming
4 MSCS. Mathematical Structures in Computer Science
4 Formal Methods in System Design
4 Annals of Mathematics and Artificial Intelligence
3 Discrete Applied Mathematics
3 Applied Mathematics and Computation
3 Programming and Computer Software
3 Algorithmica
3 Formal Aspects of Computing
3 International Journal of Algebra and Computation
3 International Journal of Computer Mathematics
3 RAIRO. Informatique Théorique et Applications
3 Applicable Algebra in Engineering, Communication and Computing
3 Cybernetics and Systems Analysis
3 Computational Complexity
3 RAIRO. Theoretical Informatics and Applications
3 The Journal of Logic and Algebraic Programming
3 Theory and Practice of Logic Programming
3 ACM Transactions on Computational Logic
2 Computing
2 Fuzzy Sets and Systems
2 Journal of Soviet Mathematics
2 Notre Dame Journal of Formal Logic
2 RAIRO, Informatique Théorique
2 Transactions of the American Mathematical Society
2 Journal of Computer Science and Technology
2 RAIRO. Theoretical Informatics and Applications
1 Journal of Computational Physics
1 Chaos, Solitons and Fractals
1 Bulletin of the London Mathematical Society
1 Calcolo
1 Information Sciences
1 Kybernetika
1 Mathematics and Computers in Simulation
1 Proceedings of the American Mathematical Society
1 SIAM Journal on Computing
1 Topology and its Applications
1 Ergodic Theory and Dynamical Systems
1 Combinatorica
1 Applied Mathematics and Mechanics. (English Edition)
1 Journal of Complexity
1 The Visual Computer
1 Real-Time Systems
1 Discrete Event Dynamic Systems
1 Mémoires de la Société Mathématique de France. Nouvelle Série
1 Distributed Computing
1 Archive for Mathematical Logic
1 Mathematical Programming. Series A. Series B
1 Journal of Applied Non-Classical Logics
1 Diagrammes
1 Mathematical Logic Quarterly (MLQ)
1 The Bulletin of Symbolic Logic
1 The Ramanujan Journal
1 Chicago Journal of Theoretical Computer Science
1 Journal of Scheduling
1 Journal of the ACM
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 European Journal of Mechanics. A. Solids
1 International Journal of Nonlinear Sciences and Numerical Simulation
1 Journal of Machine Learning Research (JMLR)
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 New Mathematics and Natural Computation
1 Science China. Information Sciences
1 Bulletin of Mathematical Sciences
1 Computer Science Review

Citations by Year