The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alwen Fernanto Tiu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002