Alwen Tiu Home Page Coauthor index DBLP Vis pubzone.org

Alwen Fernanto Tiu

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Rajeev Goré, Alwen Tiu: A First-Order Policy Language for History-Based Transaction Monitoring. ICTAC 2009: 96-111
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu, Rajeev Goré: A Proof Theoretic Analysis of Intruder Theories. RTA 2009: 103-117
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Goré, Linda Postniece, Alwen Tiu: Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy E. Dawson, Alwen Tiu: Formalising Observer Theory for Environment-Sensitive Bisimulation. TPHOLs 2009: 180-195
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu: A Trace Based Bisimulation for the Spi Calculus CoRR abs/0901.2166: (2009)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bauer, Rajeev Goré, Alwen Tiu: A decidable policy language for history-based transaction monitoring CoRR abs/0903.2904: (2009)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu: On the Role of Names in Reasoning about lambda-tree Syntax Specifications. Electr. Notes Theor. Comput. Sci. 228: 135-150 (2009)
2008
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Goré, Linda Postniece, Alwen Tiu: Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic 2008: 43-66
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu: Cut Elimination for a Logic with Generic Judgments and Induction CoRR abs/0801.3065: (2008)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu, Rajeev Goré: A proof theoretic analysis of intruder theories CoRR abs/0804.0273: (2008)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu, Dale Miller: Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus CoRR abs/0805.2785: (2008)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu, Alberto Momigliano: Induction and Co-induction in Sequent Calculus CoRR abs/0812.4727: (2008)
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu: A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. APLAS 2007: 367-382
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu: A Logic for Reasoning about Generic Judgments. Electr. Notes Theor. Comput. Sci. 174(5): 3-18 (2007)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiá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)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu: A Local System for Intuitionistic Logic. LPAR 2006: 242-256
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiá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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu: A System of Interaction and Structure II: The Need for Deep Inference. Logical Methods in Computer Science 2(2): (2006)
2005
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Fernanto Tiu: Model Checking for pi-Calculus Using Proof Search. CONCUR 2005: 36-50
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDale Miller, Alwen Tiu: A proof theory for generic judgments. ACM Trans. Comput. Log. 6(4): 749-783 (2005)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Tiu: A System of Interaction and Structure II: The Need for Deep Inference CoRR abs/cs/0512036: (2005)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwen Fernanto Tiu, Dale Miller: A Proof Search Specification of the pi-Calculus. Electr. Notes Theor. Comput. Sci. 138(1): 79-101 (2005)
2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDale Miller, Alwen Fernanto Tiu: A Proof Theory for Generic Judgments: An extended abstract. LICS 2003: 118-127
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Momigliano, Alwen Fernanto Tiu: Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308
2002
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDale Miller, Alwen Fernanto Tiu: Encoding Generic Judgments. FSTTCS 2002: 18-32
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Brünnler, Alwen Fernanto Tiu: A Local System for Classical Logic. LPAR 2001: 347-361

Coauthor Index

1Franz Baader [30]
2David Baelde [16] [17]
3Damián Barsotti [10] [14]
4Andreas Bauer [25] [30] [31]
5Kai Brünnler [1]
6Jeremy E. Dawson [27]
7Pascal Fontaine [11]
8Andrew Gacek [16] [17]
9Rajeev Goré [13] [21] [23] [25] [28] [29] [31]
10Jean-Yves Marion [11]
11Stephan Merz [11]
12Dale Miller [2] [4] [5] [7] [16] [17] [20]
13Alberto Momigliano [3] [19]
14Gopalan Nadathur [16] [17]
15Leonor Prensa Nieto [10] [11] [14]
16Linda Postniece [23] [28]

Colors in the list of coauthors

Copyright © Wed Nov 25 14:46:41 2009 by Michael Ley (ley@uni-trier.de)