Massimo Bruschi

According to our database, Massimo Bruschi authored at least 3 papers between 1990 and 2026.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2026

Towards an Open-Source Wireless Power and Data Transfer Library for Implantable and Wearable Medical Devices.

Massimo Bruschi, Jose Fuentes, Diego Garcia, Juan Rodríguez, Carlos Silva-Cardenas, Manuel Monge

Proceedings of the 17th IEEE Latin America Symposium on Circuits and System, 2026

1992

Theorem Proving Engine and Strategy Description Language.

Massimo Bruschi

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

Design and development of ENprover, an automated theorem proving system based on EN-strategy.

Fabio Baj, Massimo Bruschi, Antonella Zanzi

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990