Danielle C. Tarraf

22 papers and 142 indexed citations i.

Danielle C. Tarraf has authored 22 papers that have received a total of 142 indexed citations. This includes 12 papers in Control and Systems Engineering, 9 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (8 papers), Petri Nets in System Modeling (8 papers) and Advanced Control Systems Optimization (5 papers). Danielle C. Tarraf is often cited by papers focused on Formal Methods in Verification (8 papers), Petri Nets in System Modeling (8 papers) and Advanced Control Systems Optimization (5 papers) and collaborates with scholars based in United States, Italy and China. Danielle C. Tarraf's co-authors include Munther A. Dahleh, Alexandre Megretski, David R. Frelinger, Don Snyder and John Gordon and has published in prestigious journals such as IEEE Transactions on Automatic Control, Systems & Control Letters and Lecture notes in control and information sciences