Edit Profile (opens in new tab) Reps, Thomas W. Compute Distance To: Compute Author ID: reps.thomas-w Published as: Reps, Thomas; Reps, Thomas W.; Reps, T. more...less External Links: MGP Documents Indexed: 81 Publications since 1984, including 3 Books 1 Contribution as Editor Co-Authors: 60 Co-Authors with 75 Joint Publications 957 Co-Co-Authors all top 5 Co-Authors 7 single-authored 26 Sagiv, Mooly 10 Lal, Akash 7 Kidd, Nicholas 6 Loginov, Alexey 6 Wilhelm, Reinhard 6 Yorsh, Greta 5 Balakrishnan, Gogul 5 Gopan, Denis 5 Ramalingam, Ganesan 4 Horwitz, Susan 4 Immerman, Neil 4 Jha, Somesh 4 Lev-Ami, Tal 4 Melski, David 4 Teitelbaum, Tim 4 Yahav, Eran 3 Bauer, Jörg 3 Rinetzky, Noam 3 Schwoon, Stefan 3 Sharma, Tushar 3 Touili, Tayssir 2 Cyphert, John 2 D’Antoni, Loris 2 Hoffmann, Jan-Philipp 2 Hu, Qinheping 2 Jeannet, Bertrand 2 Lim, Junghee 2 Rall, Louis B. 2 Srivastava, Siddharth 1 Amit, Daphna 1 Benedikt, Michael A. 1 Carbonneaux, Quentin 1 Chaki, Sagar 1 Clarke, Edmund Melson jun. 1 Demers, Alan J. 1 Dillig, Isil 1 DiMaio, Frank 1 Dolby, Julian 1 Dor, Nurit 1 Elder, Matthew 1 Feng, Yu 1 Godefroid, Patrice 1 Gruian, R. 1 Harris, William R. 1 Kim, Jinwoo 1 Kincaid, Zachary 1 Kreiker, Jörg 1 Martins, Ruben 1 McCloskey, Bill 1 Miller, Barton P. 1 Prabhu, Prathmesh 1 Rabinovich, Alexander 1 Seshia, Sanjit Arunkumar 1 Shao, Zhong 1 Thakur, Aditya V. 1 Turetsky, Emma 1 Vaziri, Mandana 1 Wang, Yuepeng 1 Weidenbach, Christoph 1 Xu, Zhichen 1 Yong, Suan Hsi all top 5 Serials 3 Acta Informatica 3 Theoretical Computer Science 3 Formal Methods in System Design 2 Science of Computer Programming 1 Information Processing Letters 1 Journal of Algorithms 1 ACM Transactions on Programming Languages and Systems 1 Logic Journal of the IGPL 1 Higher-Order and Symbolic Computation 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science all top 5 Fields 82 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Numerical analysis (65-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Associative rings and algebras (16-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 62 Publications have been cited 362 times in 259 Documents Cited by ▼ Year ▼ An incremental algorithm for a generalization of the shortest-path problem. Zbl 0861.68035Ramalingam, G.; Reps, Thomas 34 1996 On the computational complexity of dynamic graph problems. Zbl 0871.68098Ramalingam, G.; Reps, Thomas 25 1996 Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133Sagiv, Mooly; Reps, Thomas; Horwitz, Susan 22 1996 Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David 20 2005 A framework for numeric analysis of array operations. Zbl 1369.68138Gopan, Denis; Reps, Thomas; Sagiv, Mooly 18 2005 Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1155.68368Lal, Akash; Reps, Thomas 14 2008 Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1186.68298Lal, Akash; Reps, Thomas 13 2009 Interprocedural analysis of concurrent programs under a context bound. Zbl 1134.68349Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas 13 2008 Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T. 13 2006 Symbolic implementation of the best transformer. Zbl 1202.68255Reps, Thomas; Sagiv, Mooly; Yorsh, Greta 12 2004 Generating language-based environments. Zbl 0604.68005Reps, Thomas W. 8 1984 Comparison under abstraction for verifying linearizability. Zbl 1135.68462Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran 8 2007 Program analysis using weighted pushdown systems. Zbl 1136.68019Reps, Thomas; Lal, Akash; Kidd, Nick 8 2007 Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051Reps, Thomas; Schwoon, Stefan; Jha, Somesh 7 2003 The Synthesizer Generator. A System for Constructing Language-Based Editors. Zbl 0711.68028Reps, Thomas W.; Teitelbaum, Tim 7 1989 Static program analysis via 3-valued logic. Zbl 1103.68635Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard 7 2004 Guided static analysis. Zbl 1211.68087Gopan, Denis; Reps, Thomas 6 2007 Analyzing memory accesses in x86 executables. Zbl 1125.68345Balakrishnan, Gogul; Reps, Thomas 6 2004 A semantics for procedure local heaps and its abstractions. Zbl 1369.68154Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard 6 2005 Model checking of unrestricted hierarchical state machines. Zbl 0986.68506Benedikt, Michael; Godefroid, Patrice; Reps, Thomas 6 2001 Extended weighted pushdown systems. Zbl 1081.68625Lal, Akash; Reps, Thomas; Balakrishnan, Gogul 6 2005 Program analysis via graph reachability. Zbl 0944.68038Reps, Thomas 5 1997 Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard 5 2003 Finite differencing of logical formulas for static analysis. Zbl 1032.68061Reps, Thomas; Sagiv, Mooly; Loginov, Alexey 5 2003 Automated verification of the Deutsch-Schorr-Waite tree-traversal algorithm. Zbl 1225.68081Loginov, Alexey; Reps, Thomas; Sagiv, Mooly 5 2006 Numeric domains with summarized dimensions. Zbl 1126.68348Gopan, Denis; DiMaio, Frank; Dor, Nurit; Reps, Thomas; Sagiv, Mooly 5 2004 Symbolically computing most-precise abstract operations for shape analysis. Zbl 1126.68359Yorsh, G.; Reps, Thomas; Sagiv, Mooly 5 2004 Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1135.68556Lev-Ami, T.; Immerman, N.; Reps, T.; Sagiv, M.; Srivastava, S.; Yorsh, G. 5 2005 A relational approach to interprocedural shape analysis. Zbl 1104.68416Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly 5 2004 Component-based synthesis for complex APIs. Zbl 1380.68108Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. 4 2017 On competitive on-line algorithms for the dynamic priority-ordering problem. Zbl 0942.68646Ramalingam, G.; Reps, Thomas 4 1994 On the sequential nature of interprocedural program-analysis problems. Zbl 0861.68016Reps, Thomas 4 1996 The synthesizer generator refence manual. 3rd ed. Zbl 0711.68029Reps, Thomas W.; Teitelbaum, Tim 4 1989 Verifying temporal heap properties specified via evolution logic. Zbl 1108.68077Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R. 4 2006 Verification via structure simulation. Zbl 1103.68623Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great 4 2004 Abstraction refinement via inductive learning. Zbl 1081.68626Loginov, Alexey; Reps, Thomas; Sagiv, Mooly 4 2005 Interconvertibility of a class of set constraints and context-free-language reachability. Zbl 0949.68087Melski, D.; Reps, T. 3 2000 Automating abstract interpretation. Zbl 1475.68097Reps, Thomas; Thakur, Aditya 3 2016 A theory of program modifications. Zbl 0967.68504Ramalingam, G.; Reps, Thomas 3 1991 Algebraic properties of program integration. Zbl 0745.68029Reps, Thomas 3 1991 Improving pushdown system model checking. Zbl 1188.68195Lal, Akash; Reps, Thomas 3 2006 Weighted pushdown systems and trust-management systems. Zbl 1180.68061Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas 3 2006 Model checking x86 executables with CodeSurfer/x86 and WPDS++. Zbl 1081.68604Balakrishnan, G.; Reps, T.; Kidd, N.; Lal, A.; Lim, J.; Melski, D.; Gruian, R.; Yong, S.; Chen, C.-H.; Teitelbaum, T. 3 2005 Logical characterizations of heap abstractions. Zbl 1367.68078Yorsh, Greta; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard 3 2007 Labelled clauses. Zbl 1213.68572Lev-Ami, Tal; Weidenbach, Christoph; Reps, Thomas; Sagiv, Mooly 2 2007 A relational abstraction for functions. Zbl 1141.68371Jeannet, B.; Gopan, D.; Reps, T. 2 2005 Statically inferring complex heap, array, and numeric invariants. Zbl 1306.68032McCloskey, Bill; Reps, Thomas; Sagiv, Mooly 2 2010 Sound bit-precise numerical domains. Zbl 1484.68053Sharma, Tushar; Reps, Thomas 1 2017 Computational divided differencing and divided-difference arithmetics. Zbl 1040.68148Reps, Thomas W.; Rall, Louis B. 1 2003 The interprocedural express-lane transformation. Zbl 1032.68915Melski, David; Reps, Thomas 1 2003 Algebraic properties of program integration. Zbl 0765.68142Reps, Thomas 1 1990 Semantics of program representation graphs. Zbl 1195.68064Ramalingam, G.; Reps, Thomas 1 2009 Language strength reduction. Zbl 1149.68353Kidd, Nicholas; Lal, Akash; Reps, Thomas 1 2008 Sublinear-space evaluation algorithms for attribute grammars. Zbl 0633.68005Reps, Thomas; Demers, Alan 1 1987 Incremental evaluation for attribute grammars with unrestricted movement between tree modifications. Zbl 0645.68089Reps, Thomas 1 1988 Abstract error projection. Zbl 1211.68091Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir 1 2007 Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1163.68010Lev-Ami, Tal; Immerman, Neil; Reps, Thomas W.; Sagiv, Mooly; Srivastava, Siddharth; Yorsh, Greta 1 2009 Refinement-based verification for possibly-cyclic lists. Zbl 1149.68356Loginov, Alexey; Reps, Thomas; Sagiv, Mooly 1 2007 Newtonian program analysis via tensor product. Zbl 1347.68094Reps, Thomas; Turetsky, Emma; Prabhu, Prathmesh 1 2016 Debugging via run-time type checking. Zbl 0977.68638Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas 1 2001 Algorithmic differencing. Zbl 0990.65031Rall, Louis B.; Reps, Thomas W. 1 2001 Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E. 1 2013 Component-based synthesis for complex APIs. Zbl 1380.68108Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. 4 2017 Sound bit-precise numerical domains. Zbl 1484.68053Sharma, Tushar; Reps, Thomas 1 2017 Automating abstract interpretation. Zbl 1475.68097Reps, Thomas; Thakur, Aditya 3 2016 Newtonian program analysis via tensor product. Zbl 1347.68094Reps, Thomas; Turetsky, Emma; Prabhu, Prathmesh 1 2016 Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E. 1 2013 Statically inferring complex heap, array, and numeric invariants. Zbl 1306.68032McCloskey, Bill; Reps, Thomas; Sagiv, Mooly 2 2010 Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1186.68298Lal, Akash; Reps, Thomas 13 2009 Semantics of program representation graphs. Zbl 1195.68064Ramalingam, G.; Reps, Thomas 1 2009 Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1163.68010Lev-Ami, Tal; Immerman, Neil; Reps, Thomas W.; Sagiv, Mooly; Srivastava, Siddharth; Yorsh, Greta 1 2009 Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1155.68368Lal, Akash; Reps, Thomas 14 2008 Interprocedural analysis of concurrent programs under a context bound. Zbl 1134.68349Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas 13 2008 Language strength reduction. Zbl 1149.68353Kidd, Nicholas; Lal, Akash; Reps, Thomas 1 2008 Comparison under abstraction for verifying linearizability. Zbl 1135.68462Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran 8 2007 Program analysis using weighted pushdown systems. Zbl 1136.68019Reps, Thomas; Lal, Akash; Kidd, Nick 8 2007 Guided static analysis. Zbl 1211.68087Gopan, Denis; Reps, Thomas 6 2007 Logical characterizations of heap abstractions. Zbl 1367.68078Yorsh, Greta; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard 3 2007 Labelled clauses. Zbl 1213.68572Lev-Ami, Tal; Weidenbach, Christoph; Reps, Thomas; Sagiv, Mooly 2 2007 Abstract error projection. Zbl 1211.68091Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir 1 2007 Refinement-based verification for possibly-cyclic lists. Zbl 1149.68356Loginov, Alexey; Reps, Thomas; Sagiv, Mooly 1 2007 Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T. 13 2006 Automated verification of the Deutsch-Schorr-Waite tree-traversal algorithm. Zbl 1225.68081Loginov, Alexey; Reps, Thomas; Sagiv, Mooly 5 2006 Verifying temporal heap properties specified via evolution logic. Zbl 1108.68077Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R. 4 2006 Improving pushdown system model checking. Zbl 1188.68195Lal, Akash; Reps, Thomas 3 2006 Weighted pushdown systems and trust-management systems. Zbl 1180.68061Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas 3 2006 Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David 20 2005 A framework for numeric analysis of array operations. Zbl 1369.68138Gopan, Denis; Reps, Thomas; Sagiv, Mooly 18 2005 A semantics for procedure local heaps and its abstractions. Zbl 1369.68154Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard 6 2005 Extended weighted pushdown systems. Zbl 1081.68625Lal, Akash; Reps, Thomas; Balakrishnan, Gogul 6 2005 Simulating reachability using first-order logic with applications to verification of linked data structures. Zbl 1135.68556Lev-Ami, T.; Immerman, N.; Reps, T.; Sagiv, M.; Srivastava, S.; Yorsh, G. 5 2005 Abstraction refinement via inductive learning. Zbl 1081.68626Loginov, Alexey; Reps, Thomas; Sagiv, Mooly 4 2005 Model checking x86 executables with CodeSurfer/x86 and WPDS++. Zbl 1081.68604Balakrishnan, G.; Reps, T.; Kidd, N.; Lal, A.; Lim, J.; Melski, D.; Gruian, R.; Yong, S.; Chen, C.-H.; Teitelbaum, T. 3 2005 A relational abstraction for functions. Zbl 1141.68371Jeannet, B.; Gopan, D.; Reps, T. 2 2005 Symbolic implementation of the best transformer. Zbl 1202.68255Reps, Thomas; Sagiv, Mooly; Yorsh, Greta 12 2004 Static program analysis via 3-valued logic. Zbl 1103.68635Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard 7 2004 Analyzing memory accesses in x86 executables. Zbl 1125.68345Balakrishnan, Gogul; Reps, Thomas 6 2004 Numeric domains with summarized dimensions. Zbl 1126.68348Gopan, Denis; DiMaio, Frank; Dor, Nurit; Reps, Thomas; Sagiv, Mooly 5 2004 Symbolically computing most-precise abstract operations for shape analysis. Zbl 1126.68359Yorsh, G.; Reps, Thomas; Sagiv, Mooly 5 2004 A relational approach to interprocedural shape analysis. Zbl 1104.68416Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly 5 2004 Verification via structure simulation. Zbl 1103.68623Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great 4 2004 Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051Reps, Thomas; Schwoon, Stefan; Jha, Somesh 7 2003 Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard 5 2003 Finite differencing of logical formulas for static analysis. Zbl 1032.68061Reps, Thomas; Sagiv, Mooly; Loginov, Alexey 5 2003 Computational divided differencing and divided-difference arithmetics. Zbl 1040.68148Reps, Thomas W.; Rall, Louis B. 1 2003 The interprocedural express-lane transformation. Zbl 1032.68915Melski, David; Reps, Thomas 1 2003 Model checking of unrestricted hierarchical state machines. Zbl 0986.68506Benedikt, Michael; Godefroid, Patrice; Reps, Thomas 6 2001 Debugging via run-time type checking. Zbl 0977.68638Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas 1 2001 Algorithmic differencing. Zbl 0990.65031Rall, Louis B.; Reps, Thomas W. 1 2001 Interconvertibility of a class of set constraints and context-free-language reachability. Zbl 0949.68087Melski, D.; Reps, T. 3 2000 Program analysis via graph reachability. Zbl 0944.68038Reps, Thomas 5 1997 An incremental algorithm for a generalization of the shortest-path problem. Zbl 0861.68035Ramalingam, G.; Reps, Thomas 34 1996 On the computational complexity of dynamic graph problems. Zbl 0871.68098Ramalingam, G.; Reps, Thomas 25 1996 Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133Sagiv, Mooly; Reps, Thomas; Horwitz, Susan 22 1996 On the sequential nature of interprocedural program-analysis problems. Zbl 0861.68016Reps, Thomas 4 1996 On competitive on-line algorithms for the dynamic priority-ordering problem. Zbl 0942.68646Ramalingam, G.; Reps, Thomas 4 1994 A theory of program modifications. Zbl 0967.68504Ramalingam, G.; Reps, Thomas 3 1991 Algebraic properties of program integration. Zbl 0745.68029Reps, Thomas 3 1991 Algebraic properties of program integration. Zbl 0765.68142Reps, Thomas 1 1990 The Synthesizer Generator. A System for Constructing Language-Based Editors. Zbl 0711.68028Reps, Thomas W.; Teitelbaum, Tim 7 1989 The synthesizer generator refence manual. 3rd ed. Zbl 0711.68029Reps, Thomas W.; Teitelbaum, Tim 4 1989 Incremental evaluation for attribute grammars with unrestricted movement between tree modifications. Zbl 0645.68089Reps, Thomas 1 1988 Sublinear-space evaluation algorithms for attribute grammars. Zbl 0633.68005Reps, Thomas; Demers, Alan 1 1987 Generating language-based environments. Zbl 0604.68005Reps, Thomas W. 8 1984 all cited Publications top 5 cited Publications all top 5 Cited by 523 Authors 12 Reps, Thomas W. 8 Atig, Mohamed Faouzi 7 Kröning, Daniel 6 Bouajjani, Ahmed 6 Frigioni, Daniele 6 La Torre, Salvatore 6 Touili, Tayssir 5 Chatterjee, Krishnendu 5 Sharygina, Natasha 4 Abdulla, Parosh Aziz 4 Fortz, Bernard 4 Sagiv, Mooly 4 Vogler, Heiko 4 Vojnar, Tomáš 3 Alur, Rajeev 3 Bergamini, Elisabetta 3 Demetrescu, Camil 3 Esparza, Javier 3 Friedrich, Tobias 3 Habermehl, Peter 3 Hague, Matthew 3 Henzinger, Thomas A. 3 Horwitz, Susan 3 Iosif, Radu 3 Italiano, Giuseppe Francesco 3 Likhachev, Maxim 3 Luttenberger, Michael 3 Meyerhenke, Henning 3 Napoli, Margherita 3 Otop, Jan 3 Parlato, Gennaro 3 Pavlogiannis, Andreas 3 Rival, Xavier 3 Seidl, Helmut 3 Shoham, Sharon 3 ümit, Hakan 3 Wahl, Thomas 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 Chakraborty, Supratik 2 Chapoutot, Alexandre 2 Cicerone, Serafino 2 Cook, Byron 2 Dalla Preda, Mila 2 D’Andrea, Annalisa 2 D’Angelo, Gianlorenzo 2 D’Emidio, Mattia 2 Demri, Stéphane P. 2 Deutch, Daniel 2 Di Stefano, Gabriele 2 Donaldson, Alastair F. 2 Droste, Manfred 2 Enea, Constantin 2 Fähndrich, Manuel 2 Feldman, Yotam M. Y. 2 Festa, Paola 2 Franciosa, Paolo Giulio 2 Giacobazzi, Roberto 2 Gonnord, Laure 2 Guerriero, Francesca 2 Gupta, Aarti 2 Gupta, Ashutosh 2 Gurov, Dilian 2 Halbwachs, Nicolas 2 Holík, Lukáš 2 Huisman, Marieke 2 Illous, Hugo 2 Immerman, Neil 2 Kahlon, Vineet 2 Kaiser, Alexander D. 2 Kiefer, Stefan 2 Kincaid, Zachary 2 King, Andy 2 Krishna, Shankara Narayanan 2 Lemerre, Matthieu 2 Lengál, Ondřej 2 Leucci, Stefano 2 Lozes, Etienne 2 Madhusudan, Parthasarathy 2 Majumdar, Rupak 2 Mastroeni, Isabella 2 Möller, Bernhard 2 Müller-Olm, Markus 2 Oh, Hakjoo 2 Podelski, Andreas 2 Proietti, Guido 2 Qadeer, Shaz 2 Ramalingam, Ganesan 2 Ramaswamy, Vidhya 2 Rinetzky, Noam 2 Rogalewicz, Adam 2 Roşu, Grigore 2 Sarma M. N., Jayalal 2 Schellhorn, Gerhard ...and 423 more Authors all top 5 Cited in 53 Serials 23 Theoretical Computer Science 20 Formal Methods in System Design 14 Information and Computation 10 Formal Aspects of Computing 8 Acta Informatica 5 Artificial Intelligence 5 Information Processing Letters 4 Journal of Computer and System Sciences 4 Programming and Computer Software 4 Journal of Automated Reasoning 4 International Journal of Foundations of Computer Science 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 3 ACM Journal of Experimental Algorithmics 3 Journal of Logical and Algebraic Methods in Programming 2 Science of Computer Programming 2 Optimization Methods & Software 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 Information Sciences 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 Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 Data Mining and Knowledge Discovery 1 RAIRO. Operations Research 1 Theory and Practice of Logic Programming 1 4OR 1 Internet Mathematics 1 AKCE International Journal of Graphs and Combinatorics 1 International Journal of Biomathematics 1 Science China. Information Sciences 1 Journal of Theoretical Biology all top 5 Cited in 10 Fields 241 Computer science (68-XX) 27 Combinatorics (05-XX) 23 Mathematical logic and foundations (03-XX) 16 Operations research, mathematical programming (90-XX) 5 Numerical analysis (65-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Associative rings and algebras (16-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) Citations by Year