- Giovanni Pighizzini:
Limited Automata: Power and Complexity (text not included). ICTCS 2019 - Giovanni Pighizzini, Luca Prigioniero:
Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract. ICTCS 2019: 72-77 - Simone Spolaor:
Bridging Qualitative and Quantitative Modeling with FuzzX. ICTCS 2019: 14-19 - Cosimo Vinci:
Coping with Selfishness in Congestion Games (text not included). ICTCS 2019 - Ugo de'Liguoro, Riccardo Treglia:
Intersection Types for the Computational lambda-Calculus. ICTCS 2019: 184-189 - Alessandra Cherubini, Nicoletta Sabadini, Simone Tini:
Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. CEUR Workshop Proceedings 2504, CEUR-WS.org 2019 [contents]
