Yeremia Gunawan Adhisantoso

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Automatically Generate

Analog Circuits

Multiview Video

Formal Verification

Top Venues

Publications

Yeremia Gunawan Adhisantoso, Jan Voges, Christian Rohlfing, Viktor Tunev, Jens-Rainer Ohm, Jörn Ostermann
GVC: efficient random access compression for gene sequence variations. BMC Bioinform. 24 (1) (2023)
Yeremia Gunawan Adhisantoso, Jörn Ostermann
Contact Matrix Compressor. DCC (2022)
Christoph Kellermann, Yeremia Gunawan Adhisantoso, Eric Neumann, Marco Munderloh, Jörn Ostermann
Introduction to an Adaptive Remaining Useful Life Prediction for forming tools. AIM (2021)
Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich
Automatically Generated Nonlinear Analog Circuit Models Enclosing Variations with Intervals and Affine Forms for Reachability Analysis. DDECS (2020)
Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich
Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits. NEWCAS (2020)
Thorsten Laude, Yeremia Gunawan Adhisantoso, Jan Voges, Marco Munderloh, Jörn Ostermann
A Comparison of JEM and AV1 with HEVC: Coding Tools, Coding Efficiency and Complexity. PCS (2018)