default search action

combined dblp search
author search
venue search
publication search

ask others

Andrea Pescetti

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BagnaraMPZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BagnaraMPZ12
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella:
A new look at the automatic synthesis of linear ranking functions. Inf. Comput. 215: 47-67 (2012)
2010
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-0944
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-0944
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella:
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version. CoRR abs/1004.0944 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0703116
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0703116
Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella:
On the Design of Generic Static Analyzers for Modern Imperative Languages. CoRR abs/cs/0703116 (2007)
2005
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0512056
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0512056
Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella:
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis. CoRR abs/cs/0512056 (2005)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.