×

zbMATH — the first resource for mathematics

Podelski, Andreas

Compute Distance To:
Author ID: podelski.andreas Recent zbMATH articles by "Podelski, Andreas"
Published as: Podelski, Andreas
External Links: MGP
Documents Indexed: 100 Publications since 1989, including 8 Books
all top 5

Co-Authors

5 single-authored
13 Rybalchenko, Andrey
11 Hoenicke, Jochen
7 Charatonik, Witold
7 Heizmann, Matthias
7 Mukhopadhyay, Supratik
6 Aït-Kaci, Hassan
6 Nivat, Maurice
6 Wies, Thomas
5 Delzanno, Giorgio
5 Farzan, Azadeh
5 Kincaid, Zachary
4 Bogomolov, Sergiy
4 Cook, Byron
4 Muñiz, Marco
4 Westphal, Bernd
3 Dietsch, Daniel
3 Malkis, Alexander
3 Smolka, Gert
3 Wagner, Silke
2 Ball, Thomas
2 Beauquier, Danièle
2 Blanchet, Bruno
2 Calbrix, Hugues
2 Esparza, Javier
2 Frehse, Goran
2 Greitschus, Marius
2 Herrera, Christian
2 Jensen, Kurt
2 Kupferschmid, Sebastian
2 Mitrohin, Corina
2 Niwiński, Damian
2 Nutz, Alexander
2 Olderog, Ernst-Rüdiger
2 Rajamani, Sriram K.
1 Abdulla, Parosh Aziz
1 Argón, Pablo
1 Atig, Mohamed Faouzi
1 Ayari, Abdelwaheb
1 Basin, David A.
1 Courcelle, Bruno
1 Dimitrova, Rayna
1 Dräger, Klaus
1 Ermis, Evren
1 Feo-Arenis, Sergio
1 Finkbeiner, Bernd
1 Forets, Marcelo
1 Goldstein, Seth Copen
1 Gotsman, Alexey
1 Hoffmann, Jörg
1 Jhala, Ranjit
1 Jones, Neil D.
1 Joshi, Rajeev
1 Kuncak, Viktor
1 Lam, Patrick P.
1 Langenfeld, Vincent
1 Leike, Jan
1 Leino, K. Rustan M.
1 Leuschel, Michael
1 Majumdar, Rupak
1 McAllester, David Allen
1 Müller, Martin Eric
1 Müller, Peter-H.
1 Niehren, Joachim
1 Péladeau, Pierre
1 Pnueli, Amir
1 Ramakrishnan, C. R.
1 Rinard, Martin C.
1 Schaefer, Ina
1 Schäf, Martin
1 Schilling, Christian
1 Seghir, Mohamed Nassim
1 Smaus, Jan-Georg
1 Strump, Thomas
1 Talbot, Jean-Marc
1 Ultes-Nitsche, Ulrich
1 Vardi, Moshe Y.
1 Viry, Frédéric
1 Walukiewicz, Igor
1 Wehrle, Martin

Publications by Year

Citations contained in zbMATH

70 Publications have been cited 399 times in 286 Documents Cited by Year
A complete method for the synthesis of linear ranking functions. Zbl 1202.68109
Podelski, Andreas; Rybalchenko, Andrey
35
2004
Transition invariants and transition predicate abstraction for program termination. Zbl 1315.68104
Podelski, Andreas; Rybalchenko, Andrey
27
2011
Boolean and Cartesian abstraction for model checking C programs. Zbl 0978.68540
Ball, Thomas; Podelski, Andreas; Rajamani, Sriram K.
26
2001
Abstraction refinement for termination. Zbl 1141.68365
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
22
2005
Efficient algorithms for pre* and post* on interprocedural parallel flow graphs. Zbl 1323.68407
Esparza, Javier; Podelski, Andreas
16
2000
A feature constraint system for logic programming with entailment. Zbl 0801.68023
Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert
14
1994
Nested interpolants. Zbl 1312.68059
Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas
12
2010
Transition predicate abstraction and fair termination. Zbl 1369.68152
Podelski, Andreas; Rybalchenko, Andrey
11
2005
Towards a meaning of LIFE. Zbl 0782.68022
Aït-Kaci, Hassan; Podelski, Andreas
11
1993
Counterexample-guided focus. Zbl 1312.68067
Podelski, Andreas; Wies, Thomas
10
2010
Model checking of hybrid systems: From reachability towards stability. Zbl 1178.93077
Podelski, Andreas; Wagner, Silke
10
2006
Relative completeness of abstraction refinement for software model checking. Zbl 1043.68523
Ball, Thomas; Podelski, Andreas; Rajamani, Sriram K.
10
2002
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
9
2007
Towards a meaning of LIFE. Zbl 0801.68018
Aït-Kaci, Hassan; Podelski, Andreas
9
1991
Directed model checking with distance-preserving abstractions. Zbl 1178.68338
Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas
8
2006
Boolean heaps. Zbl 1141.68374
Podelski, Andreas; Wies, Thomas
8
2005
Linear ranking for linear lasso programs. Zbl 1410.68086
Heizmann, Matthias; Hoenicke, Jochen; Leike, Jan; Podelski, Andreas
7
2013
Verification of cryptographic protocols: Tagging enforces termination. Zbl 1029.94501
Blanchet, Bruno; Podelski, Andreas
7
2003
Minimal ascending and descending tree automata. Zbl 0868.68080
Nivat, Maurice; Podelski, Andreas
7
1997
On ultimately periodic words of rational \(\omega\)-languages. Zbl 0917.20053
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas
7
1994
Tree automata and languages. Zbl 0781.00007
Nivat, Maurice (ed.); Podelski, Andreas (ed.)
7
1992
Predicate abstraction for program verification. Zbl 1392.68253
Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey
6
2018
Inductive data flow graphs. Zbl 1301.68178
Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas
5
2013
Abstraction refinement for quantified array assertions. Zbl 1248.68151
Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas
5
2009
Set constraints with intersection. Zbl 1096.68023
Charatonik, Witold; Podelski, Andreas
5
2002
Constraint-based deductive model checking. Zbl 0991.68013
Delzanno, Giorgio; Podelski, Andreas
5
2001
Model checking as constraint solving. Zbl 0966.68121
Podelski, Andreas
5
2000
Verification of infinite-state systems in constraint logic programming. Zbl 0947.68028
Delzanno, Giorgio; Podelski, Andreas
5
1999
A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080
Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas
5
1991
Definite tree languages (cont’d). Zbl 0677.68066
Nivat, Maurice; Podelski, Andreas
5
1989
Size-change termination and transition invariants. Zbl 1306.68028
Heizmann, Matthias; Jones, Neil D.; Podelski, Andreas
4
2010
Field constraint analysis. Zbl 1176.68130
Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin
4
2006
Verification of cryptographic protocols: tagging enforces termination. Zbl 1070.68033
Blanchet, Bruno; Podelski, Andreas
4
2005
Constraint-based analysis of broadcast protocols. Zbl 0944.68139
Delzanno, Giorgio; Esparza, Javier; Podelski, Andreas
4
1999
The Horn mu-calculus. Zbl 0945.03541
Charatonik, Witold; McAllester, David; Niwiński, Damian; Podelski, Andreas; Walukiewicz, Igor
4
1998
Fairness modulo theory: a new approach to LTL software model checking. Zbl 1381.68157
Dietsch, Daniel; Heizmann, Matthias; Langenfeld, Vincent; Podelski, Andreas
3
2015
Splitting via interpolants. Zbl 1326.68091
Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas
3
2012
Fairness for dynamic control. Zbl 1284.68400
Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Explicit fair scheduling for dynamic control. Zbl 1274.68035
Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Summarization for termination: No return! Zbl 1185.68412
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
3
2009
Region stability proofs for hybrid systems. Zbl 1141.93353
Podelski, Andreas; Wagner, Silke
3
2007
Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139
Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas
3
2007
Order-sorted feature theory unification. Zbl 0884.68025
Aït-Kaci, Hassan; Podelski, Andreas; Goldstein, Seth Copen
3
1997
Proof spaces for unbounded parallelism. Zbl 1345.68102
Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas
2
2015
Proofs that count. Zbl 1284.68395
Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas
2
2014
Composing stability proofs for hybrid systems. Zbl 1348.68107
Mitrohin, Corina; Podelski, Andreas
2
2011
Refinement of trace abstraction. Zbl 1248.68146
Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas
2
2009
Thread-modular verification is Cartesian abstract interpretation. Zbl 1168.68423
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
2
2006
Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Zbl 1046.68008
Jensen, Kurt (ed.); Podelski, Andreas (ed.)
2
2004
Paths vs. trees in set-based program analysis. Zbl 1323.68201
Charatonik, Witold; Podelski, Andreas; Talbot, Jean-Marc
2
2000
Directional type inference for logic programs. Zbl 0917.68043
Charatonik, Witold; Podelski, Andreas
2
1998
The independence property of a class of set constraints. Zbl 0886.03023
Charatonik, Witold; Podelski, Andreas
2
1996
Proving liveness of parameterized programs. Zbl 1401.68038
Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas
1
2016
Eliminating spurious transitions in reachability with support functions. Zbl 1364.93056
Frehse, Goran; Bogomolov, Sergiy; Greitschus, Marius; Strump, Thomas; Podelski, Andreas
1
2015
Fairness for infinitary control. Zbl 1444.68018
Hoenicke, Jochen; Podelski, Andreas
1
2015
Push-down automata with gap-order constraints. Zbl 1434.68222
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas
1
2013
Timed automata with disjoint activity. Zbl 1374.68263
Muñiz, Marco; Westphal, Bernd; Podelski, Andreas
1
2012
Doomed program points. Zbl 1211.68090
Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas
1
2010
Composing reachability analyses of hybrid systems for safety and stability. Zbl 1305.68110
Bogomolov, Sergiy; Mitrohin, Corina; Podelski, Andreas
1
2010
Thread-modular counterexample-guided abstraction refinement. Zbl 1306.68031
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
1
2010
Transition-based directed model checking. Zbl 1234.68268
Wehrle, Martin; Kupferschmid, Sebastian; Podelski, Andreas
1
2009
Heap assumptions on demand. Zbl 1155.68446
Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas
1
2008
Is lazy abstraction a decision procedure for broadcast protocols? Zbl 1138.68445
Dimitrova, Rayna; Podelski, Andreas
1
2008
Precise thread-modular verification. Zbl 1211.68095
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
1
2007
Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066
Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey
1
2005
Summaries for while programs with recursion. Zbl 1108.68428
Podelski, Andreas; Schaefer, Ina; Wagner, Silke
1
2005
Ordering constraints over feature trees. Zbl 0947.68137
Müller, Martin; Niehren, Joachim; Podelski, Andreas
1
2000
Entailment and disentailment of order-sorted feature constraints. Zbl 0793.68022
Aït-Kaci, Hassan; Podelski, Andreas
1
1993
A feature-based constraint system for logic programming with entailment. Zbl 0862.68024
Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert
1
1992
A monoid approach to tree automata. Zbl 0798.68113
Podelski, Andreas
1
1992
Predicate abstraction for program verification. Zbl 1392.68253
Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey
6
2018
Proving liveness of parameterized programs. Zbl 1401.68038
Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas
1
2016
Fairness modulo theory: a new approach to LTL software model checking. Zbl 1381.68157
Dietsch, Daniel; Heizmann, Matthias; Langenfeld, Vincent; Podelski, Andreas
3
2015
Proof spaces for unbounded parallelism. Zbl 1345.68102
Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas
2
2015
Eliminating spurious transitions in reachability with support functions. Zbl 1364.93056
Frehse, Goran; Bogomolov, Sergiy; Greitschus, Marius; Strump, Thomas; Podelski, Andreas
1
2015
Fairness for infinitary control. Zbl 1444.68018
Hoenicke, Jochen; Podelski, Andreas
1
2015
Proofs that count. Zbl 1284.68395
Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas
2
2014
Linear ranking for linear lasso programs. Zbl 1410.68086
Heizmann, Matthias; Hoenicke, Jochen; Leike, Jan; Podelski, Andreas
7
2013
Inductive data flow graphs. Zbl 1301.68178
Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas
5
2013
Push-down automata with gap-order constraints. Zbl 1434.68222
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas
1
2013
Splitting via interpolants. Zbl 1326.68091
Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas
3
2012
Timed automata with disjoint activity. Zbl 1374.68263
Muñiz, Marco; Westphal, Bernd; Podelski, Andreas
1
2012
Transition invariants and transition predicate abstraction for program termination. Zbl 1315.68104
Podelski, Andreas; Rybalchenko, Andrey
27
2011
Composing stability proofs for hybrid systems. Zbl 1348.68107
Mitrohin, Corina; Podelski, Andreas
2
2011
Nested interpolants. Zbl 1312.68059
Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas
12
2010
Counterexample-guided focus. Zbl 1312.68067
Podelski, Andreas; Wies, Thomas
10
2010
Size-change termination and transition invariants. Zbl 1306.68028
Heizmann, Matthias; Jones, Neil D.; Podelski, Andreas
4
2010
Fairness for dynamic control. Zbl 1284.68400
Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Explicit fair scheduling for dynamic control. Zbl 1274.68035
Olderog, Ernst-Rüdiger; Podelski, Andreas
3
2010
Doomed program points. Zbl 1211.68090
Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas
1
2010
Composing reachability analyses of hybrid systems for safety and stability. Zbl 1305.68110
Bogomolov, Sergiy; Mitrohin, Corina; Podelski, Andreas
1
2010
Thread-modular counterexample-guided abstraction refinement. Zbl 1306.68031
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
1
2010
Abstraction refinement for quantified array assertions. Zbl 1248.68151
Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas
5
2009
Summarization for termination: No return! Zbl 1185.68412
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
3
2009
Refinement of trace abstraction. Zbl 1248.68146
Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas
2
2009
Transition-based directed model checking. Zbl 1234.68268
Wehrle, Martin; Kupferschmid, Sebastian; Podelski, Andreas
1
2009
Heap assumptions on demand. Zbl 1155.68446
Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas
1
2008
Is lazy abstraction a decision procedure for broadcast protocols? Zbl 1138.68445
Dimitrova, Rayna; Podelski, Andreas
1
2008
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
9
2007
Region stability proofs for hybrid systems. Zbl 1141.93353
Podelski, Andreas; Wagner, Silke
3
2007
Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139
Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas
3
2007
Precise thread-modular verification. Zbl 1211.68095
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
1
2007
Model checking of hybrid systems: From reachability towards stability. Zbl 1178.93077
Podelski, Andreas; Wagner, Silke
10
2006
Directed model checking with distance-preserving abstractions. Zbl 1178.68338
Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas
8
2006
Field constraint analysis. Zbl 1176.68130
Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin
4
2006
Thread-modular verification is Cartesian abstract interpretation. Zbl 1168.68423
Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey
2
2006
Abstraction refinement for termination. Zbl 1141.68365
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
22
2005
Transition predicate abstraction and fair termination. Zbl 1369.68152
Podelski, Andreas; Rybalchenko, Andrey
11
2005
Boolean heaps. Zbl 1141.68374
Podelski, Andreas; Wies, Thomas
8
2005
Verification of cryptographic protocols: tagging enforces termination. Zbl 1070.68033
Blanchet, Bruno; Podelski, Andreas
4
2005
Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066
Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey
1
2005
Summaries for while programs with recursion. Zbl 1108.68428
Podelski, Andreas; Schaefer, Ina; Wagner, Silke
1
2005
A complete method for the synthesis of linear ranking functions. Zbl 1202.68109
Podelski, Andreas; Rybalchenko, Andrey
35
2004
Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Zbl 1046.68008
Jensen, Kurt (ed.); Podelski, Andreas (ed.)
2
2004
Verification of cryptographic protocols: Tagging enforces termination. Zbl 1029.94501
Blanchet, Bruno; Podelski, Andreas
7
2003
Relative completeness of abstraction refinement for software model checking. Zbl 1043.68523
Ball, Thomas; Podelski, Andreas; Rajamani, Sriram K.
10
2002
Set constraints with intersection. Zbl 1096.68023
Charatonik, Witold; Podelski, Andreas
5
2002
Boolean and Cartesian abstraction for model checking C programs. Zbl 0978.68540
Ball, Thomas; Podelski, Andreas; Rajamani, Sriram K.
26
2001
Constraint-based deductive model checking. Zbl 0991.68013
Delzanno, Giorgio; Podelski, Andreas
5
2001
Efficient algorithms for pre* and post* on interprocedural parallel flow graphs. Zbl 1323.68407
Esparza, Javier; Podelski, Andreas
16
2000
Model checking as constraint solving. Zbl 0966.68121
Podelski, Andreas
5
2000
Paths vs. trees in set-based program analysis. Zbl 1323.68201
Charatonik, Witold; Podelski, Andreas; Talbot, Jean-Marc
2
2000
Ordering constraints over feature trees. Zbl 0947.68137
Müller, Martin; Niehren, Joachim; Podelski, Andreas
1
2000
Verification of infinite-state systems in constraint logic programming. Zbl 0947.68028
Delzanno, Giorgio; Podelski, Andreas
5
1999
Constraint-based analysis of broadcast protocols. Zbl 0944.68139
Delzanno, Giorgio; Esparza, Javier; Podelski, Andreas
4
1999
The Horn mu-calculus. Zbl 0945.03541
Charatonik, Witold; McAllester, David; Niwiński, Damian; Podelski, Andreas; Walukiewicz, Igor
4
1998
Directional type inference for logic programs. Zbl 0917.68043
Charatonik, Witold; Podelski, Andreas
2
1998
Minimal ascending and descending tree automata. Zbl 0868.68080
Nivat, Maurice; Podelski, Andreas
7
1997
Order-sorted feature theory unification. Zbl 0884.68025
Aït-Kaci, Hassan; Podelski, Andreas; Goldstein, Seth Copen
3
1997
The independence property of a class of set constraints. Zbl 0886.03023
Charatonik, Witold; Podelski, Andreas
2
1996
A feature constraint system for logic programming with entailment. Zbl 0801.68023
Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert
14
1994
On ultimately periodic words of rational \(\omega\)-languages. Zbl 0917.20053
Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas
7
1994
Towards a meaning of LIFE. Zbl 0782.68022
Aït-Kaci, Hassan; Podelski, Andreas
11
1993
Entailment and disentailment of order-sorted feature constraints. Zbl 0793.68022
Aït-Kaci, Hassan; Podelski, Andreas
1
1993
Tree automata and languages. Zbl 0781.00007
Nivat, Maurice (ed.); Podelski, Andreas (ed.)
7
1992
A feature-based constraint system for logic programming with entailment. Zbl 0862.68024
Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert
1
1992
A monoid approach to tree automata. Zbl 0798.68113
Podelski, Andreas
1
1992
Towards a meaning of LIFE. Zbl 0801.68018
Aït-Kaci, Hassan; Podelski, Andreas
9
1991
A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080
Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas
5
1991
Definite tree languages (cont’d). Zbl 0677.68066
Nivat, Maurice; Podelski, Andreas
5
1989
all top 5

Cited by 561 Authors

14 Podelski, Andreas
7 Giesl, Jürgen
7 Kröning, Daniel
6 Cook, Byron
5 Frohn, Florian
5 Genaim, Samir
5 Hensel, Jera
5 Kuncak, Viktor
5 Steila, Silvia
5 Touili, Tayssir
5 Wies, Thomas
4 Ben-Amram, Amir M.
4 Bouajjani, Ahmed
4 Brockschmidt, Marc
4 Delaune, Stéphanie
4 Hoenicke, Jochen
4 Olderog, Ernst-Rüdiger
4 Rybalchenko, Andrey
4 Schneider-Kamp, Peter
4 Sharygina, Natasha
4 Ströder, Thomas
4 Vojnar, Tomáš
4 Wintersteiger, Christoph M.
4 Xia, Bican
3 Abdulla, Parosh Aziz
3 Aït-Kaci, Hassan
3 Atig, Mohamed Faouzi
3 Cortier, Véronique
3 Duan, Zhenhua
3 Enea, Constantin
3 Falke, Stephan
3 Fisman, Dana
3 Fuhs, Carsten
3 Gallagher, John P.
3 Ghilardi, Silvio
3 Gurfinkel, Arie
3 Kapur, Deepak
3 Lengál, Ondřej
3 Lugiez, Denis
3 Miné, Antoine
3 Ramakrishnan, C. R.
3 Rümmer, Philipp
3 Schnoebelen, Philippe
3 Seidl, Helmut
3 Smolka, Gert
3 Tian, Cong
3 Wehrle, Martin
3 Yokoyama, Keita
3 Zhang, Nan
2 Albert, Elvira
2 Alberti, Francesco
2 Angluin, Dana
2 Aschermann, Cornelius
2 Backofen, Rolf
2 Bagnara, Roberto
2 Beyer, Dirk
2 Carrasco, Rafael C.
2 Chechik, Marsha
2 Cirstea, Horatiu
2 Dams, Dennis René
2 del Vado Vírseda, Rafael
2 Domshlak, Carmel
2 Engelfriet, Joost
2 Hague, Matthew
2 Hajdu, Ákos
2 Heizmann, Matthias
2 Helmert, Malte
2 Hoffmann, Jörg
2 Holík, Lukáš
2 Iosif, Radu
2 Kaneiwa, Ken
2 Katz, Michael L.
2 Kupferschmid, Sebastian
2 Larraz, Daniel
2 Lin, Anthony Widjaja
2 Maletti, Andreas
2 Meseguer Guaita, José
2 Meyer, Roland
2 Mili, Ali
2 Montanari, Angelo
2 Müller-Olm, Markus
2 Müller, Martin Eric
2 Namjoshi, Kedar S.
2 Nguyen, Huu Hai
2 Oliveras, Albert
2 Ontañón, Santiago
2 Păsăreanu, Corina S.
2 Piskac, Ruzica
2 Piterman, Nir
2 Plücker, Martin
2 Pnueli, Amir
2 Puppis, Gabriele
2 Ranise, Silvio
2 Rodríguez-Artalejo, Mario
2 Rodríguez-Carbonell, Enric
2 Rogalewicz, Adam
2 Rubio, Albert
2 Schulz, Klaus U.
2 Seghir, Mohamed Nassim
2 Seki, Hirohisa
...and 461 more Authors
all top 5

Cited in 49 Serials

39 Theoretical Computer Science
23 Formal Methods in System Design
15 Information and Computation
14 Journal of Automated Reasoning
10 Journal of Logical and Algebraic Methods in Programming
9 Formal Aspects of Computing
8 Artificial Intelligence
5 Acta Informatica
5 International Journal of Foundations of Computer Science
4 Journal of Computer and System Sciences
4 Journal of Symbolic Computation
3 Journal of Computer Science and Technology
3 New Generation Computing
3 Constraints
3 Journal of the ACM
3 Journal of Systems Science and Complexity
3 Computer Languages, Systems & Structures
3 Logical Methods in Computer Science
2 Information Processing Letters
2 Science of Computer Programming
2 Annals of Pure and Applied Logic
2 Annals of Mathematics and Artificial Intelligence
2 RAIRO. Theoretical Informatics and Applications
2 Theory and Practice of Logic Programming
2 ACM Transactions on Computational Logic
1 International Journal of Control
1 International Journal of General Systems
1 Advances in Mathematics
1 Automatica
1 Fuzzy Sets and Systems
1 The Journal of Symbolic Logic
1 Programming and Computer Software
1 Studia Logica
1 Applied Mathematics Letters
1 Real-Time Systems
1 Machine Learning
1 MSCS. Mathematical Structures in Computer Science
1 Applied Intelligence
1 Pattern Recognition
1 Journal of Logic, Language and Information
1 Journal of Combinatorial Optimization
1 Higher-Order and Symbolic Computation
1 The Journal of Logic and Algebraic Programming
1 Journal of Applied Mathematics
1 Sādhanā
1 Mathematics in Computer Science
1 Nonlinear Analysis. Hybrid Systems
1 Science China. Information Sciences
1 Frontiers of Computer Science in China

Citations by Year