×

zbMATH — the first resource for mathematics

Harel, David

Compute Distance To:
Author ID: harel.david Recent zbMATH articles by "Harel, David"
Published as: Harel, David; Harel, D.
Documents Indexed: 108 Publications since 1978, including 12 Books

Publications by Year

Citations contained in zbMATH Open

72 Publications have been cited 1,172 times in 925 Documents Cited by Year
Dynamic logic. Zbl 0976.68108
Harel, David; Kozen, Dexter; Tiuryn, Jerzy
181
2000
Statecharts: a visual formalism for complex systems. Zbl 0637.68010
Harel, David
142
1987
Structure and complexity of relational queries. Zbl 0511.68073
Chandra, Ashok; Harel, David
102
1982
First-order dynamic logic. Zbl 0403.03024
Harel, David
90
1979
Dynamic logic. Zbl 0875.03076
Harel, David
83
1984
Computable queries for relational data bases. Zbl 0456.68128
Chandra, Ashok K.; Harel, David
80
1980
Horn clause queries and generalizations. Zbl 0583.68058
Chandra, Ashok K.; Harel, David
47
1985
On the development of reactive systems. Zbl 0581.68046
Harel, D.; Pnueli, A.
39
1985
LSCs: Breathing life into message sequence charts. Zbl 0985.68033
Damm, Werner; Harel, David
34
2001
Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016
Harel, David; Kozen, Dexter; Parikh, Rohit
25
1982
Recurring dominoes: Making the highly undecidable highly understandable. Zbl 0531.68003
Harel, David
24
1985
Propositional dynamic logic of nonregular programs. Zbl 0536.68041
Harel, David; Pnueli, Amir; Stavi, Jonathan
23
1983
On the power of bounded concurrency. I: Finite automata. Zbl 0813.68138
Drusinsky, Doron; Harel, David
18
1994
On folk theorems. Zbl 0432.68009
Harel, David
17
1980
Recurring dominoes: making the highly undecidable highly understandable. Zbl 0531.68002
Harel, David
15
1983
Complexity results for two-way and multi-pebble automata and their logics. Zbl 0874.68213
Globerman, Noa; Harel, David
13
1996
Looping vs. repeating in dynamic logic. Zbl 0541.68010
Harel, D.; Sherman, R.
11
1982
A programming language for the inductive sets, and applications. Zbl 0591.68037
Harel, David; Kozen, Dexter
10
1984
Dynamic logic. 2nd ed. Zbl 1003.03528
Harel, David; Kozen, Dexter; Tiuryn, Jerzy
10
2002
On the complexity of verifying concurrent transition systems. Zbl 1009.68082
Harel, David; Kupferman, Orna; Vardi, Moshe Y.
10
2002
On static logics, dynamic logics, and complexity classes. Zbl 0589.68030
Harel, D.; Peleg, D.
9
1984
Synthesizing state-based object systems from LSC specifications. Zbl 1066.68017
Harel, David; Kugler, Hillel
9
2002
On the solvability of domino snake problems. Zbl 0808.03028
Etzion-Petruschka, Yael; Harel, David; Myers, Dale
8
1994
Smart play-out of behavioral requirements. Zbl 1019.68622
Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir
8
2002
On clustering using random walks. Zbl 1052.68120
Harel, David; Koren, Yehuda
8
2001
Propositional dynamic logic of flowcharts. Zbl 0534.68021
Harel, D.; Sherman, R.
7
1983
A probabilistic dynamic logic. Zbl 0537.68036
Feldman, Yishai A.; Harel, David
7
1984
Algorithmics. The spirit of computing. 2nd ed. Zbl 0755.68003
Harel, David; Rosner, Roni
7
1992
Hamiltonian paths in infinite graphs. Zbl 0756.05073
Harel, David
7
1991
Temporal logic for scenario-based specifications. Zbl 1087.68596
Kugler, Hillel; Harel, David; Pnueli, Amir; Lu, Yuan; Bontemps, Yves
7
2005
Propositional dynamic logic of flowcharts. Zbl 0575.68039
Harel, D.; Sherman, R.
6
1985
Deciding properties of nonregular programs. Zbl 0789.03029
Harel, David; Raz, Danny
6
1993
Formal modeling of C. elegans development: A scenario-based approach. Zbl 1053.92034
Kam, Na’aman; Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir; Hubbard, E. Jane Albert; Stern, Michael J.
6
2003
Graph drawing by high-dimensional embedding. Zbl 1037.68589
Harel, David; Koren, Yehuda
6
2002
Synthesis revisited: Generating statechart models from scenario-based requirements. Zbl 1075.68614
Harel, David; Kugler, Hillel; Pnueli, Amir
6
2005
Algorithmics. The spirit of computing. Reprint of the Addison-Wesley 3rd ed. (2004). Zbl 1243.68007
Harel, David; Feldman, Yishai
6
2012
On the power of bounded concurrency. II: Pushdown automata. Zbl 0822.68067
Hirst, Tirza; Harel, David
5
1994
A fast multi-scale method for drawing large graphs. Zbl 1027.68100
Harel, David; Koren, Yehuda
5
2002
Process logic with regular formulas. Zbl 0572.03010
Harel, D.; Peleg, D.
5
1985
An algorithm for straight-line drawing of planar graphs. Zbl 0895.68105
Harel, D.; Sardas, M.
5
1998
Is the interesting part of process logic uninteresting?: A translation from PL to PDL. Zbl 0551.68031
Sherman, R.; Pnueli, A.; Harel, D.
4
1984
Drawing huge graphs by algebraic multigrid optimization. Zbl 1041.65036
Koren, Yehuda; Carmel, Liran; Harel, David
4
2003
A fast multi-scale method for drawing large graphs. Zbl 1043.68622
Harel, David; Koren, Yehuda
4
2001
Fair termination with cruel schedulers. Zbl 0598.68026
Dayan, Ido; Harel, David
3
1986
Completeness results for recursive data bases. Zbl 0858.68032
Hirst, Tirza; Harel, David
3
1996
Deciding emptiness for stack automata on infinite trees. Zbl 0820.68079
Harel, David; Raz, Danny
3
1994
A multi-scale algorithm for the linear arrangement problem. Zbl 1022.68601
Koren, Yehuda; Harel, David
3
2002
A thesis for bounded concurrency. Zbl 0755.68049
Harel, David
3
1989
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic. Zbl 0433.68019
Harel, David
3
1980
A multi-scale algorithm for drawing graphs nicely. Zbl 0981.68122
Hadany, Ronny; Harel, David
3
2001
On the total correctness of nondeterministic programs. Zbl 0441.68009
Harel, David
3
1981
Taking it to the limit: On infinite variants of NP-complete problems. Zbl 0859.68016
Hirst, Tirza; Harel, David
2
1996
More on looping vs. repeating in dynamic logic. Zbl 0559.68049
Harel, David; Peleg, David
2
1985
A grand challenge for computing: towards full reactive modeling of a multi-cellular animal. Zbl 1090.68588
Harel, David
2
2004
And/or programs: A new approach to structured programming. Zbl 0468.68015
Harel, David
2
1980
GemCell: A generic platform for modeling multi-cellular biological systems. Zbl 1132.68809
Amir-Kroll, Hila; Sadot, Avital; Cohen, Irun R.; Harel, David
2
2008
Two results on process logic. Zbl 0417.68017
Harel, David
2
1979
Characterizing second order logic with first order quantifiers. Zbl 0432.03007
Harel, David
2
1979
More on nonregular PDL: Finite models and Fibonacci-like programs. Zbl 0856.68131
Harel, David; Singerman, Eli
2
1996
Further results on propositional dynamic logic of nonregular programs. Zbl 0491.68032
Harel, D.; Pnueli, A.; Stavi, J.
1
1982
On the power of cooperative concurrency. Zbl 0663.68062
Drusinsky, Doron; Harel, David
1
1988
Rhapsody: A complete life-cycle model-based development system. Zbl 1057.68589
Gery, Eran; Harel, David; Palachi, Eldad
1
2002
On And/Or schemes. Zbl 0447.68050
Harel, David
1
1980
Synthesizing state-based object systems from LSC specifications. Zbl 0989.68087
Harel, David; Kugler, Hillel
1
2001
Multi-modal scenarios revisited: a net-based representation. Zbl 1244.68051
Harel, David; Kantor, Amir
1
2012
On the power of bounded concurrency. II: The pushdown automata level. Zbl 0758.68028
Hirst, Tirza; Harel, David
1
1990
Towards a theory of recursive structures. Zbl 0972.03037
Harel, David
1
1998
The science of computing. Exploring the nature and power of algorithms. Zbl 0734.68020
Harel, David
1
1989
Arithmetical completeness in logics of programs. Zbl 0382.68024
Harel, David
1
1978
Axis-by-axis stress minimization. Zbl 1215.05187
Koren, Yehuda; Harel, David
1
2004
On the power of play-out for scenario-based programs. Zbl 1274.68059
Harel, David; Kantor, Amir; Maoz, Shahar
1
2010
Complexity results for multi-pebble automata and their logics. Zbl 1418.68118
Globerman, Noa; Harel, David
1
1994
Algorithmics. The spirit of computing. Reprint of the Addison-Wesley 3rd ed. (2004). Zbl 1243.68007
Harel, David; Feldman, Yishai
6
2012
Multi-modal scenarios revisited: a net-based representation. Zbl 1244.68051
Harel, David; Kantor, Amir
1
2012
On the power of play-out for scenario-based programs. Zbl 1274.68059
Harel, David; Kantor, Amir; Maoz, Shahar
1
2010
GemCell: A generic platform for modeling multi-cellular biological systems. Zbl 1132.68809
Amir-Kroll, Hila; Sadot, Avital; Cohen, Irun R.; Harel, David
2
2008
Temporal logic for scenario-based specifications. Zbl 1087.68596
Kugler, Hillel; Harel, David; Pnueli, Amir; Lu, Yuan; Bontemps, Yves
7
2005
Synthesis revisited: Generating statechart models from scenario-based requirements. Zbl 1075.68614
Harel, David; Kugler, Hillel; Pnueli, Amir
6
2005
A grand challenge for computing: towards full reactive modeling of a multi-cellular animal. Zbl 1090.68588
Harel, David
2
2004
Axis-by-axis stress minimization. Zbl 1215.05187
Koren, Yehuda; Harel, David
1
2004
Formal modeling of C. elegans development: A scenario-based approach. Zbl 1053.92034
Kam, Na’aman; Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir; Hubbard, E. Jane Albert; Stern, Michael J.
6
2003
Drawing huge graphs by algebraic multigrid optimization. Zbl 1041.65036
Koren, Yehuda; Carmel, Liran; Harel, David
4
2003
Dynamic logic. 2nd ed. Zbl 1003.03528
Harel, David; Kozen, Dexter; Tiuryn, Jerzy
10
2002
On the complexity of verifying concurrent transition systems. Zbl 1009.68082
Harel, David; Kupferman, Orna; Vardi, Moshe Y.
10
2002
Synthesizing state-based object systems from LSC specifications. Zbl 1066.68017
Harel, David; Kugler, Hillel
9
2002
Smart play-out of behavioral requirements. Zbl 1019.68622
Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir
8
2002
Graph drawing by high-dimensional embedding. Zbl 1037.68589
Harel, David; Koren, Yehuda
6
2002
A fast multi-scale method for drawing large graphs. Zbl 1027.68100
Harel, David; Koren, Yehuda
5
2002
A multi-scale algorithm for the linear arrangement problem. Zbl 1022.68601
Koren, Yehuda; Harel, David
3
2002
Rhapsody: A complete life-cycle model-based development system. Zbl 1057.68589
Gery, Eran; Harel, David; Palachi, Eldad
1
2002
LSCs: Breathing life into message sequence charts. Zbl 0985.68033
Damm, Werner; Harel, David
34
2001
On clustering using random walks. Zbl 1052.68120
Harel, David; Koren, Yehuda
8
2001
A fast multi-scale method for drawing large graphs. Zbl 1043.68622
Harel, David; Koren, Yehuda
4
2001
A multi-scale algorithm for drawing graphs nicely. Zbl 0981.68122
Hadany, Ronny; Harel, David
3
2001
Synthesizing state-based object systems from LSC specifications. Zbl 0989.68087
Harel, David; Kugler, Hillel
1
2001
Dynamic logic. Zbl 0976.68108
Harel, David; Kozen, Dexter; Tiuryn, Jerzy
181
2000
An algorithm for straight-line drawing of planar graphs. Zbl 0895.68105
Harel, D.; Sardas, M.
5
1998
Towards a theory of recursive structures. Zbl 0972.03037
Harel, David
1
1998
Complexity results for two-way and multi-pebble automata and their logics. Zbl 0874.68213
Globerman, Noa; Harel, David
13
1996
Completeness results for recursive data bases. Zbl 0858.68032
Hirst, Tirza; Harel, David
3
1996
Taking it to the limit: On infinite variants of NP-complete problems. Zbl 0859.68016
Hirst, Tirza; Harel, David
2
1996
More on nonregular PDL: Finite models and Fibonacci-like programs. Zbl 0856.68131
Harel, David; Singerman, Eli
2
1996
On the power of bounded concurrency. I: Finite automata. Zbl 0813.68138
Drusinsky, Doron; Harel, David
18
1994
On the solvability of domino snake problems. Zbl 0808.03028
Etzion-Petruschka, Yael; Harel, David; Myers, Dale
8
1994
On the power of bounded concurrency. II: Pushdown automata. Zbl 0822.68067
Hirst, Tirza; Harel, David
5
1994
Deciding emptiness for stack automata on infinite trees. Zbl 0820.68079
Harel, David; Raz, Danny
3
1994
Complexity results for multi-pebble automata and their logics. Zbl 1418.68118
Globerman, Noa; Harel, David
1
1994
Deciding properties of nonregular programs. Zbl 0789.03029
Harel, David; Raz, Danny
6
1993
Algorithmics. The spirit of computing. 2nd ed. Zbl 0755.68003
Harel, David; Rosner, Roni
7
1992
Hamiltonian paths in infinite graphs. Zbl 0756.05073
Harel, David
7
1991
On the power of bounded concurrency. II: The pushdown automata level. Zbl 0758.68028
Hirst, Tirza; Harel, David
1
1990
A thesis for bounded concurrency. Zbl 0755.68049
Harel, David
3
1989
The science of computing. Exploring the nature and power of algorithms. Zbl 0734.68020
Harel, David
1
1989
On the power of cooperative concurrency. Zbl 0663.68062
Drusinsky, Doron; Harel, David
1
1988
Statecharts: a visual formalism for complex systems. Zbl 0637.68010
Harel, David
142
1987
Fair termination with cruel schedulers. Zbl 0598.68026
Dayan, Ido; Harel, David
3
1986
Horn clause queries and generalizations. Zbl 0583.68058
Chandra, Ashok K.; Harel, David
47
1985
On the development of reactive systems. Zbl 0581.68046
Harel, D.; Pnueli, A.
39
1985
Recurring dominoes: Making the highly undecidable highly understandable. Zbl 0531.68003
Harel, David
24
1985
Propositional dynamic logic of flowcharts. Zbl 0575.68039
Harel, D.; Sherman, R.
6
1985
Process logic with regular formulas. Zbl 0572.03010
Harel, D.; Peleg, D.
5
1985
More on looping vs. repeating in dynamic logic. Zbl 0559.68049
Harel, David; Peleg, David
2
1985
Dynamic logic. Zbl 0875.03076
Harel, David
83
1984
A programming language for the inductive sets, and applications. Zbl 0591.68037
Harel, David; Kozen, Dexter
10
1984
On static logics, dynamic logics, and complexity classes. Zbl 0589.68030
Harel, D.; Peleg, D.
9
1984
A probabilistic dynamic logic. Zbl 0537.68036
Feldman, Yishai A.; Harel, David
7
1984
Is the interesting part of process logic uninteresting?: A translation from PL to PDL. Zbl 0551.68031
Sherman, R.; Pnueli, A.; Harel, D.
4
1984
Propositional dynamic logic of nonregular programs. Zbl 0536.68041
Harel, David; Pnueli, Amir; Stavi, Jonathan
23
1983
Recurring dominoes: making the highly undecidable highly understandable. Zbl 0531.68002
Harel, David
15
1983
Propositional dynamic logic of flowcharts. Zbl 0534.68021
Harel, D.; Sherman, R.
7
1983
Structure and complexity of relational queries. Zbl 0511.68073
Chandra, Ashok; Harel, David
102
1982
Process logic: Expressiveness, decidability, completeness. Zbl 0494.03016
Harel, David; Kozen, Dexter; Parikh, Rohit
25
1982
Looping vs. repeating in dynamic logic. Zbl 0541.68010
Harel, D.; Sherman, R.
11
1982
Further results on propositional dynamic logic of nonregular programs. Zbl 0491.68032
Harel, D.; Pnueli, A.; Stavi, J.
1
1982
On the total correctness of nondeterministic programs. Zbl 0441.68009
Harel, David
3
1981
Computable queries for relational data bases. Zbl 0456.68128
Chandra, Ashok K.; Harel, David
80
1980
On folk theorems. Zbl 0432.68009
Harel, David
17
1980
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic. Zbl 0433.68019
Harel, David
3
1980
And/or programs: A new approach to structured programming. Zbl 0468.68015
Harel, David
2
1980
On And/Or schemes. Zbl 0447.68050
Harel, David
1
1980
First-order dynamic logic. Zbl 0403.03024
Harel, David
90
1979
Two results on process logic. Zbl 0417.68017
Harel, David
2
1979
Characterizing second order logic with first order quantifiers. Zbl 0432.03007
Harel, David
2
1979
Arithmetical completeness in logics of programs. Zbl 0382.68024
Harel, David
1
1978
all top 5

Cited by 1,320 Authors

22 Harel, David
19 Vardi, Moshe Y.
13 Van den Bussche, Jan
13 Van Gucht, Dirk
10 Abiteboul, Serge
10 Gyssens, Marc
10 Kolaitis, Phokion G.
10 Vianu, Victor
9 Kupferman, Orna
8 Bozzelli, Laura
7 Benevides, Mario R. F.
7 Herzig, Andreas
7 Lange, Martin
7 Peron, Adriano
7 Platzer, André
7 Smets, Sonja J. L.
7 Su, Jianwen
7 van Benthem, Johan F. A. K.
7 van der Hoek, Wiebe
7 van Ditmarsch, Hans Pieter
7 Wooldridge, Michael J.
6 Baltag, Alexandru
6 Hella, Lauri T.
6 Lorini, Emiliano
6 Madeira, Alexandre
6 Maggiolo-Schettini, Andrea
6 Meyer, John-Jules Charles
6 Pnueli, Amir
6 Thiagarajan, Pazhamaneri Subramaniam
6 Tini, Simone
6 Turull Torres, Jose Maria
5 Balbiani, Philippe
5 Blass, Andreas Raphael
5 Broersen, Jan M.
5 Chebotarev, Anatoli N.
5 Demri, Stéphane P.
5 Eiter, Thomas
5 Grohe, Martin
5 Hähnle, Reiner
5 Kozen, Dexter C.
5 Manna, Zohar
5 Martins, Manuel António
5 Peleg, David
5 Saccà, Domenico
5 Schellhorn, Gerhard
5 Stewart, Iain A.
5 Suciu, Dan Mircea
5 Szałas, Andrzej
5 Velázquez-Quesada, Fernando Raymundo
4 Ågotnes, Thomas
4 Alechina, Natasha
4 Bergstra, Jan A.
4 Bubel, Richard
4 Fagin, Ronald
4 Fariñas del Cerro, Luis
4 Gurevich, Yuri
4 Halpern, Joseph Yehuda
4 Hennicker, Rolf
4 Hunt, Harry Bowen III
4 Immerman, Neil
4 Leivant, Daniel M.
4 Makowsky, Johann-Andreas
4 Marathe, Madhav V.
4 Möller, Bernhard
4 Montanari, Angelo
4 Nguyen, Linh Anh
4 Orłowska, Ewa S.
4 Otto, Martin
4 Papadimitriou, Christos Harilaos
4 Paredaens, Jan
4 Prisacariu, Cristian
4 Ravi, S. S.
4 Rosenkrantz, Daniel J.
4 Stearns, Richard Edwin
4 Taĭtslin, Mikhail Abramovich
4 Wu, Yuqing
4 Yu, Sheng
3 Ahrendt, Wolfgang
3 Alur, Rajeev
3 Andréka, Hajnal
3 Barbosa, Luís Soares
3 Barrett, Chris L.
3 Bergfeld, Jort Martinus
3 Bidoit, Nicole
3 Bjørner, Dines
3 Blackburn, Patrick
3 Bonner, Anthony J.
3 Boudou, Joseph
3 Brink, Chris
3 Buj, Dmytro B.
3 Castro, Pablo F.
3 Cohen, Irun R.
3 Dang, Zhe
3 Dawar, Anuj
3 de Roever, Willem-Paul
3 Ehrig, Hartmut
3 Ferrarotti, Flavio Antonio
3 Fervari, Raul
3 Fisman, Dana
3 Fletcher, George H. L.
...and 1,220 more Authors
all top 5

Cited in 125 Serials

171 Theoretical Computer Science
56 Information and Computation
55 Journal of Computer and System Sciences
24 Information Processing Letters
22 Annals of Mathematics and Artificial Intelligence
21 Annals of Pure and Applied Logic
20 Artificial Intelligence
20 Formal Aspects of Computing
15 Acta Informatica
15 The Journal of Symbolic Logic
15 Studia Logica
15 Journal of Logic, Language and Information
15 The Journal of Logic and Algebraic Programming
14 Journal of Philosophical Logic
14 Formal Methods in System Design
13 Synthese
12 Journal of Applied Non-Classical Logics
12 Journal of Applied Logic
12 Journal of Logical and Algebraic Methods in Programming
8 Science of Computer Programming
7 Discrete Event Dynamic Systems
6 Cybernetics
6 Journal of Automated Reasoning
6 MSCS. Mathematical Structures in Computer Science
6 Cybernetics and Systems Analysis
6 ACM Transactions on Computational Logic
5 Discrete Applied Mathematics
5 Mathematical Systems Theory
5 Real-Time Systems
5 The Bulletin of Symbolic Logic
4 Information Sciences
4 Programming and Computer Software
4 New Generation Computing
4 International Journal of Approximate Reasoning
4 Distributed Computing
4 Logical Methods in Computer Science
3 Journal of Symbolic Computation
3 Journal of Computer Science and Technology
3 International Journal of Foundations of Computer Science
3 Archive for Mathematical Logic
3 Journal of Functional Programming
3 European Journal of Control
3 Theory of Computing Systems
3 Soft Computing
3 Theory and Practice of Logic Programming
2 Computers & Mathematics with Applications
2 International Journal of Theoretical Physics
2 Algebra and Logic
2 Notre Dame Journal of Formal Logic
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 RAIRO, Informatique Théorique
2 Siberian Mathematical Journal
2 International Journal of Production Research
2 International Journal of Parallel Programming
2 Computational Geometry
2 European Journal of Operational Research
2 International Journal of Computer Mathematics
2 RAIRO. Informatique Théorique et Applications
2 Mathematical Logic Quarterly (MLQ)
2 The Journal of Artificial Intelligence Research (JAIR)
2 Mathematical Problems in Engineering
2 Lobachevskii Journal of Mathematics
2 Sādhanā
2 RAIRO. Theoretical Informatics and Applications
2 Computer Science Review
1 ACM Computing Surveys
1 Discrete Mathematics
1 International Journal of Control
1 Journal of the Franklin Institute
1 Mathematical Biosciences
1 Mathematical Methods in the Applied Sciences
1 Mathematical Notes
1 Physica A
1 Physics Reports
1 Bulletin of Mathematical Biology
1 Algebra Universalis
1 Automatica
1 Computing
1 Fuzzy Sets and Systems
1 International Journal of Computer & Information Sciences
1 Journal of Algebra
1 Journal of Pure and Applied Algebra
1 Journal of Soviet Mathematics
1 Linguistics and Philosophy
1 Mathematics and Computers in Simulation
1 Networks
1 Mathematical Social Sciences
1 Combinatorica
1 Acta Mathematica Hungarica
1 Graphs and Combinatorics
1 Algorithmica
1 Computers & Operations Research
1 International Journal of Intelligent Systems
1 Machine Learning
1 Random Structures & Algorithms
1 International Journal of Algebra and Computation
1 Journal of Global Optimization
1 Linear Algebra and its Applications
1 Computational Statistics and Data Analysis
1 Vestnik St. Petersburg University. Mathematics
...and 25 more Serials

Citations by Year