SCEAS

The SCEAS System

Title:
Author:

Luca Paolini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
An Operational Characterization of Strong Normalization. [Citation Graph (0, 0)][DBLP]
FoSSaCS, 2006, pp:367-381 [Conf]
Luca Paolini
Call-by-Value Separability and Computability. [Citation Graph (0, 0)][DBLP]
ICTCS, 2001, pp:74-89 [Conf]
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
Lazy Strong Normalization. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:103-116 [Journal]
Luca Paolini, Simona Ronchi Della Rocca
Lazy Logical Semantics. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:235-251 [Journal]
Luca Paolini, Simona Ronchi Della Rocca
Parametric parameter passing Lambda-calculus. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2004, v:189, n:1, pp:87-106 [Journal]
Luca Paolini
A stable programming language. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2006, v:204, n:3, pp:339-375 [Journal]
Luca Paolini, Simona Ronchi Della Rocca
Call-by-value Solvability. [Citation Graph (0, 0)][DBLP]
ITA, 1999, v:33, n:6, pp:507-534 [Journal]
Semantically linear programming languages. [Citation Graph (, )][DBLP]
A Process-Model for Linear Programs. [Citation Graph (, )][DBLP]
Logical Semantics for Stability. [Citation Graph (, )][DBLP]

Search in 0.003secs, 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