R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. In R. Cousot, editor, Static Analysis: Proceedings of the 10th International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 337--354, San Diego, California, USA, 2003. Springer-Verlag, Berlin. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) Self-citation (Bagnara Hill) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. In R. Cousot, editor, Static Analysis: Proceedings of the 10th International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 337--354, San Diego, California, USA, 2003. Springer-Verlag, Berlin.
Widening Operators for Powerset Domains - Roberto Bagnara Patricia (2004) (3 citations) Self-citation (Bagnara Hill) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. In R. Cousot, editor, Static Analysis: Proceedings of the 10th International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 337--354, San Diego, California, USA, 2003. Springer-Verlag, Berlin.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) Self-citation (Bagnara Hill) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. Quaderno 312, Dipartimento di Matematica, Universita di Parma, Italy, 2003. Available at http://www.cs.unipr.it/Publications/.
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (3 citations) Self-citation (Bagnara Hill) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. Quaderno 312, Dipartimento di Matematica, Universita di Parma, Italy, 2003. Available at http://www.cs.unipr.it/Publications/.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) Self-citation (Bagnara Hill Ricci) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, E. Za#anella, Precise widening operators for convex polyhedra, in: R. Cousot (Ed.), Static Analysis: Proceedings of the 10th International Symposium, Vol. 2694 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, San Diego, California, USA, 2003, pp. 337--354.
Not Necessarily Closed Convex Polyhedra and the Double.. - Bagnara, Hill.. Self-citation (Bagnara Hill) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. In R. Cousot, editor, Static Analysis: Proceedings of the 10th International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 337--354, San Diego, California, USA, 2003. Springer-Verlag, Berlin.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) Self-citation (Bagnara Hill Ricci) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. Quaderno 312, Dipartimento di Matematica, Universita di Parma, Italy, 2003. Available at http://www.cs.unipr.it/Publications/.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) Self-citation (Bagnara Hill Ricci) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, E. Za#anella, Precise widening operators for convex polyhedra, in: R. Cousot (Ed.), Static Analysis: Proceedings of the 10th International Symposium, Vol. 2694 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, San Diego, California, USA, 2003, pp. 337--354.
Not Necessarily Closed Convex Polyhedra and the Double.. - Bagnara, Hill.. Self-citation (Bagnara Hill) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. In R. Cousot, editor, Static Analysis: Proceedings of the 10th International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 337--354, San Diego, California, USA, 2003. Springer-Verlag, Berlin.
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (2 citations) Self-citation (Bagnara Hill Ricci) (Correct)
No context found.
R. Bagnara, P. M. Hill, E. Ricci, and E. Za#anella. Precise widening operators for convex polyhedra. Quaderno 312, Dipartimento di Matematica, Universita di Parma, Italy, 2003. Available at http://www.cs.unipr.it/Publications/.
A Note on Karr's Algorithm - Müller-Olm, Seidl (2004) (Correct)
No context found.
R. Bagnara, P. Hill, E. Ricci, and E. Zaffanella. Precise Widening Operators for Convex Polyhedra. In 10th Int. Static Analysis Symp. (SAS), 337--354. LNCS 2694, Springer, 2003.
Precise Interprocedural Analysis through Linear Algebra - Müller-Olm, Seidl (2003) (Correct)
No context found.
R. Bagnara, P. Hill, E. Ricci, and E. Zaffanella. Precise Widening Operators for Convex Polyhedra. In 10th Int. Static Analysis Symposium (SAS), pages 337--354. LNCS 2694, Springer-Verlag, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC