×

zbMATH — the first resource for mathematics

Reps, Thomas W.

Compute Distance To:
Author ID: reps.thomas-w Recent zbMATH articles by "Reps, Thomas W."
Published as: Reps, T.; Reps, Thomas; Reps, Thomas W.
External Links: MGP · Wikidata
Documents Indexed: 76 Publications since 1984, including 4 Books

Publications by Year

Citations contained in zbMATH

62 Publications have been cited 326 times in 235 Documents Cited by Year
An incremental algorithm for a generalization of the shortest-path problem. Zbl 0861.68035
Ramalingam, G.; Reps, Thomas
31
1996
On the computational complexity of dynamic graph problems. Zbl 0871.68098
Ramalingam, G.; Reps, Thomas
21
1996
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
19
2005
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
18
1996
A framework for numeric analysis of array operations. Zbl 1369.68138
Gopan, Denis; Reps, Thomas; Sagiv, Mooly
14
2005
Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1155.68368
Lal, Akash; Reps, Thomas
12
2008
Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109
Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T.
12
2006
Interprocedural analysis of concurrent programs under a context bound. Zbl 1134.68349
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas
11
2008
Symbolic implementation of the best transformer. Zbl 1202.68255
Reps, Thomas; Sagiv, Mooly; Yorsh, Greta
11
2004
Static program analysis via 3-valued logic. Zbl 1103.68635
Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard
9
2004
Generating language-based environments. Zbl 0604.68005
Reps, Thomas W.
8
1984
Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1186.68298
Lal, Akash; Reps, Thomas
7
2009
Program analysis using weighted pushdown systems. Zbl 1136.68019
Reps, Thomas; Lal, Akash; Kidd, Nick
7
2007
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051
Reps, Thomas; Schwoon, Stefan; Jha, Somesh
7
2003
The Synthesizer Generator. A System for Constructing Language-Based Editors. Zbl 0711.68028
Reps, Thomas W.; Teitelbaum, Tim
7
1989
Extended weighted pushdown systems. Zbl 1081.68625
Lal, Akash; Reps, Thomas; Balakrishnan, Gogul
6
2005
Analyzing memory accesses in x86 executables. Zbl 1125.68345
Balakrishnan, Gogul; Reps, Thomas
6
2004
Model checking of unrestricted hierarchical state machines. Zbl 0986.68506
Benedikt, Michael; Godefroid, Patrice; Reps, Thomas
6
2001
Guided static analysis. Zbl 1211.68087
Gopan, Denis; Reps, Thomas
5
2007
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
5
2007
Automated verification of the Deutsch-Schorr-Waite tree-traversal algorithm. Zbl 1225.68081
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
5
2006
A semantics for procedure local heaps and its abstractions. Zbl 1369.68154
Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
5
2005
Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1135.68556
Lev-Ami, T.; Immerman, N.; Reps, T.; Sagiv, M.; Srivastava, S.; Yorsh, G.
5
2005
Numeric domains with summarized dimensions. Zbl 1126.68348
Gopan, Denis; DiMaio, Frank; Dor, Nurit; Reps, Thomas; Sagiv, Mooly
5
2004
Verifying temporal heap properties specified via evolution logic. Zbl 1108.68077
Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R.
4
2006
Abstraction refinement via inductive learning. Zbl 1081.68626
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2005
Model checking x86 executables with CodeSurfer/x86 and WPDS++. Zbl 1081.68604
Balakrishnan, G.; Reps, T.; Kidd, N.; Lal, A.; Lim, J.; Melski, D.; Gruian, R.; Yong, S.; Chen, C.-H.; Teitelbaum, T.
4
2005
Verification via structure simulation. Zbl 1103.68623
Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great
4
2004
A relational approach to interprocedural shape analysis. Zbl 1104.68416
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2004
Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062
Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
4
2003
A theory of program modifications. Zbl 0967.68504
Ramalingam, G.; Reps, Thomas
4
1991
The synthesizer generator refence manual. 3rd ed. Zbl 0711.68029
Reps, Thomas W.; Teitelbaum, Tim
4
1989
Logical characterizations of heap abstractions. Zbl 1367.68078
Yorsh, Greta; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
3
2007
Improving pushdown system model checking. Zbl 1188.68195
Lal, Akash; Reps, Thomas
3
2006
Weighted pushdown systems and trust-management systems. Zbl 1180.68061
Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas
3
2006
Symbolically computing most-precise abstract operations for shape analysis. Zbl 1126.68359
Yorsh, G.; Reps, Thomas; Sagiv, Mooly
3
2004
Finite differencing of logical formulas for static analysis. Zbl 1032.68061
Reps, Thomas; Sagiv, Mooly; Loginov, Alexey
3
2003
Interconvertibility of a class of set constraints and context-free-language reachability. Zbl 0949.68087
Melski, D.; Reps, T.
3
2000
Program analysis via graph reachability. Zbl 0944.68038
Reps, Thomas
3
1997
On the sequential nature of interprocedural program-analysis problems. Zbl 0861.68016
Reps, Thomas
3
1996
On competitive on-line algorithms for the dynamic priority-ordering problem. Zbl 0942.68646
Ramalingam, G.; Reps, Thomas
3
1994
Statically inferring complex heap, array, and numeric invariants. Zbl 1306.68032
McCloskey, Bill; Reps, Thomas; Sagiv, Mooly
2
2010
Labelled clauses. Zbl 1213.68572
Lev-Ami, Tal; Weidenbach, Christoph; Reps, Thomas; Sagiv, Mooly
2
2007
A relational abstraction for functions. Zbl 1141.68371
Jeannet, B.; Gopan, D.; Reps, T.
2
2005
Algebraic properties of program integration. Zbl 0745.68029
Reps, Thomas
2
1991
Component-based synthesis for complex APIs. Zbl 1380.68108
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
1
2017
Sound bit-precise numerical domains. Zbl 06687373
Sharma, Tushar; Reps, Thomas
1
2017
Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025
Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E.
1
2013
Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1163.68010
Lev-Ami, Tal; Immerman, Neil; Reps, Thomas W.; Sagiv, Mooly; Srivastava, Siddharth; Yorsh, Greta
1
2009
Finding concurrency-related bugs using random isolation. Zbl 1206.68081
Kidd, Nicholas; Reps, Thomas; Dolby, Julian; Vaziri, Mandana
1
2009
Language strength reduction. Zbl 1149.68353
Kidd, Nicholas; Lal, Akash; Reps, Thomas
1
2008
Solving multiple dataflow queries using WPDSs. Zbl 1149.68354
Lal, Akash; Reps, Thomas
1
2008
Abstract error projection. Zbl 1211.68091
Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir
1
2007
Refinement-based verification for possibly-cyclic lists. Zbl 1149.68356
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
1
2007
Recency-abstraction for heap-allocated storage. Zbl 1225.68079
Balakrishnan, Gogul; Reps, Thomas
1
2006
Computational divided differencing and divided-difference arithmetics. Zbl 1040.68148
Reps, Thomas W.; Rall, Louis B.
1
2003
The interprocedural express-lane transformation. Zbl 1032.68915
Melski, David; Reps, Thomas
1
2003
Algorithmic differencing. Zbl 0990.65031
Rall, Louis B.; Reps, Thomas W.
1
2001
Debugging via run-time type checking. Zbl 0977.68638
Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas
1
2001
Algebraic properties of program integration. Zbl 0765.68142
Reps, Thomas
1
1990
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications. Zbl 0645.68089
Reps, Thomas
1
1988
Sublinear-space evaluation algorithms for attribute grammars. Zbl 0633.68005
Reps, Thomas; Demers, Alan
1
1987
Component-based synthesis for complex APIs. Zbl 1380.68108
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
1
2017
Sound bit-precise numerical domains. Zbl 06687373
Sharma, Tushar; Reps, Thomas
1
2017
Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025
Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E.
1
2013
Statically inferring complex heap, array, and numeric invariants. Zbl 1306.68032
McCloskey, Bill; Reps, Thomas; Sagiv, Mooly
2
2010
Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1186.68298
Lal, Akash; Reps, Thomas
7
2009
Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1163.68010
Lev-Ami, Tal; Immerman, Neil; Reps, Thomas W.; Sagiv, Mooly; Srivastava, Siddharth; Yorsh, Greta
1
2009
Finding concurrency-related bugs using random isolation. Zbl 1206.68081
Kidd, Nicholas; Reps, Thomas; Dolby, Julian; Vaziri, Mandana
1
2009
Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1155.68368
Lal, Akash; Reps, Thomas
12
2008
Interprocedural analysis of concurrent programs under a context bound. Zbl 1134.68349
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas
11
2008
Language strength reduction. Zbl 1149.68353
Kidd, Nicholas; Lal, Akash; Reps, Thomas
1
2008
Solving multiple dataflow queries using WPDSs. Zbl 1149.68354
Lal, Akash; Reps, Thomas
1
2008
Program analysis using weighted pushdown systems. Zbl 1136.68019
Reps, Thomas; Lal, Akash; Kidd, Nick
7
2007
Guided static analysis. Zbl 1211.68087
Gopan, Denis; Reps, Thomas
5
2007
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
5
2007
Logical characterizations of heap abstractions. Zbl 1367.68078
Yorsh, Greta; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
3
2007
Labelled clauses. Zbl 1213.68572
Lev-Ami, Tal; Weidenbach, Christoph; Reps, Thomas; Sagiv, Mooly
2
2007
Abstract error projection. Zbl 1211.68091
Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir
1
2007
Refinement-based verification for possibly-cyclic lists. Zbl 1149.68356
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
1
2007
Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109
Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T.
12
2006
Automated verification of the Deutsch-Schorr-Waite tree-traversal algorithm. Zbl 1225.68081
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
5
2006
Verifying temporal heap properties specified via evolution logic. Zbl 1108.68077
Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R.
4
2006
Improving pushdown system model checking. Zbl 1188.68195
Lal, Akash; Reps, Thomas
3
2006
Weighted pushdown systems and trust-management systems. Zbl 1180.68061
Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas
3
2006
Recency-abstraction for heap-allocated storage. Zbl 1225.68079
Balakrishnan, Gogul; Reps, Thomas
1
2006
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
19
2005
A framework for numeric analysis of array operations. Zbl 1369.68138
Gopan, Denis; Reps, Thomas; Sagiv, Mooly
14
2005
Extended weighted pushdown systems. Zbl 1081.68625
Lal, Akash; Reps, Thomas; Balakrishnan, Gogul
6
2005
A semantics for procedure local heaps and its abstractions. Zbl 1369.68154
Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
5
2005
Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1135.68556
Lev-Ami, T.; Immerman, N.; Reps, T.; Sagiv, M.; Srivastava, S.; Yorsh, G.
5
2005
Abstraction refinement via inductive learning. Zbl 1081.68626
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2005
Model checking x86 executables with CodeSurfer/x86 and WPDS++. Zbl 1081.68604
Balakrishnan, G.; Reps, T.; Kidd, N.; Lal, A.; Lim, J.; Melski, D.; Gruian, R.; Yong, S.; Chen, C.-H.; Teitelbaum, T.
4
2005
A relational abstraction for functions. Zbl 1141.68371
Jeannet, B.; Gopan, D.; Reps, T.
2
2005
Symbolic implementation of the best transformer. Zbl 1202.68255
Reps, Thomas; Sagiv, Mooly; Yorsh, Greta
11
2004
Static program analysis via 3-valued logic. Zbl 1103.68635
Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard
9
2004
Analyzing memory accesses in x86 executables. Zbl 1125.68345
Balakrishnan, Gogul; Reps, Thomas
6
2004
Numeric domains with summarized dimensions. Zbl 1126.68348
Gopan, Denis; DiMaio, Frank; Dor, Nurit; Reps, Thomas; Sagiv, Mooly
5
2004
Verification via structure simulation. Zbl 1103.68623
Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great
4
2004
A relational approach to interprocedural shape analysis. Zbl 1104.68416
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2004
Symbolically computing most-precise abstract operations for shape analysis. Zbl 1126.68359
Yorsh, G.; Reps, Thomas; Sagiv, Mooly
3
2004
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051
Reps, Thomas; Schwoon, Stefan; Jha, Somesh
7
2003
Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062
Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
4
2003
Finite differencing of logical formulas for static analysis. Zbl 1032.68061
Reps, Thomas; Sagiv, Mooly; Loginov, Alexey
3
2003
Computational divided differencing and divided-difference arithmetics. Zbl 1040.68148
Reps, Thomas W.; Rall, Louis B.
1
2003
The interprocedural express-lane transformation. Zbl 1032.68915
Melski, David; Reps, Thomas
1
2003
Model checking of unrestricted hierarchical state machines. Zbl 0986.68506
Benedikt, Michael; Godefroid, Patrice; Reps, Thomas
6
2001
Algorithmic differencing. Zbl 0990.65031
Rall, Louis B.; Reps, Thomas W.
1
2001
Debugging via run-time type checking. Zbl 0977.68638
Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas
1
2001
Interconvertibility of a class of set constraints and context-free-language reachability. Zbl 0949.68087
Melski, D.; Reps, T.
3
2000
Program analysis via graph reachability. Zbl 0944.68038
Reps, Thomas
3
1997
An incremental algorithm for a generalization of the shortest-path problem. Zbl 0861.68035
Ramalingam, G.; Reps, Thomas
31
1996
On the computational complexity of dynamic graph problems. Zbl 0871.68098
Ramalingam, G.; Reps, Thomas
21
1996
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
18
1996
On the sequential nature of interprocedural program-analysis problems. Zbl 0861.68016
Reps, Thomas
3
1996
On competitive on-line algorithms for the dynamic priority-ordering problem. Zbl 0942.68646
Ramalingam, G.; Reps, Thomas
3
1994
A theory of program modifications. Zbl 0967.68504
Ramalingam, G.; Reps, Thomas
4
1991
Algebraic properties of program integration. Zbl 0745.68029
Reps, Thomas
2
1991
Algebraic properties of program integration. Zbl 0765.68142
Reps, Thomas
1
1990
The Synthesizer Generator. A System for Constructing Language-Based Editors. Zbl 0711.68028
Reps, Thomas W.; Teitelbaum, Tim
7
1989
The synthesizer generator refence manual. 3rd ed. Zbl 0711.68029
Reps, Thomas W.; Teitelbaum, Tim
4
1989
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications. Zbl 0645.68089
Reps, Thomas
1
1988
Sublinear-space evaluation algorithms for attribute grammars. Zbl 0633.68005
Reps, Thomas; Demers, Alan
1
1987
Generating language-based environments. Zbl 0604.68005
Reps, Thomas W.
8
1984
all top 5

Cited by 481 Authors

9 Reps, Thomas W.
7 Atig, Mohamed Faouzi
7 Kröning, Daniel
6 Bouajjani, Ahmed
6 La Torre, Salvatore
6 Touili, Tayssir
5 Frigioni, Daniele
5 Sharygina, Natasha
4 Fortz, Bernard
4 Vogler, Heiko
4 Vojnar, Tomáš
3 Abdulla, Parosh Aziz
3 Alur, Rajeev
3 Demetrescu, Camil
3 Esparza, Javier
3 Friedrich, Tobias
3 Habermehl, Peter
3 Hague, Matthew
3 Horwitz, Susan
3 Iosif, Radu
3 Italiano, Giuseppe Francesco
3 King, Andy
3 Likhachev, Maxim
3 Luttenberger, Michael
3 Napoli, Margherita
3 Parlato, Gennaro
3 Sagiv, Mooly
3 Seidl, Helmut
3 ümit, Hakan
2 Ajwani, Deepak
2 Altın, Ayşegül
2 Ausiello, Giorgio
2 Bollig, Benedikt
2 Bouissou, Olivier
2 Bozga, Marius
2 Brauer, Jörg
2 Brochenin, Rémi
2 Chapoutot, Alexandre
2 Chatterjee, Krishnendu
2 Cicerone, Serafino
2 Cook, Byron
2 Dalla Preda, Mila
2 Demri, Stéphane P.
2 Deutch, Daniel
2 Di Stefano, Gabriele
2 Donaldson, Alastair F.
2 Droste, Manfred
2 Duan, Zhenhua
2 Fähndrich, Manuel
2 Franciosa, Paolo Giulio
2 Giacobazzi, Roberto
2 Gupta, Aarti
2 Gurov, Dilian
2 Halbwachs, Nicolas
2 Holík, Lukáš
2 Huisman, Marieke
2 Jeannet, Bertrand
2 Kahlon, Vineet
2 Kaiser, Alexander D.
2 Kiefer, Stefan
2 Kuncak, Viktor
2 Lengál, Ondřej
2 Lozes, Etienne
2 Lu, Xu
2 Madhusudan, Parthasarathy
2 Majumdar, Rupak
2 Mastroeni, Isabella
2 Möller, Bernhard
2 Müller-Olm, Markus
2 Oh, Hakjoo
2 Ong, C.-H. Luke
2 Paige, Robert L.
2 Podelski, Andreas
2 Qadeer, Shaz
2 Ramalingam, Ganesan
2 Ramaswamy, Vidhya
2 Rival, Xavier
2 Rogalewicz, Adam
2 Roşu, Grigore
2 Sarma M. N., Jayalal
2 Schellhorn, Gerhard
2 Schlund, Maximilian
2 Seladji, Yassamine
2 Sharma, Tushar
2 Sighireanu, Mihaela
2 Song, Fu
2 Sotin, Pascal
2 Subramani, Krishnan
2 Sunil, K. S.
2 Thorup, Mikkel
2 Tian, Cong
2 Tonetta, Stefano
2 Tsitovich, Aliaksei
2 Vojdani, Vesal
2 Wahl, Thomas
2 Wehrheim, Heike
2 Weidenbach, Christoph
2 Wies, Thomas
2 Wilhelm, Reinhard
2 Wintersteiger, Christoph M.
...and 381 more Authors
all top 5

Cited in 52 Serials

26 Theoretical Computer Science
19 Formal Methods in System Design
14 Information and Computation
11 Formal Aspects of Computing
8 Acta Informatica
5 Artificial Intelligence
5 Information Processing Letters
4 Journal of Computer and System Sciences
4 Journal of Automated Reasoning
4 International Journal of Foundations of Computer Science
4 Journal of Logical and Algebraic Methods in Programming
3 Discrete Applied Mathematics
3 Journal of Symbolic Computation
3 International Transactions in Operational Research
3 Theory of Computing Systems
3 ACM Transactions on Computational Logic
2 Information Sciences
2 Programming and Computer Software
2 Science of Computer Programming
2 Higher-Order and Symbolic Computation
2 The Journal of Logic and Algebraic Programming
2 JMMA. Journal of Mathematical Modelling and Algorithms
2 Computer Languages, Systems & Structures
2 Journal of Discrete Algorithms
1 Computer Physics Communications
1 Computing
1 Mathematics and Computers in Simulation
1 SIAM Journal on Computing
1 Annals of Pure and Applied Logic
1 Algorithmica
1 Computers & Operations Research
1 Mathematical and Computer Modelling
1 Annals of Operations Research
1 Real-Time Systems
1 MSCS. Mathematical Structures in Computer Science
1 European Journal of Operational Research
1 ZOR. Zeitschrift für Operations Research
1 Computational Optimization and Applications
1 Journal of Applied Non-Classical Logics
1 Journal of the Egyptian Mathematical Society
1 Journal of Functional Programming
1 Annals of Mathematics and Artificial Intelligence
1 Constraints
1 Optimization Methods & Software
1 Data Mining and Knowledge Discovery
1 RAIRO. Operations Research
1 Theory and Practice of Logic Programming
1 4OR
1 Discrete Optimization
1 International Journal of Biomathematics
1 Science China. Information Sciences
1 Journal of Theoretical Biology

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.