Edit Profile (opens in new tab) Knoop, Jens Compute Distance To: Compute Author ID: knoop.jens Published as: Knoop, Jens Documents Indexed: 12 Publications since 1989 Co-Authors: 10 Co-Authors with 10 Joint Publications 238 Co-Co-Authors all top 5 Co-Authors 2 single-authored 5 Steffen, Bernhard 3 Rüthing, Oliver 2 Kovács, Laura Ildikó 2 Zwirchmayr, Jakob 1 Collard, Jean-François 1 Gupta, Manish Kumar 1 Ju, Roy Dz-Ching 1 Mehofer, Eduard 1 O’Boyle, Michael F. P. 1 Pingali, Keshav K. Serials 2 Theoretical Computer Science 1 Journal of Symbolic Computation Fields 12 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 14 times in 10 Documents Cited by ▼ Year ▼ The value flow graph: A program representation for optimal program transformations. Zbl 0765.68146Steffen, Bernhard; Knoop, Jens; Rüthing, Oliver 5 1990 Detecting equalities of variables: Combining efficiency with precision. Zbl 0957.68031Rüthing, Oliver; Knoop, Jens; Steffen, Bernhard 4 1999 Finite constants: Characterizations of a new decidable set of constants. Zbl 0745.68040Steffen, Bernhard; Knoop, Jens 2 1991 Finite constants: Characterizations of a new decidable set of constants. Zbl 0755.68035Steffen, Bernhard; Knoop, Jens 2 1989 Sparse code motion. Zbl 1323.68182Rüthing, Oliver; Knoop, Jens; Steffen, Bernhard 1 2000 Sparse code motion. Zbl 1323.68182Rüthing, Oliver; Knoop, Jens; Steffen, Bernhard 1 2000 Detecting equalities of variables: Combining efficiency with precision. Zbl 0957.68031Rüthing, Oliver; Knoop, Jens; Steffen, Bernhard 4 1999 Finite constants: Characterizations of a new decidable set of constants. Zbl 0745.68040Steffen, Bernhard; Knoop, Jens 2 1991 The value flow graph: A program representation for optimal program transformations. Zbl 0765.68146Steffen, Bernhard; Knoop, Jens; Rüthing, Oliver 5 1990 Finite constants: Characterizations of a new decidable set of constants. Zbl 0755.68035Steffen, Bernhard; Knoop, Jens 2 1989 all cited Publications top 5 cited Publications all top 5 Cited by 18 Authors 4 Steffen, Bernhard 2 Horwitz, Susan 2 Reps, Thomas W. 2 Sagiv, Mooly 1 Banerjee, Kunal 1 Hedenborg, Mathias 1 Knoop, Jens 1 Löwe, Welf M. 1 Lundberg, Jonas 1 Mandal, Chittaranjan 1 Murtovi, Alnis 1 Pai, Rekha R. 1 Petter, Michael 1 Rüthing, Oliver 1 Sarkar, Dipankar 1 Schulze Frielinghaus, Stefan 1 Seidl, Helmut 1 Trapp, Martin Cited in 5 Serials 2 Theoretical Computer Science 1 Formal Aspects of Computing 1 Theory of Computing Systems 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science Cited in 3 Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year