×

zbMATH — the first resource for mathematics

Walker, David W.

Compute Distance To:
Author ID: walker.david-w Recent zbMATH articles by "Walker, David W."
Published as: Walker, D.; Walker, D. W.; Walker, David; Walker, David W.
External Links: ORCID · dblp
Documents Indexed: 76 Publications since 1973, including 7 Books

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 1,299 times in 1,041 Documents Cited by Year
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
269
1992
The \(\pi\)-calculus: A theory of mobile processes. Zbl 0981.68116
Sangiorgi, Davide; Walker, David
216
2001
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
208
1992
ScaLAPACK users’ guide. Incl. 1 CD-ROM. Zbl 0886.65022
Blackford, L. S.; Choi, J.; Cleary, A.; D’Azevedo, E.; Demmel, J.; Dhillon, I.; Dongarra, J.; Hammarling, S.; Henry, G.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R. C.
118
1997
Chebyshev tau-QZ algorithm methods for calculating spectra of hydrodynamic stability problems. Zbl 0867.76025
Dongarra, J. J.; Straughan, B.; Walker, D. W.
76
1996
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
46
1993
Local model checking in the modal mu-calculus. Zbl 0745.03027
Stirling, Colin; Walker, David
44
1991
A concurrent logical framework: The propositional fragment. Zbl 1100.68548
Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
33
2004
Errata to: “Stack-based typed assembly language”. Zbl 1110.68361
Morrisett, Greg; Crary, Karl; Glew, Neal; Walker, David
30
2003
Objects in the \(\pi\)-calculus. Zbl 0828.68043
Walker, David
28
1995
Two very accurate and efficient methods for computing eigenvalues and eigenfunctions in porous convection problems. Zbl 0858.76064
Straughan, B.; Walker, D. W.
26
1996
Anisotropic porous penetrative convection. Zbl 0868.76033
Straughan, B.; Walker, D. W.
23
1996
Improving bounds on link failure tolerance of the star graph. Zbl 1211.68293
Walker, David; Latifi, Shahram
16
2010
Netkat, semantic foundations for networks. Zbl 1284.68100
Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David
12
2014
ScaLAPACK: A portable linear algebra library for distributed memory computers – design issues and performance. Zbl 0926.65148
Choi, J.; Demmel, J.; Dhillon, I.; Dongarra, J.; Ostrouchov, S.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R. C.
12
1996
On barbed equivalences in \(\pi\)-calculus. Zbl 1006.68090
Sangiorgi, Davide; Walker, David
11
2001
On synchronous and asynchronous mobile processes. Zbl 0961.68092
Quaglia, Paola; Walker, David
9
2000
Modal proofs as distributed programs (extended abstract). Zbl 1126.68349
Jia, Limin; Walker, David
8
2004
Software libraries for linear algebra computations on high performance computers. Zbl 0874.65014
Dongara, Jack J.; Walker, David W.
8
1995
Types and full abstraction for polyadic \(\pi\)-calculus. Zbl 1101.68062
Quaglia, Paola; Walker, David
6
2005
Dynamic typing with dependent types. Zbl 1088.68531
Ou, Xinming; Tan, Gang; Mandelbaum, Yitzhak; Walker, David
6
2004
Stack-based typed assembly language. Zbl 0998.68037
Morrisett, Greg; Crary, Karl; Glew, Neal; Walker, David
6
2002
A type system for expressive security policies. Zbl 1323.68233
Walker, David
6
2000
Partial confluence of processes and systems of objects. Zbl 0913.68129
Liu, Xinxin; Walker, David
6
1998
G-QoSM: Grid service discovery using QoS properties. Zbl 1102.68396
Al-Ali, Rashid J.; Rana, Omer F.; Walker, David W.
5
2002
On regions and linear types (extended abstract). Zbl 1323.68174
Walker, David; Watkins, Kevin
5
2001
Alias types. Zbl 0971.68584
Smith, Frederick; Walker, David; Morrisett, Greg
5
2000
A theory of aspects. Zbl 1315.68072
Walker, David; Zdancewic, Steve; Ligatti, Jay
4
2003
On confluence in the \(\pi\)-calculus. Zbl 1401.68232
Philippou, Anna; Walker, David
4
1997
Frenetic: a network programming language. Zbl 1323.68114
Foster, Nate; Harrison, Rob; Freedman, Michael J.; Monsanto, Christopher; Rexford, Jennifer; Story, Alec; Walker, David
3
2011
Harmless advice. Zbl 1369.68071
Dantas, Daniel S.; Walker, David
3
2006
A type-theoretic interpretation of pointcuts and advice. Zbl 1119.68112
Ligatti, Jay; Walker, David; Zdancewic, Steve
3
2006
PolyAML: a polymorphic aspect-oriented functional programming language. Zbl 1302.68057
Dantas, Daniel S.; Walker, David; Washburn, Geoffrey; Weirich, Stephanie
3
2005
An effective theory of type refinements. Zbl 1315.68055
Mandelbaum, Yitzhak; Walker, David; Harper, Robert
3
2003
Alias types for recursive data structures. Zbl 0985.68007
Walker, David; Morrisett, Greg
3
2001
Key concepts for parallel out-of-core LU factorization. Zbl 0906.68036
Dongarra, Jack J.; Hammarling, Sven; Walker, David W.
3
1997
Parallel matrix transpose algorithms on distributed memory concurrent computers. Zbl 0874.68129
Choi, Jaeyoung; Dongarra, Jack J.; Walker, David W.
3
1995
Periodic optimal cruise of an atmospheric vehicle. Zbl 0575.49019
Speyer, Jason L.; Dannemiller, David; Walker, David
3
1985
ILC: A foundation for automated reasoning about pointer programs. Zbl 1178.03077
Jia, Limin; Walker, David
2
2006
A process-calculus analysis of concurrent operations on B-trees. Zbl 0990.68093
Philippou, Anna; Walker, David
2
2001
Further results on the relationship between \(\mu\)-invariant measures and quasi-stationary distributions for absorbing continuous-time Markov chains. Zbl 1042.60521
Elmes, S.; Pollett, P.; Walker, D.
2
2000
Key concepts for parallel out-of-core LU factorization. Zbl 1010.68539
Dongarra, J. J.; Hammarling, S.; Walker, D. W.
2
1998
On transformations of concurrent-object programs. Zbl 0915.68024
Philippou, Anna; Walker, David
2
1998
The design of a parallel dense linear algebra software library: Reduction to Hessenberg, tridiagonal, and bidiagonal form. Zbl 0839.65050
Choi, Jaeyoung; Dongarra, Jack J.; Walker, David W.
2
1995
Example-directed synthesis: a type-theoretic interpretation. Zbl 1347.68049
Frankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve
1
2016
Semantics and algorithms for data-dependent grammars. Zbl 1312.68115
Jim, Trevor; Mandelbaum, Yitzhak; Walker, David
1
2010
Concurrent separation logic for pipelined parallelization. Zbl 1306.68019
Bell, Christian J.; Appel, Andrew W.; Walker, David
1
2010
Specifying properties of concurrent computations in CLF. Zbl 1278.03069
Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
1
2007
Analysis and provision of QoS for distributed grid applications. Zbl 1063.68020
Al-Ali, Rashid J.; Amin, Kaizar; von Laszewski, Gregor; Rana, Omer F.; Walker, David W.; Hategan, Mihael; Zaluzec, Nestor
1
2005
Service design patterns for computational grids. Zbl 1101.68387
Rana, Omer F.; Walker, David W.
1
2003
Types and effects for non-interfering program monitors. Zbl 1033.68538
Bauer, Lujo; Ligatti, Jarred; Walker, David
1
2003
The software architecture of a distributed problem-solving environment. Zbl 1008.68576
Walker, D. W.; Li, M.; Rana, O. F.; Shields, M. S.; Huang, Y.
1
2001
A Java/CORBA-based visual program composition environment for PSEs. Zbl 1120.68374
Shields, Matthew S.; Rana, Omer F.; Walker, David W.; Li, Maozhen; Golby, David
1
2000
On encoding \(p\pi\) in \(m\pi\). Zbl 0932.68050
Quaglia, Paola; Walker, David
1
1998
Social confluence in client-server systems. Zbl 0884.68051
Philippou, Anna; Walker, David
1
1997
Application of a mixed \(H_ 2/H_ \infty\) approach with a singular \(H_ \infty\) constraint. Zbl 0875.93372
Smith, Linda; Ridgely, D. Brett; Walker, David; Luke, Jim
1
1997
User-interface design. 2nd ed. Zbl 0777.68006
Cox, Kevin; Walker, David
1
1993
Advanced engineering mathematics. Zbl 0351.00004
Bajpai, A. C.; Mustoe, L. R.; Walker, D.
1
1977
Example-directed synthesis: a type-theoretic interpretation. Zbl 1347.68049
Frankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve
1
2016
Netkat, semantic foundations for networks. Zbl 1284.68100
Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David
12
2014
Frenetic: a network programming language. Zbl 1323.68114
Foster, Nate; Harrison, Rob; Freedman, Michael J.; Monsanto, Christopher; Rexford, Jennifer; Story, Alec; Walker, David
3
2011
Improving bounds on link failure tolerance of the star graph. Zbl 1211.68293
Walker, David; Latifi, Shahram
16
2010
Semantics and algorithms for data-dependent grammars. Zbl 1312.68115
Jim, Trevor; Mandelbaum, Yitzhak; Walker, David
1
2010
Concurrent separation logic for pipelined parallelization. Zbl 1306.68019
Bell, Christian J.; Appel, Andrew W.; Walker, David
1
2010
Specifying properties of concurrent computations in CLF. Zbl 1278.03069
Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
1
2007
Harmless advice. Zbl 1369.68071
Dantas, Daniel S.; Walker, David
3
2006
A type-theoretic interpretation of pointcuts and advice. Zbl 1119.68112
Ligatti, Jay; Walker, David; Zdancewic, Steve
3
2006
ILC: A foundation for automated reasoning about pointer programs. Zbl 1178.03077
Jia, Limin; Walker, David
2
2006
Types and full abstraction for polyadic \(\pi\)-calculus. Zbl 1101.68062
Quaglia, Paola; Walker, David
6
2005
PolyAML: a polymorphic aspect-oriented functional programming language. Zbl 1302.68057
Dantas, Daniel S.; Walker, David; Washburn, Geoffrey; Weirich, Stephanie
3
2005
Analysis and provision of QoS for distributed grid applications. Zbl 1063.68020
Al-Ali, Rashid J.; Amin, Kaizar; von Laszewski, Gregor; Rana, Omer F.; Walker, David W.; Hategan, Mihael; Zaluzec, Nestor
1
2005
A concurrent logical framework: The propositional fragment. Zbl 1100.68548
Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
33
2004
Modal proofs as distributed programs (extended abstract). Zbl 1126.68349
Jia, Limin; Walker, David
8
2004
Dynamic typing with dependent types. Zbl 1088.68531
Ou, Xinming; Tan, Gang; Mandelbaum, Yitzhak; Walker, David
6
2004
Errata to: “Stack-based typed assembly language”. Zbl 1110.68361
Morrisett, Greg; Crary, Karl; Glew, Neal; Walker, David
30
2003
A theory of aspects. Zbl 1315.68072
Walker, David; Zdancewic, Steve; Ligatti, Jay
4
2003
An effective theory of type refinements. Zbl 1315.68055
Mandelbaum, Yitzhak; Walker, David; Harper, Robert
3
2003
Service design patterns for computational grids. Zbl 1101.68387
Rana, Omer F.; Walker, David W.
1
2003
Types and effects for non-interfering program monitors. Zbl 1033.68538
Bauer, Lujo; Ligatti, Jarred; Walker, David
1
2003
Stack-based typed assembly language. Zbl 0998.68037
Morrisett, Greg; Crary, Karl; Glew, Neal; Walker, David
6
2002
G-QoSM: Grid service discovery using QoS properties. Zbl 1102.68396
Al-Ali, Rashid J.; Rana, Omer F.; Walker, David W.
5
2002
The \(\pi\)-calculus: A theory of mobile processes. Zbl 0981.68116
Sangiorgi, Davide; Walker, David
216
2001
On barbed equivalences in \(\pi\)-calculus. Zbl 1006.68090
Sangiorgi, Davide; Walker, David
11
2001
On regions and linear types (extended abstract). Zbl 1323.68174
Walker, David; Watkins, Kevin
5
2001
Alias types for recursive data structures. Zbl 0985.68007
Walker, David; Morrisett, Greg
3
2001
A process-calculus analysis of concurrent operations on B-trees. Zbl 0990.68093
Philippou, Anna; Walker, David
2
2001
The software architecture of a distributed problem-solving environment. Zbl 1008.68576
Walker, D. W.; Li, M.; Rana, O. F.; Shields, M. S.; Huang, Y.
1
2001
On synchronous and asynchronous mobile processes. Zbl 0961.68092
Quaglia, Paola; Walker, David
9
2000
A type system for expressive security policies. Zbl 1323.68233
Walker, David
6
2000
Alias types. Zbl 0971.68584
Smith, Frederick; Walker, David; Morrisett, Greg
5
2000
Further results on the relationship between \(\mu\)-invariant measures and quasi-stationary distributions for absorbing continuous-time Markov chains. Zbl 1042.60521
Elmes, S.; Pollett, P.; Walker, D.
2
2000
A Java/CORBA-based visual program composition environment for PSEs. Zbl 1120.68374
Shields, Matthew S.; Rana, Omer F.; Walker, David W.; Li, Maozhen; Golby, David
1
2000
Partial confluence of processes and systems of objects. Zbl 0913.68129
Liu, Xinxin; Walker, David
6
1998
Key concepts for parallel out-of-core LU factorization. Zbl 1010.68539
Dongarra, J. J.; Hammarling, S.; Walker, D. W.
2
1998
On transformations of concurrent-object programs. Zbl 0915.68024
Philippou, Anna; Walker, David
2
1998
On encoding \(p\pi\) in \(m\pi\). Zbl 0932.68050
Quaglia, Paola; Walker, David
1
1998
ScaLAPACK users’ guide. Incl. 1 CD-ROM. Zbl 0886.65022
Blackford, L. S.; Choi, J.; Cleary, A.; D’Azevedo, E.; Demmel, J.; Dhillon, I.; Dongarra, J.; Hammarling, S.; Henry, G.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R. C.
118
1997
On confluence in the \(\pi\)-calculus. Zbl 1401.68232
Philippou, Anna; Walker, David
4
1997
Key concepts for parallel out-of-core LU factorization. Zbl 0906.68036
Dongarra, Jack J.; Hammarling, Sven; Walker, David W.
3
1997
Social confluence in client-server systems. Zbl 0884.68051
Philippou, Anna; Walker, David
1
1997
Application of a mixed \(H_ 2/H_ \infty\) approach with a singular \(H_ \infty\) constraint. Zbl 0875.93372
Smith, Linda; Ridgely, D. Brett; Walker, David; Luke, Jim
1
1997
Chebyshev tau-QZ algorithm methods for calculating spectra of hydrodynamic stability problems. Zbl 0867.76025
Dongarra, J. J.; Straughan, B.; Walker, D. W.
76
1996
Two very accurate and efficient methods for computing eigenvalues and eigenfunctions in porous convection problems. Zbl 0858.76064
Straughan, B.; Walker, D. W.
26
1996
Anisotropic porous penetrative convection. Zbl 0868.76033
Straughan, B.; Walker, D. W.
23
1996
ScaLAPACK: A portable linear algebra library for distributed memory computers – design issues and performance. Zbl 0926.65148
Choi, J.; Demmel, J.; Dhillon, I.; Dongarra, J.; Ostrouchov, S.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R. C.
12
1996
Objects in the \(\pi\)-calculus. Zbl 0828.68043
Walker, David
28
1995
Software libraries for linear algebra computations on high performance computers. Zbl 0874.65014
Dongara, Jack J.; Walker, David W.
8
1995
Parallel matrix transpose algorithms on distributed memory concurrent computers. Zbl 0874.68129
Choi, Jaeyoung; Dongarra, Jack J.; Walker, David W.
3
1995
The design of a parallel dense linear algebra software library: Reduction to Hessenberg, tridiagonal, and bidiagonal form. Zbl 0839.65050
Choi, Jaeyoung; Dongarra, Jack J.; Walker, David W.
2
1995
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
46
1993
User-interface design. 2nd ed. Zbl 0777.68006
Cox, Kevin; Walker, David
1
1993
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
269
1992
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
208
1992
Local model checking in the modal mu-calculus. Zbl 0745.03027
Stirling, Colin; Walker, David
44
1991
Periodic optimal cruise of an atmospheric vehicle. Zbl 0575.49019
Speyer, Jason L.; Dannemiller, David; Walker, David
3
1985
Advanced engineering mathematics. Zbl 0351.00004
Bajpai, A. C.; Mustoe, L. R.; Walker, D.
1
1977
all top 5

Cited by 1,528 Authors

30 Sangiorgi, Davide
25 Montanari, Ugo G.
23 Yoshida, Nobuko
21 Hennessy, Matthew C. B.
20 Straughan, Brian
18 Fu, Yuxi
17 Hill, Antony A.
12 Busi, Nadia
12 Honda, Kohei
12 Priami, Corrado
11 Dongarra, Jack J.
11 Hirschkoff, Daniel
10 De Nicola, Rocco
10 Ferrari, Gian Luigi
10 Merro, Massimo
10 Zavattaro, Gianluigi
9 Degano, Pierpaolo
9 Ingólfsdóttir, Anna
9 Walker, David W.
8 Aceto, Luca
8 Boreale, Michele
8 Bruni, Roberto
8 Hüttel, Hans
8 Laneve, Cosimo
8 Nestmann, Uwe
8 Olarte, Carlos
8 Parrow, Joachim
8 Pugliese, Rosario
7 Corradini, Flavio
7 Deng, Yuxin
7 Gadducci, Fabio
7 Gentile, Maurizio
7 Gorla, Daniele
7 Palamidessi, Catuscia
7 Pérez, Jorge A.
7 Smolka, Scott A.
7 Wang, Shiying
6 Benner, Peter
6 Berger, Martin J.
6 Bodei, Chiara
6 Capone, Florinda
6 Cardelli, Luca
6 Ciancia, Vincenzo
6 Dam, Mads
6 Dezani-Ciancaglini, Mariangiola
6 Francalanza, Adrian
6 Gay, Simon J.
6 Gordon, Andrew D.
6 Ibáñez González, Jacinto Javier
6 Kobayashi, Naoki
6 Miller, Dale Allen
6 Pfenning, Frank
6 Phillips, Iain W.
6 Quintana-Ortí, Enrique S.
6 Rathke, Julian
6 Santone, Antonella
6 Tiezzi, Francesco
6 Xu, Xian
5 Arias, Enrique
5 Buscemi, Maria Grazia
5 Caires, Luís
5 Chang, Min-Hsing
5 D’Azevedo, Eduardo F.
5 Gabbay, Murdoch James
5 Lanese, Ivan
5 Lenglet, Sergueï
5 Loreti, Michele
5 Milner, Robin
5 Pantović, Jovanka
5 Pous, Damien
5 Quaglia, Paola
5 Sabel, David
5 Sammartino, Matteo
5 Schmitt, Alan
5 Tiu, Alwen Fernanto
5 Vasconcelos, Vasco Thudichum
4 Abramsky, Samson
4 Blyth, Mark G.
4 Borgström, Johannes
4 Brodo, Linda
4 Cervesato, Iliano
4 Danos, Vincent
4 Engelfriet, Joost
4 Focardi, Riccardo
4 Fournet, Cédric
4 Ghilezan, Silvia
4 Godskesen, Jens Chr.
4 Gorrieri, Roberto
4 Hernández, Vicente G.
4 Jeffrey, Alan S. A.
4 Levi, Francesca
4 Lin, Huimin
4 Luttik, Bas
4 Madiot, Jean-Marie
4 Maffeis, Sergio
4 Miculan, Marino
4 Montesi, Fabrizio
4 Nielson, Flemming
4 Pientka, Brigitte
4 Pimentel, Elaine
...and 1,428 more Authors
all top 5

Cited in 140 Serials

187 Theoretical Computer Science
91 Information and Computation
35 The Journal of Logic and Algebraic Programming
28 Journal of Logical and Algebraic Methods in Programming
27 MSCS. Mathematical Structures in Computer Science
22 Acta Informatica
22 Journal of Computational Physics
22 Formal Aspects of Computing
20 Journal of Fluid Mechanics
16 Science of Computer Programming
15 Journal of Computational and Applied Mathematics
15 Journal of Automated Reasoning
12 Acta Mechanica
12 Computer Physics Communications
10 Logical Methods in Computer Science
9 Journal of Functional Programming
9 Higher-Order and Symbolic Computation
8 Information Processing Letters
8 Journal of Computer and System Sciences
7 Applied Mathematics and Computation
7 Formal Methods in System Design
6 Information Sciences
6 Ricerche di Matematica
6 Journal of Computer Science and Technology
5 Computers & Mathematics with Applications
5 International Journal of Heat and Mass Transfer
5 Applied Numerical Mathematics
5 International Journal of Foundations of Computer Science
5 International Journal of Computer Mathematics
5 SIAM Journal on Scientific Computing
5 Physics of Fluids
5 Numerical Linear Algebra with Applications
5 Computer Languages, Systems & Structures
4 Discrete Applied Mathematics
4 International Journal of Theoretical Physics
4 ACM Transactions on Mathematical Software
4 Journal of Parallel and Distributed Computing
4 Distributed Computing
4 Continuum Mechanics and Thermodynamics
4 Engineering Analysis with Boundary Elements
4 Concurrency and Computation: Practice & Experience
3 Computers and Fluids
3 Computer Methods in Applied Mechanics and Engineering
3 Meccanica
3 Numerische Mathematik
3 Acta Applicandae Mathematicae
3 Annals of Pure and Applied Logic
3 Concurrency: Practice and Experience
3 Linear Algebra and its Applications
3 Mathematical Problems in Engineering
3 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
3 Natural Computing
3 ACM Transactions on Computational Logic
3 Journal of Applied Logic
2 International Journal of Systems Science
2 Journal of Engineering Mathematics
2 Mathematical Methods in the Applied Sciences
2 Theoretical and Computational Fluid Dynamics
2 Mechanics Research Communications
2 Parallel Computing
2 Journal of Symbolic Computation
2 New Generation Computing
2 Mathematical and Computer Modelling
2 Journal of Scientific Computing
2 Numerical Algorithms
2 European Journal of Operational Research
2 Advances in Engineering Software
2 Science in China. Series E
2 Wuhan University Journal of Natural Sciences (WUJNS)
2 RAIRO. Theoretical Informatics and Applications
2 Theory and Practice of Logic Programming
2 Acta Numerica
2
2 International Journal of Parallel, Emergent and Distributed Systems
2 Science China. Information Sciences
2 Statistics and Computing
2 Frontiers of Computer Science in China
2 Computer Science Review
1 Advances in Applied Probability
1 International Journal of Mathematical Education in Science and Technology
1 International Journal for Numerical and Analytical Methods in Geomechanics
1 International Journal for Numerical Methods in Fluids
1 Journal of the Franklin Institute
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 BIT
1 International Journal for Numerical Methods in Engineering
1 Journal of Applied Probability
1 Journal of Optimization Theory and Applications
1 Journal of Philosophical Logic
1 Journal of Pure and Applied Algebra
1 The Journal of Symbolic Logic
1 SIAM Journal on Numerical Analysis
1 Studia Logica
1 Optimal Control Applications & Methods
1 International Journal of Parallel Programming
1 International Journal of Approximate Reasoning
1 Applied Mathematics Letters
1 Machine Learning
1 Applications of Mathematics
1 M\(^3\)AS. Mathematical Models & Methods in Applied Sciences
...and 40 more Serials

Citations by Year