×
Author ID: reps.thomas-w Recent zbMATH articles by "Reps, Thomas W."
Published as: Reps, Thomas; Reps, Thomas W.; Reps, T.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

69 Publications have been cited 449 times in 309 Documents Cited by Year
An incremental algorithm for a generalization of the shortest-path problem. Zbl 0861.68035
Ramalingam, G.; Reps, Thomas
36
1996
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1088.68040
Reps, Thomas; Schwoon, Stefan; Jha, Somesh; Melski, David
26
2005
On the computational complexity of dynamic graph problems. Zbl 0871.68098
Ramalingam, G.; Reps, Thomas
26
1996
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
26
1996
A framework for numeric analysis of array operations. Zbl 1369.68138
Gopan, Denis; Reps, Thomas; Sagiv, Mooly
21
2005
Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109
Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T.
19
2006
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 1496.68079
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
18
1995
Interprocedural analysis of concurrent programs under a context bound. Zbl 1134.68349
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas
17
2008
Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1155.68368
Lal, Akash; Reps, Thomas
15
2008
Symbolic implementation of the best transformer. Zbl 1202.68255
Reps, Thomas; Sagiv, Mooly; Yorsh, Greta
15
2004
Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1186.68298
Lal, Akash; Reps, Thomas
13
2009
Static program analysis via 3-valued logic. Zbl 1103.68635
Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard
11
2004
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.
10
2005
Analyzing memory accesses in x86 executables. Zbl 1125.68345
Balakrishnan, Gogul; Reps, Thomas
9
2004
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
9
2007
Program analysis using weighted pushdown systems. Zbl 1136.68019
Reps, Thomas; Lal, Akash; Kidd, Nick
8
2007
Generating language-based environments. Zbl 0604.68005
Reps, Thomas W.
8
1984
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051
Reps, Thomas; Schwoon, Stefan; Jha, Somesh
8
2003
Extended weighted pushdown systems. Zbl 1081.68625
Lal, Akash; Reps, Thomas; Balakrishnan, Gogul
7
2005
The Synthesizer Generator. A System for Constructing Language-Based Editors. Zbl 0711.68028
Reps, Thomas W.; Teitelbaum, Tim
7
1989
Guided static analysis. Zbl 1211.68087
Gopan, Denis; Reps, Thomas
7
2007
A semantics for procedure local heaps and its abstractions. Zbl 1369.68154
Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
6
2005
A relational approach to interprocedural shape analysis. Zbl 1104.68416
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
6
2004
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.
6
2005
Program analysis via graph reachability. Zbl 0944.68038
Reps, Thomas
6
1997
Numeric domains with summarized dimensions. Zbl 1126.68348
Gopan, Denis; DiMaio, Frank; Dor, Nurit; Reps, Thomas; Sagiv, Mooly
6
2004
Symbolically computing most-precise abstract operations for shape analysis. Zbl 1126.68359
Yorsh, G.; Reps, Thomas; Sagiv, Mooly
6
2004
Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062
Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
6
2003
Finite differencing of logical formulas for static analysis. Zbl 1032.68061
Reps, Thomas; Sagiv, Mooly; Loginov, Alexey
6
2003
Model checking of unrestricted hierarchical state machines. Zbl 0986.68506
Benedikt, Michael; Godefroid, Patrice; Reps, Thomas
6
2001
Component-based synthesis for complex APIs. Zbl 1380.68108
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
6
2017
Automating abstract interpretation. Zbl 1475.68097
Reps, Thomas; Thakur, Aditya
5
2016
Abstraction refinement via inductive learning. Zbl 1081.68626
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
5
2005
Improving pushdown system model checking. Zbl 1188.68195
Lal, Akash; Reps, Thomas
5
2006
On competitive on-line algorithms for the dynamic priority-ordering problem. Zbl 0942.68646
Ramalingam, G.; Reps, Thomas
5
1994
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
Verification via structure simulation. Zbl 1103.68623
Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great
4
2004
On the sequential nature of interprocedural program-analysis problems. Zbl 0861.68016
Reps, Thomas
4
1996
Interconvertibility of a class of set constraints and context-free-language reachability. Zbl 0949.68087
Melski, D.; Reps, T.
4
2000
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
Weighted pushdown systems and trust-management systems. Zbl 1180.68061
Jha, Somesh; Schwoon, Stefan; Wang, Hao; Reps, Thomas
3
2006
Algebraic properties of program integration. Zbl 0745.68029
Reps, Thomas
3
1991
A theory of program modifications. Zbl 0967.68504
Ramalingam, G.; Reps, Thomas
3
1991
Labelled clauses. Zbl 1213.68572
Lev-Ami, Tal; Weidenbach, Christoph; Reps, Thomas; Sagiv, Mooly
3
2007
Automated resource analysis with Coq proof objects. Zbl 1494.68051
Carbonneaux, Quentin; Hoffmann, Jan; Reps, Thomas; Shao, Zhong
3
2017
A relational abstraction for functions. Zbl 1141.68371
Jeannet, B.; Gopan, D.; Reps, T.
2
2005
Abstract error projection. Zbl 1211.68091
Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir
2
2007
Statically inferring complex heap, array, and numeric invariants. Zbl 1306.68032
McCloskey, Bill; Reps, Thomas; Sagiv, Mooly
2
2010
Sound bit-precise numerical domains. Zbl 1484.68053
Sharma, Tushar; Reps, Thomas
1
2017
Newtonian program analysis via tensor product. Zbl 1347.68094
Reps, Thomas; Turetsky, Emma; Prabhu, Prathmesh
1
2016
Refinement-based verification for possibly-cyclic lists. Zbl 1149.68356
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
1
2007
The interprocedural express-lane transformation. Zbl 1032.68915
Melski, David; Reps, Thomas
1
2003
Computational divided differencing and divided-difference arithmetics. Zbl 1040.68148
Reps, Thomas W.; Rall, Louis B.
1
2003
Debugging via run-time type checking. Zbl 0977.68638
Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas
1
2001
Algorithmic differencing. Zbl 0990.65031
Rall, Louis B.; Reps, Thomas W.
1
2001
Solving multiple dataflow queries using WPDSs. Zbl 1149.68354
Lal, Akash; Reps, Thomas
1
2008
Language strength reduction. Zbl 1149.68353
Kidd, Nicholas; Lal, Akash; Reps, Thomas
1
2008
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
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
Algebraic properties of program integration. Zbl 0765.68142
Reps, Thomas
1
1990
Sublinear-space evaluation algorithms for attribute grammars. Zbl 0633.68005
Reps, Thomas; Demers, Alan
1
1987
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications. Zbl 0645.68089
Reps, Thomas
1
1988
Recency-abstraction for heap-allocated storage. Zbl 1225.68079
Balakrishnan, Gogul; Reps, Thomas
1
2006
A new abstraction framework for affine transformers. Zbl 1425.68084
Sharma, Tushar; Reps, Thomas
1
2019
Semantics of program representation graphs. Zbl 1195.68064
Ramalingam, G.; Reps, Thomas
1
2009
Synthesis with asymptotic resource bounds. Zbl 1493.68112
Hu, Qinheping; Cyphert, John; D’Antoni, Loris; Reps, Thomas
1
2021
A denotational semantics for low-level probabilistic programs with nondeterminism. Zbl 07515966
Wang, Di; Hoffmann, Jan; Reps, Thomas
1
2019
Synthesis with asymptotic resource bounds. Zbl 1493.68112
Hu, Qinheping; Cyphert, John; D’Antoni, Loris; Reps, Thomas
1
2021
A new abstraction framework for affine transformers. Zbl 1425.68084
Sharma, Tushar; Reps, Thomas
1
2019
A denotational semantics for low-level probabilistic programs with nondeterminism. Zbl 07515966
Wang, Di; Hoffmann, Jan; Reps, Thomas
1
2019
Component-based synthesis for complex APIs. Zbl 1380.68108
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
6
2017
Automated resource analysis with Coq proof objects. Zbl 1494.68051
Carbonneaux, Quentin; Hoffmann, Jan; Reps, Thomas; Shao, Zhong
3
2017
Sound bit-precise numerical domains. Zbl 1484.68053
Sharma, Tushar; Reps, Thomas
1
2017
Automating abstract interpretation. Zbl 1475.68097
Reps, Thomas; Thakur, Aditya
5
2016
Newtonian program analysis via tensor product. Zbl 1347.68094
Reps, Thomas; Turetsky, Emma; Prabhu, Prathmesh
1
2016
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
13
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
Semantics of program representation graphs. Zbl 1195.68064
Ramalingam, G.; Reps, Thomas
1
2009
Interprocedural analysis of concurrent programs under a context bound. Zbl 1134.68349
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas
17
2008
Reducing concurrent analysis under a context bound to sequential analysis. Zbl 1155.68368
Lal, Akash; Reps, Thomas
15
2008
Solving multiple dataflow queries using WPDSs. Zbl 1149.68354
Lal, Akash; Reps, Thomas
1
2008
Language strength reduction. Zbl 1149.68353
Kidd, Nicholas; Lal, Akash; Reps, Thomas
1
2008
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
9
2007
Program analysis using weighted pushdown systems. Zbl 1136.68019
Reps, Thomas; Lal, Akash; Kidd, Nick
8
2007
Guided static analysis. Zbl 1211.68087
Gopan, Denis; Reps, Thomas
7
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
3
2007
Abstract error projection. Zbl 1211.68091
Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir
2
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.
19
2006
Improving pushdown system model checking. Zbl 1188.68195
Lal, Akash; Reps, Thomas
5
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
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
26
2005
A framework for numeric analysis of array operations. Zbl 1369.68138
Gopan, Denis; Reps, Thomas; Sagiv, Mooly
21
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.
10
2005
Extended weighted pushdown systems. Zbl 1081.68625
Lal, Akash; Reps, Thomas; Balakrishnan, Gogul
7
2005
A semantics for procedure local heaps and its abstractions. Zbl 1369.68154
Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
6
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.
6
2005
Abstraction refinement via inductive learning. Zbl 1081.68626
Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
5
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
15
2004
Static program analysis via 3-valued logic. Zbl 1103.68635
Reps, Thomas W.; Sagiv, Mooly; Wilhelm, Reinhard
11
2004
Analyzing memory accesses in x86 executables. Zbl 1125.68345
Balakrishnan, Gogul; Reps, Thomas
9
2004
A relational approach to interprocedural shape analysis. Zbl 1104.68416
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
6
2004
Numeric domains with summarized dimensions. Zbl 1126.68348
Gopan, Denis; DiMaio, Frank; Dor, Nurit; Reps, Thomas; Sagiv, Mooly
6
2004
Symbolically computing most-precise abstract operations for shape analysis. Zbl 1126.68359
Yorsh, G.; Reps, Thomas; Sagiv, Mooly
6
2004
Verification via structure simulation. Zbl 1103.68623
Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great
4
2004
Weighted pushdown systems and their application to interprocedural dataflow analysis. Zbl 1067.68051
Reps, Thomas; Schwoon, Stefan; Jha, Somesh
8
2003
Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062
Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
6
2003
Finite differencing of logical formulas for static analysis. Zbl 1032.68061
Reps, Thomas; Sagiv, Mooly; Loginov, Alexey
6
2003
The interprocedural express-lane transformation. Zbl 1032.68915
Melski, David; Reps, Thomas
1
2003
Computational divided differencing and divided-difference arithmetics. Zbl 1040.68148
Reps, Thomas W.; Rall, Louis B.
1
2003
Model checking of unrestricted hierarchical state machines. Zbl 0986.68506
Benedikt, Michael; Godefroid, Patrice; Reps, Thomas
6
2001
Debugging via run-time type checking. Zbl 0977.68638
Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas
1
2001
Algorithmic differencing. Zbl 0990.65031
Rall, Louis B.; Reps, Thomas W.
1
2001
Interconvertibility of a class of set constraints and context-free-language reachability. Zbl 0949.68087
Melski, D.; Reps, T.
4
2000
Program analysis via graph reachability. Zbl 0944.68038
Reps, Thomas
6
1997
An incremental algorithm for a generalization of the shortest-path problem. Zbl 0861.68035
Ramalingam, G.; Reps, Thomas
36
1996
On the computational complexity of dynamic graph problems. Zbl 0871.68098
Ramalingam, G.; Reps, Thomas
26
1996
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
26
1996
On the sequential nature of interprocedural program-analysis problems. Zbl 0861.68016
Reps, Thomas
4
1996
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 1496.68079
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
18
1995
On competitive on-line algorithms for the dynamic priority-ordering problem. Zbl 0942.68646
Ramalingam, G.; Reps, Thomas
5
1994
Algebraic properties of program integration. Zbl 0745.68029
Reps, Thomas
3
1991
A theory of program modifications. Zbl 0967.68504
Ramalingam, G.; Reps, Thomas
3
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 609 Authors

19 Reps, Thomas W.
10 Touili, Tayssir
9 Atig, Mohamed Faouzi
8 Bouajjani, Ahmed
7 Kröning, Daniel
6 Frigioni, Daniele
6 La Torre, Salvatore
6 Lal, Akash
5 Abdulla, Parosh Aziz
5 Chatterjee, Krishnendu
5 Esparza, Javier
5 Fortz, Bernard
5 Sagiv, Mooly
5 Sharygina, Natasha
5 Shoham, Sharon
4 Feldman, Yotam M. Y.
4 Friedrich, Tobias
4 Horwitz, Susan
4 Luttenberger, Michael
4 Seidl, Helmut
4 ümit, Hakan
4 Vogler, Heiko
4 Vojnar, Tomáš
3 Ajwani, Deepak
3 Alur, Rajeev
3 Bergamini, Elisabetta
3 Demetrescu, Camil
3 Enea, Constantin
3 Gurfinkel, Arie
3 Habermehl, Peter
3 Hague, Matthew
3 Henzinger, Thomas A.
3 Iosif, Radu
3 Italiano, Giuseppe Francesco
3 Kidd, Nicholas
3 Kiefer, Stefan
3 Kincaid, Zachary
3 King, Andy
3 Likhachev, Maxim
3 Mastroeni, Isabella
3 Meyerhenke, Henning
3 Müller-Olm, Markus
3 Napoli, Margherita
3 Otop, Jan
3 Parlato, Gennaro
3 Pavlogiannis, Andreas
3 Podelski, Andreas
3 Rival, Xavier
3 Søndergaard, Harald
3 Wahl, Thomas
3 Weidenbach, Christoph
2 Allamigeon, Xavier
2 Altın, Ayşegül
2 Ausiello, Giorgio
2 Blondin, Michael
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 Emmi, Michael
2 Fähndrich, Manuel
2 Festa, Paola
2 Franciosa, Paolo Giulio
2 Gange, Graeme
2 Giacobazzi, Roberto
2 Gonnord, Laure
2 Goubault, Eric
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 Krishna, Shankara Narayanan
2 Lemerre, Matthieu
2 Lengál, Ondřej
2 Leucci, Stefano
2 Lozes, Etienne
2 Madhusudan, Parthasarathy
2 Majumdar, Rupak
2 Möller, Bernhard
...and 509 more Authors
all top 5

Cited in 53 Serials

24 Theoretical Computer Science
23 Formal Methods in System Design
14 Information and Computation
11 Formal Aspects of Computing
8 Acta Informatica
5 Artificial Intelligence
5 Information Processing Letters
5 Journal of Automated Reasoning
5 International Journal of Foundations of Computer Science
4 Journal of Computer and System Sciences
4 Programming and Computer Software
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 Theory and Practice of Logic 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 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

Citations by Year