Marco Mauri

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 8

Top Topics

Multiple Valued Logic

Wireless Sensor

Vlsi Architecture

Dissolved Oxygen

Top Venues

PLoS Comput. Biol.

MetroInd4.0&IoT

Publications

Federico Zanelli, Marco Mauri, Francesco Castelli-Dezza, Edoardo Sabbioni, Davide Tarsitano, Nicola Debattisti
Energy Autonomous Wireless Sensor Nodes for Freight Train Braking Systems Monitoring. Sensors 22 (5) (2022)
Federico Zanelli, Marco Mauri, Francesco Castelli-Dezza, Davide Tarsitano, Alessandra Manenti, Giorgio Diana
Analysis of Wind-Induced Vibrations on HVTL Conductors Using Wireless Sensors. Sensors 22 (21) (2022)
Federico Zanelli, Francesco Castelli-Dezza, Davide Tarsitano, Marco Mauri, Maria Laura Bacci, Giorgio Diana
Design and Field Validation of a Low Power Wireless Sensor Node for Structural Health Monitoring. Sensors 21 (4) (2021)
Federico Zanelli, Francesco Castelli-Dezza, Davide Tarsitano, Marco Mauri, Maria Laura Bacci, Giorgio Diana
Sensor Nodes for Continuous Monitoring of Structures Through Accelerometric Measurements. MetroInd4.0&IoT (2020)
Marco Mauri, Jean-Luc Gouzé, Hidde de Jong, Eugenio Cinquemani
Enhanced production of heterologous proteins by a synthetic microbial community: Conditions and trade-offs. PLoS Comput. Biol. 16 (4) (2020)
Valerio Grassi, Daniele Frigerio, Alberto Sanzo, Viola Brioschi, Andrea Franzolini, Marco Mauri, Mario Nespoli
The Unmanned Chemical Lab (UCL): Autonomous Control System for the Remote Management of Soluble and Emulsifiable Metalworking Fluids. RTSI (2019)
Mattia Rossi, Luigi Piegari, Francesco Castelli-Dezza, Marco Mauri, Maria Stefania Carmeli
Voltage Control Comparison for Low-Power DC-DC Converters in EVs: PI and Explicit MPC. IECON (2018)
Martin Bruha, Miroslav Byrtus, Kai Pietiläinen, Mattia Rossi, Marco Mauri
Torsional issues related to variable frequency control of elastic drive systems. IECON (2016)
Marco Mauri, Stefan Klumpp
A Model for Sigma Factor Competition in Bacterial Cells. PLoS Comput. Biol. 10 (10) (2014)
Maria Stefania Carmeli, Marco Mauri
HIL test bench to test anti-swing fuzzy control of an overhead crane. ICM (2013)
Alberto Bartoli, Giorgio Davanzo, Andrea De Lorenzo, Marco Mauri, Eric Medvet, Enrico Sorio
Automatic generation of regular expressions from examples with genetic programming. GECCO (Companion) (2012)
Alberto Bartoli, Eric Medvet, Marco Mauri
Recording and Replaying Navigations on AJAX Web Sites. ICWE (2012)
Ferdinando Luigi Mapelli, Davide Tarsitano, Marco Mauri
Plug-In Hybrid Electric Vehicle: Modeling, Prototype Realization, and Inverter Losses Reduction Analysis. IEEE Trans. Ind. Electron. 57 (2) (2010)
Alan Facchinetti, Marco Mauri
Hardware-in-the-Loop Overhead Line Emulator for Active Pantograph Testing. IEEE Trans. Ind. Electron. 56 (10) (2009)
Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso
Towards UML-based formal specifications of component-based real-time software. Int. J. Softw. Tools Technol. Transf. 9 (2) (2007)
Massimiliano Colombo, Elisabetta Di Nitto, Marco Mauri
SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules. ICSOC (2006)
Luigi Lavazza, Marco Mauri
Software Process Measurement in the Real World: Dealing with Operating Constraints. SPW/ProSim (2006)
Neyir Sevilmis, André Stork, Tim Smithers, Jorge Posada, Massimiliano Pianciamore, Rui Castro, Ivan Jimenez, Gorka Marcos, Marco Mauri, Paolo Selvini, Bruno Thelen, Vincenzo Zecchino
Knowledge Sharing by Information Retrieval in the Semantic Web. ESWC (2005)
Tim Smithers, Jorge Posada, André Stork, Massimiliano Pianciamore, Nuno Ferreira, Stephan Grimm, Ivan Jimenez, Sergio Di Marca, Gorka Marcos, Marco Mauri, Paolo Selvini, Neyir Sevilmis, Bruno Thelen, Vincenzo Zecchino
Information Management and Knowledge Sharing in WIDE. EWIMT (2004)
Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso
Towards UML-Based Formal Specifications of Component-Based Real-Time Software. FASE (2003)
Luciano Baresi, Marco Mauri, Mauro Pezzè
PLCTools: Graph Transformation Meets PLC Design. Electron. Notes Theor. Comput. Sci. 72 (2) (2002)
Vieri Del Bianco, Luigi Lavazza, Marco Mauri
Model Checking UML Specifications of Real Time Software. ICECCS (2002)
Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezzè
PLCTOOLS: design, formal validation, and code generation for programmable controllers. SMC (2000)