The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrea Masini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefano Guerrini, Simone Martini, Andrea Masini
    Coherence for Sharing Proof Nets. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:215-229 [Conf]
  2. Stefano Guerrini, Simone Martini, Andrea Masini
    Proof Nets, Garbage, and Computations. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:181-195 [Conf]
  3. Stefano Baratella, Andrea Masini
    An approach to infinitary temporal proof theory. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2004, v:43, n:8, pp:965-990 [Journal]
  4. Stefano Baratella, Andrea Masini
    A proof-theoretic investigation of a logic of positions. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:123, n:1-3, pp:135-162 [Journal]
  5. Andrea Masini
    2-Sequent Calculus: A Proof Theory of Modalities. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:58, n:3, pp:229-246 [Journal]
  6. Stefano Baratella, Andrea Masini
    A Way of Making World Quantification Explicit. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:3, pp:199-225 [Journal]
  7. Stefano Guerrini, Simone Martini, Andrea Masini
    An Analysis of (Linear) Exponentials Based on Extended Sequents. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:5, pp:735-753 [Journal]
  8. Andrea Masini, Andrea Maggiolo-Schettini
    TTL: A formalism to describe local and global properties of distributed systems. [Citation Graph (0, 0)][DBLP]
    ITA, 1992, v:26, n:, pp:115-162 [Journal]
  9. Simone Martini, Andrea Masini
    A Modal View of Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:888-899 [Journal]
  10. Andrea Masini
    2-Sequent Calculus: Intuitionism and Natural Deduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:5, pp:533-562 [Journal]
  11. Stefano Baratella, Andrea Masini
    An infinitary variant of Metric Temporal Logic over dense time domains. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:3, pp:249-257 [Journal]
  12. Stefano Baratella, Andrea Masini
    A note on unbounded metric temporal logic over dense time domains. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2006, v:52, n:5, pp:450-456 [Journal]
  13. Stefano Guerrini, Andrea Masini
    Parsing MELL proof nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:317-335 [Journal]
  14. Stefano Guerrini, Simone Martini, Andrea Masini
    Proof nets, garbage, and computations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:2, pp:185-237 [Journal]
  15. Stefano Guerrini, Simone Martini, Andrea Masini
    Coherence for sharing proof-nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:3, pp:379-409 [Journal]
  16. Simone Martini, Andrea Masini
    Experiments in Linear Natural Deduction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:176, n:1-2, pp:159-173 [Journal]
  17. Andrea Masini, Francesco Branchitta, Marco Diani, Giovanni Corsini
    Sight enhancement through video fusion in a surveillance system. [Citation Graph (0, 0)][DBLP]
    ICIAP, 2007, pp:554-559 [Conf]
  18. Ugo Dal Lago, Andrea Masini, Margherita Zorzi
    Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  19. Stefano Guerrini, Andrea Masini
    Continuations, proofs and tests [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  20. A Qualitative Modal Representation of Quantum Register Transformations. [Citation Graph (, )][DBLP]


  21. A Labeled Natural Deduction System for a Fragment of CTL*. [Citation Graph (, )][DBLP]


  22. A Qualitative Modal Representation of Quantum Register Transformations [Citation Graph (, )][DBLP]


  23. Confluence Results for a Quantum Lambda Calculus with Measurements [Citation Graph (, )][DBLP]


  24. A History of Until [Citation Graph (, )][DBLP]


  25. A History of Until. [Citation Graph (, )][DBLP]


Search in 0.069secs, Finished in 0.070secs
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