sign in · help · news · about ·

BibSonomy :: author :: Bagnara ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(74)

<< < 1 | 2 | 3 > >>

PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis
Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, and Enea Zaffanella CoRR (2005)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Coding Guidelines for Prolog
Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, and Simon Price CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella CoRR (2004)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Decomposing Non-Redundant Sharing by Complementation
Enea Zaffanella, Patricia M. Hill, and Roberto Bagnara CoRR (2001)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
Patricia M. Hill, Enea Zaffanella, and Roberto Bagnara CoRR (2004)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Prolog-based Environment for Reasoning about Programming Languages Extended abstract
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
cTI: A constraint-based termination inference tool for ISO-Prolog
Frédéric Mesnard, and Roberto Bagnara CoRR (2003)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Enhanced sharing analysis techniques: a comprehensive evaluation
Roberto Bagnara, Enea Zaffanella, and Patricia M. Hill CoRR (2004)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Widening Operators for Weakly-Relational Numeric Abstractions Extended Abstract
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, and Enea Zaffanella CoRR (2004)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella CoRR (2006)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On the Design of Generic Static Analyzers for Modern Imperative Languages
Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, and Enea Zaffanella CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, and Enea Zaffanella CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Soundness, Idempotence and Commutativity of Set-Sharing
Patricia M. Hill, Roberto Bagnara, and Enea Zaffanella CoRR (2001)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages.
Roberto Bagnara Sci. Comput. Program. 30(1-2):119-155 (1998)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Multimedia systems in distance education: effects of usability on learning.
Oronzo Parlangeli, Enrica Marchigiani, and Sebastiano Bagnara Interacting with Computers 12(1):37-49 (1999)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Widening Operators for Powerset Domains.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella VMCAI, volume 2937 of Lecture Notes in Computer Science, page 135-148. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Precise Widening Operators for Convex Polyhedra.
Roberto Bagnara, Patricia M. Hill, Elisa Ricci 0002, and Enea Zaffanella SAS, volume 2694 of Lecture Notes in Computer Science, page 337-354. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper