1. S. Crespi Reghizzi, M. Pradella, P. San Pietro, Associative Definition of Programming Languages, Computer Languages, Vol 26/2-4, 2001, pp 105-123 (file)
  2. A. Coen-Porisini, M. Pradella, M. Rossi, D. Mandrioli, A Formal Approach for Designing CORBA based Applications, ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 12, n. 2, April 2003 (file)
  3. S. Crespi Reghizzi, M. Pradella, Tile Rewriting Grammars and Picture Languages, Theoretical Computer Science, Vol 340/2 pp 257-272, 2005 (file)
  4. A. Cherubini, S. Crespi Reghizzi, M. Pradella, P. San Pietro, Picture languages: Tiling Systems versus Tile Rewriting Grammars, Theoretical Computer Science, Vol 356/1-2 pp 90-103, 2006 (file)
  5. C. A. Furia, A. Morzenti, M. Pradella, M. G. Rossi, Comments on "An Interval Logic for Real-Time System Specication", IEEE Transactions on Software Engineering, Vol 32/6, pp 424-427, 2006 (file)
  6. M. Pradella, S. Crespi Reghizzi, A SAT-based parser and completer for pictures specified by tiling, Pattern Recognition, Vol 41, pp 555-566, 2008 (file)
  7. S. Crespi Reghizzi, M. Pradella, A CKY parser for picture grammars, Information Processing Letters, Vol 105/6, pp 213-217, 2008 (file)
  8. C. A. Furia, M. Pradella, M. Rossi, Comments on "Temporal Logics for Real-Time System Specification", Computing Surveys Vol 41(2), February 2009. (file)
  9. V. Lonati, M. Pradella. Deterministic recognizability of picture languages with Wang automata, Discrete Mathematics & Theoretical Computer Science, vol. 12:4, pp 73-94, 2010. (file)
  10. V. Lonati, M. Pradella. Strategies to scan pictures with automata based on Wang tiles, RAIRO - Theoretical Informatics and Applications, vol. 45, pp 163-180, 2011. (file)
  11. M. Pradella, A. Cherubini, S. Crespi Reghizzi, A unifying approach to picture grammars, Information and Computation, vol. 209(9): 1246-1267, 2011, DOI: 10.1016/j.ic.2011.07.001 (file)
  12. G. Salvaneschi, C. Ghezzi, M. Pradella, Context-oriented programming: a software engineering perspective, Journal of Systems and Software, 85(8): 1801-1817, 2012, DOI: 10.1016/j.jss.2012.03.024 (file)
  13. A. Barenghi, S. Crespi Reghizzi, D. Mandrioli, M. Pradella, Parallel Parsing of Operator Precedence Grammars, Information Processing Letters, vol. 113(7), 245-249, 2013, DOI: 10.1016/j.ipl.2013.01.008 (file)
  14. G. Salvaneschi, C. Ghezzi, M. Pradella, An analysis language-level support for self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol 8(2), 2013, DOI: 10.1145/2491465.2491466 (file)
  15. M. Pradella, A. Morzenti, P. San Pietro, Bounded Satisfiability Checking of Metric Temporal Logic Specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), vol 22(3), 2013, DOI: 10.1145/2491509.2491514 (file)
  16. M. M. Bersani, A. Frigeri, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro, Constraint LTL Satisfiability Checking without Automata, Journal of Applied Logic, vol 12, pp. 522-557, 2014, DOI: 10.1016/j.jal.2014.07.005 (file)
  17. G. Salvaneschi, C. Ghezzi, M. Pradella, ContextErlang: A Language for Distributed Context-Aware Self-Adaptive Applications, Science of Computer Programming, 102: 20-43, 2015, DOI: 10.1016/j.scico.2014.11.016 (file)
  18. V. Lonati, D. Mandrioli, F. Panella, M. Pradella, Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization, SIAM Journal on Computing (SICOMP), 44(4), 1026-1088, 2015 DOI: 10.1137/140978818 (file)
  19. A. Barenghi, S. Crespi Reghizzi, D. Mandrioli, F. Panella, M. Pradella, Parallel Parsing Made Practical, Science of Computer Programming, 112: 195-226 (2015) DOI: 10.1016/j.scico.2015.09.002 (file)
  20. S. Crespi Reghizzi, V. Lonati, D. Mandrioli, M. Pradella, Toward a theory of input-driven locally parsable languages, Theoretical Computer Science, 658: 105-121 (2017) DOI: 10.1016/j.tcs.2016.05.003 (file)
  21. D. Mandrioli, M. Pradella, Generalizing input-driven languages: theoretical and practical benefits, Computer Science Review, Computer Science Review 27 (2018) 61-87 DOI: 10.1016/j.cosrev.2017.12.001 (file)
  22. S. Crespi Reghizzi, M. Pradella, Beyond operator-precedence grammars and languages, Journal of Computer and System Sciences (JCSS), 113 (2020) DOI: 10.1016/j.jcss.2020.04.006 (file)
  23. M. Chiari, D. Mandrioli, M. Pradella, Operator Precedence Temporal Logic and Model Checking, Theoretical Computer Science, 848: 47-81 (2020) DOI: 10.1016/j.tcs.2020.08.034 (file)
  24. M. Droste, S. Dueck, D. Mandrioli, M. Pradella, Weighted Operator Precedence Languages, Information and Computation, to appear (2021) DOI: 10.1016/j.ic.2020.104658

Conferences and workshops

Technical Reports

Ph.D. dissertation

Disclaimer: Some of these are preliminary versions of articles that are about to be published or have been published in journals or conference proceedings. For final versions, please refer to cited journals or proceedings.