A self-consistent Carleman linearization approach for the design of RF mixer circuits. - Harry Weber; Gerald Alexander Koroa; Wolfgang Mathis; Dimitar Delchev; Galia Marinova (NORCAS, 2017)

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 (DDECS, 2020)

Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits. - Malgorzata Rechmal-Lesse; Gerald Alexander Koroa; Yeremia Gunawan Adhisantoso; Markus Olbrich (NEWCAS, 2020)