Search the dblp DataBase

Publications of Author

1. Alwen Fernanto Tiu
   Model Checking for pi-Calculus Using Proof Search. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:36-50 [Conf]
   
2. Dale Miller, Alwen Fernanto Tiu
   Encoding Generic Judgments. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2002, pp:18-32 [Conf]
   
3. Dale Miller, Alwen Fernanto Tiu
   A Proof Theory for Generic Judgments: An extended abstract. [Citation Graph (0, 0)][DBLP]
   LICS, 2003, pp:118-127 [Conf]
   
4. Kai Brünnler, Alwen Fernanto Tiu
   A Local System for Classical Logic. [Citation Graph (0, 0)][DBLP]
   LPAR, 2001, pp:347-361 [Conf]
   
5. Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu
   Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP]
   TACAS, 2006, pp:167-181 [Conf]
   
6. Alberto Momigliano, Alwen Fernanto Tiu
   Induction and Co-induction in Sequent Calculus. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:293-308 [Conf]
   
7. Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu
   Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:63-78 [Journal]
   
8. Alwen Fernanto Tiu, Dale Miller
   A Proof Search Specification of the pi-Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:79-101 [Journal]