( en | de | ru )

 

Disambiguation of "Kauer, Matthias"

Author of the publication

copydeleteadd this publication to your clipboard
Formal verification of distributed controllers using Time-Stamped Event Count Automata.

, , , , , and . ASP-DAC, page 411-416. IEEE, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Matthias Kauer

Stefan Kauer

Simone Kauer

Thomas Kauer

Marcelo Kauer

 

Other publications of authors with the same name

Synthesis of Active Cell Balancing Architectures for Battery Packs., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 35 (11): 1876-1889 (2016)Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs., , , , , and . ACM Trans. Design Autom. Electr. Syst., 21 (4): 62:1-62:26 (2016)Inductor optimization for active cell balancing using geometric programming., , , , and . DATE, page 281-284. ACM, (2015)Optimal dimensioning of active cell balancing architectures., , , , and . DATE, page 1-6. European Design and Automation Association, (2014)Many-to-many active cell balancing strategy design., , , , and . ASP-DAC, page 267-272. IEEE, (2015)Distributed reconfigurable Battery System Management Architectures., , , , , , , , and . ASP-DAC, page 429-434. IEEE, (2016)Modular Active Charge Balancing for Scalable Battery Packs., , , , and . IEEE Trans. Very Large Scale Integr. Syst., 25 (3): 974-987 (2017)Optimal Dimensioning and Control of Active Cell Balancing Architectures., , , , and . IEEE Trans. Veh. Technol., 68 (10): 9632-9646 (2019)Development of an Indoor Photovoltaic Energy Harvesting Module for Autonomous Sensors in Building Air Quality Applications., , , , , , , , and . IEEE Internet of Things Journal, 4 (6): 2092-2103 (2017)Smart Cells for Embedded Battery Management., , , , and . CPSNA, page 59-64. IEEE Computer Society, (2014)