Alwen Fernanto Tiu
List of publications from the DBLP Bibliography Server - FAQ
| 2008 | ||
|---|---|---|
| 21 | EE | Alwen Tiu: Cut Elimination for a Logic with Generic Judgments and Induction CoRR abs/0801.3065: (2008) |
| 20 | EE | Alwen Tiu, Rajeev Goré: A proof theoretic analysis of intruder theories CoRR abs/0804.0273: (2008) |
| 19 | EE | Alwen Tiu, Dale Miller: Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus CoRR abs/0805.2785: (2008) |
| 2007 | ||
| 18 | EE | Alwen Tiu: A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. APLAS 2007: 367-382 |
| 17 | EE | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397 |
| 16 | EE | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007) |
| 15 | EE | Alwen Tiu: A Logic for Reasoning about Generic Judgments. Electr. Notes Theor. Comput. Sci. 174(5): 3-18 (2007) |
| 14 | EE | Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu: Verification of clock synchronization algorithms: experiments on a combination of deductive tools. Formal Asp. Comput. 19(3): 321-341 (2007) |
| 13 | EE | Rajeev Goré, Alwen Tiu: Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5. J. Log. Comput. 17(4): 767-794 (2007) |
| 2006 | ||
| 12 | EE | Alwen Tiu: A Local System for Intuitionistic Logic. LPAR 2006: 242-256 |
| 11 | EE | 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: 167-181 |
| 10 | EE | Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu: Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. Electr. Notes Theor. Comput. Sci. 145: 63-78 (2006) |
| 9 | EE | Alwen Tiu: A System of Interaction and Structure II: The Need for Deep Inference. Logical Methods in Computer Science 2(2): (2006) |
| 2005 | ||
| 8 | EE | Alwen Fernanto Tiu: Model Checking for pi-Calculus Using Proof Search. CONCUR 2005: 36-50 |
| 7 | EE | Dale Miller, Alwen Tiu: A proof theory for generic judgments. ACM Trans. Comput. Log. 6(4): 749-783 (2005) |
| 6 | EE | Alwen Tiu: A System of Interaction and Structure II: The Need for Deep Inference CoRR abs/cs/0512036: (2005) |
| 5 | EE | Alwen Fernanto Tiu, Dale Miller: A Proof Search Specification of the pi-Calculus. Electr. Notes Theor. Comput. Sci. 138(1): 79-101 (2005) |
| 2003 | ||
| 4 | EE | Dale Miller, Alwen Fernanto Tiu: A Proof Theory for Generic Judgments: An extended abstract. LICS 2003: 118-127 |
| 3 | EE | Alberto Momigliano, Alwen Fernanto Tiu: Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308 |
| 2002 | ||
| 2 | EE | Dale Miller, Alwen Fernanto Tiu: Encoding Generic Judgments. FSTTCS 2002: 18-32 |
| 2001 | ||
| 1 | EE | Kai Brünnler, Alwen Fernanto Tiu: A Local System for Classical Logic. LPAR 2001: 347-361 |
| 1 | David Baelde | [16] [17] |
| 2 | Damián Barsotti | [10] [14] |
| 3 | Kai Brünnler | [1] |
| 4 | Pascal Fontaine | [11] |
| 5 | Andrew Gacek | [16] [17] |
| 6 | Rajeev Goré | [13] [20] |
| 7 | Jean-Yves Marion | [11] |
| 8 | Stephan Merz | [11] |
| 9 | Dale Miller | [2] [4] [5] [7] [16] [17] [19] |
| 10 | Alberto Momigliano | [3] |
| 11 | Gopalan Nadathur | [16] [17] |
| 12 | Leonor Prensa Nieto | [10] [11] [14] |