Gerald Alexander Koroa

According to our database, Gerald Alexander Koroa authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits.

Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich

Proceedings of the 18th IEEE International New Circuits and Systems Conference, 2020

Automatically Generated Nonlinear Analog Circuit Models Enclosing Variations with Intervals and Affine Forms for Reachability Analysis.

Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich

Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020

2017

A self-consistent Carleman linearization approach for the design of RF mixer circuits.

Harry Weber, Gerald Alexander Koroa, Wolfgang Mathis, Dimitar Delchev, Galia Marinova

Proceedings of the IEEE Nordic Circuits and Systems Conference, 2017