The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simone Martini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
    An Extension of System F with Subtyping. [Citation Graph (3, 0)][DBLP]
    TACS, 1991, pp:750-770 [Conf]
  2. Ugo Dal Lago, Simone Martini
    An Invariant Cost Model for the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:105-114 [Conf]
  3. Simone Martini
    An Interval Model for Second-Order Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:219-237 [Conf]
  4. Andrea Asperti, Simone Martini
    Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:337-352 [Conf]
  5. Andrea Asperti, Paolo Coppola, Simone Martini
    (Optimal) Duplication is not Elementary Recursive. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:96-107 [Conf]
  6. Stefano Guerrini, Simone Martini, Andrea Masini
    Coherence for Sharing Proof Nets. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:215-229 [Conf]
  7. Giuseppe Longo, Simone Martini
    Computability in Higher Types and the Universal Domain P_omega. [Citation Graph (0, 0)][DBLP]
    STACS, 1984, pp:186-197 [Conf]
  8. Paola Inverardi, Simone Martini, Carlo Montangero
    Is Type Checking Practical for System Configuration? [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:257-271 [Conf]
  9. Stefano Guerrini, Simone Martini, Andrea Masini
    Proof Nets, Garbage, and Computations. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:181-195 [Conf]
  10. Paolo Coppola, Simone Martini
    Typing Lambda Terms in Elementary Logic with Linear Constraints. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:76-90 [Conf]
  11. Ugo Dal Lago, Simone Martini, Luca Roversi
    Higher-Order Linear Ramified Recurrence. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:178-193 [Conf]
  12. Paolo Coppola, Simone Martini
    Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  13. A. Bucci, Paola Inverardi, Simone Martini
    An `Executable' Impredicative Semantics for the Ada Configuration. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:2, pp:91-120 [Journal]
  14. Andrea Asperti, Paolo Coppola, Simone Martini
    (Optimal) duplication is not elementary recursive. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:193, n:1, pp:21-56 [Journal]
  15. Andrea Asperti, Simone Martini
    Categorical Models of Polymorphism [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:99, n:1, pp:1-79 [Journal]
  16. Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
    An Extension of System F with Subtyping [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:109, n:1/2, pp:4-56 [Journal]
  17. 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]
  18. Paolo Mancarella, Simone Martini, Dino Pedreschi
    Complete Logic Programs with Domain-Closure Axiom. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1988, v:5, n:3, pp:263-276 [Journal]
  19. U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori
    Generating the analytic component parts of syntax-directed editors with efficient-error recovery. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1993, v:23, n:1, pp:65-79 [Journal]
  20. 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]
  21. Simone Martini
    Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:3, pp:327-357 [Journal]
  22. 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]
  23. 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]
  24. Ugo Dal Lago, Simone Martini
    Phase semantics and decidability of elementary affine logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:318, n:3, pp:409-433 [Journal]
  25. Giuseppe Longo, Simone Martini
    Computability in Higher Types, P omega and the Completeness of Type Assignment. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:197-217 [Journal]
  26. 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]
  27. Paolo Coppola, Simone Martini
    Optimizing optimal reduction: A type inference algorithm for elementary affine logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:2, pp:219-260 [Journal]

  28. Steering a Leader-Follower Team Via Linear Consensus. [Citation Graph (, )][DBLP]


  29. On Constructor Rewrite Systems and the Lambda-Calculus. [Citation Graph (, )][DBLP]


  30. A switching active sensing strategy to maintain observability for vision-based formation control. [Citation Graph (, )][DBLP]


  31. Controllability decompositions of networked systems through quotient graphs. [Citation Graph (, )][DBLP]


  32. An Invariant Cost Model for the Lambda Calculus [Citation Graph (, )][DBLP]


  33. On Constructor Rewrite Systems and the Lambda-Calculus [Citation Graph (, )][DBLP]


  34. General Ramified Recurrence is Sound for Polynomial Time [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
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