Kemal Çaglar Coskun

Orcid: 0000-0002-3334-362X

Affiliations:
  • UNiversity of Bremen, Germany
  • TOBB University of Economics and Technology, Ankara, Turkey (former)


According to our database1, Kemal Çaglar Coskun authored at least 6 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing.
IEEE Trans. Circuits Syst. I Regul. Pap., September, 2024

Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023
Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters.
Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

2020
LQI Control Design with LQG Regulator via UKF for a Fixed-Wing Aircraft.
Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020

2019
Design of a 4D Trajectory Tracking Controller with Anti-Windup Protection for Fixed-Wing Aircraft.
Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019


  Loading...