Alwen Fernanto Tiu

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. Electron. Notes Theor. Comput. Sci. 145 (2006)
Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. TACAS (2006)
Alwen Fernanto Tiu
-Calculus Using Proof Search. CONCUR (2005)
Alwen Fernanto Tiu, Dale Miller
A Proof Search Specification of the pi-Calculus. Electron. Notes Theor. Comput. Sci. 138 (1) (2005)
Alberto Momigliano, Alwen Fernanto Tiu
Induction and Co-induction in Sequent Calculus. TYPES (2003)
Dale Miller, Alwen Fernanto Tiu
A Proof Theory for Generic Judgments: An extended abstract. LICS (2003)
Dale Miller, Alwen Fernanto Tiu
Encoding Generic Judgments. FSTTCS (2002)
Kai Brünnler, Alwen Fernanto Tiu
A Local System for Classical Logic. LPAR (2001)