Alwen Fernanto Tiu
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i13 |      | Zhe Hou, Alwen Tiu, Rajeev Goré: A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. CoRR abs/1302.4783 (2013) |
| 2012 | ||
| j14 | | Yuxing Deng, Alwen Tiu: Characterisations of testing preorders for a finite probabilistic π-calculus. Formal Asp. Comput. 24(4-6): 701-726 (2012) |
| j13 | | Alwen Tiu, Alberto Momigliano: Cut elimination for a logic with induction and co-induction. J. Applied Logic 10(4): 330-367 (2012) |
| c20 | | Alwen Tiu, Egor Ianovski, Rajeev Goré: Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. Advances in Modal Logic 2012: 516-537 |
| c19 | | |
| i12 | | Yuxing Deng, Alwen Tiu: Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus. CoRR abs/1201.2258 (2012) |
| i11 | | Alwen Tiu, Egor Ianovski, Rajeev Goré: Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. CoRR abs/1204.2413 (2012) |
| 2011 | ||
| j12 | | Rajeev Goré, Linda Postniece, Alwen Tiu: On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. Logical Methods in Computer Science 7(2) (2011) |
| c18 | | Alwen Tiu: A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains. TABLEAUX 2011: 248-262 |
| 2010 | ||
| j11 | | Alwen Tiu, Rajeev Goré, Jeremy E. Dawson: A Proof Theoretic Analysis of Intruder Theories. Logical Methods in Computer Science 6(3) (2010) |
| j10 | | Alwen Tiu, Dale Miller: Proof search specifications of bisimulation and modal logics for the pi-calculus. ACM Trans. Comput. Log. 11(2) (2010) |
| c17 | | Rajeev Goré, Linda Postniece, Alwen Tiu: Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic 2010: 156-177 |
| c16 | | Alwen Tiu, Jeremy E. Dawson: Automating Open Bisimulation Checking for the Spi Calculus. CSF 2010: 307-321 |
| i10 | | Rajeev Goré, Linda Postniece, Alwen Tiu: Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic. CoRR abs/1006.4793 (2010) |
| i9 | | Alwen Tiu, Alberto Momigliano: Cut Elimination for a Logic with Induction and Co-induction. CoRR abs/1009.6171 (2010) |
| 2009 | ||
| j9 | | Alwen Tiu: On the Role of Names in Reasoning about lambda-tree Syntax Specifications. Electr. Notes Theor. Comput. Sci. 228: 135-150 (2009) |
| c15 | | Andreas Bauer, Rajeev Goré, Alwen Tiu: A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111 |
| c14 | | Franz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116 |
| c13 | | |
| c12 | | Rajeev Goré, Linda Postniece, Alwen Tiu: Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204 |
| c11 | | Jeremy E. Dawson, Alwen Tiu: Formalising Observer Theory for Environment-Sensitive Bisimulation. TPHOLs 2009: 180-195 |
| i8 | | |
| i7 | | Andreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring. CoRR abs/0903.2904 (2009) |
| 2008 | ||
| c10 | | Rajeev Goré, Linda Postniece, Alwen Tiu: Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic 2008: 43-66 |
| i6 | | Alwen Tiu: Cut Elimination for a Logic with Generic Judgments and Induction. CoRR abs/0801.3065 (2008) |
| i5 | | |
| i4 | | Alwen Tiu, Dale Miller: Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus. CoRR abs/0805.2785 (2008) |
| i3 | | Alwen Tiu, Alberto Momigliano: Induction and Co-induction in Sequent Calculus. CoRR abs/0812.4727 (2008) |
| 2007 | ||
| j8 | | Alwen Tiu: A Logic for Reasoning about Generic Judgments. Electr. Notes Theor. Comput. Sci. 174(5): 3-18 (2007) |
| j7 | | 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) |
| j6 | | 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) |
| c9 | | Alwen Tiu: A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. APLAS 2007: 367-382 |
| c8 | | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397 |
| i2 | | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions. CoRR abs/cs/0702116 (2007) |
| 2006 | ||
| j5 | | 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) |
| j4 | | Alwen Tiu: A System of Interaction and Structure II: The Need for Deep Inference. Logical Methods in Computer Science 2(2) (2006) |
| c7 | | |
| c6 | | 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 |
| 2005 | ||
| j3 | | Alwen Tiu: Formalization of a Generalized Protocol for Clock Synchronization. Archive of Formal Proofs 2005 (2005) |
| j2 | | Alwen Fernanto Tiu, Dale Miller: A Proof Search Specification of the pi-Calculus. Electr. Notes Theor. Comput. Sci. 138(1): 79-101 (2005) |
| j1 | | Dale Miller, Alwen Tiu: A proof theory for generic judgments. ACM Trans. Comput. Log. 6(4): 749-783 (2005) |
| c5 | | |
| i1 | | Alwen Tiu: A System of Interaction and Structure II: The Need for Deep Inference. CoRR abs/cs/0512036 (2005) |
| 2003 | ||
| c4 | | Dale Miller, Alwen Fernanto Tiu: A Proof Theory for Generic Judgments: An extended abstract. LICS 2003: 118-127 |
| c3 | | Alberto Momigliano, Alwen Fernanto Tiu: Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308 |
| 2002 | ||
| c2 | | |
| 2001 | ||
| c1 | | |
Colors in the list of coauthors
Last update Wed May 22 11:50:01 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page