Autori: ter Beek, Maurice H.*; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
Published in: SCIENCE OF COMPUTER PROGRAMMING,
Anno: 2019
Autori: Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
Published in: SCIENCE OF COMPUTER PROGRAMMING,
Anno: 2019
Autori: Paolini, Luca; Roversi, Luca; Zorzi, Margherita
Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
titoloEvento: 2018 Joint International Workshop on Linearity and Trends in Linear Logic and Applications, Linearity-TLLA 2018
Anno: 2019
Autori: Paolini L.; Piccolo M.; Zorzi M.
Published in: JOURNAL OF AUTOMATED REASONING,
Anno: 2019
Autori: Ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.
Published in: ACM International Conference Proceeding Series,
titoloEvento: 23rd International Systems and Software Product Line Conference, SPLC 2019
Anno: 2019
Autori: Damiani F.; Lienhardt M.; Paolini L.
Published in: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER,
Anno: 2019
Autori: ter Beek M.H.; Damiani F.; Gnesi S.; Mazzanti F.; Paolini L.
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
titoloEvento: 15th International Conference on Integrated Formal Methods, IFM 2019
Anno: 2019
Autori: MANZONETTO GIULIO, PAGANI MICHELE, RONCHI DELLA ROCCA SIMONETTA
Published in: FUNDAMENTA INFORMATICAE,
Anno: 2019
Autori: FAGGIAN CLAUDIA, RONCHI DELLA ROCCA SIMONETTA
Published in: Logic in Computer science,
titoloEvento: Logic in Computer Science
Anno: 2019
Autori: Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
Published in: ACM International Conference Proceeding Series,
titoloEvento: 12th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2018
Anno: 2018
Autori: Luca Paolini, Mauro Piccolo, Luca Roversi
Published in: NEW GENERATION COMPUTING,
Anno: 2018
Autori: Matos, Armando B.; Paolini, Luca; Roversi, Luca
Published in: CEUR Workshop Proceedings,
titoloEvento: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018
Anno: 2018
Autori: Berardi, Stefano; Tatsuta, Makoto*
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
titoloEvento: 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018 Colocated with ETAPS 2018
Anno: 2018
Autori: A. Bucciarelli, D. Kesner, S. Ronchi Della Rocca
Published in: LOGICAL METHODS IN COMPUTER SCIENCE,
Anno: 2018
Autori: Paolini, Luca; Piccolo, Mauro; RONCHI DELLA ROCCA, S.
Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,
Anno: 2017
Autori: Berardi, Stefano; de’ Liguoro, Ugo
Published in: FUNDAMENTA INFORMATICAE,
Anno: 2017
Autori: Felice, Cardone
Published in: Stanford Encyclopedia of Philosophy,
Anno: 2017
Autori: Giulio Guerrieri; Luca Paolini; Simona Ronchi Della Rocca
Published in: LOGICAL METHODS IN COMPUTER SCIENCE,
Anno: 2017
Autori: luca paolini
Published in: BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,
Anno: 2017
Autori: luca paolini
Published in: BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,
Anno: 2017
Autori: Berardi, Stefano; Steila, Silvia
Published in: JOURNAL OF SYMBOLIC LOGIC,
Anno: 2017
Autori: Berardi, Stefano; Tatsuta, Makoto
Published in: LECTURE NOTES IN COMPUTER SCIENCE,
Anno: 2017
Autori: Berardi, Stefano; Tatsuta, Makoto
Published in: Proceedings - Symposium on Logic in Computer Science,
titoloEvento: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017
Anno: 2017
Autori: Marco Gaboard; Luca Paolini; Mauro Piccolo
Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,
Anno: 2016
Autori: Paolini, Luca; Piccolo, Mauro; Roversi, Luca
Published in: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
titoloEvento: ICTCS2015
Anno: 2016
Autori: Erika De Benedetti, Simona Ronchi Della Rocca
Published in: INFORMATION AND COMPUTATION,
Anno: 2016
Autori: Simonetta, Ronchi Della Rocca; Virgil, Mogbil
Published in: INFORMATION AND COMPUTATION,
Anno: 2016
Autori: Luca Bernardinello; Felice Cardone; Lucia Pomello
Published in: MONDO DIGITALE,
Anno: 2016
Autori: Alessi, Fabio; Cardone, Felice
Published in: FUNDAMENTA INFORMATICAE,
Anno: 2016
Autori: Luca Paolini
Published in: BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,
Anno: 2016
Autori: Luca Paolini
Published in: BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,
Anno: 2016
Autori: Luca Paolini
Published in: BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,
Anno: 2016
Autori: ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
Published in: Software Engineering and Formal Methods,
titoloEvento: 13th International Conference on Software Engineering and Formal Methods, SEFM 2015
Anno: 2015
Autori: Canavese, D.; Cesena, E.; Ouchary, R.; Pedicini, M.; Roversi, L.
Published in: SCIENCE OF COMPUTER PROGRAMMING,
Anno: 2015
Autori: BERARDI, Stefano
Published in: 24th EACSL Annual Conference on Computer Science Logic,,
titoloEvento: CSL 2015
Anno: 2015
Autori: Stefano, Berardi; Silvia, Steila
Published in: ANNALS OF PURE AND APPLIED LOGIC,
Anno: 2015
Autori: Berardi, Stefano; Oliva, Paulo; Steila, Silvia
Published in: JOURNAL OF LOGIC AND COMPUTATION,
Anno: 2015
Autori: Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
Published in: Typed Lambda Calculus and Applications,
titoloEvento: Typed Lambda Calculus and Applications
Anno: 2015
Autori: Shkaravska, O.; Ronchi Della Rocca, S.; van Eekelen, M.
Published in: SCIENCE OF COMPUTER PROGRAMMING,
Anno: 2015
Autori: Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S.
Published in: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015),
titoloEvento: Typed Lambda Calculus and Applications
Anno: 2015
Autori: Cardone, Felice
Published in: Le direzioni della ricerca logica in Italia,
Anno: 2015
Autori: Cardone, Felice
Published in: HISTORY AND PHILOSOPHY OF LOGIC,
Anno: 2015
Autori: Cardone, Felice
Published in: Evolving Computability,
titoloEvento: 11th Conference on Computability in Europe, CiE 2015
Anno: 2015
Autori: Stefano Berardi; Ugo de'Liguoro
Published in: LOGICAL METHODS IN COMPUTER SCIENCE,
Anno: 2014
Autori: S. Berardi; P. Oliva; S. Steila
Published in: Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014.,
titoloEvento: ICTCS
Anno: 2014
Autori: S. Berardi; S. Steila
Published in: 19th International Conference on Types for Proofs and Programs (TYPES 2013),
titoloEvento: TYPES 2013
Anno: 2014
Autori: S. Berardi; S. Steila
Published in: Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings,
titoloEvento: RTA-TLCA 2014
Anno: 2014
Autori: L. Roversi
Published in: JOURNAL OF LOGIC AND COMPUTATION,
Anno: 2014
Autori: Baillot P.; De Benedetti E.; Ronchi Della Rocca S.
Published in: Theoretical Computer Science,
titoloEvento: Theoretical Computer Science
Anno: 2014
Autori: Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
Published in: Theoretical Computer Science,
titoloEvento: Theoretical Computer Science
Anno: 2014
Autori: S. van Bakel; S. Berardi; U. Berger
Published in: ANNALS OF PURE AND APPLIED LOGIC,
Anno: 2013
Autori: Stefano Berardi; Ugo de'Liguoro
Published in: EPTCS 126 - Fixed Points in Computer Science,
titoloEvento: Fixed Points in Computer Science (FICS'13)
Anno: 2013
Autori: E. De Benedetti; S. Ronchi Della Rocca
Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
titoloEvento: ITRS 2012
Anno: 2013
Autori: Simonetta Ronchi Della Rocca
Anno: 2013
Autori: Henk Barendregt; Wil Dekkers; Richard Statman; Felice Cardone; Mario Coppo
Published in: Lambda Calculus with Types,
Anno: 2013
Autori: Felice Cardone
Published in: HaPoC 2013 History and Philosophy of Computing,
titoloEvento: HaPoC 2013 History and Philosophy of Computing
Anno: 2013
Autori: Stéphane Graham-Lengrand; Luca Paolini
Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Anno: 2013
Autori: Luca Paolini
Published in: BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,
Anno: 2013
Autori: Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni
Published in: Leibniz International Proceedings in Informatics, LIPIcs,
titoloEvento: 22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013
Anno: 2013
Autori: Berardi, Stefano; Tatsuta, Makoto
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
titoloEvento: 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013
Anno: 2013
Autori: Luca Paolini
Published in: BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,
Anno: 2013