Contact

All Stories

  1. Deltas for Functional Programs with Algebraic Data Types

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

    Prof. Dr. Luca Paolini

  2. Variability modules

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

    Prof. 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

    Prof. Dr. Luca Paolini

  4. On logical and extensional characterizations of attributed feature models

    Article • Theoretical Computer Science, April 2022, Elsevier

    Prof. Dr. Luca Paolini

  5. Efficient static analysis and verification of featured transition systems

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

    Prof. Dr. Luca Paolini

  6. Static analysis and family-based model checking with VMC

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

    Prof. Dr. Luca Paolini

  7. Variability modules for Java-like languages

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

    Prof. Dr. Luca Paolini

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

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

    Prof. Dr. Luca Paolini

  9. Splitting Recursion Schemes into Reversible and Classical Interacting Threads

    Article • January 2021, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  10. On the Expressivity of Total Reversible Programming Languages

    Article • January 2020, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  11. On Slicing Software Product Line Signatures

    Article • January 2020, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  12. On Two Characterizations of Feature Models

    Article • January 2020, Springer Science + Business Media

    Prof. Dr. Luca Paolini

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

    Article • Theoretical Computer Science, November 2019, Elsevier

    Prof. Dr. Luca Paolini

  14. The fixed point problem of a simple reversible language

    Article • Theoretical Computer Science, October 2019, Elsevier

    Prof. Dr. Luca Paolini

  15. 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

    Prof. Dr. Luca Paolini

  16. Quantum Programming Made Easy

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

    Prof. Dr. Luca Paolini

  17. QPCF: Higher-Order Languages and Quantum Circuits

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

    Prof. Dr. Luca Paolini

  18. A formal model for Multi Software Product Lines

    Article • Science of Computer Programming, March 2019, Elsevier

    Prof. Dr. Luca Paolini

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

    Article • Science of Computer Programming, January 2019, Elsevier

    Prof. Dr. Luca Paolini

  20. Static analysis of featured transition systems

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

    Prof. Dr. Luca Paolini

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

    Article • January 2019, Springer Science + Business Media

    Prof. Dr. Luca Paolini

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

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

    Prof. Dr. Luca Paolini

  23. Multi Software Product Lines in the Wild

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

    Prof. Dr. Luca Paolini

  24. Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus

    Article • Logical Methods in Computer Science, December 2017, Centre pour la Communication Scientifique Directe (CCSD)

    Prof. Dr. Luca Paolini

  25. A Formal Model for Multi SPLs

    Article • January 2017, Springer Science + Business Media

    Prof. Dr. Luca Paolini

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

    Article • January 2017, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  27. A Class of Reversible Primitive Recursive Functions

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

    Prof. Dr. Luca Paolini

  28. Essential and relational models

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

    Prof. Dr. Luca Paolini

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

    Article • January 2015, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  30. On the reification of semantic linearity

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

    Prof. Dr. Luca Paolini

  31. Proceedings Sixth Workshop on Intersection Types and Related Systems

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

    Prof. Dr. Luca Paolini

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

    Prof. Dr. Luca Paolini

  33. Call-by-Value Solvability, Revisited

    Article • January 2012, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  34. Preface

    Article • Fundamenta Informaticae, January 2012, IOS Press

    Prof. Dr. Luca Paolini

  35. Linearity and PCF

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

    Prof. Dr. Luca Paolini

  36. Linearity and PCF: a semantic insight!

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

    Prof. Dr. Luca Paolini

  37. Strong normalization from an unusual point of view

    Article • Theoretical Computer Science, April 2011, Elsevier

    Prof. Dr. Luca Paolini

  38. Logical Semantics for Stability

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

    Prof. Dr. Luca Paolini

  39. A Process-Model for Linear Programs

    Article • January 2009, Springer Science + Business Media

    Prof. Dr. Luca Paolini

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

    Prof. Dr. Luca Paolini

  41. Semantically linear programming languages

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

    Prof. Dr. Luca Paolini

  42. Parametric λ -theories

    Article • Theoretical Computer Science, May 2008, Elsevier

    Prof. Dr. Luca Paolini

  43. A stable programming language

    Article • Information and Computation, March 2006, Elsevier

    Prof. Dr. Luca Paolini

  44. An Operational Characterization of Strong Normalization

    Article • January 2006, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  45. Lazy Strong Normalization

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

    Prof. Dr. Luca Paolini

  46. Lazy Logical Semantics

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

    Prof. Dr. Luca Paolini

  47. Parametric parameter passing λ-calculus

    Article • Information and Computation, February 2004, Elsevier

    Prof. Dr. Luca Paolini

  48. Further Reading

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  49. Further Reading

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  50. Representing Functions

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  51. Further Reading

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  52. Preliminaries

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  53. Parametric Operational Semantics

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  54. Operational Extensionality

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  55. λΔ-Models

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  56. The Parametric Lambda Calculus

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  57. The Parametric λ-Calculus

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  58. Filter λΔ-Models and Domains

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  59. Call-by-Name Operational Semantics

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  60. Call-by-Value Denotational Semantics

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  61. The Call-by-Value λ-Calculus

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  62. The Call-by-Name λ-Calculus

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  63. Call-by-Value Operational Semantics

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  64. Call-by-Name Denotational Semantics

    Article • January 2004, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  65. Call-by-Value Separability and Computability

    Article • January 2001, Springer Science + Business Media

    Prof. Dr. Luca Paolini

  66. Call-by-value Solvability

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

    Prof. Dr. Luca Paolini