Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Anna Zaks

> Home > Persons

Person information

affiliation: Apple Computer Inc.
affiliation (PhD 2009): New York University, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

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

2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ZaksP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ZaksP08
Anna Zaks, Amir Pnueli:
CoVaC: Compiler Validation by Program Analysis of the Cross-Product. FM 2008: 35-51
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/ZaksP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/ZaksP08
Anna Zaks, Amir Pnueli:
Program analysis for compiler validation. PASTE 2008: 1-7
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ZaksJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ZaksJ08
Anna Zaks, Rajeev Joshi:
Verifying Multi-threaded C Programs with SPIN. SPIN 2008: 325-342

Coauthor Index

see FAQ

a service of

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.