journal.bib

@comment{{This file has been generated by bib2bib 1.95}}

@comment{{Command line: /usr/bin/bib2bib -c category="journal" /home/wahl/Technical/Latex/references-thomas.bib}}

@article{DKKTW12,
  author = {Alastair Donaldson and Alexander Kaiser and Daniel Kroening and Michael Tautschnig and Thomas Wahl},
  title = {Counterexample-guided abstraction refinement for symmetric concurrent programs},
  journal = {Formal Methods in System Design (FMSD)},
  volume = {41},
  number = {1},
  pages = {25-44},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/dkktw12.pdf},
  year = {2012},
  category = {journal}
}

@article{BKRW11b,
  author = {Angelo Brillout and Daniel Kroening and Philipp R{\"u}mmer and Thomas Wahl},
  title = {An Interpolating Sequent Calculus for Quantifier-Free {P}resburger Arithmetic},
  journal = {Journal of Automated Reasoning (JAR)},
  pages = {341-367},
  volume = {47},
  number = 4,
  url = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw11b.pdf},
  year = {2011},
  category = {journal}
}

@article{BMWK10,
  author = {Gerard Basler and Michele Mazzucchi and Thomas Wahl and Daniel Kroening},
  title = {Context-Aware Counter Abstraction},
  journal = {Formal Methods in System Design (FMSD)},
  pages = {223-245},
  volume = {36},
  number = {3},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/bmwk10.pdf},
  year = {2010},
  category = {journal}
}

@article{WD10,
  author = {Thomas Wahl and Alastair Donaldson},
  title = {Replication and Abstraction: Symmetry in Automated Formal Verification},
  journal = {Symmetry},
  pages = {799-847},
  volume = {2},
  number = {2},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/wd10.pdf},
  year = {2010},
  category = {journal}
}

@article{WS10,
  author = {Thomas Wahl and Vijay D'Silva},
  title = {A Lazy Approach to Symmetry Reduction},
  journal = {Formal Aspects of Computing (FAC)},
  pages = {713-733},
  volume = {22},
  number = {6},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/ws10.pdf},
  year = {2010},
  category = {journal}
}

@article{EW05a,
  author = {Allen Emerson and Thomas Wahl},
  title = {Efficient Reduction Techniques for Systems with Many Components},
  journal = {Electronic Notes in Theoretical Computer Science},
  pages = {379-399},
  volume = {130},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/ew05a.pdf},
  year = {2005},
  category = {journal}
}

@article{KW99,
  author = {Oliver Karch and Thomas Wahl},
  title = {Relocalization {--} Theory and Practice},
  journal = {Discrete Applied Mathematics (DAM)},
  pages = {89-108},
  volume = {93},
  number = {1},
  url = {http://dx.doi.org/10.1016/S0166-218X(99)00008-6},
  year = {1999},
  category = {journal}
}

This file was generated by bibtex2html 1.95.