Contact

All Stories

  1. Deltas for Functional Programs with Algebraic Data Types

    Article • August 2023, ACM (Association for Computing Machinery)

    Dr Luca Paolini

  2. Variability modules

    Article • Journal of Systems and Software, January 2023, Elsevier

    Dr Luca Paolini

  3. FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC

    Article • Science of Computer Programming, December 2022, Elsevier

    Dr Luca Paolini

  4. On logical and extensional characterizations of attributed feature models

    Article • Theoretical Computer Science, April 2022, Elsevier

    Dr Luca Paolini

  5. Efficient static analysis and verification of featured transition systems

    Article • Empirical Software Engineering, October 2021, Springer Science + Business Media

    Dr Luca Paolini

  6. Variability modules for Java-like languages

    Article • September 2021, ACM (Association for Computing Machinery)

    Dr Luca Paolini

  7. Static analysis and family-based model checking of featured transition systems with VMC

    Article • September 2021, ACM (Association for Computing Machinery)

    Dr Luca Paolini

  8. Splitting Recursion Schemes into Reversible and Classical Interacting Threads

    Article • January 2021, Springer Science + Business Media

    Dr Luca Paolini

  9. On the Expressivity of Total Reversible Programming Languages

    Article • January 2020, Springer Science + Business Media

    Dr Luca Paolini

  10. On Slicing Software Product Line Signatures

    Article • January 2020, Springer Science + Business Media

    Dr Luca Paolini

  11. On Two Characterizations of Feature Models

    Article • January 2020, Springer Science + Business Media

    Dr Luca Paolini

  12. A class of Recursive Permutations which is Primitive Recursive complete

    Article • Theoretical Computer Science, November 2019, Elsevier

    Dr Luca Paolini

  13. The fixed point problem of a simple reversible language

    Article • Theoretical Computer Science, October 2019, Elsevier

    Dr Luca Paolini

  14. Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

    Article • International Journal on Software Tools for Technology Transfer, September 2019, Springer Science + Business Media

    Dr Luca Paolini

  15. Quantum Programming Made Easy

    Article • Electronic Proceedings in Theoretical Computer Science, April 2019, Open Publishing Association

    Dr Luca Paolini

  16. QPCF: Higher-Order Languages and Quantum Circuits

    Article • Journal of Automated Reasoning, March 2019, Springer Science + Business Media

    Dr Luca Paolini

  17. A formal model for Multi Software Product Lines

    Article • Science of Computer Programming, March 2019, Elsevier

    Dr Luca Paolini

  18. On the expressiveness of modal transition systems with variability constraints

    Article • Science of Computer Programming, January 2019, Elsevier

    Dr Luca Paolini

  19. Static analysis of featured transition systems

    Article • January 2019, ACM (Association for Computing Machinery)

    Dr Luca Paolini

  20. Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

    Article • January 2019, Springer Science + Business Media

    Dr Luca Paolini

  21. On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions

    Article • New Generation Computing, July 2018, Springer Science + Business Media

    Dr Luca Paolini

  22. Multi Software Product Lines in the Wild

    Article • February 2018, ACM (Association for Computing Machinery)

    Dr Luca Paolini

  23. A Formal Model for Multi SPLs

    Article • January 2017, Springer Science + Business Media

    Dr Luca Paolini

  24. $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations

    Article • January 2017, Springer Science + Business Media

    Dr Luca Paolini

  25. A Class of Reversible Primitive Recursive Functions

    Article • Electronic Notes in Theoretical Computer Science, April 2016, Elsevier

    Dr Luca Paolini

  26. Essential and relational models

    Article • Mathematical Structures in Computer Science, July 2015, Cambridge University Press

    Dr Luca Paolini

  27. From Featured Transition Systems to Modal Transition Systems with Variability Constraints

    Article • January 2015, Springer Science + Business Media

    Dr Luca Paolini

  28. On the reification of semantic linearity

    Article • Mathematical Structures in Computer Science, November 2014, Cambridge University Press

    Dr Luca Paolini

  29. Proceedings Sixth Workshop on Intersection Types and Related Systems

    Article • Electronic Proceedings in Theoretical Computer Science, July 2013, Open Publishing Association

    Dr Luca Paolini

  30. Article • Electronic Proceedings in Theoretical Computer Science, July 2013, Open Publishing Association

    Dr Luca Paolini

  31. Call-by-Value Solvability, Revisited

    Article • January 2012, Springer Science + Business Media

    Dr Luca Paolini

  32. Preface

    Article • Fundamenta Informaticae, January 2012, IOS Press

    Dr Luca Paolini

  33. Linearity and PCF

    Article • September 2011, ACM (Association for Computing Machinery)

    Dr Luca Paolini

  34. Linearity and PCF: a semantic insight!

    Article • ACM SIGPLAN Notices, September 2011, ACM (Association for Computing Machinery)

    Dr Luca Paolini

  35. Strong normalization from an unusual point of view

    Article • Theoretical Computer Science, April 2011, Elsevier

    Dr Luca Paolini

  36. Logical Semantics for Stability

    Article • Electronic Notes in Theoretical Computer Science, August 2009, Elsevier

    Dr Luca Paolini

  37. A Process-Model for Linear Programs

    Article • January 2009, Springer Science + Business Media

    Dr Luca Paolini

  38. Article • Logical Methods in Computer Science, January 2009, Centre pour la Communication Scientifique Directe (CCSD)

    Dr Luca Paolini

  39. Semantically linear programming languages

    Article • July 2008, ACM (Association for Computing Machinery)

    Dr Luca Paolini

  40. Parametric λ -theories

    Article • Theoretical Computer Science, May 2008, Elsevier

    Dr Luca Paolini

  41. A stable programming language

    Article • Information and Computation, March 2006, Elsevier

    Dr Luca Paolini

  42. An Operational Characterization of Strong Normalization

    Article • January 2006, Springer Science + Business Media

    Dr Luca Paolini

  43. Lazy Strong Normalization

    Article • Electronic Notes in Theoretical Computer Science, July 2005, Elsevier

    Dr Luca Paolini

  44. Lazy Logical Semantics

    Article • Electronic Notes in Theoretical Computer Science, November 2004, Elsevier

    Dr Luca Paolini

  45. Parametric parameter passing λ-calculus

    Article • Information and Computation, February 2004, Elsevier

    Dr Luca Paolini

  46. Further Reading

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  47. Further Reading

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  48. Representing Functions

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  49. Further Reading

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  50. Preliminaries

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  51. Parametric Operational Semantics

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  52. Operational Extensionality

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  53. λΔ-Models

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  54. The Parametric Lambda Calculus

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  55. The Parametric λ-Calculus

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  56. Filter λΔ-Models and Domains

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  57. Call-by-Name Operational Semantics

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  58. Call-by-Value Denotational Semantics

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  59. The Call-by-Value λ-Calculus

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  60. The Call-by-Name λ-Calculus

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  61. Call-by-Value Operational Semantics

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  62. Call-by-Name Denotational Semantics

    Article • January 2004, Springer Science + Business Media

    Dr Luca Paolini

  63. Call-by-Value Separability and Computability

    Article • January 2001, Springer Science + Business Media

    Dr Luca Paolini

  64. Call-by-value Solvability

    Article • RAIRO - Theoretical Informatics and Applications, November 1999, EDP Sciences

    Dr Luca Paolini