Ebru Aydin Gol
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence. | Ilker Isik, Ramazan Gokberk Cinbis, Ebru Aydin Gol |
| 2021 | TACAS | Timed Automata Relaxation for Reachability. | Jaroslav Bendk, Ahmet Sencan, Ebru Aydin Gol, Ivana Cern |
| 2019 | ICSE | Clock reduction in timed automata while preserving design parameters. | Beyazit Yalcinkaya, Ebru Aydin Gol |
| 2018 | CoDIT | Efficient Online Monitoring and Formula Synthesis with Past STL. | Ebru Aydin Gol |
| 2012 | DATE | Experimentally driven verification of synthetic biological circuits. | Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore |