The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alwen Tiu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002