PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gol, Ebru Aydin"

Author of the publication

copydeleteadd this publication to your clipboard
Experimentally driven verification of synthetic biological circuits.

, , , , , , , , and . DATE, page 236-241. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Felix Goldberg

Lisa-Marie Gölz University of Stuttgart

Carlo Golini University of Stuttgart

Ebru Gyoktepeliler Akin University of Stuttgart

Pascal Goldschmid University of Stuttgart

 

Other publications of authors with the same name

Clock reduction in timed automata while preserving design parameters., and . FormaliSE@ICSE, page 11-20. IEEE / ACM, (2019)Optimizing Parameters of Signal Temporal Logic Formulas with Local Search., and . SIU, page 1-4. IEEE, (2019)Experimentally driven verification of synthetic biological circuits., , , , , , , , and . DATE, page 236-241. IEEE, (2012)On the use of genetic algorithms for synthesis of signal temporal logic formulas., and . SIU, page 1-4. IEEE, (2018)A Plume Tracking Algorithm Based on Crosswind Formations., , , and . DARS, volume 83 of Springer Tracts in Advanced Robotics, page 91-102. Springer, (2010)Locomotion Gait Optimization For Modular Robots; Coevolving Morphology and Control., , , and . FET, volume 7 of Procedia Computer Science, page 320-322. Elsevier, (2011)Control Synthesis for Parametric Timed Automata under Unavoidability Specifications.. ECC, page 740-745. IEEE, (2021)Synthesis of Monitoring Rules via Data Mining., and . ACC, page 1684-1689. IEEE, (2019)Language-Guided Controller Synthesis for Linear Systems., , and . IEEE Trans. Automat. Contr., 59 (5): 1163-1176 (2014)Language-guided controller synthesis for discrete-time linear systems., , and . HSCC, page 95-104. ACM, (2012)