2009 |
27 | EE | Franz Baader,
Andreas Bauer,
Alwen Tiu:
Matching Trace Patterns with Regular Policies.
LATA 2009: 105-116 |
26 | EE | Alwen Tiu:
A Trace Based Bisimulation for the Spi Calculus
CoRR abs/0901.2166: (2009) |
25 | EE | Andreas Bauer,
Rajeev Goré,
Alwen Tiu:
A decidable policy language for history-based transaction monitoring
CoRR abs/0903.2904: (2009) |
24 | EE | Alwen Tiu:
On the Role of Names in Reasoning about lambda-tree Syntax Specifications.
Electr. Notes Theor. Comput. Sci. 228: 135-150 (2009) |
2008 |
23 | EE | 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 |
22 | EE | Alwen Tiu:
Cut Elimination for a Logic with Generic Judgments and Induction
CoRR abs/0801.3065: (2008) |
21 | EE | Alwen Tiu,
Rajeev Goré:
A proof theoretic analysis of intruder theories
CoRR abs/0804.0273: (2008) |
20 | EE | Alwen Tiu,
Dale Miller:
Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus
CoRR abs/0805.2785: (2008) |
19 | EE | Alwen Tiu,
Alberto Momigliano:
Induction and Co-induction in Sequent Calculus
CoRR abs/0812.4727: (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 |