Vampire 2016:Author IndexAuthor  Papers 

C  Chen, Yuting  TheorySpecific Reasoning about Loops with Arrays using Vampire  E  Erdweg, Sebastian  Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny  G  Grewe, Sylvia  Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny  K  Kovács, Laura  TheorySpecific Reasoning about Loops with Arrays using Vampire  L  Lucio, Paqui  Evaluating Automated Theorem Provers Using AdimenSUMO  M  Mezini, Mira  Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny  R  Reger, Giles  Better Proof Output for Vampire Global Subsumption Revisited (Briefly)  Reynolds, Andrew  Conflicts, Models and Heuristics for Quantifier Instantiation in SMT  Rigau, German  Evaluating Automated Theorem Provers Using AdimenSUMO  Robillard, Simon  TheorySpecific Reasoning about Loops with Arrays using Vampire  S  Suda, Martin  Global Subsumption Revisited (Briefly)  Á  Álvez, Javier  Evaluating Automated Theorem Provers Using AdimenSUMO 

