SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

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

Publications of Author

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]
Ugo Dal Lago, Simone Martini
An Invariant Cost Model for the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
CiE, 2006, pp:105-114 [Conf]
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]
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]
Andrea Asperti, Paolo Coppola, Simone Martini
(Optimal) Duplication is not Elementary Recursive. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:96-107 [Conf]
Stefano Guerrini, Simone Martini, Andrea Masini
Coherence for Sharing Proof Nets. [Citation Graph (0, 0)][DBLP]
RTA, 1996, pp:215-229 [Conf]
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]
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]
Stefano Guerrini, Simone Martini, Andrea Masini
Proof Nets, Garbage, and Computations. [Citation Graph (0, 0)][DBLP]
TLCA, 1997, pp:181-195 [Conf]
Paolo Coppola, Simone Martini
Typing Lambda Terms in Elementary Logic with Linear Constraints. [Citation Graph (0, 0)][DBLP]
TLCA, 2001, pp:76-90 [Conf]
Ugo Dal Lago, Simone Martini, Luca Roversi
Higher-Order Linear Ramified Recurrence. [Citation Graph (0, 0)][DBLP]
TYPES, 2003, pp:178-193 [Conf]
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]
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]
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]
Andrea Asperti, Simone Martini
Categorical Models of Polymorphism [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1992, v:99, n:1, pp:1-79 [Journal]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
Steering a Leader-Follower Team Via Linear Consensus. [Citation Graph (, )][DBLP]
On Constructor Rewrite Systems and the Lambda-Calculus. [Citation Graph (, )][DBLP]
A switching active sensing strategy to maintain observability for vision-based formation control. [Citation Graph (, )][DBLP]
Controllability decompositions of networked systems through quotient graphs. [Citation Graph (, )][DBLP]
An Invariant Cost Model for the Lambda Calculus [Citation Graph (, )][DBLP]
On Constructor Rewrite Systems and the Lambda-Calculus [Citation Graph (, )][DBLP]
General Ramified Recurrence is Sound for Polynomial Time [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.304secs

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