Listing of information structures defined by fixed-point operators. - Corrado Böhm; Mariangiola Dezani-Ciancaglini; Simona Ronchi Della Rocca (Symposium on Programming, 1974)

(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Simona Ronchi Della Rocca (ICALP, 1978)

Complexity of lambda-term reductions. - Mariangiola Dezani-Ciancaglini; Simona Ronchi Della Rocca; Lorenza Saitta (RAIRO Theor. Informatics Appl., 1979)

A Discrimination Algorithm Inside lambda-beta-Calculus. - Corrado Böhm; Mariangiola Dezani-Ciancaglini; P. Peretti; Simona Ronchi Della Rocca (Theor. Comput. Sci., 1979)

Discriminability of Infinite Sets of Terms in the Dinfinity-Models of the lambda-calculus. - Simona Ronchi Della Rocca (CAAP, 1981)

Characterization Theorems for a Filter Lambda Model - Simona Ronchi Della Rocca (Inf. Control., 1982)

Principal Type Schemes for an Extended Type Theory. - Simona Ronchi Della Rocca; Betti Venneri (Theor. Comput. Sci., 1984)

An Unification Semi-Algorithm for Intersection Type Schemes. - Simona Ronchi Della Rocca (TAPSOFT, Vol.1, 1987)

Characterization of typings in polymorphic type discipline - Paola Giannini; Simona Ronchi Della Rocca (LICS, 1988)

Principal Type Scheme and Unification for Intersection Type Discipline. - Simona Ronchi Della Rocca (Theor. Comput. Sci., 1988)

Reasoning About Interpretations in Qualitative λ-Models. - Furio Honsell; Simona Ronchi Della Rocca (Programming Concepts and Methods, 1990)

The lazy call-by-value Lamda-Calculus. - Lavinia Egidi; Furio Honsell; Simona Ronchi Della Rocca (MFCS, 1991)

Type Inference in Polymorphic Type Discipline. - Paola Giannini; Simona Ronchi Della Rocca (TACS, 1991)

Operational, denotational and logical descriptions: a case study. - Lavinia Egidi; Furio Honsell; Simona Ronchi Della Rocca (Fundam. Informaticae, 1992)

An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus. - Furio Honsell; Simona Ronchi Della Rocca (J. Comput. Syst. Sci., 1992)

Type Inference: Some Results, Some Problems. - Paola Giannini; Furio Honsell; Simona Ronchi Della Rocca (Fundam. Informaticae, 1993)

Comparing Cubes. - Steffen van Bakel; Luigi Liquori; Simona Ronchi Della Rocca; Pawel Urzyczyn (LFCS, 1994)

Type Inference and Extensionality - Adolfo Piperno; Simona Ronchi Della Rocca (LICS, 1994)

A Type Inference Algorithm for a Stratified Polymorphic Type Discipline - Paola Giannini; Simona Ronchi Della Rocca (Inf. Comput., 1994)

Categorical semantics of the call-by-value lambda-calculus. - Alberto Pravato; Simona Ronchi Della Rocca; Luca Roversi (TLCA, 1995)

Comparing Cubes of Typed and Type Assignment Systems. - Steffen van Bakel; Luigi Liquori; Simona Ronchi Della Rocca; Pawel Urzyczyn (Ann. Pure Appl. Log., 1997)

Lambda Calculus and Intuitionistic Linear Logic. - Simona Ronchi Della Rocca; Luca Roversi (Stud Logica, 1997)

Structures for lazy semantics. - Olivier Bastonero; Alberto Pravato; Simona Ronchi Della Rocca (PROCOMET, 1998)

Structured Operational Semantics of a Fragment of the Language Scheme. - Furio Honsell; Alberto Pravato; Simona Ronchi Della Rocca (J. Funct. Program., 1998)

Alpha-Conversion and Typability. - A. J. Kfoury; Simona Ronchi Della Rocca; Jerzy Tiuryn; Pawel Urzyczyn (Inf. Comput., 1999)

Call-by-value Solvability. - Luca Paolini; Simona Ronchi Della Rocca (RAIRO Theor. Informatics Appl., 1999)

The call-by-value [lambda]-calculus: a semantic investigation. - Alberto Pravato; Simona Ronchi Della Rocca; Luca Roversi (Math. Struct. Comput. Sci., 1999)

Operational semantics and extensionality. - Simona Ronchi Della Rocca (PPDP, 2000)

Intersection Logic. - Simona Ronchi Della Rocca; Luca Roversi (CSL, 2001)

Intersection Typed lambda-calculus. - Simona Ronchi Della Rocca (ITRS, 2002)

Principal Typing in Elementary Affine Logic. - Paolo Coppola 001; Simona Ronchi Della Rocca (TLCA, 2003)

Lazy Logical Semantics. - Luca Paolini; Simona Ronchi Della Rocca (COMETA, 2003)

Towards an Intersection Typed System à la Church. - Luigi Liquori; Simona Ronchi Della Rocca (ITRS, 2004)

Lazy Strong Normalization. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (ITRS, 2004)

Parametric parameter passing Lambda-calculus. - Luca Paolini; Simona Ronchi Della Rocca (Inf. Comput., 2004)

The Parametric Lambda Calculus - A Metamodel for Computation - Simona Ronchi Della Rocca; Luca Paolini (Springer, 2004)

Elementary Affine Logic and the Call-by-Value Lambda Calculus. - Paolo Coppola 001; Ugo Dal Lago; Simona Ronchi Della Rocca (TLCA, 2005)

Principal Typing for Lambda Calculus in Elementary Affine Logic. - Paolo Coppola 001; Simona Ronchi Della Rocca (Fundam. Informaticae, 2005)

An Operational Characterization of Strong Normalization. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (FoSSaCS, 2006)

A Soft Type Assignment System for lambda -Calculus. - Marco Gaboardi; Simona Ronchi Della Rocca (CSL, 2007)

Soft Linear Logic and Polynomial Complexity Classes. - Marco Gaboardi; Jean-Yves Marion; Simona Ronchi Della Rocca (LSFA, 2007)

Intersection-types à la Church. - Luigi Liquori; Simona Ronchi Della Rocca (Inf. Comput., 2007)

A logical account of pspace. - Marco Gaboardi; Jean-Yves Marion; Simona Ronchi Della Rocca (POPL, 2008)

Type Inference for a Polynomial Lambda Calculus. - Marco Gaboardi; Simona Ronchi Della Rocca (TYPES, 2008)

Light Logics and the Call-by-Value Lambda Calculus. - Paolo Coppola 001; Ugo Dal Lago; Simona Ronchi Della Rocca (Log. Methods Comput. Sci., 2008)

Intersection, Universally Quantified, and Reference Types. - Mariangiola Dezani-Ciancaglini; Paola Giannini; Simona Ronchi Della Rocca (CSL, 2009)

Logical Semantics for Stability. - Luca Paolini; Mauro Piccolo; Simona Ronchi Della Rocca (MFPS, 2009)

From light logics to type assignments: a case study. - Marco Gaboardi; Simona Ronchi Della Rocca (Log. J. IGPL, 2009)

Guest editorial: Special issue on implicit computational complexity. - Patrick Baillot; Jean-Yves Marion; Simona Ronchi Della Rocca (ACM Trans. Comput. Log., 2009)

Solvability in Resource Lambda-Calculus. - Michele Pagani; Simona Ronchi Della Rocca (FoSSaCS, 2010)

Intersection Logic in sequent calculus style - Simona Ronchi Della Rocca; Alexis Saurin; Yiorgos Stavrinos; Anastasia Veneti (ITRS, 2010)

Linearity, Non-determinism and Solvability. - Michele Pagani; Simona Ronchi Della Rocca (Fundam. Informaticae, 2010)

Strong normalization from an unusual point of view. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (Theor. Comput. Sci., 2011)

Bounding normalization time through intersection types. - Erika De Benedetti; Simona Ronchi Della Rocca (ITRS, 2012)

Standardization in resource lambda-calculus - Maurizio Dominici; Simona Ronchi Della Rocca; Paolo Tranquilli (LINEARITY, 2012)

Intersection Types from a Proof-theoretic Perspective. - Elaine Pimentel; Simona Ronchi Della Rocca; Luca Roversi (Fundam. Informaticae, 2012)

An Implicit Characterization of PSPACE. - Marco Gaboardi; Jean-Yves Marion; Simona Ronchi Della Rocca (ACM Trans. Comput. Log., 2012)

The Inhabitation Problem for Non-idempotent Intersection Types. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (IFIP TCS, 2014)

A type assignment for lambda-calculus complete both for FPTIME and strong normalization. - Erika De Benedetti; Simona Ronchi Della Rocca (CoRR, 2014)

The Ackermann Award 2015. - Anuj Dawar; Dexter Kozen; Simona Ronchi Della Rocca (CSL, 2015)

Call-by-Value, Elementary Time and Intersection Types. - Erika De Benedetti; Simona Ronchi Della Rocca (FOPARA, 2015)

Observability for Pair Pattern Calculi. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (TLCA, 2015)

Standardization of a Call-By-Value Lambda-Calculus. - Giulio Guerrieri; Luca Paolini; Simona Ronchi Della Rocca (TLCA, 2015)

Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. - Olha Shkaravska; Simona Ronchi Della Rocca; Marko C. J. D. van Eekelen (Sci. Comput. Program., 2015)

Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper). - Simona Ronchi Della Rocca (TYPES, 2016)

A type assignment for λ-calculus complete both for FPTIME and strong normalization. - Erika De Benedetti; Simona Ronchi Della Rocca (Inf. Comput., 2016)

Preface. - Simona Ronchi Della Rocca (Inf. Comput., 2016)

Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. - Giulio Guerrieri; Luca Paolini; Simona Ronchi Della Rocca (Log. Methods Comput. Sci., 2017)

Essential and relational models. - Luca Paolini; Mauro Piccolo; Simona Ronchi Della Rocca (Math. Struct. Comput. Sci., 2017)

Observability = Typability + Inhabitation. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (CoRR, 2018)

Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. - Patrick Baillot; Erika De Benedetti; Simona Ronchi Della Rocca (Inf. Comput., 2018)

Inhabitation for Non-idempotent Intersection Types. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (Log. Methods Comput. Sci., 2018)

Lambda Calculus and Probabilistic Computation. - Claudia Faggian; Simona Ronchi Della Rocca (LICS, 2019)

New Semantical Insights Into Call-by-Value λ-Calculus. - Giulio Manzonetto; Michele Pagani; Simona Ronchi Della Rocca (Fundam. Informaticae, 2019)

Solvability in a Probabilistic Setting (Invited Talk). - Simona Ronchi Della Rocca; Ugo Dal Lago; Claudia Faggian (FSCD, 2020)

Call-By-Value, Again! - Axel Kerinec; Giulio Manzonetto; Simona Ronchi Della Rocca (FSCD, 2021)

Solvability = Typability + Inhabitation. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (Log. Methods Comput. Sci., 2021)

Intersection types and (positive) almost-sure termination. - Ugo Dal Lago; Claudia Faggian; Simona Ronchi Della Rocca (Proc. ACM Program. Lang., 2021)

A Quantitative Version of Simple Types. - Daniele Pautasso; Simona Ronchi Della Rocca (FSCD, 2023)

Strong normalization through idempotent intersection types: a new syntactical approach. - Pablo Barenbaum; Simona Ronchi Della Rocca; Cristian Sottile (CoRR, 2025)