Alwen Fernanto Tiu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2001–2006
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | TACAS | Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. | Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu |
| 2005 | CONCUR | Model Checking for | Alwen Fernanto Tiu |
| 2003 | LICS | A Proof Theory for Generic Judgments: An extended abstract. | Dale Miller, Alwen Fernanto Tiu |
| 2001 | LPAR | A Local System for Classical Logic. | Kai Brnnler, Alwen Fernanto Tiu |