Edit Profile (opens in new tab) Podelski, Andreas Compute Distance To: Compute Author ID: podelski.andreas Published as: Podelski, Andreas External Links: MGP Documents Indexed: 98 Publications since 1989 8 Contributions as Editor Co-Authors: 85 Co-Authors with 101 Joint Publications 1,790 Co-Co-Authors all top 5 Co-Authors 5 single-authored 13 Hoenicke, Jochen 13 Rybalchenko, Andrey 9 Heizmann, Matthias 7 Charatonik, Witold 7 Mukhopadhyay, Supratik 6 Aït-Kaci, Hassan 6 Nivat, Maurice 6 Wies, Thomas 5 Bogomolov, Sergiy 5 Delzanno, Giorgio 5 Dietsch, Daniel 5 Farzan, Azadeh 5 Kincaid, Zachary 4 Cook, Byron 4 Muñiz, Marco 4 Westphal, Bernd 3 Frehse, Goran 3 Malkis, Alexander 3 Niehren, Joachim 3 Nutz, Alexander 3 Smolka, Gert 3 Wagner, Silke 2 Ball, Thomas 2 Beauquier, Danièle 2 Blanchet, Bruno 2 Calbrix, Hugues 2 Esparza, Javier 2 Forets, Marcelo 2 Greitschus, Marius 2 Herrera, Christian 2 Jensen, Kurt 2 Kupferschmid, Sebastian 2 Mitrohin, Corina 2 Niwiński, Damian 2 Olderog, Ernst-Rüdiger 2 Rajamani, Sriram K. 2 Schilling, Christian 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 Goldstein, Seth Copen 1 Gotsman, Alexey 1 Hoffmann, Jörg 1 Jhala, Ranjit 1 Jones, Neil D. 1 Joshi, Rajeev 1 Klumpp, Dominik 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 McMillan, Kenneth L. 1 Naouar, Mehdi 1 Padon, Oded 1 Péladeau, Pierre 1 Pnueli, Amir 1 Ramakrishnan, C. R. 1 Rinard, Martin C. 1 Sagiv, Mooly 1 Schaefer, Ina 1 Schäf, Martin 1 Schätzle, Claus 1 Seghir, Mohamed Nassim 1 Shoham, Sharon 1 Smaus, Jan-Georg 1 Strump, Thomas 1 Talbot, Jean-Marc 1 Treinen, Ralf 1 Ultes-Nitsche, Ulrich 1 Vardi, Moshe Ya’akov 1 Viry, Frédéric 1 Walukiewicz, Igor 1 Wehrle, Martin all top 5 Serials 5 Theoretical Computer Science 5 Lecture Notes in Computer Science 3 Formal Methods in System Design 2 The Journal of Logic Programming 2 Information and Computation 2 Comptes Rendus de l’Académie des Sciences. Série I 1 Discrete Mathematics 1 Mathematical Systems Theory 1 SIAM Journal on Computing 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Constraints 1 1 Theory and Practice of Logic Programming all top 5 Fields 103 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 7 General and overarching topics; collections (00-XX) 6 Systems theory; control (93-XX) 4 Group theory and generalizations (20-XX) 1 General algebraic systems (08-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 75 Publications have been cited 471 times in 332 Documents Cited by ▼ Year ▼ A complete method for the synthesis of linear ranking functions. Zbl 1202.68109Podelski, Andreas; Rybalchenko, Andrey 42 2004 Transition invariants and transition predicate abstraction for program termination. Zbl 1315.68104Podelski, Andreas; Rybalchenko, Andrey 32 2011 Boolean and Cartesian abstraction for model checking C programs. Zbl 0978.68540Ball, Thomas; Podelski, Andreas; Rajamani, Sriram K. 28 2001 Abstraction refinement for termination. Zbl 1141.68365Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey 22 2005 Nested interpolants. Zbl 1312.68059Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas 18 2010 A feature constraint system for logic programming with entailment. Zbl 0801.68023Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert 17 1994 Efficient algorithms for pre* and post* on interprocedural parallel flow graphs. Zbl 1323.68407Esparza, Javier; Podelski, Andreas 16 2000 Model checking of hybrid systems: From reachability towards stability. Zbl 1178.93077Podelski, Andreas; Wagner, Silke 13 2006 Transition predicate abstraction and fair termination. Zbl 1369.68152Podelski, Andreas; Rybalchenko, Andrey 12 2005 Towards a meaning of LIFE. Zbl 0782.68022Aït-Kaci, Hassan; Podelski, Andreas 11 1993 Relative completeness of abstraction refinement for software model checking. Zbl 1043.68523Ball, Thomas; Podelski, Andreas; Rajamani, Sriram K. 10 2002 Predicate abstraction for program verification. Zbl 1392.68253Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey 10 2018 Counterexample-guided focus. Zbl 1312.68067Podelski, Andreas; Wies, Thomas 10 2010 Proving that programs eventually do something good. Zbl 1295.68083Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y. 9 2007 Directed model checking with distance-preserving abstractions. Zbl 1178.68338Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas 9 2006 Towards a meaning of LIFE. Zbl 0801.68018Aït-Kaci, Hassan; Podelski, Andreas 9 1991 Minimal ascending and descending tree automata. Zbl 0868.68080Nivat, Maurice; Podelski, Andreas 9 1997 Boolean heaps. Zbl 1141.68374Podelski, Andreas; Wies, Thomas 8 2005 Inductive data flow graphs. Zbl 1301.68178Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas 8 2013 Refinement of trace abstraction. Zbl 1248.68146Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas 8 2009 Verification of cryptographic protocols: Tagging enforces termination. Zbl 1029.94501Blanchet, Bruno; Podelski, Andreas 7 2003 Linear ranking for linear lasso programs. Zbl 1410.68086Heizmann, Matthias; Hoenicke, Jochen; Leike, Jan; Podelski, Andreas 7 2013 A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas 7 1991 Tree automata and languages. Zbl 0781.00007 6 1992 Definite tree languages (cont’d). Zbl 0677.68066Nivat, Maurice; Podelski, Andreas 6 1989 Proving liveness of parameterized programs. Zbl 1401.68038Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas 6 2016 Constraint-based analysis of broadcast protocols. Zbl 0944.68139Delzanno, Giorgio; Esparza, Javier; Podelski, Andreas 6 1999 Abstraction refinement for quantified array assertions. Zbl 1248.68151Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas 5 2009 Fairness modulo theory: a new approach to LTL software model checking. Zbl 1381.68157Dietsch, Daniel; Heizmann, Matthias; Langenfeld, Vincent; Podelski, Andreas 5 2015 Model checking as constraint solving. Zbl 0966.68121Podelski, Andreas 5 2000 Constraint-based deductive model checking. Zbl 0991.68013Delzanno, Giorgio; Podelski, Andreas 5 2001 On ultimately periodic words of rational \(\omega\)-languages. (Sur les mots ultimement périodiques des langages rationnels de mots infinis.) Zbl 0917.20053Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas 5 1994 Size-change termination and transition invariants. Zbl 1306.68028Heizmann, Matthias; Jones, Neil D.; Podelski, Andreas 5 2010 Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. Zbl 1417.93059Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Viry, Frédéric; Podelski, Andreas; Schilling, Christian 5 2018 Region stability proofs for hybrid systems. Zbl 1141.93353Podelski, Andreas; Wagner, Silke 4 2007 Proof spaces for unbounded parallelism. Zbl 1345.68102Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas 4 2015 Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas 4 2017 Set constraints with intersection. Zbl 1096.68023Charatonik, Witold; Podelski, Andreas 4 2002 The Horn mu-calculus. Zbl 0945.03541Charatonik, Witold; McAllester, David; Niwiński, Damian; Podelski, Andreas; Walukiewicz, Igor 4 1998 Verification of infinite-state systems in constraint logic programming. Zbl 0947.68028Delzanno, Giorgio; Podelski, Andreas 4 1999 Verification of cryptographic protocols: tagging enforces termination. Zbl 1070.68033Blanchet, Bruno; Podelski, Andreas 4 2005 Field constraint analysis. Zbl 1176.68130Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin 4 2006 Thread-modular verification is Cartesian abstract interpretation. Zbl 1168.68423Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 3 2006 Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas 3 2007 Order-sorted feature theory unification. Zbl 0884.68025Aït-Kaci, Hassan; Podelski, Andreas; Goldstein, Seth Copen 3 1997 Proofs that count. Zbl 1284.68395Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas 3 2014 On reverse and general definite tree languages (extended abstract). Zbl 1425.68225Péladeau, Pierre; Podelski, Andreas 3 1992 Splitting via interpolants. Zbl 1326.68091Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas 3 2012 Summarization for termination: No return! Zbl 1185.68412Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey 3 2009 Explicit fair scheduling for dynamic control. Zbl 1274.68035Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Fairness for dynamic control. Zbl 1284.68400Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Push-down automata with gap-order constraints. Zbl 1434.68222Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas 2 2013 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 2 2004 Paths vs. trees in set-based program analysis. Zbl 1323.68201Charatonik, Witold; Podelski, Andreas; Talbot, Jean-Marc 2 2000 Composing stability proofs for hybrid systems. Zbl 1348.68107Mitrohin, Corina; Podelski, Andreas 2 2011 Composing reachability analyses of hybrid systems for safety and stability. Zbl 1305.68110Bogomolov, Sergiy; Mitrohin, Corina; Podelski, Andreas 2 2010 The independence property of a class of set constraints. Zbl 0886.03023Charatonik, Witold; Podelski, Andreas 2 1996 Directional type inference for logic programs. Zbl 0917.68043Charatonik, Witold; Podelski, Andreas 2 1998 Fairness for infinitary control. Zbl 1444.68018Hoenicke, Jochen; Podelski, Andreas 1 2015 Constraint-based infinite model checking and tabulation for stratified CLP. Zbl 1045.68089Charatonik, Witold; Mukhopadhyay, Supratik; Podelski, Andreas 1 2002 Doomed program points. Zbl 1211.68090Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas 1 2010 Heap assumptions on demand. Zbl 1155.68446Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas 1 2008 Precise thread-modular verification. Zbl 1211.68095Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 1 2007 Transition-based directed model checking. Zbl 1234.68268Wehrle, Martin; Kupferschmid, Sebastian; Podelski, Andreas 1 2009 Eliminating spurious transitions in reachability with support functions. Zbl 1364.93056Frehse, Goran; Bogomolov, Sergiy; Greitschus, Marius; Strump, Thomas; Podelski, Andreas 1 2015 Timed automata with disjoint activity. Zbl 1374.68263Muñiz, Marco; Westphal, Bernd; Podelski, Andreas 1 2012 Loop invariants from counterexamples. Zbl 1420.68128Greitschus, Marius; Dietsch, Daniel; Podelski, Andreas 1 2017 Ordering constraints over feature trees. Zbl 0947.68137Müller, Martin; Niehren, Joachim; Podelski, Andreas 1 2000 A monoid approach to tree automata. Zbl 0798.68113Podelski, Andreas 1 1992 Entailment and disentailment of order-sorted feature constraints. Zbl 0793.68022Aït-Kaci, Hassan; Podelski, Andreas 1 1993 Thread-modular counterexample-guided abstraction refinement. Zbl 1306.68031Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 1 2010 A feature-based constraint system for logic programming with entailment. Zbl 0862.68024Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert 1 1992 Summaries for while programs with recursion. Zbl 1108.68428Podelski, Andreas; Schaefer, Ina; Wagner, Silke 1 2005 Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey 1 2005 Is lazy abstraction a decision procedure for broadcast protocols? Zbl 1138.68445Dimitrova, Rayna; Podelski, Andreas 1 2008 Predicate abstraction for program verification. Zbl 1392.68253Jhala, Ranjit; Podelski, Andreas; Rybalchenko, Andrey 10 2018 Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. Zbl 1417.93059Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Viry, Frédéric; Podelski, Andreas; Schilling, Christian 5 2018 Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas 4 2017 Loop invariants from counterexamples. Zbl 1420.68128Greitschus, Marius; Dietsch, Daniel; Podelski, Andreas 1 2017 Proving liveness of parameterized programs. Zbl 1401.68038Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas 6 2016 Fairness modulo theory: a new approach to LTL software model checking. Zbl 1381.68157Dietsch, Daniel; Heizmann, Matthias; Langenfeld, Vincent; Podelski, Andreas 5 2015 Proof spaces for unbounded parallelism. Zbl 1345.68102Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas 4 2015 Fairness for infinitary control. Zbl 1444.68018Hoenicke, Jochen; Podelski, Andreas 1 2015 Eliminating spurious transitions in reachability with support functions. Zbl 1364.93056Frehse, Goran; Bogomolov, Sergiy; Greitschus, Marius; Strump, Thomas; Podelski, Andreas 1 2015 Proofs that count. Zbl 1284.68395Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas 3 2014 Inductive data flow graphs. Zbl 1301.68178Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas 8 2013 Linear ranking for linear lasso programs. Zbl 1410.68086Heizmann, Matthias; Hoenicke, Jochen; Leike, Jan; Podelski, Andreas 7 2013 Push-down automata with gap-order constraints. Zbl 1434.68222Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Delzanno, Giorgio; Podelski, Andreas 2 2013 Splitting via interpolants. Zbl 1326.68091Ermis, Evren; Hoenicke, Jochen; Podelski, Andreas 3 2012 Timed automata with disjoint activity. Zbl 1374.68263Muñiz, Marco; Westphal, Bernd; Podelski, Andreas 1 2012 Transition invariants and transition predicate abstraction for program termination. Zbl 1315.68104Podelski, Andreas; Rybalchenko, Andrey 32 2011 Composing stability proofs for hybrid systems. Zbl 1348.68107Mitrohin, Corina; Podelski, Andreas 2 2011 Nested interpolants. Zbl 1312.68059Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas 18 2010 Counterexample-guided focus. Zbl 1312.68067Podelski, Andreas; Wies, Thomas 10 2010 Size-change termination and transition invariants. Zbl 1306.68028Heizmann, Matthias; Jones, Neil D.; Podelski, Andreas 5 2010 Explicit fair scheduling for dynamic control. Zbl 1274.68035Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Fairness for dynamic control. Zbl 1284.68400Hoenicke, Jochen; Olderog, Ernst-Rüdiger; Podelski, Andreas 3 2010 Composing reachability analyses of hybrid systems for safety and stability. Zbl 1305.68110Bogomolov, Sergiy; Mitrohin, Corina; Podelski, Andreas 2 2010 Doomed program points. Zbl 1211.68090Hoenicke, Jochen; Leino, K. Rustan M.; Podelski, Andreas; Schäf, Martin; Wies, Thomas 1 2010 Thread-modular counterexample-guided abstraction refinement. Zbl 1306.68031Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 1 2010 Refinement of trace abstraction. Zbl 1248.68146Heizmann, Matthias; Hoenicke, Jochen; Podelski, Andreas 8 2009 Abstraction refinement for quantified array assertions. Zbl 1248.68151Seghir, Mohamed Nassim; Podelski, Andreas; Wies, Thomas 5 2009 Summarization for termination: No return! Zbl 1185.68412Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey 3 2009 Transition-based directed model checking. Zbl 1234.68268Wehrle, Martin; Kupferschmid, Sebastian; Podelski, Andreas 1 2009 Heap assumptions on demand. Zbl 1155.68446Podelski, Andreas; Rybalchenko, Andrey; Wies, Thomas 1 2008 Is lazy abstraction a decision procedure for broadcast protocols? Zbl 1138.68445Dimitrova, Rayna; Podelski, Andreas 1 2008 Proving that programs eventually do something good. Zbl 1295.68083Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y. 9 2007 Region stability proofs for hybrid systems. Zbl 1141.93353Podelski, Andreas; Wagner, Silke 4 2007 Using predicate abstraction to generate heuristic functions in UPPAAL. Zbl 1196.68139Hoffmann, Jörg; Smaus, Jan-Georg; Rybalchenko, Andrey; Kupferschmid, Sebastian; Podelski, Andreas 3 2007 Precise thread-modular verification. Zbl 1211.68095Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 1 2007 Model checking of hybrid systems: From reachability towards stability. Zbl 1178.93077Podelski, Andreas; Wagner, Silke 13 2006 Directed model checking with distance-preserving abstractions. Zbl 1178.68338Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas 9 2006 Field constraint analysis. Zbl 1176.68130Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin 4 2006 Thread-modular verification is Cartesian abstract interpretation. Zbl 1168.68423Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey 3 2006 Abstraction refinement for termination. Zbl 1141.68365Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey 22 2005 Transition predicate abstraction and fair termination. Zbl 1369.68152Podelski, Andreas; Rybalchenko, Andrey 12 2005 Boolean heaps. Zbl 1141.68374Podelski, Andreas; Wies, Thomas 8 2005 Verification of cryptographic protocols: tagging enforces termination. Zbl 1070.68033Blanchet, Bruno; Podelski, Andreas 4 2005 Summaries for while programs with recursion. Zbl 1108.68428Podelski, Andreas; Schaefer, Ina; Wagner, Silke 1 2005 Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey 1 2005 A complete method for the synthesis of linear ranking functions. Zbl 1202.68109Podelski, Andreas; Rybalchenko, Andrey 42 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 2 2004 Verification of cryptographic protocols: Tagging enforces termination. Zbl 1029.94501Blanchet, Bruno; Podelski, Andreas 7 2003 Relative completeness of abstraction refinement for software model checking. Zbl 1043.68523Ball, Thomas; Podelski, Andreas; Rajamani, Sriram K. 10 2002 Set constraints with intersection. Zbl 1096.68023Charatonik, Witold; Podelski, Andreas 4 2002 Constraint-based infinite model checking and tabulation for stratified CLP. Zbl 1045.68089Charatonik, Witold; Mukhopadhyay, Supratik; Podelski, Andreas 1 2002 Boolean and Cartesian abstraction for model checking C programs. Zbl 0978.68540Ball, Thomas; Podelski, Andreas; Rajamani, Sriram K. 28 2001 Constraint-based deductive model checking. Zbl 0991.68013Delzanno, Giorgio; Podelski, Andreas 5 2001 Efficient algorithms for pre* and post* on interprocedural parallel flow graphs. Zbl 1323.68407Esparza, Javier; Podelski, Andreas 16 2000 Model checking as constraint solving. Zbl 0966.68121Podelski, Andreas 5 2000 Paths vs. trees in set-based program analysis. Zbl 1323.68201Charatonik, Witold; Podelski, Andreas; Talbot, Jean-Marc 2 2000 Ordering constraints over feature trees. Zbl 0947.68137Müller, Martin; Niehren, Joachim; Podelski, Andreas 1 2000 Constraint-based analysis of broadcast protocols. Zbl 0944.68139Delzanno, Giorgio; Esparza, Javier; Podelski, Andreas 6 1999 Verification of infinite-state systems in constraint logic programming. Zbl 0947.68028Delzanno, Giorgio; Podelski, Andreas 4 1999 The Horn mu-calculus. Zbl 0945.03541Charatonik, Witold; McAllester, David; Niwiński, Damian; Podelski, Andreas; Walukiewicz, Igor 4 1998 Directional type inference for logic programs. Zbl 0917.68043Charatonik, Witold; Podelski, Andreas 2 1998 Minimal ascending and descending tree automata. Zbl 0868.68080Nivat, Maurice; Podelski, Andreas 9 1997 Order-sorted feature theory unification. Zbl 0884.68025Aït-Kaci, Hassan; Podelski, Andreas; Goldstein, Seth Copen 3 1997 The independence property of a class of set constraints. Zbl 0886.03023Charatonik, Witold; Podelski, Andreas 2 1996 A feature constraint system for logic programming with entailment. Zbl 0801.68023Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert 17 1994 On ultimately periodic words of rational \(\omega\)-languages. (Sur les mots ultimement périodiques des langages rationnels de mots infinis.) Zbl 0917.20053Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas 5 1994 Towards a meaning of LIFE. Zbl 0782.68022Aït-Kaci, Hassan; Podelski, Andreas 11 1993 Entailment and disentailment of order-sorted feature constraints. Zbl 0793.68022Aït-Kaci, Hassan; Podelski, Andreas 1 1993 Tree automata and languages. Zbl 0781.00007 6 1992 On reverse and general definite tree languages (extended abstract). Zbl 1425.68225Péladeau, Pierre; Podelski, Andreas 3 1992 A monoid approach to tree automata. Zbl 0798.68113Podelski, Andreas 1 1992 A feature-based constraint system for logic programming with entailment. Zbl 0862.68024Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert 1 1992 Towards a meaning of LIFE. Zbl 0801.68018Aït-Kaci, Hassan; Podelski, Andreas 9 1991 A geometrical view of the determinization and minimization of finite- state automata. Zbl 0722.68080Courcelle, Bruno; Niwinski, Damian; Podelski, Andreas 7 1991 Definite tree languages (cont’d). Zbl 0677.68066Nivat, Maurice; Podelski, Andreas 6 1989 all cited Publications top 5 cited Publications all top 5 Cited by 642 Authors 20 Podelski, Andreas 9 Giesl, Jürgen 8 Hoenicke, Jochen 7 Kröning, Daniel 6 Cook, Byron 6 Frohn, Florian 5 Genaim, Samir 5 Heizmann, Matthias 5 Hensel, Jera 5 Kuncak, Viktor 5 Sharygina, Natasha 5 Steila, Silvia 5 Touili, Tayssir 5 Wies, Thomas 4 Abdulla, Parosh Aziz 4 Ben-Amram, Amir M. 4 Bogomolov, Sergiy 4 Bouajjani, Ahmed 4 Brockschmidt, Marc 4 Delaune, Stéphanie 4 Fedyukovich, Grigory 4 Ghilardi, Silvio 4 Kapur, Deepak 4 Meyer, Roland 4 Olderog, Ernst-Rüdiger 4 Rybalchenko, Andrey 4 Schneider-Kamp, Peter 4 Smolka, Gert 4 Ströder, Thomas 4 Vojnar, Tomáš 4 Wintersteiger, Christoph M. 3 Aït-Kaci, Hassan 3 Atig, Mohamed Faouzi 3 Backofen, Rolf 3 Cortier, Véronique 3 Dietsch, Daniel 3 Duan, Zhenhua 3 Enea, Constantin 3 Falke, Stephan 3 Frehse, Goran 3 Fuhs, Carsten 3 Gallagher, John P. 3 Gupta, Aarti 3 Gurfinkel, Arie 3 Hague, Matthew 3 Lengál, Ondřej 3 Lugiez, Denis 3 Miné, Antoine 3 Muskalla, Sebastian 3 Nutz, Alexander 3 Ramakrishnan, C. R. 3 Rümmer, Philipp 3 Schilling, Christian 3 Schnoebelen, Philippe 3 Seidl, Helmut 3 Strejček, Jan 3 Tian, Cong 3 Wehrle, Martin 3 Xia, Bican 3 Zhan, Naijun 3 Zhang, Nan 3 Zuleger, Florian 2 Albert, Elvira 2 Alberti, Francesco 2 Angluin, Dana 2 Aschermann, Cornelius 2 Berardi, Stefano 2 Beyer, Dirk 2 Carrasco, Rafael C. 2 Chechik, Marsha 2 Chiari, Michele 2 Cirstea, Horatiu 2 Cousot, Patrick 2 Czerwiński, Wojciech 2 Dams, Dennis René 2 del Vado Vírseda, Rafael 2 Domshlak, Carmel 2 Engelfriet, Joost 2 Fisman, Dana 2 Forets, Marcelo 2 Hajdu, Ákos 2 Hark, Marcel 2 Helmert, Malte 2 Hoffmann, Jörg 2 Holík, Lukáš 2 Iosif, Radu 2 Kaneiwa, Ken 2 Kobayashi, Naoki 2 Kupferschmid, Sebastian 2 Larraz, Daniel 2 Li, Dongxu 2 Li, Yi 2 Lin, Anthony Widjaja 2 Madhusudan, Parthasarathy 2 Mandrioli, Dino 2 Maneth, Sebastian 2 McMillan, Kenneth L. 2 Mili, Ali 2 Montali, Marco 2 Moser, Georg ...and 542 more Authors all top 5 Cited in 51 Serials 37 Theoretical Computer Science 25 Formal Methods in System Design 15 Journal of Automated Reasoning 13 Information and Computation 10 Formal Aspects of Computing 8 Artificial Intelligence 8 Journal of Logical and Algebraic Methods in Programming 5 Acta Informatica 5 International Journal of Foundations of Computer Science 4 Journal of Computer and System Sciences 4 Logical Methods in Computer Science 3 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 Theory and Practice of Logic Programming 3 Computer Languages, Systems & Structures 2 Information Processing Letters 2 Automatica 2 Science of Computer Programming 2 Annals of Pure and Applied Logic 2 MSCS. Mathematical Structures in Computer Science 2 Annals of Mathematics and Artificial Intelligence 2 RAIRO. Theoretical Informatics and Applications 2 Fundamenta Informaticae 2 ACM Transactions on Computational Logic 2 Nonlinear Analysis. Hybrid Systems 1 International Journal of Control 1 International Journal of General Systems 1 Journal of the Franklin Institute 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 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 Science China. Information Sciences 1 Frontiers of Computer Science in China 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 15 Fields 314 Computer science (68-XX) 56 Mathematical logic and foundations (03-XX) 10 Systems theory; control (93-XX) 10 Information and communication theory, circuits (94-XX) 6 Operations research, mathematical programming (90-XX) 4 Combinatorics (05-XX) 3 General algebraic systems (08-XX) 3 Ordinary differential equations (34-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Biology and other natural sciences (92-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year