Search the dblp DataBase

Publications of Author

1. Alwen Tiu
   A Local System for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:242-256 [Conf]
   
2. Alwen Tiu
   A Logic for Reasoning about Generic Judgments. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:3-18 [Journal]
   
3. Alwen Tiu
   A System of Interaction and Structure II: The Need for Deep Inference. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
   
4. Dale Miller, Alwen Tiu
   A proof theory for generic judgments. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:4, pp:749-783 [Journal]
   
5. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
   The Bedwyr System for Model Checking over Syntactic Expressions. [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:391-397 [Conf]
   
6. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
   The Bedwyr system for model checking over syntactic expressions [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
7. Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu
   Verification of clock synchronization algorithms: experiments on a combination of deductive tools. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2007, v:19, n:3, pp:321-341 [Journal]
   
8. 
   Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. [Citation Graph (, )][DBLP]
   
   
9. 
   A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. [Citation Graph (, )][DBLP]
   
   
10. 
    Automating Open Bisimulation Checking for the Spi Calculus. [Citation Graph (, )][DBLP]
    
    
11. 
    A First-Order Policy Language for History-Based Transaction Monitoring. [Citation Graph (, )][DBLP]
    
    
12. 
    A Proof Theoretic Analysis of Intruder Theories. [Citation Graph (, )][DBLP]
    
    
13. 
    Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. [Citation Graph (, )][DBLP]
    
    
14. 
    Formalising Observer Theory for Environment-Sensitive Bisimulation. [Citation Graph (, )][DBLP]
    
    
15. 
    Matching Trace Patterns with Regular Policies. [Citation Graph (, )][DBLP]
    
    
16. 
    A System of Interaction and Structure II: The Need for Deep Inference [Citation Graph (, )][DBLP]
    
    
17. 
    Cut Elimination for a Logic with Generic Judgments and Induction [Citation Graph (, )][DBLP]
    
    
18. 
    A proof theoretic analysis of intruder theories [Citation Graph (, )][DBLP]
    
    
19. 
    Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus [Citation Graph (, )][DBLP]
    
    
20. 
    Induction and Co-induction in Sequent Calculus [Citation Graph (, )][DBLP]
    
    
21. 
    A Trace Based Bisimulation for the Spi Calculus [Citation Graph (, )][DBLP]
    
    
22. 
    A decidable policy language for history-based transaction monitoring [Citation Graph (, )][DBLP]
    
    
23. 
    A Proof Theoretic Analysis of Intruder Theories [Citation Graph (, )][DBLP]
    
    
24. 
    Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic [Citation Graph (, )][DBLP]
    
    
25. 
    On the Role of Names in Reasoning about lambda-tree Syntax Specifications. [Citation Graph (, )][DBLP]