default search action

combined dblp search
author search
venue search
publication search

ask others

Paul T. Darga

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

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

2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/DargaSM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/DargaSM08
Paul T. Darga, Karem A. Sakallah, Igor L. Markov:
Faster symmetry discovery using sparsity of symmetries. DAC 2008: 149-154
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/RobersonHDB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/RobersonHDB08
Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati:
Efficient software model checking of soundness of type systems. OOPSLA 2008: 493-504
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DargaB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DargaB06
Paul T. Darga, Chandrasekhar Boyapati:
Efficient software model checking of data structure properties. OOPSLA 2006: 363-382
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/DargaLSM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/DargaLSM04
Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov:
Exploiting structure in symmetry detection for CNF. DAC 2004: 530-534

Informal and Other Publications

see FAQ

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

2006
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BoyapatiD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BoyapatiD06
Chandrasekhar Boyapati, Paul T. Darga:
Efficient Software Model Checking of Data Structure Properties. Directed Model Checking 2006

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.