dblp.uni-trier.dewww.uni-trier.de

Qiao Haiyan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EEQiao Haiyan: Testing and Proving Distributed Algorithms in Constructive Type Theory. TAP 2007: 79-94
2004
6EEPeter Dybjer, Qiao Haiyan, Makoto Takeyama: Random Generators for Dependent Types. ICTAC 2004: 341-355
5EEPeter Dybjer, Qiao Haiyan, Makoto Takeyama: Verifying Haskell programs by combining testing, model checking and interactive theorem proving. Information & Software Technology 46(15): 1011-1025 (2004)
2003
4EEPeter Dybjer, Qiao Haiyan, Makoto Takeyama: Verifying Haskell Programs by Combining Testing and Proving. QSIC 2003: 272-279
3EEPeter Dybjer, Qiao Haiyan, Makoto Takeyama: Combining Testing and Proving in Dependent Type Theory. TPHOLs 2003: 188-203
2 Fairouz Kamareddine, Qiao Haiyan: Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. J. Autom. Reasoning 30(1): 59-98 (2003)
1999
1EEQiao Haiyan: Formalising Formulas-as-Types-as-Objects. TYPES 1999: 174-193

Coauthor Index

1Peter Dybjer [3] [4] [5] [6]
2Fairouz Kamareddine [2]
3Makoto Takeyama [3] [4] [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)