On Constructor Rewrite Systems and the Lambda Calculus by Ugo Dal Lago, Simone Martini

Get full text

Quantum Turing Machines: Computations and Measurements by Stefano Guerrini, Simone Martini, Andrea Masini

Get full text

A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming by Marco SBARAGLIA, Michael LODI, Simone MARTINI

Get full text

Cut Elimination for Extended Sequent Calculi by Simone Martini, Andrea Masini, Margherita Zorzi

Get full text

Light Logics and Higher-Order Processes by Ugo Dal Lago, Simone Martini, Davide Sangiorgi

Get full text

General Ramified Recurrence is Sound for Polynomial Time by Ugo Dal Lago, Simone Martini, Margherita Zorzi

Get full text

An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics by Evmorfia-Iro Bartzia, Michael Lodi, Marco Sbaraglia, Simon Modeste, Viviane Durand-Guerrier, Simone Martini

Get full text

Efficacy of Two Common Methods of Application of Residual Insecticide for Controlling the Asian Tiger Mosquito, Aedes albopictus (Skuse), in Urban Areas. by Lorenzo Marini, Alberto Baseggio, Andrea Drago, Simone Martini, Paolo Manella, Roberto Romi, Luca Mazzon

Get full text

Current distribution of the invasive mosquito species, Aedes koreicus [Hulecoeteomyia koreica] in northern Italy by Fabrizio Montarsi, Andrea Drago, Simone Martini, Mattia Calzolari, Francesco De Filippo, Alessandro Bianchi, Matteo Mazzucato, Silvia Ciocchetta, Daniele Arnoldi, Frédéric Baldacchino, Annapaola Rizzoli, Gioia Capelli

Get full text

The invasive mosquito Aedes japonicus japonicus is spreading in northeastern Italy by Fabrizio Montarsi, Simone Martini, Alice Michelutti, Graziana Da Rold, Matteo Mazzucato, Davide Qualizza, Domenico Di Gennaro, Marcella Di Fant, Marco Dal Pont, Manlio Palei, Gioia Capelli

Get full text

Surveillance for West Nile, Dengue, and Chikungunya Virus Infections, Veneto Region, Italy, 2010 by Federico Gobbi, Luisa Barzon, Gioia Capelli, Andrea Angheben, Monia Pacenti, Giuseppina Napoletano, Cinzia Piovesan, Fabrizio Montarsi, Simone Martini, Roberto Rigoli, Anna M. Cattelan, Roberto Rinaldi, Mario Conforto, Francesca Russo, Giorgio Palù, Zeno Bisoffi

Get full text

A Novel Allele Specific Polymerase Chain Reaction (AS-PCR) Assay to Detect the V1016G Knockdown Resistance Mutation Confirms Its Widespread Presence in <i>Aedes albopictus</i> Popu... by Verena Pichler, Emiliano Mancini, Martina Micocci, Maria Calzetta, Daniele Arnoldi, Annapaola Rizzoli, Valeria Lencioni, Francesca Paoli, Romeo Bellini, Rodolfo Veronesi, Simone Martini, Andrea Drago, Claudio De Liberato, Arianna Ermenegildi, Joao Pinto, Alessandra della Torre, Beniamino Caputo

Get full text

West Nile Virus Surveillance in 2013 via Mosquito Screening in Northern Italy and the Influence of Weather on Virus Circulation. by Mattia Calzolari, Alessandra Pautasso, Fabrizio Montarsi, Alessandro Albieri, Romeo Bellini, Paolo Bonilauri, Francesco Defilippo, Davide Lelli, Ana Moreno, Mario Chiari, Marco Tamba, Mariagrazia Zanoni, Giorgio Varisco, Silvia Bertolini, Paola Modesto, Maria Cristina Radaelli, Barbara Iulini, Marino Prearo, Silvia Ravagnan, Stefania Cazzin, Paolo Mulatti, Isabella Monne, Lebana Bonfanti, Stefano Marangon, Maria Goffredo, Giovanni Savini, Simone Martini, Andrea Mosca, Marco Farioli, Laura Gemma Brenzoni, Manlio Palei, Francesca Russo, Silvano Natalini, Paola Angelini, Cristina Casalone, Michele Dottori, Gioia Capelli

Get full text